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

Solver Name	Answer	objective function	CPU time	Wall clock time
The dodo solver 2018-04-29	SAT (TO)	7	2520.07	2497.13
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 (13346 MiB free)
  memory of node 1: 16384 MiB (13929 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298447-1532759610/watcher-4298447-1532759610 -o /tmp/evaluation-result-4298447-1532759610/solver-4298447-1532759610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532740979-19310 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298447-1532759610.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=21721, runsolver pid=21718

[startup+0.100127 s]*
/proc/loadavg: 1.38 1.42 1.40 5/216 21736
/proc/meminfo: memFree=27916472/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10658972 memory=25712 CPUtime=0.13 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 5361 0 0 0 12 1 0 0 20 0 15 0 93524144 10914787328 6428 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2664743 6428 2836 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10658972 memory=-8413741653617316988 CPUtime=0.09 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 3174 0 0 0 9 0 0 0 20 0 15 0 93524144 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574918998112 140574907005758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10658972 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93524145 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10658972 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93524146 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93524147 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574016365728 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93524147 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) R 21718 21721 19278 0 -1 4202560 448 0 0 0 0 0 0 0 20 0 15 0 93524149 10914787328 6428 33554432000 4194304 4196468 140732822213920 140574013209328 140574898204369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) R 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10914787328 6428 33554432000 4194304 4196468 140732822213920 140573569538928 140574914779778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10658972 memory=139855510021760 CPUtime=0.02 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) R 21718 21721 19278 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 93524149 10914787328 6428 33554432000 4194304 4196468 140732822213920 140573568485872 140574898849118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10914787328 6428 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10658972 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) R 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524150 10914787328 6428 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 25712 KiB

[startup+0.210499 s]*
/proc/loadavg: 1.38 1.42 1.40 5/216 21736
/proc/meminfo: memFree=27904068/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661056 memory=38956 CPUtime=0.34 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 8381 0 0 0 32 2 0 0 20 0 15 0 93524144 10916921344 9739 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665264 9739 2990 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 5181 0 0 0 19 1 0 0 20 0 15 0 93524144 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574919007600 140574914780566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661056 memory=139855510544659 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93524145 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661056 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93524146 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93524147 10916921344 9739 33554432000 4194304 4196468 140732822213920 140574016365728 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93524147 10916921344 9805 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916921344 9805 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) R 21718 21721 19278 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 93524149 10916921344 9805 33554432000 4194304 4196468 140732822213920 140574013209328 140574914779778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) R 21718 21721 19278 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 93524149 10916921344 9805 33554432000 4194304 4196468 140732822213920 140573569538928 140574892603664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661056 memory=139855510021760 CPUtime=0.08 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) R 21718 21721 19278 0 -1 4202560 1057 0 0 0 8 0 0 0 20 0 15 0 93524149 10916921344 9805 33554432000 4194304 4196468 140732822213920 140573568482240 140574907005758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916921344 9805 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661056 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524150 10916921344 9805 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 38956 KiB

[startup+0.31139 s]*
/proc/loadavg: 1.38 1.42 1.40 7/216 21736
/proc/meminfo: memFree=27891336/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661132 memory=51632 CPUtime=0.69 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 10520 0 0 0 67 2 0 0 20 0 15 0 93524144 10916999168 12908 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665283 12908 3063 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 5493 0 0 0 28 1 0 0 20 0 15 0 93524144 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574919005408 140574914780566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=139855510534384 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93524146 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574016365728 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661132 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) R 21718 21721 19278 0 -1 4202560 1271 0 0 0 10 0 0 0 20 0 15 0 93524149 10916999168 12908 33554432000 4194304 4196468 140732822213920 140574013195352 140574894030592 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661132 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) R 21718 21721 19278 0 -1 4202560 785 0 0 0 12 0 0 0 20 0 15 0 93524149 10916999168 12908 33554432000 4194304 4196468 140732822213920 140573569525360 140574894604987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661132 memory=139855510021760 CPUtime=0.15 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) R 21718 21721 19278 0 -1 4202560 1602 0 0 0 15 0 0 0 20 0 15 0 93524149 10916999168 12908 33554432000 4194304 4196468 140732822213920 140573568485872 140574907865467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 12908 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661132 memory=139855510021760 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 12908 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 51632 KiB

