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-3737456-1338763531/watcher-3737456-1338763531 -o /tmp/evaluation-result-3737456-1338763531/solver-3737456-1338763531 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3737456-1338763531.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: 2.06 2.06 2.03 3/196 30940
/proc/meminfo: memFree=26175056/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/30940/stat : 30940 (java6) D 30938 30940 28535 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 342478401 9515008 182 33554432000 1073741824 1073778376 140735524179584 140735524170616 273589026485 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/30940/statm: 2323 182 140 9 0 71 0
[startup+0.0645631 s]
/proc/loadavg: 2.06 2.06 2.03 3/196 30940
/proc/meminfo: memFree=26175056/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2315716 CPUtime=0.04 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 3757 0 1 0 3 1 0 0 20 0 13 0 342478401 2371293184 4453 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 578929 4453 1709 9 0 569630 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2315716
[startup+0.100273 s]
/proc/loadavg: 2.06 2.06 2.03 3/196 30940
/proc/meminfo: memFree=26175056/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 4546 0 1 0 7 1 0 0 20 0 18 0 342478401 2712133632 5753 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 662142 5758 2065 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300227 s]
/proc/loadavg: 2.06 2.06 2.03 3/196 30940
/proc/meminfo: memFree=26175056/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2648568 CPUtime=0.42 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 6358 0 1 0 40 2 0 0 20 0 18 0 342478401 2712133632 8094 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 662142 8099 2220 9 0 652835 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2648568
[startup+0.700241 s]
/proc/loadavg: 2.06 2.06 2.03 3/196 30940
/proc/meminfo: memFree=26175056/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2715132 CPUtime=1.13 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 9562 0 1 0 110 3 0 0 20 0 19 0 342478401 2780295168 12898 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 678783 12898 2244 9 0 669476 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2715132
[startup+1.50074 s]
/proc/loadavg: 2.13 2.07 2.03 3/215 30959
/proc/meminfo: memFree=26083128/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2715132 CPUtime=2.3 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 10552 0 1 0 224 6 0 0 20 0 19 0 342478401 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 678783 57525 2253 9 0 669476 0
[pid=30940/tid=30942] ppid=30938 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28535 0 -1 4202560 2909 0 1 0 142 4 0 0 20 0 19 0 342478402 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069360235176 140069232412224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069227174440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069226121640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069225068840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069224016040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069222964264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069221911464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069220858664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30950] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30950/stat : 30950 (java) S 30938 30940 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140069219805864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30951] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30951/stat : 30951 (java) S 30938 30940 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342478405 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068737374696 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30952] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30952/stat : 30952 (java) S 30938 30940 28535 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342478405 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068736320760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30953] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30953/stat : 30953 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342478406 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068735267848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30954] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 2726 0 0 0 36 2 0 0 20 0 19 0 342478408 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3721 0 0 0 43 0 0 0 20 0 19 0 342478408 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342478465 2780295168 57525 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 2715132
[startup+3.10074 s]
/proc/loadavg: 2.13 2.07 2.03 3/215 30959
/proc/meminfo: memFree=25832280/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2715132 CPUtime=3.97 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 10669 0 1 0 386 11 0 0 20 0 19 0 342478401 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 678783 93904 2267 9 0 669476 0
[pid=30940/tid=30942] ppid=30938 vsize=2715132 CPUtime=3.05 cores=1,3,5,7
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28535 0 -1 4202560 2981 0 1 0 297 8 0 0 20 0 19 0 342478402 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069360235032 140069232378667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28535 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069227174440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069226121640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069225068840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28535 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069224016040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28535 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069222964264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069221911464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069220858664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30950] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30950/stat : 30950 (java) S 30938 30940 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140069219805864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30951] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30951/stat : 30951 (java) S 30938 30940 28535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342478405 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068737374696 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30952] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30952/stat : 30952 (java) S 30938 30940 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342478405 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068736320760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30953] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30953/stat : 30953 (java) S 30938 30940 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342478406 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068735267848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30954] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 2729 0 0 0 38 2 0 0 20 0 19 0 342478408 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3726 0 0 0 46 0 0 0 20 0 19 0 342478408 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342478465 2780295168 93904 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 2715132
[startup+6.30079 s]
/proc/loadavg: 2.13 2.07 2.03 3/215 30959
/proc/meminfo: memFree=25807456/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2715132 CPUtime=7.35 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 10960 0 1 0 720 15 0 0 20 0 19 0 342478401 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 678783 101016 2269 9 0 669476 0
[pid=30940/tid=30942] ppid=30938 vsize=2715132 CPUtime=6.21 cores=1,3,5,7
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28535 0 -1 4202560 2984 0 1 0 613 8 0 0 20 0 19 0 342478402 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069360233904 140069232438199 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28535 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069227174440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28535 0 -1 4202560 18 0 0 0 0 2 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069226121640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069225068840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28535 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069224016040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28535 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069222964264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28535 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069221911464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069220858664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30950] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30950/stat : 30950 (java) S 30938 30940 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342478404 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140069219805864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30951] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30951/stat : 30951 (java) S 30938 30940 28535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342478405 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068737374696 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30952] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30952/stat : 30952 (java) S 30938 30940 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342478405 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068736320760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30953] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30953/stat : 30953 (java) S 30938 30940 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342478406 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068735267848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30954] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 2956 0 0 0 44 2 0 0 20 0 19 0 342478408 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3733 0 0 0 50 0 0 0 20 0 19 0 342478408 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342478408 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342478465 2780295168 101016 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2781696 CPUtime=0.61 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 3175 0 0 0 59 2 0 0 20 0 20 0 342478408 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3740 0 0 0 57 0 0 0 20 0 20 0 342478408 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2781696 CPUtime=0.25 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 30 0 0 0 16 9 0 0 20 0 20 0 342478408 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342478465 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30965] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30965/stat : 30965 (java) S 30938 30940 28535 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 342532234 2848456704 342640 33554432000 1073741824 1073778376 140734072084816 140068727898616 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 548.75
Current children cumulated vsize (KiB) 2781696
[startup+541.501 s]
/proc/loadavg: 2.02 2.06 2.02 3/216 30965
/proc/meminfo: memFree=24802564/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2781696 CPUtime=549.55 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 14335 0 1 0 54828 127 0 0 20 0 20 0 342478401 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 695424 342641 2282 9 0 686117 0
[pid=30940/tid=30942] ppid=30938 vsize=2781696 CPUtime=509.75 cores=1,3,5,7
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 28535 0 -1 4202560 3084 0 1 0 50960 15 0 0 20 0 20 0 342478402 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069360235704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=2781696 CPUtime=1.14 cores=1,3,5,7
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28535 0 -1 4202560 349 0 0 0 99 15 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069227174440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=2781696 CPUtime=1.23 cores=1,3,5,7
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28535 0 -1 4202560 321 0 0 0 109 14 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069226121640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=2781696 CPUtime=1.1 cores=1,3,5,7
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28535 0 -1 4202560 372 0 0 0 98 12 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069225068840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=2781696 CPUtime=1.14 cores=1,3,5,7
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28535 0 -1 4202560 434 0 0 0 101 13 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069224016040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=2781696 CPUtime=1.24 cores=1,3,5,7
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28535 0 -1 4202560 396 0 0 0 109 15 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069222964264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=2781696 CPUtime=1.02 cores=1,3,5,7
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28535 0 -1 4202560 299 0 0 0 91 11 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069221911464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=2781696 CPUtime=1.21 cores=1,3,5,7
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28535 0 -1 4202560 439 0 0 0 107 14 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069220858664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30950] ppid=30938 vsize=2781696 CPUtime=1.12 cores=1,3,5,7
/proc/30940/task/30950/stat : 30950 (java) S 30938 30940 28535 0 -1 4202560 386 0 0 0 99 13 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069219805864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30951] ppid=30938 vsize=2781696 CPUtime=27.74 cores=1,3,5,7
/proc/30940/task/30951/stat : 30951 (java) R 30938 30940 28535 0 -1 4202560 112 0 0 0 2770 4 0 0 20 0 20 0 342478405 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068737374856 140069362430072 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30952] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30952/stat : 30952 (java) S 30938 30940 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342478405 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068736320760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30953] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30953/stat : 30953 (java) S 30938 30940 28535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 342478406 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068735267848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30954] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2781696 CPUtime=0.61 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 3175 0 0 0 59 2 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3740 0 0 0 57 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2781696 CPUtime=0.25 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 30 0 0 0 16 9 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342478465 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30965] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30965/stat : 30965 (java) S 30938 30940 28535 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 342532234 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068727898200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 549.55
Current children cumulated vsize (KiB) 2781696
[startup+541.901 s]
/proc/loadavg: 2.02 2.06 2.02 3/216 30965
/proc/meminfo: memFree=24802564/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2781696 CPUtime=549.95 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 14335 0 1 0 54868 127 0 0 20 0 20 0 342478401 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 695424 342641 2282 9 0 686117 0
[pid=30940/tid=30942] ppid=30938 vsize=2781696 CPUtime=509.75 cores=1,3,5,7
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 28535 0 -1 4202560 3084 0 1 0 50960 15 0 0 20 0 20 0 342478402 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069360235704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=2781696 CPUtime=1.14 cores=1,3,5,7
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28535 0 -1 4202560 349 0 0 0 99 15 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069227174440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=2781696 CPUtime=1.23 cores=1,3,5,7
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28535 0 -1 4202560 321 0 0 0 109 14 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069226121640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=2781696 CPUtime=1.1 cores=1,3,5,7
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28535 0 -1 4202560 372 0 0 0 98 12 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069225068840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=2781696 CPUtime=1.14 cores=1,3,5,7
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28535 0 -1 4202560 434 0 0 0 101 13 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069224016040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=2781696 CPUtime=1.24 cores=1,3,5,7
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28535 0 -1 4202560 396 0 0 0 109 15 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069222964264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=2781696 CPUtime=1.02 cores=1,3,5,7
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28535 0 -1 4202560 299 0 0 0 91 11 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069221911464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=2781696 CPUtime=1.21 cores=1,3,5,7
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28535 0 -1 4202560 439 0 0 0 107 14 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069220858664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30950] ppid=30938 vsize=2781696 CPUtime=1.12 cores=1,3,5,7
/proc/30940/task/30950/stat : 30950 (java) S 30938 30940 28535 0 -1 4202560 386 0 0 0 99 13 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069219805864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30951] ppid=30938 vsize=2781696 CPUtime=28.14 cores=1,3,5,7
/proc/30940/task/30951/stat : 30951 (java) R 30938 30940 28535 0 -1 4202560 112 0 0 0 2810 4 0 0 20 0 20 0 342478405 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068737374856 140069364396322 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30952] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30952/stat : 30952 (java) S 30938 30940 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342478405 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068736320760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30953] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30953/stat : 30953 (java) S 30938 30940 28535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 342478406 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068735267848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30954] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2781696 CPUtime=0.61 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 3175 0 0 0 59 2 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3740 0 0 0 57 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2781696 CPUtime=0.25 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 30 0 0 0 16 9 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342478465 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30965] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30965/stat : 30965 (java) S 30938 30940 28535 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 342532234 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068727898200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 549.95
Current children cumulated vsize (KiB) 2781696
[startup+542.101 s]
/proc/loadavg: 2.02 2.06 2.02 3/216 30965
/proc/meminfo: memFree=24802564/32873844 swapFree=7112/7112
[pid=30940] ppid=30938 vsize=2781696 CPUtime=550.15 cores=1,3,5,7
/proc/30940/stat : 30940 (java) S 30938 30940 28535 0 -1 4202496 14335 0 1 0 54888 127 0 0 20 0 20 0 342478401 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140734072075952 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30940/statm: 695424 342641 2282 9 0 686117 0
[pid=30940/tid=30942] ppid=30938 vsize=2781696 CPUtime=509.75 cores=1,3,5,7
/proc/30940/task/30942/stat : 30942 (java) S 30938 30940 28535 0 -1 4202560 3084 0 1 0 50960 15 0 0 20 0 20 0 342478402 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069360235704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=2781696 CPUtime=1.14 cores=1,3,5,7
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28535 0 -1 4202560 349 0 0 0 99 15 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069227174440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=2781696 CPUtime=1.23 cores=1,3,5,7
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28535 0 -1 4202560 321 0 0 0 109 14 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069226121640 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=2781696 CPUtime=1.1 cores=1,3,5,7
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28535 0 -1 4202560 372 0 0 0 98 12 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069225068840 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=2781696 CPUtime=1.14 cores=1,3,5,7
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28535 0 -1 4202560 434 0 0 0 101 13 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069224016040 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=2781696 CPUtime=1.24 cores=1,3,5,7
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28535 0 -1 4202560 396 0 0 0 109 15 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069222964264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=2781696 CPUtime=1.02 cores=1,3,5,7
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28535 0 -1 4202560 299 0 0 0 91 11 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069221911464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=2781696 CPUtime=1.21 cores=1,3,5,7
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28535 0 -1 4202560 439 0 0 0 107 14 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069220858664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30950] ppid=30938 vsize=2781696 CPUtime=1.12 cores=1,3,5,7
/proc/30940/task/30950/stat : 30950 (java) S 30938 30940 28535 0 -1 4202560 386 0 0 0 99 13 0 0 20 0 20 0 342478404 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140069219805864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30951] ppid=30938 vsize=2781696 CPUtime=28.34 cores=1,3,5,7
/proc/30940/task/30951/stat : 30951 (java) R 30938 30940 28535 0 -1 4202560 112 0 0 0 2830 4 0 0 20 0 20 0 342478405 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068737374856 273588699461 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30952] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30952/stat : 30952 (java) S 30938 30940 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342478405 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068736320760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30940/tid=30953] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30953/stat : 30953 (java) S 30938 30940 28535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 342478406 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068735267848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30954] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30954/stat : 30954 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068734216336 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30955] ppid=30938 vsize=2781696 CPUtime=0.61 cores=1,3,5,7
/proc/30940/task/30955/stat : 30955 (java) S 30938 30940 28535 0 -1 4202560 3175 0 0 0 59 2 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068733164472 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30956] ppid=30938 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/30940/task/30956/stat : 30956 (java) S 30938 30940 28535 0 -1 4202560 3740 0 0 0 57 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068732111672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30940/tid=30957] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30957/stat : 30957 (java) S 30938 30940 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068731059064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30940/tid=30958] ppid=30938 vsize=2781696 CPUtime=0.25 cores=1,3,5,7
/proc/30940/task/30958/stat : 30958 (java) S 30938 30940 28535 0 -1 4202560 30 0 0 0 16 9 0 0 20 0 20 0 342478408 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068730006472 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30959] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30959/stat : 30959 (java) S 30938 30940 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342478465 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068728951976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30940/tid=30965] ppid=30938 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/30940/task/30965/stat : 30965 (java) S 30938 30940 28535 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 342532234 2848456704 342641 33554432000 1073741824 1073778376 140734072084816 140068727898200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 550.15
Current children cumulated vsize (KiB) 2781696
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30940 and gives
# childrusage.ru_utime.tv_sec=547
# childrusage.ru_utime.tv_usec=507766
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=501771
# CPU time returned by wait4() is 549.01
# while last known CPU time is 550.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 542.15
CPU time (s): 550.15
CPU user time (s): 548.88
CPU system time (s): 1.27
CPU usage (%): 101.476
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.508
system time used= 1.50177
maximum resident set size= 1370592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14347
page faults= 1
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13555
involuntary context switches= 10981
runsolver used 2.27265 second user time and 5.65814 second system time
The end