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 (13547 MiB free)
  memory of node 1: 16384 MiB (7763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263609-1502622789/watcher-4263609-1502622789 -o /tmp/evaluation-result-4263609-1502622789/solver-4263609-1502622789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502612262-5004 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263609-1502622789.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=7485, runsolver pid=7482

[startup+0.100097 s]*
/proc/loadavg: 1.95 2.00 2.18 3/216 7500
/proc/meminfo: memFree=21806584/32770624 swapFree=67108860/67108860
[pid=7485] ppid=7482 vsize=10555400 memory=28224 CPUtime=0.12 cores=0,2,4,6
/proc/7485/stat : 7485 (java) S 7482 7485 4973 0 -1 1077944320 6675 0 0 0 11 1 0 0 20 0 15 0 95359857 10808729600 7056 33554432000 4194304 4196468 140729184001872 140729183984416 140611558760183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
/proc/7485/statm: 2638850 7056 2803 1 0 2627263 0
[pid=7485/tid=7487] ppid=7482 vsize=10555400 memory=-8681638748416210112 CPUtime=0.09 cores=0,2,4,6
/proc/7485/task/7487/stat : 7487 (java) R 7482 7485 4973 0 -1 4202560 4470 0 0 0 8 1 0 0 20 0 15 0 95359857 10808729600 7056 33554432000 4194304 4196468 140729184001872 140611562948528 140611542840670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7488] ppid=7482 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7488/stat : 7488 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 7056 33554432000 4194304 4196468 140729184001872 140611526318608 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7489] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7489/stat : 7489 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 7056 33554432000 4194304 4196468 140729184001872 140611164760720 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7490] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7490/stat : 7490 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 7056 33554432000 4194304 4196468 140729184001872 140611163707664 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7491] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7491/stat : 7491 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 7056 33554432000 4194304 4196468 140729184001872 140611162655120 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7492] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7492/stat : 7492 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359859 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610863577840 140611558771330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7493] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7493/stat : 7493 (java) S 7482 7485 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359860 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610862524064 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7494] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7494/stat : 7494 (java) S 7482 7485 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359860 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610861470960 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7495] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7495/stat : 7495 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359862 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610860419536 140611558778779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7496] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7496/stat : 7496 (java) S 7482 7485 4973 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 95359862 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610859366640 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7497] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7497/stat : 7497 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359862 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610858314096 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7498] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0.01 cores=0,2,4,6
/proc/7485/task/7498/stat : 7498 (java) R 7482 7485 4973 0 -1 4202560 387 0 0 0 1 0 0 0 20 0 15 0 95359862 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610857261040 140611558774092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7499] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7499/stat : 7499 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359863 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610856208736 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7500] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7500/stat : 7500 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359863 10808729600 7056 33554432000 4194304 4196468 140729184001872 140610855156784 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 28224 KiB

[startup+0.210439 s]*
/proc/loadavg: 1.95 2.00 2.18 4/216 7500
/proc/meminfo: memFree=21796540/32770624 swapFree=67108860/67108860
[pid=7485] ppid=7482 vsize=10555400 memory=38476 CPUtime=0.31 cores=0,2,4,6
/proc/7485/stat : 7485 (java) S 7482 7485 4973 0 -1 1077944320 8232 0 0 0 29 2 0 0 20 0 15 0 95359857 10808729600 9619 33554432000 4194304 4196468 140729184001872 140729183984416 140611558760183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
/proc/7485/statm: 2638850 9619 2959 1 0 2627263 0
[pid=7485/tid=7487] ppid=7482 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/7485/task/7487/stat : 7487 (java) R 7482 7485 4973 0 -1 4202560 5082 0 0 0 19 1 0 0 20 0 15 0 95359857 10808729600 9619 33554432000 4194304 4196468 140729184001872 140611562999312 140611196695847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7488] ppid=7482 vsize=10555400 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7488/stat : 7488 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 9619 33554432000 4194304 4196468 140729184001872 140611526318608 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7489] ppid=7482 vsize=10555400 memory=140664489445399 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7489/stat : 7489 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 9619 33554432000 4194304 4196468 140729184001872 140611164760720 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7490] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7490/stat : 7490 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 9619 33554432000 4194304 4196468 140729184001872 140611163707664 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7491] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7491/stat : 7491 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808729600 9619 33554432000 4194304 4196468 140729184001872 140611162655120 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7492] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7492/stat : 7492 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359859 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610863577840 140611558771330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7493] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7493/stat : 7493 (java) S 7482 7485 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359860 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610862524064 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7494] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7494/stat : 7494 (java) S 7482 7485 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359860 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610861470960 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7495] ppid=7482 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7495/stat : 7495 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359862 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610860419536 140611558778779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7496] ppid=7482 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7485/task/7496/stat : 7496 (java) R 7482 7485 4973 0 -1 4202560 616 0 0 0 1 0 0 0 20 0 15 0 95359862 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610859366736 140611542243660 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7497] ppid=7482 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7485/task/7497/stat : 7497 (java) R 7482 7485 4973 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 95359862 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610858300880 140611558770389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7498] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0.06 cores=0,2,4,6
/proc/7485/task/7498/stat : 7498 (java) R 7482 7485 4973 0 -1 4202560 960 0 0 0 6 0 0 0 20 0 15 0 95359862 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610857256992 140611542840670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7499] ppid=7482 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7499/stat : 7499 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359863 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610856208736 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7500] ppid=7482 vsize=10555400 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7500/stat : 7500 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359863 10808729600 9619 33554432000 4194304 4196468 140729184001872 140610855156784 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38476 KiB

