runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743158-1338797805/watcher-3743158-1338797805 -o /tmp/evaluation-result-3743158-1338797805/solver-3743158-1338797805 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3743158-1338797805.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.95 3/175 3497
/proc/meminfo: memFree=27383660/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3497/stat : 3497 (java6) D 3495 3497 3324 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 345905920 9515008 176 33554432000 1073741824 1073778376 140734845586720 140734845569448 273589027728 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/3497/statm: 2323 176 133 9 0 71 0
[startup+0.0491229 s]
/proc/loadavg: 1.84 1.97 1.95 3/175 3497
/proc/meminfo: memFree=27383660/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 3663 0 1 0 2 1 0 0 20 0 13 0 345905920 2371293184 4871 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 578929 4871 1684 9 0 569630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100353 s]
/proc/loadavg: 1.84 1.97 1.95 3/175 3497
/proc/meminfo: memFree=27383660/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 4271 0 1 0 7 1 0 0 20 0 18 0 345905920 2712133632 5989 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 662142 5994 2051 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300272 s]
/proc/loadavg: 1.84 1.97 1.95 3/175 3497
/proc/meminfo: memFree=27383660/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2648568 CPUtime=0.51 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 6194 0 1 0 49 2 0 0 20 0 18 0 345905920 2712133632 13775 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 662142 13775 2221 9 0 652835 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2648568
[startup+0.700275 s]
/proc/loadavg: 1.84 1.97 1.95 3/175 3497
/proc/meminfo: memFree=27383660/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2648568 CPUtime=1.15 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 9654 0 1 0 110 5 0 0 20 0 18 0 345905920 2712133632 50154 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 662142 50154 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2648568
[startup+1.50073 s]
/proc/loadavg: 1.84 1.97 1.95 9/197 3544
/proc/meminfo: memFree=26946240/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2648568 CPUtime=2.36 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 9950 0 1 0 218 18 0 0 20 0 18 0 345905920 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 662142 110142 2251 9 0 652835 0
[pid=3497/tid=3499] ppid=3495 vsize=2648568 CPUtime=1.33 cores=1,3,5,7
/proc/3497/task/3499/stat : 3499 (java) R 3495 3497 3324 0 -1 4202560 2912 0 1 0 126 7 0 0 20 0 18 0 345905921 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678133964928 140677979977294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3503] ppid=3495 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/3497/task/3503/stat : 3503 (java) S 3495 3497 3324 0 -1 4202560 43 0 0 0 7 2 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678118423464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3504] ppid=3495 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3504/stat : 3504 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678117370920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3505] ppid=3495 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3505/stat : 3505 (java) S 3495 3497 3324 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678116317864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3506] ppid=3495 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/3497/task/3506/stat : 3506 (java) S 3495 3497 3324 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678115265320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3507] ppid=3495 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/3497/task/3507/stat : 3507 (java) S 3495 3497 3324 0 -1 4202560 32 0 0 0 6 1 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678114212264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3508] ppid=3495 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3508/stat : 3508 (java) S 3495 3497 3324 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678113159720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3509] ppid=3495 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/3497/task/3509/stat : 3509 (java) S 3495 3497 3324 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678112106664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3510] ppid=3495 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3510/stat : 3510 (java) S 3495 3497 3324 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 18 0 345905922 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678111054120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3511] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3511/stat : 3511 (java) S 3495 3497 3324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345905923 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140678098643816 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3512] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3512/stat : 3512 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345905924 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677979563896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3513] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3513/stat : 3513 (java) S 3495 3497 3324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345905924 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677978510728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3523] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3523/stat : 3523 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345905927 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677977459472 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3524] ppid=3495 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) S 3495 3497 3324 0 -1 4202560 2497 0 0 0 22 0 0 0 20 0 18 0 345905927 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677976406328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) S 3495 3497 3324 0 -1 4202560 3155 0 0 0 26 0 0 0 20 0 18 0 345905927 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677975353784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345905927 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345905927 2712133632 110142 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 2648568
[startup+3.10067 s]
/proc/loadavg: 1.93 1.98 1.95 3/213 3560
/proc/meminfo: memFree=26440316/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2648568 CPUtime=4.59 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 10214 0 1 0 427 32 0 0 20 0 18 0 345905920 2712133632 132752 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 662142 132753 2251 9 0 652835 0
[pid=3497/tid=3499] ppid=3495 vsize=2648568 CPUtime=2.71 cores=1,3,5,7
/proc/3497/task/3499/stat : 3499 (java) S 3495 3497 3324 0 -1 4202560 2913 0 1 0 264 7 0 0 20 0 18 0 345905921 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678133972200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3503] ppid=3495 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/3497/task/3503/stat : 3503 (java) R 3495 3497 3324 0 -1 4202560 96 0 0 0 20 5 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678118423640 140678136444601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3504] ppid=3495 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/3497/task/3504/stat : 3504 (java) R 3495 3497 3324 0 -1 4202560 51 0 0 0 11 3 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678117371096 140678138135168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3505] ppid=3495 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/3497/task/3505/stat : 3505 (java) R 3495 3497 3324 0 -1 4202560 42 0 0 0 9 2 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678116318040 140678136444601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3506] ppid=3495 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/3497/task/3506/stat : 3506 (java) R 3495 3497 3324 0 -1 4202560 61 0 0 0 13 3 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678115265496 140678140869529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3507] ppid=3495 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/3497/task/3507/stat : 3507 (java) R 3495 3497 3324 0 -1 4202560 60 0 0 0 13 3 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678114212440 140678140882147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3508] ppid=3495 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/3497/task/3508/stat : 3508 (java) R 3495 3497 3324 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678113159896 140678138149039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3509] ppid=3495 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/3497/task/3509/stat : 3509 (java) R 3495 3497 3324 0 -1 4202560 75 0 0 0 17 4 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678112106664 140678138149152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3510] ppid=3495 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/3497/task/3510/stat : 3510 (java) R 3495 3497 3324 0 -1 4202560 41 0 0 0 9 2 0 0 20 0 18 0 345905922 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678111054000 140678140481922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3511] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3511/stat : 3511 (java) S 3495 3497 3324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345905923 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140678098642696 273592398908 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3512] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3512/stat : 3512 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345905924 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677979563896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3513] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3513/stat : 3513 (java) S 3495 3497 3324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345905924 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677978510728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3523] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3523/stat : 3523 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345905927 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677977459472 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3524] ppid=3495 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) S 3495 3497 3324 0 -1 4202560 2497 0 0 0 22 0 0 0 20 0 18 0 345905927 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677976406328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) S 3495 3497 3324 0 -1 4202560 3155 0 0 0 26 0 0 0 20 0 18 0 345905927 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677975353784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345905927 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345905927 2712133632 132753 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 2648568
[startup+6.30085 s]
/proc/loadavg: 1.93 1.98 1.95 3/213 3560
/proc/meminfo: memFree=26176188/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2715132 CPUtime=9.52 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 17294 0 1 0 907 45 0 0 20 0 19 0 345905920 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 678783 151699 2266 9 0 669476 0
[pid=3497/tid=3499] ppid=3495 vsize=2715132 CPUtime=5.43 cores=1,3,5,7
/proc/3497/task/3499/stat : 3499 (java) R 3495 3497 3324 0 -1 4202560 2949 0 1 0 535 8 0 0 20 0 19 0 345905921 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678133973568 140677979693933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3503] ppid=3495 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/3497/task/3503/stat : 3503 (java) S 3495 3497 3324 0 -1 4202560 124 0 0 0 38 6 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678118423464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3504] ppid=3495 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/3497/task/3504/stat : 3504 (java) S 3495 3497 3324 0 -1 4202560 97 0 0 0 32 5 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678117370920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3505] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3505/stat : 3505 (java) S 3495 3497 3324 0 -1 4202560 71 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678116317864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3506] ppid=3495 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/3497/task/3506/stat : 3506 (java) S 3495 3497 3324 0 -1 4202560 310 0 0 0 31 4 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678115265320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3507] ppid=3495 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/3497/task/3507/stat : 3507 (java) S 3495 3497 3324 0 -1 4202560 83 0 0 0 36 4 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678114212264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3508] ppid=3495 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/3497/task/3508/stat : 3508 (java) S 3495 3497 3324 0 -1 4202560 80 0 0 0 27 4 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678113159720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3509] ppid=3495 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/3497/task/3509/stat : 3509 (java) S 3495 3497 3324 0 -1 4202560 114 0 0 0 38 6 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678112106664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3510] ppid=3495 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/3497/task/3510/stat : 3510 (java) S 3495 3497 3324 0 -1 4202560 72 0 0 0 24 3 0 0 20 0 19 0 345905922 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678111054120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3511] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3511/stat : 3511 (java) S 3495 3497 3324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345905923 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140678098643816 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3512] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3512/stat : 3512 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677979563896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3513] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3513/stat : 3513 (java) S 3495 3497 3324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677978510728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3523] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3523/stat : 3523 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677977459472 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3524] ppid=3495 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) R 3495 3497 3324 0 -1 4202560 8765 0 0 0 55 3 0 0 20 0 19 0 345905927 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677976406328 273588698341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) R 3495 3497 3324 0 -1 4202560 3437 0 0 0 41 0 0 0 20 0 19 0 345905927 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677975353784 140678139820028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 151699 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
/proc/loadavg: 1.94 1.98 1.95 3/215 3562
/proc/meminfo: memFree=26169144/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2715132 CPUtime=16.3 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 17703 0 1 0 1585 45 0 0 20 0 19 0 345905920 2780295168 151687 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 678783 151687 2268 9 0 669476 0
[pid=3497/tid=3499] ppid=3495 vsize=2715132 CPUtime=11.79 cores=1,3,5,7
################
# More data... #
################
[pid=3497/tid=3524] ppid=3495 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) S 3495 3497 3324 0 -1 4202560 8985 0 0 0 85 3 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677976406328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) S 3495 3497 3324 0 -1 4202560 3637 0 0 0 72 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677975353784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 95 0 0 0 35 21 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3561] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3561/stat : 3561 (java) S 3495 3497 3324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345906545 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677972194856 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.5
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/215 3577
/proc/meminfo: memFree=26056272/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2715132 CPUtime=1726.53 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 17835 0 1 0 172587 66 0 0 20 0 19 0 345905920 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 678783 153331 2271 9 0 669476 0
[pid=3497/tid=3499] ppid=3495 vsize=2715132 CPUtime=1716.91 cores=1,3,5,7
/proc/3497/task/3499/stat : 3499 (java) R 3495 3497 3324 0 -1 4202560 2963 0 1 0 171657 34 0 0 20 0 19 0 345905921 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678133973608 140677980204994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3503] ppid=3495 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/3497/task/3503/stat : 3503 (java) S 3495 3497 3324 0 -1 4202560 124 0 0 0 39 6 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678118423464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3504] ppid=3495 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/3497/task/3504/stat : 3504 (java) S 3495 3497 3324 0 -1 4202560 97 0 0 0 32 5 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678117370920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3505] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3505/stat : 3505 (java) S 3495 3497 3324 0 -1 4202560 71 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678116317864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3506] ppid=3495 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/3497/task/3506/stat : 3506 (java) S 3495 3497 3324 0 -1 4202560 310 0 0 0 34 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678115265320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3507] ppid=3495 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/3497/task/3507/stat : 3507 (java) S 3495 3497 3324 0 -1 4202560 86 0 0 0 37 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678114212264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3508] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3508/stat : 3508 (java) S 3495 3497 3324 0 -1 4202560 80 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678113159720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3509] ppid=3495 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/3497/task/3509/stat : 3509 (java) S 3495 3497 3324 0 -1 4202560 114 0 0 0 39 6 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678112106664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3510] ppid=3495 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/3497/task/3510/stat : 3510 (java) S 3495 3497 3324 0 -1 4202560 72 0 0 0 25 3 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678111054120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3511] ppid=3495 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3511/stat : 3511 (java) S 3495 3497 3324 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 19 0 345905923 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678098643816 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3512] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3512/stat : 3512 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677979563896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3513] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3513/stat : 3513 (java) S 3495 3497 3324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677978510728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3523] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3523/stat : 3523 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677977459472 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3524] ppid=3495 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) S 3495 3497 3324 0 -1 4202560 8985 0 0 0 85 3 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677976406328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) S 3495 3497 3324 0 -1 4202560 3637 0 0 0 72 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677975353784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 99 0 0 0 38 22 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3561] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3561/stat : 3561 (java) S 3495 3497 3324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345906545 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677972194856 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.53
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 3577
/proc/meminfo: memFree=26056148/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2715132 CPUtime=1786.55 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 17839 0 1 0 178588 67 0 0 20 0 19 0 345905920 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 678783 153331 2271 9 0 669476 0
[pid=3497/tid=3499] ppid=3495 vsize=2715132 CPUtime=1776.76 cores=1,3,5,7
/proc/3497/task/3499/stat : 3499 (java) R 3495 3497 3324 0 -1 4202560 2963 0 1 0 177641 35 0 0 20 0 19 0 345905921 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678133973608 140677980267952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3503] ppid=3495 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/3497/task/3503/stat : 3503 (java) S 3495 3497 3324 0 -1 4202560 124 0 0 0 39 6 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678118423464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3504] ppid=3495 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/3497/task/3504/stat : 3504 (java) S 3495 3497 3324 0 -1 4202560 97 0 0 0 32 5 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678117370920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3505] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3505/stat : 3505 (java) S 3495 3497 3324 0 -1 4202560 71 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678116317864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3506] ppid=3495 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/3497/task/3506/stat : 3506 (java) S 3495 3497 3324 0 -1 4202560 310 0 0 0 34 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678115265320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3507] ppid=3495 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/3497/task/3507/stat : 3507 (java) S 3495 3497 3324 0 -1 4202560 86 0 0 0 37 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678114212264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3508] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3508/stat : 3508 (java) S 3495 3497 3324 0 -1 4202560 80 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678113159720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3509] ppid=3495 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/3497/task/3509/stat : 3509 (java) S 3495 3497 3324 0 -1 4202560 114 0 0 0 39 6 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678112106664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3510] ppid=3495 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/3497/task/3510/stat : 3510 (java) S 3495 3497 3324 0 -1 4202560 72 0 0 0 25 3 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678111054120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3511] ppid=3495 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3511/stat : 3511 (java) S 3495 3497 3324 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 19 0 345905923 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678098643816 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3512] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3512/stat : 3512 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677979563896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3513] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3513/stat : 3513 (java) S 3495 3497 3324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677978510728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3523] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3523/stat : 3523 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677977459472 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3524] ppid=3495 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) S 3495 3497 3324 0 -1 4202560 8985 0 0 0 85 3 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677976406328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) S 3495 3497 3324 0 -1 4202560 3637 0 0 0 72 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677975353784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 103 0 0 0 40 23 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3561] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3561/stat : 3561 (java) S 3495 3497 3324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345906545 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677972194856 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 3577
/proc/meminfo: memFree=26056272/32873844 swapFree=7112/7112
[pid=3497] ppid=3495 vsize=2715132 CPUtime=1800.05 cores=1,3,5,7
/proc/3497/stat : 3497 (java) S 3495 3497 3324 0 -1 4202496 17839 0 1 0 179938 67 0 0 20 0 19 0 345905920 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140737440894912 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3497/statm: 678783 153331 2271 9 0 669476 0
[pid=3497/tid=3499] ppid=3495 vsize=2715132 CPUtime=1790.23 cores=1,3,5,7
/proc/3497/task/3499/stat : 3499 (java) R 3495 3497 3324 0 -1 4202560 2963 0 1 0 178988 35 0 0 20 0 19 0 345905921 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678133973608 140677980440752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3503] ppid=3495 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/3497/task/3503/stat : 3503 (java) S 3495 3497 3324 0 -1 4202560 124 0 0 0 39 6 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678118423464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3504] ppid=3495 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/3497/task/3504/stat : 3504 (java) S 3495 3497 3324 0 -1 4202560 97 0 0 0 32 5 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678117370920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3505] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3505/stat : 3505 (java) S 3495 3497 3324 0 -1 4202560 71 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678116317864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3506] ppid=3495 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/3497/task/3506/stat : 3506 (java) S 3495 3497 3324 0 -1 4202560 310 0 0 0 34 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678115265320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3507] ppid=3495 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/3497/task/3507/stat : 3507 (java) S 3495 3497 3324 0 -1 4202560 86 0 0 0 37 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678114212264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3508] ppid=3495 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/3497/task/3508/stat : 3508 (java) S 3495 3497 3324 0 -1 4202560 80 0 0 0 30 4 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678113159720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3509] ppid=3495 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/3497/task/3509/stat : 3509 (java) S 3495 3497 3324 0 -1 4202560 114 0 0 0 39 6 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678112106664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3510] ppid=3495 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/3497/task/3510/stat : 3510 (java) S 3495 3497 3324 0 -1 4202560 72 0 0 0 25 3 0 0 20 0 19 0 345905922 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678111054120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3511] ppid=3495 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/3497/task/3511/stat : 3511 (java) S 3495 3497 3324 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 19 0 345905923 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140678098643816 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3512] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3512/stat : 3512 (java) S 3495 3497 3324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677979563896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3513] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3513/stat : 3513 (java) S 3495 3497 3324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345905924 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677978510728 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3523] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3523/stat : 3523 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677977459472 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3497/tid=3524] ppid=3495 vsize=2715132 CPUtime=0.88 cores=1,3,5,7
/proc/3497/task/3524/stat : 3524 (java) S 3495 3497 3324 0 -1 4202560 8985 0 0 0 85 3 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677976406328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3525] ppid=3495 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/3497/task/3525/stat : 3525 (java) S 3495 3497 3324 0 -1 4202560 3637 0 0 0 72 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677975353784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3497/tid=3526] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3526/stat : 3526 (java) S 3495 3497 3324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677974300920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3497/tid=3527] ppid=3495 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/3497/task/3527/stat : 3527 (java) S 3495 3497 3324 0 -1 4202560 103 0 0 0 40 24 0 0 20 0 19 0 345905927 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677973248584 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3497/tid=3561] ppid=3495 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3497/task/3561/stat : 3561 (java) S 3495 3497 3324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345906545 2780295168 153331 33554432000 1073741824 1073778376 140737440903776 140677972194856 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3497 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=720161
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=130828
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.85
CPU time (s): 1800.05
CPU user time (s): 1799.38
CPU system time (s): 0.67
CPU usage (%): 100.234
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.13083
maximum resident set size= 613468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17879
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38931
involuntary context switches= 4556
runsolver used 5.96109 second user time and 15.7526 second system time
The end