[startup+0.70068 s]
/proc/loadavg: 1.38 1.42 1.40 5/216 21736
/proc/meminfo: memFree=27862108/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661132 memory=114376 CPUtime=1.92 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 12364 0 0 0 188 4 0 0 20 0 15 0 93524144 10916999168 28594 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665283 28594 3103 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661132 memory=16236 CPUtime=0.67 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 5716 0 0 0 65 2 0 0 20 0 15 0 93524144 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574919002704 140574914780566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=640 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=960 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93524145 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93524146 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661132 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574016365728 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661132 memory=6153431502485415274 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661132 memory=6081108994580113768 CPUtime=0.41 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) R 21718 21721 19278 0 -1 4202560 1634 0 0 0 41 0 0 0 20 0 15 0 93524149 10916999168 28594 33554432000 4194304 4196468 140732822213920 140574013209328 140574914789978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661132 memory=6154282490091891024 CPUtime=0.44 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) R 21718 21721 19278 0 -1 4202560 1514 0 0 0 44 0 0 0 20 0 15 0 93524149 10916999168 28594 33554432000 4194304 4196468 140732822213920 140573569538928 140574914789978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661132 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) S 21718 21721 19278 0 -1 1077944384 2129 0 0 0 35 0 0 0 20 0 15 0 93524149 10916999168 28594 33554432000 4194304 4196468 140732822213920 140573568485872 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 28594 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661132 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 28594 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 114376 KiB

[startup+1.50078 s]
/proc/loadavg: 1.51 1.45 1.41 5/216 21736
/proc/meminfo: memFree=27714596/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661132 memory=239756 CPUtime=4.28 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 15812 0 0 0 416 12 0 0 20 0 15 0 93524144 10916999168 59939 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665283 59939 3142 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661132 memory=235632 CPUtime=1.44 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 5921 0 0 0 141 3 0 0 20 0 15 0 93524144 10916999168 59939 33554432000 4194304 4196468 140732822213920 140574918839504 140574557148538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 15 0 93524145 10916999168 59939 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 93524145 10916999168 59939 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 15 0 93524145 10916999168 59939 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=6943526294502006880 CPUtime=0.02 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 93524145 10916999168 59939 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93524146 10916999168 59939 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0

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