[startup+0.310479 s]*
/proc/loadavg: 1.95 2.00 2.18 4/216 7500
/proc/meminfo: memFree=21785624/32770624 swapFree=67108860/67108860
[pid=7485] ppid=7482 vsize=10555476 memory=50844 CPUtime=0.61 cores=0,2,4,6
/proc/7485/stat : 7485 (java) S 7482 7485 4973 0 -1 1077944320 10447 0 0 0 58 3 0 0 20 0 15 0 95359857 10808807424 12711 33554432000 4194304 4196468 140729184001872 140729183984416 140611558760183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
/proc/7485/statm: 2638869 12711 3049 1 0 2627263 0
[pid=7485/tid=7487] ppid=7482 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/7485/task/7487/stat : 7487 (java) R 7482 7485 4973 0 -1 1077944384 5704 0 0 0 28 2 0 0 20 0 15 0 95359857 10808807424 12711 33554432000 4194304 4196468 140729184001872 140611562994496 140611558770389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7488] ppid=7482 vsize=10555476 memory=304556153373982743 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7488/stat : 7488 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 12711 33554432000 4194304 4196468 140729184001872 140611526318608 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7489] ppid=7482 vsize=10555476 memory=14276210237433496 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7489/stat : 7489 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 12711 33554432000 4194304 4196468 140729184001872 140611164760720 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7490] ppid=7482 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7490/stat : 7490 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 12711 33554432000 4194304 4196468 140729184001872 140611163707664 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7491] ppid=7482 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7491/stat : 7491 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 12711 33554432000 4194304 4196468 140729184001872 140611162655120 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7492] ppid=7482 vsize=10555476 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7492/stat : 7492 (java) S 7482 7485 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95359859 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610863577840 140611558771330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7493] ppid=7482 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7493/stat : 7493 (java) S 7482 7485 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359860 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610862524064 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7494] ppid=7482 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7494/stat : 7494 (java) S 7482 7485 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359860 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610861470960 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7495] ppid=7482 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7495/stat : 7495 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359862 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610860419536 140611558778779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7496] ppid=7482 vsize=10555476 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7485/task/7496/stat : 7496 (java) R 7482 7485 4973 0 -1 4202560 1477 0 0 0 10 0 0 0 20 0 15 0 95359862 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610859356752 140611541971867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7497] ppid=7482 vsize=10555476 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/7485/task/7497/stat : 7497 (java) R 7482 7485 4973 0 -1 4202560 539 0 0 0 6 0 0 0 20 0 15 0 95359862 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610858302240 140611558781530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7498] ppid=7482 vsize=10555476 memory=140664489436800 CPUtime=0.12 cores=0,2,4,6
/proc/7485/task/7498/stat : 7498 (java) R 7482 7485 4973 0 -1 4202560 1360 0 0 0 12 0 0 0 20 0 15 0 95359862 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610857261040 140611551860030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7499] ppid=7482 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7499/stat : 7499 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359863 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610856208736 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7500] ppid=7482 vsize=10555476 memory=140664489436800 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7500/stat : 7500 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359863 10808807424 12711 33554432000 4194304 4196468 140729184001872 140610855156784 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 50844 KiB

