2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
slowpoke 2018-04-29	SAT (TO)	29	2520.08	2509.33
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 (11433 MiB free)
  memory of node 1: 16384 MiB (14738 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298472-1532762816/watcher-4298472-1532762816 -o /tmp/evaluation-result-4298472-1532762816/solver-4298472-1532762816 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2005 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298472-1532762816.xml --timelimit 2520 

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
Current StackSize limit: 8192 KiB

solver pid=5077, runsolver pid=5074

[startup+0.101205 s]*
/proc/loadavg: 2.07 1.98 1.96 3/215 5092
/proc/meminfo: memFree=26784012/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661056 memory=28284 CPUtime=0.12 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 5403 0 0 0 11 1 0 0 20 0 15 0 93844845 10916921344 7071 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665264 7071 2850 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661056 memory=-8679949898555946176 CPUtime=0.09 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 3281 0 0 0 8 1 0 0 20 0 15 0 93844845 10916921344 7071 33554432000 4194304 4196468 140730719254768 139759552329824 139759548112278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 7071 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 7071 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 7071 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 7071 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93844848 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93844848 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758852109984 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93844848 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) R 5074 5077 1972 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758848952560 139759548111490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758847900016 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0.01 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) R 5074 5077 1972 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 93844851 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758846846960 139759548121690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 7071 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28284 KiB

[startup+0.210349 s]*
/proc/loadavg: 2.07 1.98 1.96 4/215 5092
/proc/meminfo: memFree=26772584/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661056 memory=40224 CPUtime=0.34 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 8207 0 0 0 32 2 0 0 20 0 15 0 93844845 10916921344 10056 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665264 10056 2996 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 1077944384 5174 0 0 0 18 1 0 0 20 0 15 0 93844845 10916921344 10056 33554432000 4194304 4196468 140730719254768 139759552338384 139759548110549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661056 memory=343 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 10056 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661056 memory=139919830317444 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 10056 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 10056 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93844846 10916921344 10122 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93844848 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93844848 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758852109984 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93844848 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) S 5074 5077 1972 0 -1 1077944384 574 0 0 0 2 0 0 0 20 0 15 0 93844851 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758848952560 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) S 5074 5077 1972 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 93844851 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758847900016 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0.08 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) R 5074 5077 1972 0 -1 4202560 858 0 0 0 8 0 0 0 20 0 15 0 93844851 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758846846144 139759540337470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661056 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844851 10916921344 10122 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40224 KiB

[startup+0.313333 s]*
/proc/loadavg: 2.07 1.98 1.96 5/215 5092
/proc/meminfo: memFree=26756836/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661132 memory=56304 CPUtime=0.67 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 10069 0 0 0 64 3 0 0 20 0 15 0 93844845 10916999168 14076 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665283 14076 3076 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661132 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 5323 0 0 0 28 1 0 0 20 0 15 0 93844845 10916999168 14076 33554432000 4194304 4196468 140730719254768 139759552337008 139759548122269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 14076 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=139919830307966 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 14076 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 14076 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 14076 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758852109984 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) R 5074 5077 1972 0 -1 4202560 1477 0 0 0 11 0 0 0 20 0 15 0 93844851 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758848938584 139759526516168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) R 5074 5077 1972 0 -1 4202560 771 0 0 0 11 0 0 0 20 0 15 0 93844851 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758847881032 139759529644527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661132 memory=139919829829248 CPUtime=0.12 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) R 5074 5077 1972 0 -1 1077944384 1139 0 0 0 12 0 0 0 20 0 15 0 93844851 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758846846960 139759548111490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661132 memory=139919829829248 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 14076 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 56304 KiB

[startup+0.700797 s]
/proc/loadavg: 2.07 1.98 1.96 5/215 5092
/proc/meminfo: memFree=26735056/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661132 memory=148292 CPUtime=1.81 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 11093 0 0 0 177 4 0 0 20 0 15 0 93844845 10916999168 37073 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665283 37073 3108 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661132 memory=161755313481531 CPUtime=0.67 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 5554 0 0 0 64 3 0 0 20 0 15 0 93844845 10916999168 37073 33554432000 4194304 4196468 140730719254768 139759552334952 139759187883104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=551299 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 37073 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 37073 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 37073 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93844846 10916999168 37073 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661132 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758852109984 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661132 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) R 5074 5077 1972 0 -1 4202560 1630 0 0 0 44 0 0 0 20 0 15 0 93844851 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758848945584 139759532494225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661132 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) R 5074 5077 1972 0 -1 4202560 1172 0 0 0 44 0 0 0 20 0 15 0 93844851 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758847900144 139759548121690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661132 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) R 5074 5077 1972 0 -1 1077944384 1366 0 0 0 23 0 0 0 20 0 15 0 93844851 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758846846960 139759548111490 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661132 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 37073 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 148292 KiB