/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 22042 0 0 0 237449 49 0 0 20 0 15 0 93524144 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574919007408 140574557376124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=342728 CPUtime=5.95 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 7443 0 0 0 573 22 0 0 20 0 15 0 93524145 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=342728 CPUtime=5.94 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 6357 0 0 0 574 20 0 0 20 0 15 0 93524145 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=342728 CPUtime=5.93 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 5382 0 0 0 571 22 0 0 20 0 15 0 93524145 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=342728 CPUtime=5.9 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 5134 0 0 0 568 22 0 0 20 0 15 0 93524145 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=342728 CPUtime=1.24 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 6896 0 0 0 114 10 0 0 20 0 15 0 93524146 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661132 memory=342728 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574016365792 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661132 memory=342728 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661132 memory=342728 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661132 memory=342728 CPUtime=1.31 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) S 21718 21721 19278 0 -1 1077944384 6456 0 0 0 130 1 0 0 20 0 15 0 93524149 10916999168 85682 33554432000 4194304 4196468 140732822213920 140574013209328 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661132 memory=342728 CPUtime=1.43 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) S 21718 21721 19278 0 -1 1077944384 7710 0 0 0 142 1 0 0 20 0 15 0 93524149 10916999168 85682 33554432000 4194304 4196468 140732822213920 140573569538928 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661132 memory=342728 CPUtime=0.49 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) S 21718 21721 19278 0 -1 1077944384 4363 0 0 0 48 1 0 0 20 0 15 0 93524149 10916999168 85682 33554432000 4194304 4196468 140732822213920 140573568485872 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661132 memory=342728 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 85682 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661132 memory=3868 CPUtime=0.88 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1265 0 0 0 40 48 0 0 20 0 15 0 93524150 10916999168 85682 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 2404.17 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 342728 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.47 1.42 3/217 21986
/proc/meminfo: memFree=27469496/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661132 memory=340180 CPUtime=2464.76 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 75829 0 0 0 246285 191 0 0 20 0 15 0 93524144 10916999168 85045 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665283 85045 3171 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661132 memory=340180 CPUtime=2434.74 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 22316 0 0 0 243424 50 0 0 20 0 15 0 93524144 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574919006176 140574557377193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=27284 CPUtime=6.14 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 7484 0 0 0 592 22 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.14 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 6434 0 0 0 593 21 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.12 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 5412 0 0 0 590 22 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.1 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 5192 0 0 0 587 23 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=340176 CPUtime=1.29 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 7775 0 0 0 118 11 0 0 20 0 15 0 93524146 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661132 memory=342728 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574016365792 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661132 memory=340176 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661132 memory=340176 CPUtime=1.31 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) S 21718 21721 19278 0 -1 1077944384 6458 0 0 0 130 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574013209328 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661132 memory=340176 CPUtime=1.43 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) S 21718 21721 19278 0 -1 1077944384 7712 0 0 0 142 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573569538928 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661132 memory=340180 CPUtime=0.49 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) S 21718 21721 19278 0 -1 1077944384 4365 0 0 0 48 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573568485872 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661132 memory=340180 CPUtime=0.9 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1279 0 0 0 40 50 0 0 20 0 15 0 93524150 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 2464.76 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 340180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497.11 s]
/proc/loadavg: 1.47 1.48 1.42 3/215 21987
/proc/meminfo: memFree=27473304/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661132 memory=340180 CPUtime=2520.05 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 76479 0 0 0 251811 194 0 0 20 0 15 0 93524144 10916999168 85045 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665283 85045 3171 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661132 memory=340180 CPUtime=2489.35 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 22450 0 0 0 248884 51 0 0 20 0 15 0 93524144 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574919005952 140574556960943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.3 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 7543 0 0 0 607 23 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.29 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 6526 0 0 0 608 21 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.28 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 5684 0 0 0 606 22 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.25 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 5248 0 0 0 602 23 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=340180 CPUtime=1.33 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 7802 0 0 0 121 12 0 0 20 0 15 0 93524146 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574016365792 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661132 memory=340180 CPUtime=1.31 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) S 21718 21721 19278 0 -1 1077944384 6460 0 0 0 130 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574013209328 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661132 memory=340180 CPUtime=1.43 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) S 21718 21721 19278 0 -1 1077944384 7714 0 0 0 142 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573569538928 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661132 memory=840 CPUtime=0.49 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) S 21718 21721 19278 0 -1 1077944384 4367 0 0 0 48 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573568485872 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661132 memory=340180 CPUtime=0.92 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1283 0 0 0 41 51 0 0 20 0 15 0 93524150 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 340180 KiB

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

[startup+2497.13 s]
# the end of solver process 21721 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.13 s, system=1.94655 s

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

