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 (8937 MiB free)
memory of node 1: 16384 MiB (10442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298190-1532750739/watcher-4298190-1532750739 -o /tmp/evaluation-result-4298190-1532750739/solver-4298190-1532750739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11666 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298190-1532750739.xml
running on 4 cores: 0,2,4,6
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=12697, runsolver pid=12694
[startup+0.102348 s]*
/proc/loadavg: 1.76 1.83 1.83 4/218 12712
/proc/meminfo: memFree=19830444/32770624 swapFree=67108860/67108860
[pid=12697] ppid=12694 vsize=10661056 memory=27172 CPUtime=0.12 cores=0,2,4,6
/proc/12697/stat : 12697 (java) S 12694 12697 11635 0 -1 1077944320 5280 0 0 0 12 0 0 0 20 0 15 0 92637095 10916921344 6793 33554432000 4194304 4196468 140725879409232 140725879391776 140424749219575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
/proc/12697/statm: 2665264 6793 2816 1 0 2627263 0
[pid=12697/tid=12699] ppid=12694 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/12697/task/12699/stat : 12699 (java) R 12694 12697 11635 0 -1 4202560 3148 0 0 0 9 0 0 0 20 0 15 0 92637096 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424753449360 140424749231510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12700] ppid=12694 vsize=10661056 memory=5793855496870889913 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12700/stat : 12700 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424701840400 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12701] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12701/stat : 12701 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424700787856 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12702] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12702/stat : 12702 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424699734800 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12703] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12703/stat : 12703 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424698682256 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12704] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12704/stat : 12704 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637098 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424308517104 140424749230722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12705] ppid=12694 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12705/stat : 12705 (java) S 12694 12697 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92637098 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424307463328 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12706] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12706/stat : 12706 (java) S 12694 12697 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92637099 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424306410224 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12707] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12707/stat : 12707 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424305358800 140424749238171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12708] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12708/stat : 12708 (java) R 12694 12697 11635 0 -1 4202560 342 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424304306928 140424742316411 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12709] ppid=12694 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12709/stat : 12709 (java) R 12694 12697 11635 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424303254384 140424749230722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12710] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0.02 cores=0,2,4,6
/proc/12697/task/12710/stat : 12710 (java) R 12694 12697 11635 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 92637101 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424302201328 140424749231510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12711] ppid=12694 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12711/stat : 12711 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424301149024 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12712] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12712/stat : 12712 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 6925 33554432000 4194304 4196468 140725879409232 140424300096048 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27172 KiB
[startup+0.21079 s]*
/proc/loadavg: 1.76 1.83 1.83 4/218 12712
/proc/meminfo: memFree=19818904/32770624 swapFree=67108860/67108860
[pid=12697] ppid=12694 vsize=10661056 memory=41000 CPUtime=0.35 cores=0,2,4,6
/proc/12697/stat : 12697 (java) S 12694 12697 11635 0 -1 1077944320 8288 0 0 0 33 2 0 0 20 0 15 0 92637095 10916921344 10250 33554432000 4194304 4196468 140725879409232 140725879391776 140424749219575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
/proc/12697/statm: 2665264 10250 3011 1 0 2627263 0
[pid=12697/tid=12699] ppid=12694 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/12697/task/12699/stat : 12699 (java) R 12694 12697 11635 0 -1 4202560 5107 0 0 0 19 1 0 0 20 0 15 0 92637096 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424753458512 140424749241501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12700] ppid=12694 vsize=10661056 memory=4211973972065787274 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12700/stat : 12700 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424701840400 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12701] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12701/stat : 12701 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424700787856 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12702] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12702/stat : 12702 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424699734800 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12703] ppid=12694 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12703/stat : 12703 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637096 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424698682256 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12704] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12704/stat : 12704 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637098 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424308517104 140424749230722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12705] ppid=12694 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12705/stat : 12705 (java) S 12694 12697 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92637098 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424307463328 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12706] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12706/stat : 12706 (java) S 12694 12697 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92637099 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424306410224 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12707] ppid=12694 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12707/stat : 12707 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424305358800 140424749238171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12708] ppid=12694 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12697/task/12708/stat : 12708 (java) R 12694 12697 11635 0 -1 4202560 604 0 0 0 2 0 0 0 20 0 15 0 92637101 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424304287944 140424729919872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12709] ppid=12694 vsize=10661056 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12697/task/12709/stat : 12709 (java) R 12694 12697 11635 0 -1 4202560 347 0 0 0 3 0 0 0 20 0 15 0 92637101 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424303235400 140424732746079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12710] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0.08 cores=0,2,4,6
/proc/12697/task/12710/stat : 12710 (java) R 12694 12697 11635 0 -1 4202560 868 0 0 0 8 0 0 0 20 0 15 0 92637101 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424302198264 140424749233457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12711] ppid=12694 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12711/stat : 12711 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424301149024 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12712] ppid=12694 vsize=10661056 memory=140245860996736 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12712/stat : 12712 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637101 10916921344 10250 33554432000 4194304 4196468 140725879409232 140424300096048 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 41000 KiB
[startup+0.311519 s]*
/proc/loadavg: 1.76 1.83 1.83 5/218 12712
/proc/meminfo: memFree=19805568/32770624 swapFree=67108860/67108860
[pid=12697] ppid=12694 vsize=10661132 memory=53432 CPUtime=0.67 cores=0,2,4,6
/proc/12697/stat : 12697 (java) S 12694 12697 11635 0 -1 1077944320 10359 0 0 0 64 3 0 0 20 0 15 0 92637095 10916999168 13358 33554432000 4194304 4196468 140725879409232 140725879391776 140424749219575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
/proc/12697/statm: 2665283 13358 3076 1 0 2627263 0
[pid=12697/tid=12699] ppid=12694 vsize=10661132 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/12697/task/12699/stat : 12699 (java) R 12694 12697 11635 0 -1 4202560 5471 0 0 0 28 2 0 0 20 0 15 0 92637096 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424753454288 140424376302983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12700] ppid=12694 vsize=10661132 memory=4211973972065787274 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12700/stat : 12700 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424701840400 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12701] ppid=12694 vsize=10661132 memory=280491575708032 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12701/stat : 12701 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424700787856 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12702] ppid=12694 vsize=10661132 memory=280491429450240 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12702/stat : 12702 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424699734800 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12703] ppid=12694 vsize=10661132 memory=140245714711311 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12703/stat : 12703 (java) S 12694 12697 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424698682256 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12704] ppid=12694 vsize=10661132 memory=280491575714944 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12704/stat : 12704 (java) S 12694 12697 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424308517104 140424749230722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12705] ppid=12694 vsize=10661132 memory=140245714715919 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12705/stat : 12705 (java) S 12694 12697 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424307463328 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12706] ppid=12694 vsize=10661132 memory=140245714729891 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12706/stat : 12706 (java) S 12694 12697 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92637099 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424306410224 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12707] ppid=12694 vsize=10661132 memory=140245714733043 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12707/stat : 12707 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424305358800 140424749238171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12708] ppid=12694 vsize=10661132 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12697/task/12708/stat : 12708 (java) R 12694 12697 11635 0 -1 4202560 1521 0 0 0 10 0 0 0 20 0 15 0 92637101 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424304292808 140424730763328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12709] ppid=12694 vsize=10661132 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12697/task/12709/stat : 12709 (java) R 12694 12697 11635 0 -1 1077944384 739 0 0 0 9 0 0 0 20 0 15 0 92637101 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424303254384 140424749230722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12710] ppid=12694 vsize=10661132 memory=140245860996736 CPUtime=0.15 cores=0,2,4,6
/proc/12697/task/12710/stat : 12710 (java) R 12694 12697 11635 0 -1 4202560 1257 0 0 0 15 0 0 0 20 0 15 0 92637101 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424302201328 140424728022696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12711] ppid=12694 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12711/stat : 12711 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424301149024 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12712] ppid=12694 vsize=10661132 memory=140245861023908 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12712/stat : 12712 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 13358 33554432000 4194304 4196468 140725879409232 140424300096048 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53432 KiB
[startup+0.702042 s]
/proc/loadavg: 1.76 1.83 1.83 6/218 12712
/proc/meminfo: memFree=19770960/32770624 swapFree=67108860/67108860
[pid=12697] ppid=12694 vsize=10661128 memory=191524 CPUtime=1.99 cores=0,2,4,6
/proc/12697/stat : 12697 (java) S 12694 12697 11635 0 -1 1077944320 12432 0 0 0 193 6 0 0 20 0 15 0 92637095 10916995072 47881 33554432000 4194304 4196468 140725879409232 140725879391776 140424749219575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
/proc/12697/statm: 2665283 47881 3124 1 0 2627263 0
[pid=12697/tid=12699] ppid=12694 vsize=10661132 memory=56 CPUtime=0.66 cores=0,2,4,6
/proc/12697/task/12699/stat : 12699 (java) R 12694 12697 11635 0 -1 4202560 5749 0 0 0 63 3 0 0 20 0 15 0 92637096 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424753457568 140424379040096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12700] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12700/stat : 12700 (java) S 12694 12697 11635 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424701840400 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12701] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12701/stat : 12701 (java) S 12694 12697 11635 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424700787856 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12702] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12702/stat : 12702 (java) S 12694 12697 11635 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424699734800 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12703] ppid=12694 vsize=10661132 memory=8320808402719684661 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12703/stat : 12703 (java) S 12694 12697 11635 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 92637096 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424698682256 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12704] ppid=12694 vsize=10661132 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12704/stat : 12704 (java) S 12694 12697 11635 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424308517104 140424749230722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12705] ppid=12694 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12705/stat : 12705 (java) S 12694 12697 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424307463328 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12706] ppid=12694 vsize=10661132 memory=8452 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12706/stat : 12706 (java) S 12694 12697 11635 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92637099 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424306410224 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12707] ppid=12694 vsize=10661132 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12707/stat : 12707 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424305358800 140424749238171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12708] ppid=12694 vsize=10661132 memory=1200 CPUtime=0.48 cores=0,2,4,6
/proc/12697/task/12708/stat : 12708 (java) R 12694 12697 11635 0 -1 4202560 1884 0 0 0 48 0 0 0 20 0 15 0 92637101 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424304306928 140424732630466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12709] ppid=12694 vsize=10661132 memory=12136 CPUtime=0.43 cores=0,2,4,6
/proc/12697/task/12709/stat : 12709 (java) R 12694 12697 11635 0 -1 4202560 1443 0 0 0 43 0 0 0 20 0 15 0 92637101 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424303243184 140424729071615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12710] ppid=12694 vsize=10661132 memory=1008 CPUtime=0.34 cores=0,2,4,6
/proc/12697/task/12710/stat : 12710 (java) S 12694 12697 11635 0 -1 1077944384 1865 0 0 0 34 0 0 0 20 0 15 0 92637101 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424302201328 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12711] ppid=12694 vsize=10661132 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12711/stat : 12711 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424301149024 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12712] ppid=12694 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12712/stat : 12712 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 47881 33554432000 4194304 4196468 140725879409232 140424300096048 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 191524 KiB
[startup+1.08647 s]
# the end of solver process 12697 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.00793 s, system=0.173008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.8009 s]
/proc/loadavg: 1.76 1.83 1.83 6/218 12712
/proc/meminfo: memFree=19770960/32770624 swapFree=67108860/67108860
[pid=12697] ppid=12694 vsize=10661132 memory=255848 CPUtime=2.32 cores=0,2,4,6
/proc/12697/stat : 12697 (java) S 12694 12697 11635 0 -1 1077944320 12726 0 0 0 223 9 0 0 20 0 15 0 92637095 10916999168 63962 33554432000 4194304 4196468 140725879409232 140725879391776 140424749219575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
/proc/12697/statm: 2665283 63962 3126 1 0 2627263 0
[pid=12697/tid=12699] ppid=12694 vsize=10661132 memory=15872 CPUtime=0.74 cores=0,2,4,6
/proc/12697/task/12699/stat : 12699 (java) R 12694 12697 11635 0 -1 4202560 5772 0 0 0 70 4 0 0 20 0 15 0 92637096 10916999168 63962 33554432000 4194304 4196468 140725879409232 140424753457784 140424379044036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12700] ppid=12694 vsize=10661132 memory=15672 CPUtime=0.02 cores=0,2,4,6
/proc/12697/task/12700/stat : 12700 (java) S 12694 12697 11635 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 92637096 10916999168 63962 33554432000 4194304 4196468 140725879409232 140424701840400 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12701] ppid=12694 vsize=10661132 memory=2241 CPUtime=0.01 cores=0,2,4,6
/proc/12697/task/12701/stat : 12701 (java) S 12694 12697 11635 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 92637096 10916999168 63962 33554432000 4194304 4196468 140725879409232 140424700787856 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12702] ppid=12694 vsize=10661132 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/12697/task/12702/stat : 12702 (java) S 12694 12697 11635 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 92637096 10916999168 63962 33554432000 4194304 4196468 140725879409232 140424699734800 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12703] ppid=12694 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12697/task/12703/stat : 12703 (java) S 12694 12697 11635 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 92637096 10916999168 63962 33554432000 4194304 4196468 140725879409232 140424698682256 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12704] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12704/stat : 12704 (java) S 12694 12697 11635 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424308517104 140424749230722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12705] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12705/stat : 12705 (java) S 12694 12697 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424307463328 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12706] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12706/stat : 12706 (java) S 12694 12697 11635 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92637099 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424306410224 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12707] ppid=12694 vsize=10661132 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12707/stat : 12707 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424305358800 140424749238171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12708] ppid=12694 vsize=10661132 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/12697/task/12708/stat : 12708 (java) R 12694 12697 11635 0 -1 4202560 2067 0 0 0 57 0 0 0 20 0 15 0 92637101 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424304292952 140424730762880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12709] ppid=12694 vsize=10661132 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/12697/task/12709/stat : 12709 (java) R 12694 12697 11635 0 -1 4202560 1460 0 0 0 51 0 0 0 20 0 15 0 92637101 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424303247424 140424742319422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12710] ppid=12694 vsize=10661132 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/12697/task/12710/stat : 12710 (java) S 12694 12697 11635 0 -1 1077944384 1902 0 0 0 36 0 0 0 20 0 15 0 92637101 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424302201328 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12711] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12711/stat : 12711 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424301149024 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12712] ppid=12694 vsize=10661132 memory=664970774370811545 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12712/stat : 12712 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 63977 33554432000 4194304 4196468 140725879409232 140424300096048 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 255848 KiB
[startup+1.00152 s]*
/proc/loadavg: 1.76 1.83 1.83 5/218 12712
/proc/meminfo: memFree=19460756/32770624 swapFree=67108860/67108860
[pid=12697] ppid=12694 vsize=10661132 memory=397240 CPUtime=2.99 cores=0,2,4,6
/proc/12697/stat : 12697 (java) S 12694 12697 11635 0 -1 1077944320 13388 0 0 0 283 16 0 0 20 0 15 0 92637095 10916999168 99310 33554432000 4194304 4196468 140725879409232 140725879391776 140424749219575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
/proc/12697/statm: 2665283 99310 3139 1 0 2627263 0
[pid=12697/tid=12699] ppid=12694 vsize=10661132 memory=6735269665583770266 CPUtime=0.89 cores=0,2,4,6
/proc/12697/task/12699/stat : 12699 (java) R 12694 12697 11635 0 -1 4202560 5807 0 0 0 83 6 0 0 20 0 15 0 92637096 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424753454512 140424379535791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12700] ppid=12694 vsize=10661132 memory=4211973972065787274 CPUtime=0.08 cores=0,2,4,6
/proc/12697/task/12700/stat : 12700 (java) S 12694 12697 11635 0 -1 1077944384 169 0 0 0 6 2 0 0 20 0 15 0 92637096 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424701840400 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12701] ppid=12694 vsize=10661132 memory=140245860996736 CPUtime=0.05 cores=0,2,4,6
/proc/12697/task/12701/stat : 12701 (java) S 12694 12697 11635 0 -1 1077944384 42 0 0 0 4 1 0 0 20 0 15 0 92637096 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424700787856 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12702] ppid=12694 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12697/task/12702/stat : 12702 (java) S 12694 12697 11635 0 -1 1077944384 146 0 0 0 6 2 0 0 20 0 15 0 92637096 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424699734800 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12703] ppid=12694 vsize=10661132 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12697/task/12703/stat : 12703 (java) S 12694 12697 11635 0 -1 1077944384 86 0 0 0 5 2 0 0 20 0 15 0 92637096 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424698682256 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12704] ppid=12694 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12704/stat : 12704 (java) S 12694 12697 11635 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424308517104 140424749230722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12705] ppid=12694 vsize=10661132 memory=2 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12705/stat : 12705 (java) S 12694 12697 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92637098 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424307463328 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12706] ppid=12694 vsize=10661132 memory=7738423659538178206 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12706/stat : 12706 (java) S 12694 12697 11635 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92637099 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424306410224 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12707] ppid=12694 vsize=10661132 memory=7156898676518250348 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12707/stat : 12707 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424305358800 140424749238171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12708] ppid=12694 vsize=10661132 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/12697/task/12708/stat : 12708 (java) R 12694 12697 11635 0 -1 4202560 2118 0 0 0 71 0 0 0 20 0 15 0 92637101 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424304296416 140424729063169 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12709] ppid=12694 vsize=10661132 memory=-1 CPUtime=0.68 cores=0,2,4,6
/proc/12697/task/12709/stat : 12709 (java) R 12694 12697 11635 0 -1 4202560 1545 0 0 0 68 0 0 0 20 0 15 0 92637101 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424303254384 140424735258056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12710] ppid=12694 vsize=10661132 memory=140245860996736 CPUtime=0.36 cores=0,2,4,6
/proc/12697/task/12710/stat : 12710 (java) R 12694 12697 11635 0 -1 1077944384 1905 0 0 0 36 0 0 0 20 0 15 0 92637101 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424302201328 140424749230722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12711] ppid=12694 vsize=10661132 memory=3473692815927871801 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12711/stat : 12711 (java) S 12694 12697 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424301149024 140424749229781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
[pid=12697/tid=12712] ppid=12694 vsize=10661132 memory=2315025776679444410 CPUtime=0 cores=0,2,4,6
/proc/12697/task/12712/stat : 12712 (java) S 12694 12697 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92637101 10916999168 99310 33554432000 4194304 4196468 140725879409232 140424300096048 140424749230722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32018432 140725879411829 140725879411977 140725879411977 140725879414735 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 397240 KiB
Child status: 0
Real time (s): 1.08652
CPU time (s): 3.18093
CPU user time (s): 3.00793
CPU system time (s): 0.173008
CPU usage (%): 292.763
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 397240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.00793
system time used= 0.173008
maximum resident set size= 398268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1269
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 12697
# total CPU time (s): 3.18093
# total CPU user time (s): 3.00793
# total CPU system time (s): 0.173008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029639 second user time and 0.059278 second system time
The end