[startup+0.700726 s]
/proc/loadavg: 1.95 2.00 2.18 5/216 7500
/proc/meminfo: memFree=21762604/32770624 swapFree=67108860/67108860
[pid=7485] ppid=7482 vsize=10555476 memory=117424 CPUtime=1.81 cores=0,2,4,6
/proc/7485/stat : 7485 (java) S 7482 7485 4973 0 -1 1077944320 13330 0 0 0 176 5 0 0 20 0 15 0 95359857 10808807424 29356 33554432000 4194304 4196468 140729184001872 140729183984416 140611558760183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
/proc/7485/statm: 2638869 29356 3095 1 0 2627263 0
[pid=7485/tid=7487] ppid=7482 vsize=10555476 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/7485/task/7487/stat : 7487 (java) R 7482 7485 4973 0 -1 4202560 5952 0 0 0 65 3 0 0 20 0 15 0 95359857 10808807424 29356 33554432000 4194304 4196468 140729184001872 140611562993584 140611455701239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7488] ppid=7482 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7488/stat : 7488 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 29356 33554432000 4194304 4196468 140729184001872 140611526318608 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7489] ppid=7482 vsize=10555476 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7489/stat : 7489 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 29356 33554432000 4194304 4196468 140729184001872 140611164760720 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7490] ppid=7482 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7490/stat : 7490 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 29356 33554432000 4194304 4196468 140729184001872 140611163707664 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7491] ppid=7482 vsize=10555476 memory=5716 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7491/stat : 7491 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359858 10808807424 29356 33554432000 4194304 4196468 140729184001872 140611162655120 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7492] ppid=7482 vsize=10555476 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7492/stat : 7492 (java) S 7482 7485 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95359859 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610863577840 140611558771330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7493] ppid=7482 vsize=10555476 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7493/stat : 7493 (java) S 7482 7485 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359860 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610862524064 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7494] ppid=7482 vsize=10555476 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7494/stat : 7494 (java) S 7482 7485 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359860 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610861470960 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7495] ppid=7482 vsize=10555476 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7495/stat : 7495 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359862 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610860419536 140611558778779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7496] ppid=7482 vsize=10555476 memory=4639098309541127021 CPUtime=0.4 cores=0,2,4,6
/proc/7485/task/7496/stat : 7496 (java) R 7482 7485 4973 0 -1 4202560 2405 0 0 0 40 0 0 0 20 0 15 0 95359862 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610859356752 140611542256967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7497] ppid=7482 vsize=10555476 memory=7597685182856913236 CPUtime=0.36 cores=0,2,4,6
/proc/7485/task/7497/stat : 7497 (java) R 7482 7485 4973 0 -1 4202560 1721 0 0 0 36 0 0 0 20 0 15 0 95359862 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610858299976 140611550997310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7498] ppid=7482 vsize=10555476 memory=7236547281622689387 CPUtime=0.34 cores=0,2,4,6
/proc/7485/task/7498/stat : 7498 (java) S 7482 7485 4973 0 -1 1077944384 1880 0 0 0 33 1 0 0 20 0 15 0 95359862 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610857261040 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7499] ppid=7482 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7499/stat : 7499 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359863 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610856208736 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7500] ppid=7482 vsize=10555476 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7500/stat : 7500 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359863 10808807424 29356 33554432000 4194304 4196468 140729184001872 140610855156784 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 117424 KiB

[startup+1.20809 s]
# the end of solver process 7485 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.84036 s, system=0.070655 s

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

[startup+0.800811 s]
/proc/loadavg: 1.95 2.00 2.18 5/216 7500
/proc/meminfo: memFree=21762604/32770624 swapFree=67108860/67108860
[pid=7485] ppid=7482 vsize=10622040 memory=137592 CPUtime=2.13 cores=0,2,4,6
/proc/7485/stat : 7485 (java) S 7482 7485 4973 0 -1 1077944320 14238 0 0 0 208 5 0 0 20 0 16 0 95359857 10876968960 34398 33554432000 4194304 4196468 140729184001872 140729183984416 140611558760183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
/proc/7485/statm: 2655510 34398 3095 1 0 2643904 0
[pid=7485/tid=7487] ppid=7482 vsize=10622040 memory=8243114992657236055 CPUtime=0.77 cores=0,2,4,6
/proc/7485/task/7487/stat : 7487 (java) R 7482 7485 4973 0 -1 4202560 5983 0 0 0 74 3 0 0 20 0 16 0 95359857 10876968960 34398 33554432000 4194304 4196468 140729184001872 140611562998208 140611199613911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7488] ppid=7482 vsize=10622040 memory=288293259724457137 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7488/stat : 7488 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359858 10876968960 34398 33554432000 4194304 4196468 140729184001872 140611526318608 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7489] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7489/stat : 7489 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359858 10876968960 34398 33554432000 4194304 4196468 140729184001872 140611164760720 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7490] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7490/stat : 7490 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95359858 10876968960 34398 33554432000 4194304 4196468 140729184001872 140611163707664 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7491] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7491/stat : 7491 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95359858 10876968960 34398 33554432000 4194304 4196468 140729184001872 140611162655120 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7492] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7492/stat : 7492 (java) S 7482 7485 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 95359859 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610863577840 140611558771330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7493] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7493/stat : 7493 (java) S 7482 7485 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95359860 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610862524064 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7494] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7494/stat : 7494 (java) S 7482 7485 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95359860 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610861470960 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7495] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7495/stat : 7495 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359862 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610860419536 140611558778779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7496] ppid=7482 vsize=10622040 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/7485/task/7496/stat : 7496 (java) R 7482 7485 4973 0 -1 4202560 2797 0 0 0 50 0 0 0 20 0 16 0 95359862 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610859356752 140611542256967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7497] ppid=7482 vsize=10622040 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7485/task/7497/stat : 7497 (java) R 7482 7485 4973 0 -1 4202560 2088 0 0 0 46 0 0 0 20 0 16 0 95359862 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610858302656 140611538006979 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7498] ppid=7482 vsize=10622040 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/7485/task/7498/stat : 7498 (java) R 7482 7485 4973 0 -1 1077944384 1977 0 0 0 36 1 0 0 20 0 16 0 95359862 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610857261040 140611558771330 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7499] ppid=7482 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7499/stat : 7499 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359863 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610856208736 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7500] ppid=7482 vsize=10622040 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7500/stat : 7500 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359863 10876968960 34398 33554432000 4194304 4196468 140729184001872 140610855156784 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 137592 KiB

