runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10224 MiB free)
memory of node 1: 16384 MiB (14670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263554-1502618055/watcher-4263554-1502618055 -o /tmp/evaluation-result-4263554-1502618055/solver-4263554-1502618055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502612262-5005 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263554-1502618055.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6617, runsolver pid=6614
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.43 3.42 3.14 3/216 6632
/proc/meminfo: memFree=25471376/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10555400 memory=32824 CPUtime=0.12 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 6738 0 0 0 11 1 0 0 20 0 15 0 94886414 10808729600 8206 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2638850 8206 2817 1 0 2627263 0
[pid=6617/tid=6619] ppid=6614 vsize=10555400 memory=-8681632177099470016 CPUtime=0.09 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) R 6614 6617 4973 0 -1 4202560 4596 0 0 0 8 1 0 0 20 0 15 0 94886414 10808729600 8206 33554432000 4194304 4196468 140723414275456 140249386007184 140249381807261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 8206 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886416 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94886417 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248940442784 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94886417 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248939389680 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886419 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) S 6614 6617 4973 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 94886419 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248937286384 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) R 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886419 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0.02 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) R 6614 6617 4973 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 94886419 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248478636528 140249381797270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886420 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886420 10808729600 8206 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 32824 KiB
[startup+0.212979 s]*
/proc/loadavg: 2.43 3.42 3.14 6/216 6632
/proc/meminfo: memFree=25460640/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10555400 memory=45208 CPUtime=0.33 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 8412 0 0 0 32 1 0 0 20 0 15 0 94886414 10808729600 11302 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2638850 11302 2965 1 0 2627263 0
[pid=6617/tid=6619] ppid=6614 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) R 6614 6617 4973 0 -1 4202560 5051 0 0 0 19 1 0 0 20 0 15 0 94886414 10808729600 11302 33554432000 4194304 4196468 140723414275456 140249386023104 140249381807261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10555400 memory=365 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 11302 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10555400 memory=140374168131847 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886416 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94886417 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248940442784 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94886417 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248939389680 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886419 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10555400 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) R 6614 6617 4973 0 -1 1077944384 899 0 0 0 3 0 0 0 20 0 15 0 94886419 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248937286384 140249381796482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) S 6614 6617 4973 0 -1 1077944384 309 0 0 0 2 0 0 0 20 0 15 0 94886419 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0.07 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) S 6614 6617 4973 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 15 0 94886419 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248478636528 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886420 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10555400 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886420 10808729600 11302 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 45208 KiB
[startup+0.310502 s]*
/proc/loadavg: 2.43 3.42 3.14 4/216 6632
/proc/meminfo: memFree=25454312/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10555476 memory=49556 CPUtime=0.51 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 9136 0 0 0 49 2 0 0 20 0 15 0 94886414 10808807424 12389 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2638869 12389 3025 1 0 2627263 0
[pid=6617/tid=6619] ppid=6614 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) S 6614 6617 4973 0 -1 1077944384 5693 0 0 0 29 1 0 0 20 0 15 0 94886414 10808807424 12389 33554432000 4194304 4196468 140723414275456 140249386022256 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10555476 memory=304556153373982743 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 12389 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10555476 memory=15675606791435928 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10555476 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94886416 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94886417 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248940442784 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94886417 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248939389680 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886419 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) R 6614 6617 4973 0 -1 4202560 899 0 0 0 3 0 0 0 20 0 15 0 94886419 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248937286384 140249364998696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10555476 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) R 6614 6617 4973 0 -1 1077944384 347 0 0 0 4 0 0 0 20 0 15 0 94886419 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10555476 memory=140374168123008 CPUtime=0.12 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) R 6614 6617 4973 0 -1 4202560 830 0 0 0 12 0 0 0 20 0 15 0 94886419 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248478636528 140249360616440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886420 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10555476 memory=140374168123008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886420 10808807424 12389 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 49556 KiB
[startup+0.700789 s]
/proc/loadavg: 2.43 3.42 3.14 5/216 6632
/proc/meminfo: memFree=25391700/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10555476 memory=185784 CPUtime=1.69 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 11547 0 0 0 164 5 0 0 20 0 15 0 94886414 10808807424 46446 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2638869 46446 3103 1 0 2627263 0
[pid=6617/tid=6619] ppid=6614 vsize=10555476 memory=1728 CPUtime=0.66 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) R 6614 6617 4973 0 -1 4202560 5872 0 0 0 63 3 0 0 20 0 15 0 94886414 10808807424 46446 33554432000 4194304 4196468 140723414275456 140249385995872 140249381797270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 46446 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10555476 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10555476 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10555476 memory=5716 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 94886415 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10555476 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 94886416 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10555476 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 94886417 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248940442784 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10555476 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94886417 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248939389680 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10555476 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886419 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10555476 memory=4639098309541127021 CPUtime=0.35 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) R 6614 6617 4973 0 -1 4202560 1798 0 0 0 35 0 0 0 20 0 15 0 94886419 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248937276208 140249361628925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10555476 memory=7597685182856913236 CPUtime=0.37 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) R 6614 6617 4973 0 -1 4202560 1216 0 0 0 37 0 0 0 20 0 15 0 94886419 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248479679056 140249362421268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10555476 memory=7236547281622689387 CPUtime=0.25 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) R 6614 6617 4973 0 -1 1077944384 1177 0 0 0 25 0 0 0 20 0 15 0 94886419 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248478636528 140249381796482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94886420 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10555476 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94886420 10808807424 46446 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 185784 KiB
[startup+1.5008 s]
/proc/loadavg: 2.56 3.43 3.15 7/216 6632
/proc/meminfo: memFree=25275296/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10555476 memory=346160 CPUtime=4.18 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 20472 0 0 0 406 12 0 0 20 0 15 0 94886414 10808807424 86540 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2638869 86540 3120 1 0 2627263 0
[pid=6617/tid=6619] ppid=6614 vsize=10555476 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) R 6614 6617 4973 0 -1 4202560 5941 0 0 0 138 5 0 0 20 0 15 0 94886414 10808807424 86540 33554432000 4194304 4196468 140723414275456 140249386012304 140249365891460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10555476 memory=-8754540793456063680 CPUtime=0.02 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 15 0 94886415 10808807424 86540 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10555476 memory=-2843874019102283166 CPUtime=0.04 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 113 0 0 0 3 1 0 0 20 0 15 0 94886415 10808807424 86540 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10555476 memory=5450919713671312938 CPUtime=0.03 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 88 0 0 0 3 0 0 0 20 0 15 0 94886415 10808807424 86540 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10555476 memory=7005738693937936738 CPUtime=0.03 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 15 0 94886415 10808807424 86540 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 94886416 10808807424 86540 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
################
# More data... #
################
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 14948 0 0 0 491 4 0 0 20 0 16 0 94886416 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 94886417 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248940442848 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 94886417 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248939389696 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94886419 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10622040 memory=164 CPUtime=2.33 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) S 6614 6617 4973 0 -1 1077944384 10681 0 0 0 231 2 0 0 20 0 16 0 94886419 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248937286384 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10622040 memory=4663224 CPUtime=1.99 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) S 6614 6617 4973 0 -1 1077944384 9865 0 0 0 198 1 0 0 20 0 16 0 94886419 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0.44 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) S 6614 6617 4973 0 -1 1077944384 4144 0 0 0 42 2 0 0 20 0 16 0 94886419 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248478636528 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94886420 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10622040 memory=27628 CPUtime=1.54 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 2474 0 0 0 74 80 0 0 20 0 16 0 94886420 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6641] ppid=6614 vsize=10622040 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6641/stat : 6641 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 94888024 10876968960 1165806 33554432000 4194304 4196468 140723414275456 140248475477040 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 2428.28 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4663224 KiB
[startup+2442.3 s]
/proc/loadavg: 2.14 3.29 3.07 3/218 6892
/proc/meminfo: memFree=19259464/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10622040 memory=4787648 CPUtime=2489.5 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 243014 0 0 0 248474 476 0 0 20 0 16 0 94886414 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2655510 1196912 3170 1 0 2643904 0
[pid=6617/tid=6619] ppid=6614 vsize=10622040 memory=4787648 CPUtime=2423.91 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) R 6614 6617 4973 0 -1 4202560 146807 0 0 0 242353 38 0 0 20 0 16 0 94886414 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140249386024288 140249022893317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10622040 memory=4663224 CPUtime=13.59 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 12978 0 0 0 1268 91 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10622040 memory=4663224 CPUtime=13.5 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 10865 0 0 0 1264 86 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10622040 memory=4663224 CPUtime=13.54 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 14206 0 0 0 1262 92 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10622040 memory=4787648 CPUtime=13.57 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 14289 0 0 0 1270 87 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10622040 memory=4787648 CPUtime=4.95 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 15183 0 0 0 491 4 0 0 20 0 16 0 94886416 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10622040 memory=4787648 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 94886417 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248940442848 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10622040 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 94886417 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248939389696 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10622040 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10622040 memory=4663224 CPUtime=2.33 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) S 6614 6617 4973 0 -1 1077944384 10687 0 0 0 231 2 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248937286384 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10622040 memory=4663224 CPUtime=1.99 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) S 6614 6617 4973 0 -1 1077944384 9874 0 0 0 198 1 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0.44 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) S 6614 6617 4973 0 -1 1077944384 4152 0 0 0 42 2 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248478636528 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10622040 memory=4663224 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94886420 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10622040 memory=4787648 CPUtime=1.58 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 2515 0 0 0 76 82 0 0 20 0 16 0 94886420 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6641] ppid=6614 vsize=10622040 memory=4787648 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6641/stat : 6641 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 94888024 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248475477040 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 2489.5 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4787648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.8 s]
/proc/loadavg: 2.08 3.16 3.04 3/218 6892
/proc/meminfo: memFree=19259616/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10622040 memory=4787648 CPUtime=2520.02 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 244048 0 0 0 251525 477 0 0 20 0 16 0 94886414 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2655510 1196912 3170 1 0 2643904 0
[pid=6617/tid=6619] ppid=6614 vsize=10622040 memory=4787648 CPUtime=2454.41 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) R 6614 6617 4973 0 -1 4202560 147792 0 0 0 245403 38 0 0 20 0 16 0 94886414 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140249386024288 140249022463640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10622040 memory=1728 CPUtime=13.59 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 12978 0 0 0 1268 91 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10622040 memory=792 CPUtime=13.5 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 10865 0 0 0 1264 86 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10622040 memory=9992 CPUtime=13.54 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 14206 0 0 0 1262 92 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10622040 memory=4787648 CPUtime=13.57 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 14289 0 0 0 1270 87 0 0 20 0 16 0 94886415 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10622040 memory=8552 CPUtime=4.95 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 15193 0 0 0 491 4 0 0 20 0 16 0 94886416 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10622040 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 94886417 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248940442848 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 94886417 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248939389696 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10622040 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10622040 memory=8112282956445269571 CPUtime=2.33 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) S 6614 6617 4973 0 -1 1077944384 10687 0 0 0 231 2 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248937286384 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10622040 memory=27640 CPUtime=2 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) S 6614 6617 4973 0 -1 1077944384 9876 0 0 0 198 2 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10622040 memory=1292 CPUtime=0.44 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) S 6614 6617 4973 0 -1 1077944384 4154 0 0 0 42 2 0 0 20 0 16 0 94886419 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248478636528 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10622040 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 94886420 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10622040 memory=8112282956445269571 CPUtime=1.6 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 2550 0 0 0 77 83 0 0 20 0 16 0 94886420 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6641] ppid=6614 vsize=10622040 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6641/stat : 6641 (java) S 6614 6617 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 94888024 10876968960 1196912 33554432000 4194304 4196468 140723414275456 140248475477040 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4787648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.06 s]
# the end of solver process 6617 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.31 s, system=4.80199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473 s]*
/proc/loadavg: 2.08 3.16 3.04 2/219 6895
/proc/meminfo: memFree=19259616/32770624 swapFree=67108860/67108860
[pid=6617] ppid=6614 vsize=10821732 memory=4787972 CPUtime=2520.05 cores=1,3,5,7
/proc/6617/stat : 6617 (java) S 6614 6617 4973 0 -1 1077944320 245326 0 0 0 251528 477 0 0 20 0 17 0 94886414 11081453568 1196993 33554432000 4194304 4196468 140723414275456 140723414258000 140249381785335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
/proc/6617/statm: 2705433 1196993 3174 1 0 2693827 0
[pid=6617/tid=6619] ppid=6614 vsize=10821732 memory=8112282956445269571 CPUtime=2454.43 cores=1,3,5,7
/proc/6617/task/6619/stat : 6619 (java) S 6614 6617 4973 0 -1 1077944384 147892 0 0 0 245405 38 0 0 20 0 17 0 94886414 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140249386028208 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6620] ppid=6614 vsize=10821732 memory=4872558044660077418 CPUtime=13.59 cores=1,3,5,7
/proc/6617/task/6620/stat : 6620 (java) S 6614 6617 4973 0 -1 1077944384 12978 0 0 0 1268 91 0 0 20 0 17 0 94886415 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140249340546064 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6621] ppid=6614 vsize=10821732 memory=7739552943395258468 CPUtime=13.5 cores=1,3,5,7
/proc/6617/task/6621/stat : 6621 (java) S 6614 6617 4973 0 -1 1077944384 10865 0 0 0 1264 86 0 0 20 0 17 0 94886415 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248987020432 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6622] ppid=6614 vsize=10821732 memory=3047711566422646390 CPUtime=13.54 cores=1,3,5,7
/proc/6617/task/6622/stat : 6622 (java) S 6614 6617 4973 0 -1 1077944384 14206 0 0 0 1262 92 0 0 20 0 17 0 94886415 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248985967376 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6623] ppid=6614 vsize=10821732 memory=6011015141496809319 CPUtime=13.57 cores=1,3,5,7
/proc/6617/task/6623/stat : 6623 (java) S 6614 6617 4973 0 -1 1077944384 14289 0 0 0 1270 87 0 0 20 0 17 0 94886415 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248984914832 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6624] ppid=6614 vsize=10821732 memory=7516879891471297380 CPUtime=4.95 cores=1,3,5,7
/proc/6617/task/6624/stat : 6624 (java) S 6614 6617 4973 0 -1 1077944384 15222 0 0 0 491 4 0 0 20 0 17 0 94886416 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248941496560 140249381796482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6625] ppid=6614 vsize=10821732 memory=7450198892160771176 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6625/stat : 6625 (java) S 6614 6617 4973 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 94886417 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248940442848 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6626] ppid=6614 vsize=10821732 memory=5794268375742245478 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6626/stat : 6626 (java) S 6614 6617 4973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 94886417 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248939389696 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6627] ppid=6614 vsize=10821732 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6627/stat : 6627 (java) S 6614 6617 4973 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 17 0 94886419 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248938338256 140249381803931 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6628] ppid=6614 vsize=10821732 memory=4100 CPUtime=2.33 cores=1,3,5,7
/proc/6617/task/6628/stat : 6628 (java) S 6614 6617 4973 0 -1 1077944384 10690 0 0 0 231 2 0 0 20 0 17 0 94886419 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248937286384 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6629] ppid=6614 vsize=10821732 memory=1160 CPUtime=2 cores=1,3,5,7
/proc/6617/task/6629/stat : 6629 (java) S 6614 6617 4973 0 -1 1077944384 9876 0 0 0 198 2 0 0 20 0 17 0 94886419 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248479689584 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6630] ppid=6614 vsize=10821732 memory=3292 CPUtime=0.44 cores=1,3,5,7
/proc/6617/task/6630/stat : 6630 (java) S 6614 6617 4973 0 -1 1077944384 4875 0 0 0 42 2 0 0 20 0 17 0 94886419 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248478636528 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6631] ppid=6614 vsize=10821732 memory=4787648 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6631/stat : 6631 (java) S 6614 6617 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 94886420 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248477584224 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6632] ppid=6614 vsize=10821732 memory=1156 CPUtime=1.6 cores=1,3,5,7
/proc/6617/task/6632/stat : 6632 (java) S 6614 6617 4973 0 -1 1077944384 2550 0 0 0 77 83 0 0 20 0 17 0 94886420 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248476531248 140249381796482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6893] ppid=6614 vsize=10821732 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6893/stat : 6893 (java) S 6614 6617 4973 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 17 0 95133694 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248474423280 140249381795541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
[pid=6617/tid=6894] ppid=6614 vsize=10821732 memory=4855012 CPUtime=0 cores=1,3,5,7
/proc/6617/task/6894/stat : 6894 (java) R 6614 6617 4973 0 -1 4202560 298 0 0 0 0 0 0 0 20 0 17 0 95133694 11081453568 1196994 33554432000 4194304 4196468 140723414275456 140248473371664 140249021240640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39305216 140723414283398 140723414283551 140723414283551 140723414286287 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4787972 KiB
Child status: 143
Real time (s): 2473.06
CPU time (s): 2520.12
CPU user time (s): 2515.31
CPU system time (s): 4.80199
CPU usage (%): 101.903
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 4787972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.31
system time used= 4.80199
maximum resident set size= 4788124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56655
involuntary context switches= 1548
# summary of solver processes directly reported to runsolver:
# pid: 6617
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.31
# total CPU system time (s): 4.80199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9028 second user time and 24.5109 second system time
The end