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-3687897-1337877307/watcher-3687897-1337877307 -o /tmp/evaluation-result-3687897-1337877307/solver-3687897-1337877307 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687897-1337877307.opb
running on 4 cores: 0,2,4,6
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.09 2.02 1.95 3/196 22641
/proc/meminfo: memFree=28171660/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22641/stat : 22641 (java) D 22639 22641 21531 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253856074 9515008 183 33554432000 1073741824 1073778376 140736849700384 140736849691416 273589026485 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2323 183 140 9 0 71 0
[startup+0.090834 s]
/proc/loadavg: 2.09 2.02 1.95 3/196 22641
/proc/meminfo: memFree=28171660/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 3352 0 1 0 6 0 0 0 20 0 18 0 253856074 9787813888 4560 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2389603 4560 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100258 s]
/proc/loadavg: 2.09 2.02 1.95 3/196 22641
/proc/meminfo: memFree=28171660/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 4058 0 1 0 7 1 0 0 20 0 18 0 253856074 9787813888 5266 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2389603 5267 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300195 s]
/proc/loadavg: 2.09 2.02 1.95 3/196 22641
/proc/meminfo: memFree=28171660/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9558412 CPUtime=0.43 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 5224 0 1 0 42 1 0 0 20 0 18 0 253856074 9787813888 7735 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2389603 7735 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412
[startup+0.700227 s]
/proc/loadavg: 2.09 2.02 1.95 3/196 22641
/proc/meminfo: memFree=28171660/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9558412 CPUtime=0.99 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 7326 0 1 0 95 4 0 0 20 0 18 0 253856074 9787813888 40574 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2389603 40574 2250 9 0 2380296 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558412
[startup+1.5007 s]
/proc/loadavg: 2.09 2.02 1.95 3/215 22660
/proc/meminfo: memFree=28007856/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9624976 CPUtime=2.13 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 8739 0 1 0 209 4 0 0 20 0 19 0 253856074 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2406244 41268 2263 9 0 2396937 0
[pid=22641/tid=22643] ppid=22639 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (java) R 22639 22641 21531 0 -1 4202560 2517 0 1 0 142 3 0 0 20 0 19 0 253856075 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140527131435480 140526985243969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140527103888296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22645] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22645/stat : 22645 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526973660200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22646] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22646/stat : 22646 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526972607144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22647] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22647/stat : 22647 (java) S 22639 22641 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526971554600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22648] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22648/stat : 22648 (java) S 22639 22641 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526970501544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22649] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22649/stat : 22649 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526969449000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22650] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22650/stat : 22650 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526632298664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22651] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22651/stat : 22651 (java) S 22639 22641 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526631246120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22652] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22652/stat : 22652 (java) S 22639 22641 21531 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 253856077 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526619048808 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22653] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22653/stat : 22653 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526617995128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22654] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22654/stat : 22654 (java) S 22639 22641 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526616941960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22655] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22655/stat : 22655 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526615890704 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3230 0 0 0 34 0 0 0 20 0 19 0 253856081 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 1713 0 0 0 28 0 0 0 20 0 19 0 253856081 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 41268 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9624976
[startup+3.1007 s]
/proc/loadavg: 2.08 2.02 1.95 3/215 22660
/proc/meminfo: memFree=27962180/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9624976 CPUtime=3.89 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 8864 0 1 0 380 9 0 0 20 0 19 0 253856074 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2406244 60243 2275 9 0 2396937 0
[pid=22641/tid=22643] ppid=22639 vsize=9624976 CPUtime=2.96 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (java) R 22639 22641 21531 0 -1 4202560 2519 0 1 0 293 3 0 0 20 0 19 0 253856075 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140527131435296 140526985353395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (java) S 22639 22641 21531 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140527103888296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22645] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22645/stat : 22645 (java) S 22639 22641 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526973660200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22646] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22646/stat : 22646 (java) S 22639 22641 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526972607144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22647] ppid=22639 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22641/task/22647/stat : 22647 (java) S 22639 22641 21531 0 -1 4202560 38 0 0 0 0 1 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526971554600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22648] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22648/stat : 22648 (java) S 22639 22641 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526970501544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22649] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22649/stat : 22649 (java) S 22639 22641 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526969449000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22650] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22650/stat : 22650 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526632298664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22651] ppid=22639 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22641/task/22651/stat : 22651 (java) S 22639 22641 21531 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 19 0 253856076 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526631246120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22652] ppid=22639 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/22641/task/22652/stat : 22652 (java) S 22639 22641 21531 0 -1 4202560 105 0 0 0 4 0 0 0 20 0 19 0 253856077 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526619048808 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22653] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22653/stat : 22653 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526617995128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22654] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22654/stat : 22654 (java) S 22639 22641 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526616941960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22655] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22655/stat : 22655 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526615890704 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3231 0 0 0 37 0 0 0 20 0 19 0 253856081 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 1717 0 0 0 31 0 0 0 20 0 19 0 253856081 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 60243 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9624976
[startup+6.3007 s]
/proc/loadavg: 2.08 2.02 1.95 3/215 22660
/proc/meminfo: memFree=27889384/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9624976 CPUtime=7.28 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 10057 0 1 0 714 14 0 0 20 0 19 0 253856074 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2406244 69775 2275 9 0 2396937 0
[pid=22641/tid=22643] ppid=22639 vsize=9624976 CPUtime=6.01 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (java) R 22639 22641 21531 0 -1 4202560 2521 0 1 0 598 3 0 0 20 0 19 0 253856075 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140527131435296 140526985236855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (java) S 22639 22641 21531 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140527103888296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22645] ppid=22639 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22641/task/22645/stat : 22645 (java) S 22639 22641 21531 0 -1 4202560 143 0 0 0 1 1 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526973660200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22646] ppid=22639 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22641/task/22646/stat : 22646 (java) S 22639 22641 21531 0 -1 4202560 117 0 0 0 2 0 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526972607144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22647] ppid=22639 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/22641/task/22647/stat : 22647 (java) S 22639 22641 21531 0 -1 4202560 50 0 0 0 2 2 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526971554600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22648] ppid=22639 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22641/task/22648/stat : 22648 (java) S 22639 22641 21531 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526970501544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22649] ppid=22639 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22641/task/22649/stat : 22649 (java) S 22639 22641 21531 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526969449000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22650] ppid=22639 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22641/task/22650/stat : 22650 (java) S 22639 22641 21531 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526632298664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22651] ppid=22639 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/22641/task/22651/stat : 22651 (java) S 22639 22641 21531 0 -1 4202560 141 0 0 0 1 2 0 0 20 0 19 0 253856076 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526631246120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22652] ppid=22639 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/22641/task/22652/stat : 22652 (java) S 22639 22641 21531 0 -1 4202560 117 0 0 0 13 0 0 0 20 0 19 0 253856077 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526619048808 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22653] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22653/stat : 22653 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526617995128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22654] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22654/stat : 22654 (java) S 22639 22641 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526616941960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22655] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22655/stat : 22655 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526615890704 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3232 0 0 0 38 0 0 0 20 0 19 0 253856081 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 2490 0 0 0 39 0 0 0 20 0 19 0 253856081 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 69775 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3232 0 0 0 38 0 0 0 20 0 19 0 253856081 9855975424 337761 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 3425 0 0 0 45 1 0 0 20 0 19 0 253856081 9855975424 337761 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 337761 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 95 0 0 0 40 34 0 0 20 0 19 0 253856081 9855975424 337761 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 337761 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1672.24
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/215 22758
/proc/meminfo: memFree=26957924/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9624976 CPUtime=1732.38 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 17270 0 1 0 173084 154 0 0 20 0 19 0 253856074 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2406244 338823 2276 9 0 2396937 0
[pid=22641/tid=22643] ppid=22639 vsize=9624976 CPUtime=1707.1 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (java) R 22639 22641 21531 0 -1 4202560 3195 0 1 0 170678 32 0 0 20 0 19 0 253856075 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140527131435296 140526985260545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (java) S 22639 22641 21531 0 -1 4202560 524 0 0 0 141 14 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140527103888296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22645] ppid=22639 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22641/task/22645/stat : 22645 (java) S 22639 22641 21531 0 -1 4202560 678 0 0 0 126 16 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526973660200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22646] ppid=22639 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/22641/task/22646/stat : 22646 (java) S 22639 22641 21531 0 -1 4202560 599 0 0 0 138 10 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526972607144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22647] ppid=22639 vsize=9624976 CPUtime=1.62 cores=0,2,4,6
/proc/22641/task/22647/stat : 22647 (java) S 22639 22641 21531 0 -1 4202560 549 0 0 0 147 15 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526971554600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22648] ppid=22639 vsize=9624976 CPUtime=1.35 cores=0,2,4,6
/proc/22641/task/22648/stat : 22648 (java) S 22639 22641 21531 0 -1 4202560 546 0 0 0 124 11 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526970501544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22649] ppid=22639 vsize=9624976 CPUtime=1.35 cores=0,2,4,6
/proc/22641/task/22649/stat : 22649 (java) S 22639 22641 21531 0 -1 4202560 593 0 0 0 122 13 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526969449000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22650] ppid=22639 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/22641/task/22650/stat : 22650 (java) S 22639 22641 21531 0 -1 4202560 573 0 0 0 136 14 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526632298664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22651] ppid=22639 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/22641/task/22651/stat : 22651 (java) S 22639 22641 21531 0 -1 4202560 897 0 0 0 132 15 0 0 20 0 19 0 253856076 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526631246120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22652] ppid=22639 vsize=9624976 CPUtime=7.65 cores=0,2,4,6
/proc/22641/task/22652/stat : 22652 (java) S 22639 22641 21531 0 -1 4202560 1179 0 0 0 761 4 0 0 20 0 19 0 253856077 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526619048808 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22653] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22653/stat : 22653 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526617995128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22654] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22654/stat : 22654 (java) S 22639 22641 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526616941960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22655] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22655/stat : 22655 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526615890704 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3232 0 0 0 38 0 0 0 20 0 19 0 253856081 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 3425 0 0 0 45 1 0 0 20 0 19 0 253856081 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 99 0 0 0 41 35 0 0 20 0 19 0 253856081 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 338823 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1732.38
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/215 22758
/proc/meminfo: memFree=26953816/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9624976 CPUtime=1792.58 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 17323 0 1 0 179103 155 0 0 20 0 19 0 253856074 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2406244 341424 2276 9 0 2396937 0
[pid=22641/tid=22643] ppid=22639 vsize=9624976 CPUtime=1766.76 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (java) R 22639 22641 21531 0 -1 4202560 3201 0 1 0 176643 33 0 0 20 0 19 0 253856075 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140527131435296 140526985320384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (java) S 22639 22641 21531 0 -1 4202560 524 0 0 0 144 14 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140527103888296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22645] ppid=22639 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22641/task/22645/stat : 22645 (java) S 22639 22641 21531 0 -1 4202560 681 0 0 0 129 16 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526973660200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22646] ppid=22639 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/22641/task/22646/stat : 22646 (java) S 22639 22641 21531 0 -1 4202560 611 0 0 0 140 10 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526972607144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22647] ppid=22639 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/22641/task/22647/stat : 22647 (java) S 22639 22641 21531 0 -1 4202560 549 0 0 0 149 15 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526971554600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22648] ppid=22639 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/22641/task/22648/stat : 22648 (java) S 22639 22641 21531 0 -1 4202560 555 0 0 0 127 11 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526970501544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22649] ppid=22639 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22641/task/22649/stat : 22649 (java) S 22639 22641 21531 0 -1 4202560 605 0 0 0 129 13 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526969449000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22650] ppid=22639 vsize=9624976 CPUtime=1.54 cores=0,2,4,6
/proc/22641/task/22650/stat : 22650 (java) S 22639 22641 21531 0 -1 4202560 578 0 0 0 140 14 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526632298664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22651] ppid=22639 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/22641/task/22651/stat : 22651 (java) S 22639 22641 21531 0 -1 4202560 897 0 0 0 134 15 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526631246120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22652] ppid=22639 vsize=9624976 CPUtime=7.76 cores=0,2,4,6
/proc/22641/task/22652/stat : 22652 (java) S 22639 22641 21531 0 -1 4202560 1181 0 0 0 772 4 0 0 20 0 19 0 253856077 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526619048808 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22653] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22653/stat : 22653 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526617995128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22654] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22654/stat : 22654 (java) S 22639 22641 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526616941960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22655] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22655/stat : 22655 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526615890704 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3232 0 0 0 38 0 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 3425 0 0 0 45 1 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 103 0 0 0 43 37 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/215 22758
/proc/meminfo: memFree=26955056/32873844 swapFree=6584/6584
[pid=22641] ppid=22639 vsize=9624976 CPUtime=1800.09 cores=0,2,4,6
/proc/22641/stat : 22641 (java) S 22639 22641 21531 0 -1 4202496 17323 0 1 0 179853 156 0 0 20 0 19 0 253856074 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140736522307408 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22641/statm: 2406244 341424 2276 9 0 2396937 0
[pid=22641/tid=22643] ppid=22639 vsize=9624976 CPUtime=1774.24 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (java) R 22639 22641 21531 0 -1 4202560 3201 0 1 0 177391 33 0 0 20 0 19 0 253856075 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140527131435296 140526985353622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (java) S 22639 22641 21531 0 -1 4202560 524 0 0 0 144 14 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140527103888296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22645] ppid=22639 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22641/task/22645/stat : 22645 (java) S 22639 22641 21531 0 -1 4202560 681 0 0 0 129 16 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526973660200 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22646] ppid=22639 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/22641/task/22646/stat : 22646 (java) S 22639 22641 21531 0 -1 4202560 611 0 0 0 140 10 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526972607144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22647] ppid=22639 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/22641/task/22647/stat : 22647 (java) S 22639 22641 21531 0 -1 4202560 549 0 0 0 149 15 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526971554600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22648] ppid=22639 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/22641/task/22648/stat : 22648 (java) S 22639 22641 21531 0 -1 4202560 555 0 0 0 127 11 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526970501544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22649] ppid=22639 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22641/task/22649/stat : 22649 (java) S 22639 22641 21531 0 -1 4202560 605 0 0 0 129 13 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526969449000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22650] ppid=22639 vsize=9624976 CPUtime=1.54 cores=0,2,4,6
/proc/22641/task/22650/stat : 22650 (java) S 22639 22641 21531 0 -1 4202560 578 0 0 0 140 14 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526632298664 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22651] ppid=22639 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/22641/task/22651/stat : 22651 (java) S 22639 22641 21531 0 -1 4202560 897 0 0 0 134 15 0 0 20 0 19 0 253856076 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526631246120 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22641/tid=22652] ppid=22639 vsize=9624976 CPUtime=7.76 cores=0,2,4,6
/proc/22641/task/22652/stat : 22652 (java) S 22639 22641 21531 0 -1 4202560 1181 0 0 0 772 4 0 0 20 0 19 0 253856077 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526619048808 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22653] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22653/stat : 22653 (java) S 22639 22641 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526617995128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22654] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22654/stat : 22654 (java) S 22639 22641 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856078 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526616941960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22655] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22655/stat : 22655 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526615890704 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22656] ppid=22639 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22641/task/22656/stat : 22656 (java) S 22639 22641 21531 0 -1 4202560 3232 0 0 0 38 0 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526614837560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22657] ppid=22639 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22641/task/22657/stat : 22657 (java) S 22639 22641 21531 0 -1 4202560 3425 0 0 0 45 1 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526613785016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22658] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22658/stat : 22658 (java) S 22639 22641 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526612732152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22641/tid=22659] ppid=22639 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/22641/task/22659/stat : 22659 (java) S 22639 22641 21531 0 -1 4202560 103 0 0 0 43 37 0 0 20 0 19 0 253856081 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526611679816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22660] ppid=22639 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22641/task/22660/stat : 22660 (java) S 22639 22641 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856144 9855975424 341424 33554432000 1073741824 1073778376 140736522316272 140526610626088 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976
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 22641 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=19267
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=970700
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.86
CPU time (s): 1800.09
CPU user time (s): 1798.53
CPU system time (s): 1.56
CPU usage (%): 100.572
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 1.9707
maximum resident set size= 1365844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17364
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39991
involuntary context switches= 10318
runsolver used 5.88011 second user time and 15.3147 second system time
The end