[startup+1.50939 s]
/proc/loadavg: 2.07 1.98 1.96 4/215 5092
/proc/meminfo: memFree=26619752/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661132 memory=362920 CPUtime=4.25 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 15484 0 0 0 407 18 0 0 20 0 15 0 93844845 10916999168 90730 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665283 90730 3162 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661132 memory=10799 CPUtime=1.41 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 5905 0 0 0 136 5 0 0 20 0 15 0 93844845 10916999168 90730 33554432000 4194304 4196468 140730719254768 139759552334952 139759189986552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 219 0 0 0 3 2 0 0 20 0 15 0 93844846 10916999168 90730 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 15 0 93844846 10916999168 90730 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 172 0 0 0 3 2 0 0 20 0 15 0 93844846 10916999168 90730 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=6943526294502006880 CPUtime=0.05 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 136 0 0 0 3 2 0 0 20 0 15 0 93844846 10916999168 90730 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 90730 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0

################
# More data... #
################

/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 83401 0 0 0 243992 79 0 0 20 0 15 0 93844845 10916999168 284714 33554432000 4194304 4196468 140730719254768 139759552341248 139759191800328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=1232 CPUtime=1.23 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 6937 0 0 0 109 14 0 0 20 0 15 0 93844846 10916999168 284714 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=1138856 CPUtime=1.23 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 6365 0 0 0 109 14 0 0 20 0 15 0 93844846 10916999168 284714 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 7473 0 0 0 109 16 0 0 20 0 15 0 93844846 10916999168 284714 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=1138856 CPUtime=1.23 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 8110 0 0 0 110 13 0 0 20 0 15 0 93844846 10916999168 284714 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=1138856 CPUtime=0.16 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 10668 0 0 0 14 2 0 0 20 0 15 0 93844848 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661132 memory=1138856 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758852110048 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661132 memory=1138856 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661132 memory=1138856 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661132 memory=1138856 CPUtime=2.89 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) S 5074 5077 1972 0 -1 1077944384 14625 0 0 0 287 2 0 0 20 0 15 0 93844851 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758848952560 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661132 memory=1138856 CPUtime=2.65 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) S 5074 5077 1972 0 -1 1077944384 12185 0 0 0 263 2 0 0 20 0 15 0 93844851 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758847900016 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661132 memory=1138856 CPUtime=0.53 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) S 5074 5077 1972 0 -1 1077944384 5901 0 0 0 53 0 0 0 20 0 15 0 93844851 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758846846960 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661132 memory=4052 CPUtime=0.92 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1415 0 0 0 45 47 0 0 20 0 15 0 93844851 10916999168 284714 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 2452.92 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1138856 KiB

