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 (13509 MiB free)
memory of node 1: 16384 MiB (13797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310450-1534331280/watcher-4310450-1534331280 -o /tmp/evaluation-result-4310450-1534331280/solver-4310450-1534331280 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25581 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2116252591 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310450-1534331280.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27987, runsolver pid=27984
Starting watchdog threadCurrent StackSize limit: 8192 KiB
[startup+0.100145 s]*
/proc/loadavg: 1.28 1.49 1.68 3/215 28002
/proc/meminfo: memFree=27943068/32770624 swapFree=67030680/67108860
[pid=27987] ppid=27984 vsize=14082736 memory=33608 CPUtime=0.12 cores=1,3,5,7
/proc/27987/stat : 27987 (java) S 27984 27987 25549 0 -1 1077944320 7342 0 0 0 11 1 0 0 20 0 15 0 250691155 14420721664 8402 33554432000 4194304 4196468 140725729652080 140725729634624 139722480312055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
/proc/27987/statm: 3520684 8402 3138 1 0 3482761 0
[pid=27987/tid=27989] ppid=27984 vsize=14082736 memory=-8557575366716069245 CPUtime=0.09 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (java) R 27984 27987 25549 0 -1 4202560 5414 0 0 0 9 0 0 0 20 0 15 0 250691155 14420721664 8402 33554432000 4194304 4196468 140725729652080 139722484506864 139722464392542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27990] ppid=27984 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 8402 33554432000 4194304 4196468 140725729652080 139722410400528 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27991] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27991/stat : 27991 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 8402 33554432000 4194304 4196468 140725729652080 139722409347984 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27992] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 8402 33554432000 4194304 4196468 140725729652080 139722408295440 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27993] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27993/stat : 27993 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 8402 33554432000 4194304 4196468 140725729652080 139722407242896 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27994] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27994/stat : 27994 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721954523120 139722480323202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27995] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27995/stat : 27995 (java) S 27984 27987 25549 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721953469344 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27996] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27996/stat : 27996 (java) S 27984 27987 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721952416752 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27997] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27997/stat : 27997 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721951365328 139722480330651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27998] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27998/stat : 27998 (java) S 27984 27987 25549 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721950312944 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27999] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27999/stat : 27999 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721949260400 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28000] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0.01 cores=1,3,5,7
/proc/27987/task/28000/stat : 28000 (java) R 27984 27987 25549 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 250691161 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721948207856 139722464559465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28001] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28001/stat : 28001 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721947155552 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28002] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28002/stat : 28002 (java) R 27984 27987 25549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 8402 33554432000 4194304 4196468 140725729652080 139721946102064 139722480333402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33608 KiB
[startup+0.215647 s]*
/proc/loadavg: 1.28 1.49 1.68 5/215 28002
/proc/meminfo: memFree=27927812/32770624 swapFree=67030680/67108860
[pid=27987] ppid=27984 vsize=14082736 memory=47292 CPUtime=0.32 cores=1,3,5,7
/proc/27987/stat : 27987 (java) S 27984 27987 25549 0 -1 1077944320 10410 0 0 0 30 2 0 0 20 0 15 0 250691155 14420721664 11823 33554432000 4194304 4196468 140725729652080 140725729634624 139722480312055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
/proc/27987/statm: 3520684 11823 3371 1 0 3482761 0
[pid=27987/tid=27989] ppid=27984 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (java) R 27984 27987 25549 0 -1 4202560 8140 0 0 0 19 1 0 0 20 0 15 0 250691155 14420721664 11823 33554432000 4194304 4196468 140725729652080 139722484542032 139722480333402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27990] ppid=27984 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 11823 33554432000 4194304 4196468 140725729652080 139722410400528 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27991] ppid=27984 vsize=14082736 memory=288370544000935552 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27991/stat : 27991 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 11823 33554432000 4194304 4196468 140725729652080 139722409347984 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27992] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 11823 33554432000 4194304 4196468 140725729652080 139722408295440 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27993] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27993/stat : 27993 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 11823 33554432000 4194304 4196468 140725729652080 139722407242896 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27994] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27994/stat : 27994 (java) S 27984 27987 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721954523120 139722480323202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27995] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27995/stat : 27995 (java) S 27984 27987 25549 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721953469344 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27996] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27996/stat : 27996 (java) S 27984 27987 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721952416752 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27997] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27997/stat : 27997 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721951365328 139722480330651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27998] ppid=27984 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27987/task/27998/stat : 27998 (java) S 27984 27987 25549 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 250691161 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721950312944 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27999] ppid=27984 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27987/task/27999/stat : 27999 (java) R 27984 27987 25549 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 15 0 250691161 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721949260400 139722480333402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28000] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0.06 cores=1,3,5,7
/proc/27987/task/28000/stat : 28000 (java) R 27984 27987 25549 0 -1 4202560 286 0 0 0 6 0 0 0 20 0 15 0 250691161 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721948207856 139722480323202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28001] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28001/stat : 28001 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721947155552 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28002] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28002/stat : 28002 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 11823 33554432000 4194304 4196468 140725729652080 139721946102064 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47292 KiB
[startup+0.310635 s]*
/proc/loadavg: 1.28 1.49 1.68 3/215 28002
/proc/meminfo: memFree=27924400/32770624 swapFree=67030680/67108860
[pid=27987] ppid=27984 vsize=14082736 memory=50480 CPUtime=0.43 cores=1,3,5,7
/proc/27987/stat : 27987 (java) S 27984 27987 25549 0 -1 1077944320 10738 0 0 0 41 2 0 0 20 0 15 0 250691155 14420721664 12620 33554432000 4194304 4196468 140725729652080 140725729634624 139722480312055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
/proc/27987/statm: 3520684 12620 3373 1 0 3482761 0
[pid=27987/tid=27989] ppid=27984 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (java) R 27984 27987 25549 0 -1 4202560 8462 0 0 0 28 1 0 0 20 0 15 0 250691155 14420721664 12620 33554432000 4194304 4196468 140725729652080 139722484533152 139722461875588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27990] ppid=27984 vsize=14082736 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 12620 33554432000 4194304 4196468 140725729652080 139722410400528 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27991] ppid=27984 vsize=14082736 memory=288370544000935552 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27991/stat : 27991 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 12620 33554432000 4194304 4196468 140725729652080 139722409347984 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27992] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 12620 33554432000 4194304 4196468 140725729652080 139722408295440 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27993] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27993/stat : 27993 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250691156 14420721664 12620 33554432000 4194304 4196468 140725729652080 139722407242896 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27994] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27994/stat : 27994 (java) S 27984 27987 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721954523120 139722480323202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27995] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27995/stat : 27995 (java) S 27984 27987 25549 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721953469344 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27996] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27996/stat : 27996 (java) S 27984 27987 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250691158 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721952416752 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27997] ppid=27984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27997/stat : 27997 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721951365328 139722480330651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27998] ppid=27984 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27987/task/27998/stat : 27998 (java) S 27984 27987 25549 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 250691161 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721950312944 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27999] ppid=27984 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27987/task/27999/stat : 27999 (java) S 27984 27987 25549 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 15 0 250691161 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721949260400 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28000] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0.07 cores=1,3,5,7
/proc/27987/task/28000/stat : 28000 (java) S 27984 27987 25549 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 15 0 250691161 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721948207856 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28001] ppid=27984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28001/stat : 28001 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721947155552 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28002] ppid=27984 vsize=14082736 memory=140167849223808 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28002/stat : 28002 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691161 14420721664 12620 33554432000 4194304 4196468 140725729652080 139721946102064 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50480 KiB
[startup+0.700782 s]
/proc/loadavg: 1.28 1.49 1.68 3/215 28002
/proc/meminfo: memFree=27899844/32770624 swapFree=67030680/67108860
[pid=27987] ppid=27984 vsize=14084804 memory=88720 CPUtime=1 cores=1,3,5,7
/proc/27987/stat : 27987 (java) S 27984 27987 25549 0 -1 1077944320 17610 0 0 0 95 5 0 0 20 0 15 0 250691155 14422839296 22180 33554432000 4194304 4196468 140725729652080 140725729634624 139722480312055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
/proc/27987/statm: 3521201 22180 3495 1 0 3483273 0
[pid=27987/tid=27989] ppid=27984 vsize=14084804 memory=34144 CPUtime=0.67 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (java) R 27984 27987 25549 0 -1 4202560 14897 0 0 0 64 3 0 0 20 0 15 0 250691155 14422839296 22180 33554432000 4194304 4196468 140725729652080 139722484536048 139722480333981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27990] ppid=27984 vsize=14084804 memory=11908 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14422839296 22180 33554432000 4194304 4196468 140725729652080 139722410400528 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27991] ppid=27984 vsize=14084804 memory=492 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27991/stat : 27991 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14422839296 22180 33554432000 4194304 4196468 140725729652080 139722409347984 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27992] ppid=27984 vsize=14084804 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691156 14422839296 22180 33554432000 4194304 4196468 140725729652080 139722408295440 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27993] ppid=27984 vsize=14084804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27993/stat : 27993 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250691156 14422839296 22180 33554432000 4194304 4196468 140725729652080 139722407242896 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27994] ppid=27984 vsize=14084804 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27994/stat : 27994 (java) S 27984 27987 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250691158 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721954523120 139722480323202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27995] ppid=27984 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27995/stat : 27995 (java) S 27984 27987 25549 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 250691158 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721953469344 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27996] ppid=27984 vsize=14084804 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27996/stat : 27996 (java) S 27984 27987 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250691158 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721952416752 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27997] ppid=27984 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27997/stat : 27997 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721951365328 139722480330651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27998] ppid=27984 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/27987/task/27998/stat : 27998 (java) S 27984 27987 25549 0 -1 1077944384 658 0 0 0 7 0 0 0 20 0 15 0 250691161 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721950312944 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27999] ppid=27984 vsize=14084804 memory=7453282923461570405 CPUtime=0.07 cores=1,3,5,7
/proc/27987/task/27999/stat : 27999 (java) S 27984 27987 25549 0 -1 1077944384 279 0 0 0 7 0 0 0 20 0 15 0 250691161 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721949260400 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28000] ppid=27984 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/27987/task/28000/stat : 28000 (java) S 27984 27987 25549 0 -1 1077944384 393 0 0 0 15 0 0 0 20 0 15 0 250691161 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721948207856 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28001] ppid=27984 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28001/stat : 28001 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250691161 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721947155552 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28002] ppid=27984 vsize=14084804 memory=972 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28002/stat : 28002 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250691161 14422839296 22180 33554432000 4194304 4196468 140725729652080 139721946102064 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88720 KiB
[startup+1.50071 s]
/proc/loadavg: 1.28 1.49 1.68 4/215 28002
/proc/meminfo: memFree=27866220/32770624 swapFree=67030680/67108860
[pid=27987] ppid=27984 vsize=14157512 memory=133560 CPUtime=2.41 cores=1,3,5,7
/proc/27987/stat : 27987 (java) S 27984 27987 25549 0 -1 1077944320 26066 0 0 0 234 7 0 0 20 0 13 0 250691155 14497292288 33390 33554432000 4194304 4196468 140725729652080 140725729634624 139722480312055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
/proc/27987/statm: 3539378 33390 3549 1 0 3501450 0
[pid=27987/tid=27989] ppid=27984 vsize=14157512 memory=133156 CPUtime=1.28 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (java) D 27984 27987 25549 0 -1 4202560 20138 0 0 0 123 5 0 0 20 0 13 0 250691155 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722484555064 139722472997687 0 0 0 16800975 18446744072099953797 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27990] ppid=27984 vsize=14157512 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722410400528 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27991] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27991/stat : 27991 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722409347984 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27992] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722408295440 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27993] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27993/stat : 27993 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722407242896 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27995] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27995/stat : 27995 (java) S 27984 27987 25549 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 13 0 250691158 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721953469344 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27996] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27996/stat : 27996 (java) S 27984 27987 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 250691158 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721952416752 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27997] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27997/stat : 27997 (java) S 27984 27987 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721951364976 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27998] ppid=27984 vsize=14157512 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/27987/task/27998/stat : 27998 (java) S 27984 27987 25549 0 -1 1077944384 1332 0 0 0 30 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721950304224 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27999] ppid=27984 vsize=14157512 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/27987/task/27999/stat : 27999 (java) S 27984 27987 25549 0 -1 1077944384 1225 0 0 0 32 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721949249408 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28000] ppid=27984 vsize=14157512 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/27987/task/28000/stat : 28000 (java) S 27984 27987 25549 0 -1 1077944384 1936 0 0 0 48 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721948207856 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28001] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28001/stat : 28001 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721947155552 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 133560 KiB
[startup+1.69805 s]
# the end of solver process 27987 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.34617 s, system=0.08083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50071 s]
/proc/loadavg: 1.28 1.49 1.68 4/215 28002
/proc/meminfo: memFree=27866220/32770624 swapFree=67030680/67108860
[pid=27987] ppid=27984 vsize=14157512 memory=133560 CPUtime=2.41 cores=1,3,5,7
/proc/27987/stat : 27987 (java) S 27984 27987 25549 0 -1 1077944320 26066 0 0 0 234 7 0 0 20 0 13 0 250691155 14497292288 33390 33554432000 4194304 4196468 140725729652080 140725729634624 139722480312055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
/proc/27987/statm: 3539378 33390 3549 1 0 3501450 0
[pid=27987/tid=27989] ppid=27984 vsize=14157512 memory=133156 CPUtime=1.28 cores=1,3,5,7
/proc/27987/task/27989/stat : 27989 (java) D 27984 27987 25549 0 -1 4202560 20138 0 0 0 123 5 0 0 20 0 13 0 250691155 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722484555064 139722472997687 0 0 0 16800975 18446744072099953797 0 0 -1 3 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27990] ppid=27984 vsize=14157512 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27990/stat : 27990 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722410400528 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27991] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27991/stat : 27991 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722409347984 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27992] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27992/stat : 27992 (java) S 27984 27987 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722408295440 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27993] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27993/stat : 27993 (java) S 27984 27987 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 250691156 14497292288 33390 33554432000 4194304 4196468 140725729652080 139722407242896 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27995] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27995/stat : 27995 (java) S 27984 27987 25549 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 13 0 250691158 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721953469344 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27996] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27996/stat : 27996 (java) S 27984 27987 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 250691158 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721952416752 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27997] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/27997/stat : 27997 (java) S 27984 27987 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721951364976 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27998] ppid=27984 vsize=14157512 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/27987/task/27998/stat : 27998 (java) S 27984 27987 25549 0 -1 1077944384 1332 0 0 0 30 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721950304224 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=27999] ppid=27984 vsize=14157512 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/27987/task/27999/stat : 27999 (java) S 27984 27987 25549 0 -1 1077944384 1225 0 0 0 32 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721949249408 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28000] ppid=27984 vsize=14157512 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/27987/task/28000/stat : 28000 (java) S 27984 27987 25549 0 -1 1077944384 1936 0 0 0 48 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721948207856 139722480323202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
[pid=27987/tid=28001] ppid=27984 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27987/task/28001/stat : 28001 (java) S 27984 27987 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 250691161 14497292288 33390 33554432000 4194304 4196468 140725729652080 139721947155552 139722480322261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16691200 140725729657946 140725729658126 140725729658126 140725729660879 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 133560 KiB
Child status: 0
Real time (s): 1.69809
CPU time (s): 2.427
CPU user time (s): 2.34617
CPU system time (s): 0.08083
CPU usage (%): 142.925
Max. virtual memory (cumulated for all children) (KiB): 14157512
Max. memory (cumulated for all children) (KiB): 133560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.34617
system time used= 0.08083
maximum resident set size= 134012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2651
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 27987
# total CPU time (s): 2.427
# total CPU user time (s): 2.34617
# total CPU system time (s): 0.08083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032524 second user time and 0.056826 second system time
The end