[startup+2497.11 s]
/proc/loadavg: 1.47 1.48 1.42 3/215 21987
/proc/meminfo: memFree=27473304/32770624 swapFree=67108532/67108860
[pid=21721] ppid=21718 vsize=10661132 memory=340180 CPUtime=2520.05 cores=1,3,5,7
/proc/21721/stat : 21721 (java) S 21718 21721 19278 0 -1 1077944320 76479 0 0 0 251811 194 0 0 20 0 15 0 93524144 10916999168 85045 33554432000 4194304 4196468 140732822213920 140732822196464 140574914768631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
/proc/21721/statm: 2665283 85045 3171 1 0 2627263 0
[pid=21721/tid=21723] ppid=21718 vsize=10661132 memory=340180 CPUtime=2489.35 cores=1,3,5,7
/proc/21721/task/21723/stat : 21723 (java) R 21718 21721 19278 0 -1 4202560 22450 0 0 0 248884 51 0 0 20 0 15 0 93524144 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574919005952 140574556960943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21724] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.3 cores=1,3,5,7
/proc/21721/task/21724/stat : 21724 (java) S 21718 21721 19278 0 -1 1077944384 7543 0 0 0 607 23 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574521166864 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21725] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.29 cores=1,3,5,7
/proc/21721/task/21725/stat : 21725 (java) S 21718 21721 19278 0 -1 1077944384 6526 0 0 0 608 21 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574520114320 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21726] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.28 cores=1,3,5,7
/proc/21721/task/21726/stat : 21726 (java) S 21718 21721 19278 0 -1 1077944384 5684 0 0 0 606 22 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574519061264 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21727] ppid=21718 vsize=10661132 memory=340180 CPUtime=6.25 cores=1,3,5,7
/proc/21721/task/21727/stat : 21727 (java) S 21718 21721 19278 0 -1 1077944384 5248 0 0 0 602 23 0 0 20 0 15 0 93524145 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574518008720 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21728] ppid=21718 vsize=10661132 memory=340180 CPUtime=1.33 cores=1,3,5,7
/proc/21721/task/21728/stat : 21728 (java) S 21718 21721 19278 0 -1 1077944384 7802 0 0 0 121 12 0 0 20 0 15 0 93524146 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574017419504 140574914779778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21729] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21729/stat : 21729 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574016365792 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21730] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21730/stat : 21730 (java) S 21718 21721 19278 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93524147 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574015312624 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21731] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21731/stat : 21731 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574014261200 140574914787227 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21732] ppid=21718 vsize=10661132 memory=340180 CPUtime=1.31 cores=1,3,5,7
/proc/21721/task/21732/stat : 21732 (java) S 21718 21721 19278 0 -1 1077944384 6460 0 0 0 130 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140574013209328 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21733] ppid=21718 vsize=10661132 memory=340180 CPUtime=1.43 cores=1,3,5,7
/proc/21721/task/21733/stat : 21733 (java) S 21718 21721 19278 0 -1 1077944384 7714 0 0 0 142 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573569538928 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21734] ppid=21718 vsize=10661132 memory=840 CPUtime=0.49 cores=1,3,5,7
/proc/21721/task/21734/stat : 21734 (java) S 21718 21721 19278 0 -1 1077944384 4367 0 0 0 48 1 0 0 20 0 15 0 93524149 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573568485872 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21735] ppid=21718 vsize=10661132 memory=340180 CPUtime=0 cores=1,3,5,7
/proc/21721/task/21735/stat : 21735 (java) S 21718 21721 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93524150 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573567433568 140574914778837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
[pid=21721/tid=21736] ppid=21718 vsize=10661132 memory=340180 CPUtime=0.92 cores=1,3,5,7
/proc/21721/task/21736/stat : 21736 (java) S 21718 21721 19278 0 -1 1077944384 1283 0 0 0 41 51 0 0 20 0 15 0 93524150 10916999168 85045 33554432000 4194304 4196468 140732822213920 140573566380592 140574914779778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20303872 140732822221944 140732822222089 140732822222089 140732822224847 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 340180 KiB

Child status: 143
Real time (s): 2497.13
CPU time (s): 2520.07
CPU user time (s): 2518.13
CPU system time (s): 1.94655
CPU usage (%): 100.919
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 727856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.13
system time used= 1.94655
maximum resident set size= 727856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77045
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88830
involuntary context switches= 1698


# summary of solver processes directly reported to runsolver:
#   pid: 21721
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.13
#   total CPU system time (s): 1.94655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.918 second user time and 22.7344 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	15.1303
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298447

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