[startup+2502.3 s]
/proc/loadavg: 1.87 1.93 1.95 3/215 5266
/proc/meminfo: memFree=26667440/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661132 memory=1101408 CPUtime=2513.03 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 161322 0 0 0 251114 189 0 0 20 0 15 0 93844845 10916999168 275352 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665283 275352 3185 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661132 memory=1131160 CPUtime=2500.67 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 84594 0 0 0 249987 80 0 0 20 0 15 0 93844845 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759552341248 139759191909649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 7400 0 0 0 112 14 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 6539 0 0 0 112 14 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.28 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 7599 0 0 0 112 16 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 8594 0 0 0 113 13 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.17 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 11038 0 0 0 14 3 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758852110048 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661132 memory=1131160 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661132 memory=1131160 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661132 memory=1101408 CPUtime=2.89 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) S 5074 5077 1972 0 -1 1077944384 14628 0 0 0 287 2 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758848952560 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661132 memory=1101408 CPUtime=2.65 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) S 5074 5077 1972 0 -1 1077944384 12194 0 0 0 263 2 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758847900016 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.53 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) S 5074 5077 1972 0 -1 1077944384 5905 0 0 0 53 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758846846960 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661132 memory=27356 CPUtime=0.95 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1446 0 0 0 46 49 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 2513.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1101408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.3 s]
/proc/loadavg: 1.88 1.93 1.95 3/215 5266
/proc/meminfo: memFree=26661300/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661132 memory=1101408 CPUtime=2520.04 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 161352 0 0 0 251815 189 0 0 20 0 15 0 93844845 10916999168 275352 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665283 275352 3185 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661132 memory=279839400786608 CPUtime=2507.68 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 84624 0 0 0 250687 81 0 0 20 0 15 0 93844845 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759552341248 139759191799672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 7400 0 0 0 112 14 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 6539 0 0 0 112 14 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.28 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 7599 0 0 0 112 16 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 8594 0 0 0 113 13 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.17 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 11038 0 0 0 14 3 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758852110048 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661132 memory=1131160 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661132 memory=1131160 CPUtime=2.89 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) S 5074 5077 1972 0 -1 1077944384 14628 0 0 0 287 2 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758848952560 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661132 memory=4136 CPUtime=2.65 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) S 5074 5077 1972 0 -1 1077944384 12194 0 0 0 263 2 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758847900016 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.53 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) S 5074 5077 1972 0 -1 1077944384 5905 0 0 0 53 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758846846960 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661132 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.95 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1446 0 0 0 46 49 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1101408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2509.33 s]
# the end of solver process 5077 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.18 s, system=1.89913 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2509.3 s]
/proc/loadavg: 1.88 1.93 1.95 3/215 5266
/proc/meminfo: memFree=26661300/32770624 swapFree=67108792/67108860
[pid=5077] ppid=5074 vsize=10661132 memory=1101408 CPUtime=2520.04 cores=1,3,5,7
/proc/5077/stat : 5077 (java) S 5074 5077 1972 0 -1 1077944320 161352 0 0 0 251815 189 0 0 20 0 15 0 93844845 10916999168 275352 33554432000 4194304 4196468 140730719254768 140730719237312 139759548100343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
/proc/5077/statm: 2665283 275352 3185 1 0 2627263 0
[pid=5077/tid=5079] ppid=5074 vsize=10661132 memory=279839400786608 CPUtime=2507.68 cores=1,3,5,7
/proc/5077/task/5079/stat : 5079 (java) R 5074 5077 1972 0 -1 4202560 84624 0 0 0 250687 81 0 0 20 0 15 0 93844845 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759552341248 139759191799672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5080] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5080/stat : 5080 (java) S 5074 5077 1972 0 -1 1077944384 7400 0 0 0 112 14 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759155075600 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5081] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5081/stat : 5081 (java) S 5074 5077 1972 0 -1 1077944384 6539 0 0 0 112 14 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759154023056 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5082] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.28 cores=1,3,5,7
/proc/5077/task/5082/stat : 5082 (java) S 5074 5077 1972 0 -1 1077944384 7599 0 0 0 112 16 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759152970000 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5083] ppid=5074 vsize=10661132 memory=1101408 CPUtime=1.26 cores=1,3,5,7
/proc/5077/task/5083/stat : 5083 (java) S 5074 5077 1972 0 -1 1077944384 8594 0 0 0 113 13 0 0 20 0 15 0 93844846 10916999168 275352 33554432000 4194304 4196468 140730719254768 139759151917456 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5084] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.17 cores=1,3,5,7
/proc/5077/task/5084/stat : 5084 (java) S 5074 5077 1972 0 -1 1077944384 11038 0 0 0 14 3 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758853163760 139759548111490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5085] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5085/stat : 5085 (java) S 5074 5077 1972 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758852110048 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5086] ppid=5074 vsize=10661132 memory=1131160 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5086/stat : 5086 (java) S 5074 5077 1972 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93844848 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758851056880 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5087] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5087/stat : 5087 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758850005456 139759548118939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5088] ppid=5074 vsize=10661132 memory=1131160 CPUtime=2.89 cores=1,3,5,7
/proc/5077/task/5088/stat : 5088 (java) S 5074 5077 1972 0 -1 1077944384 14628 0 0 0 287 2 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758848952560 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5089] ppid=5074 vsize=10661132 memory=4136 CPUtime=2.65 cores=1,3,5,7
/proc/5077/task/5089/stat : 5089 (java) S 5074 5077 1972 0 -1 1077944384 12194 0 0 0 263 2 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758847900016 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5090] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.53 cores=1,3,5,7
/proc/5077/task/5090/stat : 5090 (java) S 5074 5077 1972 0 -1 1077944384 5905 0 0 0 53 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758846846960 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5091] ppid=5074 vsize=10661132 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5077/task/5091/stat : 5091 (java) S 5074 5077 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758845794656 139759548110549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
[pid=5077/tid=5092] ppid=5074 vsize=10661132 memory=1101408 CPUtime=0.95 cores=1,3,5,7
/proc/5077/task/5092/stat : 5092 (java) S 5074 5077 1972 0 -1 1077944384 1446 0 0 0 46 49 0 0 20 0 15 0 93844851 10916999168 275352 33554432000 4194304 4196468 140730719254768 139758844742704 139759548111490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140730719257756 140730719257865 140730719257865 140730719260623 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1101408 KiB

Child status: 143
Real time (s): 2509.33
CPU time (s): 2520.08
CPU user time (s): 2518.18
CPU system time (s): 1.89913
CPU usage (%): 100.428
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1664468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.18
system time used= 1.89913
maximum resident set size= 1667136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57369
involuntary context switches= 1001


# summary of solver processes directly reported to runsolver:
#   pid: 5077
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2518.18
#   total CPU system time (s): 1.89913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9882 second user time and 20.9112 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	2520.01
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298472

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