[startup+1.20063 s]
/proc/loadavg: 1.95 2.00 2.18 4/217 7503
/proc/meminfo: memFree=21685620/32770624 swapFree=67108860/67108860
[pid=7485] ppid=7482 vsize=10755168 memory=152936 CPUtime=2.9 cores=0,2,4,6
/proc/7485/stat : 7485 (java) S 7482 7485 4973 0 -1 1077944320 17517 0 0 0 284 6 0 0 20 0 14 0 95359857 11013292032 38234 33554432000 4194304 4196468 140729184001872 140729183984416 140611558760183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
/proc/7485/statm: 2688792 38234 3101 1 0 2677186 0
[pid=7485/tid=7487] ppid=7482 vsize=10755168 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/7485/task/7487/stat : 7487 (java) S 7482 7485 4973 0 -1 1077944384 5992 0 0 0 93 3 0 0 20 0 14 0 95359857 11013292032 38234 33554432000 4194304 4196468 140729184001872 140611563003024 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7488] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7488/stat : 7488 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95359858 11013292032 38234 33554432000 4194304 4196468 140729184001872 140611526318608 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7489] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7489/stat : 7489 (java) S 7482 7485 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95359858 11013292032 38234 33554432000 4194304 4196468 140729184001872 140611164760720 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7490] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7490/stat : 7490 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 95359858 11013292032 38234 33554432000 4194304 4196468 140729184001872 140611163707664 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7491] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7491/stat : 7491 (java) S 7482 7485 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 95359858 11013292032 38234 33554432000 4194304 4196468 140729184001872 140611162655120 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7492] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7492/stat : 7492 (java) S 7482 7485 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 95359859 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610863578048 140611558771330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7493] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7493/stat : 7493 (java) S 7482 7485 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 95359860 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610862524064 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7494] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7494/stat : 7494 (java) S 7482 7485 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 95359860 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610861470960 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7495] ppid=7482 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7495/stat : 7495 (java) S 7482 7485 4973 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 95359862 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610860419184 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7496] ppid=7482 vsize=10755168 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/7485/task/7496/stat : 7496 (java) S 7482 7485 4973 0 -1 1077944384 5064 0 0 0 81 0 0 0 20 0 14 0 95359862 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610859347040 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7497] ppid=7482 vsize=10755168 memory=301741373374332954 CPUtime=0.7 cores=0,2,4,6
/proc/7485/task/7497/stat : 7497 (java) S 7482 7485 4973 0 -1 1077944384 2758 0 0 0 69 1 0 0 20 0 14 0 95359862 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610858302480 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7498] ppid=7482 vsize=10755168 memory=301741394933055803 CPUtime=0.39 cores=0,2,4,6
/proc/7485/task/7498/stat : 7498 (java) S 7482 7485 4973 0 -1 1077944384 2256 0 0 0 38 1 0 0 20 0 14 0 95359862 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610857261040 140611558771330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
[pid=7485/tid=7499] ppid=7482 vsize=10755168 memory=14979957709343143 CPUtime=0 cores=0,2,4,6
/proc/7485/task/7499/stat : 7499 (java) S 7482 7485 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95359863 11013292032 38234 33554432000 4194304 4196468 140729184001872 140610856208736 140611558770389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31440896 140729184003206 140729184003359 140729184003359 140729184006095 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 152936 KiB

Child status: 0
Real time (s): 1.20816
CPU time (s): 2.91101
CPU user time (s): 2.84036
CPU system time (s): 0.070655
CPU usage (%): 240.946
Max. virtual memory (cumulated for all children) (KiB): 10757112
Max. memory (cumulated for all children) (KiB): 152936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.84036
system time used= 0.070655
maximum resident set size= 153368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17521
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= 1530
involuntary context switches= 7


# summary of solver processes directly reported to runsolver:
#   pid: 7485
#   total CPU time (s): 2.91101
#   total CPU user time (s): 2.84036
#   total CPU system time (s): 0.070655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026707 second user time and 0.060604 second system time

The end