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 (6237 MiB free)
memory of node 1: 16384 MiB (7599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308561-1534278031/watcher-4308561-1534278031 -o /tmp/evaluation-result-4308561-1534278031/solver-4308561-1534278031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1545948141 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308561-1534278031.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=3367, runsolver pid=3364
[startup+0.108261 s]*
/proc/loadavg: 1.41 1.37 1.40 3/216 3382
/proc/meminfo: memFree=14148824/32770624 swapFree=67108504/67108860
[pid=3367] ppid=3364 vsize=14082736 memory=33984 CPUtime=0.12 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3364 3367 875 0 -1 1077944320 7417 0 0 0 11 1 0 0 20 0 15 0 245366282 14420721664 8496 33554432000 4194304 4196468 140728705713824 140728705696368 140543885049591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
/proc/3367/statm: 3520684 8496 3144 1 0 3482761 0
[pid=3367/tid=3369] ppid=3364 vsize=14082736 memory=8389772277269004345 CPUtime=0.1 cores=0,2,4,6
/proc/3367/task/3369/stat : 3369 (java) R 3364 3367 875 0 -1 1077944384 5489 0 0 0 9 1 0 0 20 0 15 0 245366283 14420721664 8496 33554432000 4194304 4196468 140728705713824 140543889276912 140543885073469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3370] ppid=3364 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3370/stat : 3370 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 8496 33554432000 4194304 4196468 140728705713824 140543815137552 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3371] ppid=3364 vsize=14082736 memory=4122678033164846752 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 8496 33554432000 4194304 4196468 140728705713824 140543814085008 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3372] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 8496 33554432000 4194304 4196468 140728705713824 140543478381072 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3373] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 8496 33554432000 4194304 4196468 140728705713824 140543477328528 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3374] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366285 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542999493104 140543885060738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3375] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3364 3367 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245366285 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542998439328 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3376] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3364 3367 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245366286 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542997386736 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3377] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542996335312 140543885068187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3378] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3364 3367 875 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542995281904 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3379] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542994229360 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3380] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) R 3364 3367 875 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 15 0 245366288 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542993176816 140543863654735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3381] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542992124512 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3382] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 8496 33554432000 4194304 4196468 140728705713824 140542991072048 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33984 KiB
[startup+0.210642 s]*
/proc/loadavg: 1.41 1.37 1.40 4/216 3382
/proc/meminfo: memFree=14135552/32770624 swapFree=67108504/67108860
[pid=3367] ppid=3364 vsize=14082736 memory=47108 CPUtime=0.29 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3364 3367 875 0 -1 1077944320 10379 0 0 0 27 2 0 0 20 0 15 0 245366282 14420721664 11777 33554432000 4194304 4196468 140728705713824 140728705696368 140543885049591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
/proc/3367/statm: 3520684 11777 3364 1 0 3482761 0
[pid=3367/tid=3369] ppid=3364 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3367/task/3369/stat : 3369 (java) S 3364 3367 875 0 -1 1077944384 8124 0 0 0 18 1 0 0 20 0 15 0 245366283 14420721664 11777 33554432000 4194304 4196468 140728705713824 140543889276720 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3370] ppid=3364 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3370/stat : 3370 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 11777 33554432000 4194304 4196468 140728705713824 140543815137552 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3371] ppid=3364 vsize=14082736 memory=3905944491530962592 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 11777 33554432000 4194304 4196468 140728705713824 140543814085008 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3372] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 11777 33554432000 4194304 4196468 140728705713824 140543478381072 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3373] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 11777 33554432000 4194304 4196468 140728705713824 140543477328528 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3374] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3364 3367 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245366285 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542999493104 140543885060738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3375] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3364 3367 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245366285 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542998439328 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3376] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3364 3367 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245366286 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542997386736 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3377] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542996335312 140543885068187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3378] ppid=3364 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) R 3364 3367 875 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 15 0 245366288 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542995281904 140543885060738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3379] ppid=3364 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) R 3364 3367 875 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 15 0 245366288 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542994229360 140543864264972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3380] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0.05 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3364 3367 875 0 -1 1077944384 267 0 0 0 5 0 0 0 20 0 15 0 245366288 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542993176816 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3381] ppid=3364 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542992124512 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3382] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 11777 33554432000 4194304 4196468 140728705713824 140542991072048 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47108 KiB
[startup+0.310625 s]*
/proc/loadavg: 1.41 1.37 1.40 3/216 3382
/proc/meminfo: memFree=14131892/32770624 swapFree=67108504/67108860
[pid=3367] ppid=3364 vsize=14082736 memory=50592 CPUtime=0.43 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3364 3367 875 0 -1 1077944320 10762 0 0 0 40 3 0 0 20 0 15 0 245366282 14420721664 12648 33554432000 4194304 4196468 140728705713824 140728705696368 140543885049591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
/proc/3367/statm: 3520684 12648 3367 1 0 3482761 0
[pid=3367/tid=3369] ppid=3364 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/3367/task/3369/stat : 3369 (java) R 3364 3367 875 0 -1 4202560 8482 0 0 0 27 2 0 0 20 0 15 0 245366283 14420721664 12648 33554432000 4194304 4196468 140728705713824 140543889264992 140543870215246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3370] ppid=3364 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3370/stat : 3370 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 12648 33554432000 4194304 4196468 140728705713824 140543815137552 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3371] ppid=3364 vsize=14082736 memory=3546778027479844512 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 12648 33554432000 4194304 4196468 140728705713824 140543814085008 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3372] ppid=3364 vsize=14082736 memory=9796 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 12648 33554432000 4194304 4196468 140728705713824 140543478381072 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3373] ppid=3364 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14420721664 12648 33554432000 4194304 4196468 140728705713824 140543477328528 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3374] ppid=3364 vsize=14082736 memory=140320206814848 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3364 3367 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245366285 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542999493104 140543885060738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3375] ppid=3364 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3364 3367 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245366285 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542998439328 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3376] ppid=3364 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3364 3367 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245366286 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542997386736 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3377] ppid=3364 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542996335312 140543885068187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3378] ppid=3364 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3364 3367 875 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 245366288 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542995281904 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3379] ppid=3364 vsize=14082736 memory=35 CPUtime=0.02 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3364 3367 875 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 245366288 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542994229360 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3380] ppid=3364 vsize=14082736 memory=140320206807328 CPUtime=0.08 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3364 3367 875 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 15 0 245366288 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542993176816 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3381] ppid=3364 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542992124512 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3382] ppid=3364 vsize=14082736 memory=140320206800512 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366288 14420721664 12648 33554432000 4194304 4196468 140728705713824 140542991072048 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50592 KiB
[startup+0.700764 s]
/proc/loadavg: 1.41 1.37 1.40 3/216 3382
/proc/meminfo: memFree=14110004/32770624 swapFree=67108504/67108860
[pid=3367] ppid=3364 vsize=14084804 memory=86580 CPUtime=0.99 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3364 3367 875 0 -1 1077944320 17544 0 0 0 94 5 0 0 20 0 15 0 245366282 14422839296 21645 33554432000 4194304 4196468 140728705713824 140728705696368 140543885049591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
/proc/3367/statm: 3521201 21645 3481 1 0 3483273 0
[pid=3367/tid=3369] ppid=3364 vsize=14084804 memory=66616 CPUtime=0.67 cores=0,2,4,6
/proc/3367/task/3369/stat : 3369 (java) R 3364 3367 875 0 -1 4202560 14857 0 0 0 63 4 0 0 20 0 15 0 245366283 14422839296 21645 33554432000 4194304 4196468 140728705713824 140543889273952 140543878146427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3370] ppid=3364 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3370/stat : 3370 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14422839296 21645 33554432000 4194304 4196468 140728705713824 140543815137552 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3371] ppid=3364 vsize=14084804 memory=154811291020621 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366284 14422839296 21645 33554432000 4194304 4196468 140728705713824 140543814085008 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3372] ppid=3364 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14422839296 21645 33554432000 4194304 4196468 140728705713824 140543478381072 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3373] ppid=3364 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14422839296 21645 33554432000 4194304 4196468 140728705713824 140543477328528 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3374] ppid=3364 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3364 3367 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245366285 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542999493104 140543885060738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3375] ppid=3364 vsize=14084804 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3364 3367 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245366285 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542998439328 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3376] ppid=3364 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3364 3367 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245366286 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542997386736 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3377] ppid=3364 vsize=14084804 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542996335312 140543885068187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3378] ppid=3364 vsize=14084804 memory=6944656592387989600 CPUtime=0.06 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3364 3367 875 0 -1 1077944384 669 0 0 0 6 0 0 0 20 0 15 0 245366288 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542995281904 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3379] ppid=3364 vsize=14084804 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3364 3367 875 0 -1 1077944384 259 0 0 0 8 0 0 0 20 0 15 0 245366288 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542994229360 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3380] ppid=3364 vsize=14084804 memory=6944656592455097440 CPUtime=0.15 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3364 3367 875 0 -1 1077944384 375 0 0 0 15 0 0 0 20 0 15 0 245366288 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542993176816 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3381] ppid=3364 vsize=14084804 memory=-2098775911743863648 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542992124512 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3382] ppid=3364 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366288 14422839296 21645 33554432000 4194304 4196468 140728705713824 140542991072048 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86580 KiB
[startup+1.26123 s]
# the end of solver process 3367 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.07724 s, system=0.091341 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800983 s]
/proc/loadavg: 1.41 1.37 1.40 3/216 3382
/proc/meminfo: memFree=14110004/32770624 swapFree=67108504/67108860
[pid=3367] ppid=3364 vsize=14086852 memory=93060 CPUtime=1.17 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3364 3367 875 0 -1 1077944320 18086 0 0 0 112 5 0 0 20 0 15 0 245366282 14424936448 23265 33554432000 4194304 4196468 140728705713824 140728705696368 140543885049591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
/proc/3367/statm: 3521713 23265 3511 1 0 3483785 0
[pid=3367/tid=3369] ppid=3364 vsize=14086852 memory=8112282956445269571 CPUtime=0.77 cores=0,2,4,6
/proc/3367/task/3369/stat : 3369 (java) R 3364 3367 875 0 -1 4202560 15261 0 0 0 73 4 0 0 20 0 15 0 245366283 14424936448 23265 33554432000 4194304 4196468 140728705713824 140543889284656 140543869093221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3370] ppid=3364 vsize=14086852 memory=37748 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3370/stat : 3370 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14424936448 23265 33554432000 4194304 4196468 140728705713824 140543815137552 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3371] ppid=3364 vsize=14086852 memory=13776 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366284 14424936448 23265 33554432000 4194304 4196468 140728705713824 140543814085008 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3372] ppid=3364 vsize=14086852 memory=3356 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14424936448 23265 33554432000 4194304 4196468 140728705713824 140543478381072 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3373] ppid=3364 vsize=14086852 memory=916 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14424936448 23265 33554432000 4194304 4196468 140728705713824 140543477328528 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3374] ppid=3364 vsize=14086852 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3364 3367 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245366285 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542999493104 140543885060738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3375] ppid=3364 vsize=14086852 memory=492 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3364 3367 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245366285 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542998439328 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3376] ppid=3364 vsize=14086852 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3364 3367 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245366286 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542997386736 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3377] ppid=3364 vsize=14086852 memory=932 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542996335312 140543885068187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3378] ppid=3364 vsize=14086852 memory=1168 CPUtime=0.07 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3364 3367 875 0 -1 1077944384 682 0 0 0 7 0 0 0 20 0 15 0 245366288 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542995281904 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3379] ppid=3364 vsize=14086852 memory=2344 CPUtime=0.11 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) R 3364 3367 875 0 -1 4202560 268 0 0 0 11 0 0 0 20 0 15 0 245366288 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542994229360 140543864465824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3380] ppid=3364 vsize=14086852 memory=924 CPUtime=0.2 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) R 3364 3367 875 0 -1 1077944384 491 0 0 0 20 0 0 0 20 0 15 0 245366288 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542993176816 140543885060738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3381] ppid=3364 vsize=14086852 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542992124512 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3382] ppid=3364 vsize=14086852 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366288 14424936448 23265 33554432000 4194304 4196468 140728705713824 140542991072048 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 93060 KiB
[startup+1.20222 s]
/proc/loadavg: 1.41 1.37 1.40 3/216 3382
/proc/meminfo: memFree=14076396/32770624 swapFree=67108504/67108860
[pid=3367] ppid=3364 vsize=14090948 memory=123408 CPUtime=2.01 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3364 3367 875 0 -1 1077944320 22978 0 0 0 193 8 0 0 20 0 15 0 245366282 14429130752 30852 33554432000 4194304 4196468 140728705713824 140728705696368 140543885049591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
/proc/3367/statm: 3522737 30852 3533 1 0 3484809 0
[pid=3367/tid=3369] ppid=3364 vsize=14090948 memory=14978883968812957 CPUtime=1.17 cores=0,2,4,6
/proc/3367/task/3369/stat : 3369 (java) R 3364 3367 875 0 -1 4202560 18807 0 0 0 112 5 0 0 20 0 15 0 245366283 14429130752 30852 33554432000 4194304 4196468 140728705713824 140543889282752 140543493438116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3370] ppid=3364 vsize=14090948 memory=7882834749540411979 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3370/stat : 3370 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14429130752 30852 33554432000 4194304 4196468 140728705713824 140543815137552 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3371] ppid=3364 vsize=14090948 memory=3054156605335692660 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3364 3367 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245366284 14429130752 30852 33554432000 4194304 4196468 140728705713824 140543814085008 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3372] ppid=3364 vsize=14090948 memory=-8033973737701895300 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14429130752 30852 33554432000 4194304 4196468 140728705713824 140543478381072 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3373] ppid=3364 vsize=14090948 memory=-9102473451428748661 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3364 3367 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245366284 14429130752 30852 33554432000 4194304 4196468 140728705713824 140543477328528 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3374] ppid=3364 vsize=14090948 memory=8508281403248445325 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3364 3367 875 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 245366285 14429130752 30852 33554432000 4194304 4196468 140728705713824 140542999493104 140543885060738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3375] ppid=3364 vsize=14090948 memory=8514701219242344867 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3364 3367 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245366285 14429130752 30852 33554432000 4194304 4196468 140728705713824 140542998439328 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3376] ppid=3364 vsize=14090948 memory=-9103030981133442421 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3364 3367 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245366286 14429130752 30852 33554432000 4194304 4196468 140728705713824 140542997386736 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3377] ppid=3364 vsize=14090948 memory=-8529969244802432967 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14429130752 30852 33554432000 4194304 4196468 140728705713824 140542996335312 140543885068187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3378] ppid=3364 vsize=14090948 memory=-8033973737701895300 CPUtime=0.19 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) R 3364 3367 875 0 -1 4202560 1039 0 0 0 18 1 0 0 20 0 15 0 245366288 14429130752 30852 33554432000 4194304 4196468 140728705713824 140542995264864 140543871068823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3379] ppid=3364 vsize=14090948 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) R 3364 3367 875 0 -1 4202560 603 0 0 0 22 0 0 0 20 0 15 0 245366288 14429130752 30891 33554432000 4194304 4196468 140728705713824 140542994222320 140543877269101 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3380] ppid=3364 vsize=14090948 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) R 3364 3367 875 0 -1 4202560 1137 0 0 0 40 0 0 0 20 0 15 0 245366288 14429130752 30891 33554432000 4194304 4196468 140728705713824 140542993176816 140543878146443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3381] ppid=3364 vsize=14090948 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14429130752 30891 33554432000 4194304 4196468 140728705713824 140542992124512 140543885059797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
[pid=3367/tid=3382] ppid=3364 vsize=14090948 memory=7380106142448643184 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3364 3367 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245366288 14429130752 30891 33554432000 4194304 4196468 140728705713824 140542991072048 140543885060738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26992640 140728705717332 140728705717513 140728705717513 140728705720271 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 123408 KiB
Child status: 0
Real time (s): 1.26131
CPU time (s): 2.16858
CPU user time (s): 2.07724
CPU system time (s): 0.091341
CPU usage (%): 171.931
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 123408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.07724
system time used= 0.091341
maximum resident set size= 129936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24300
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= 2278
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 3367
# total CPU time (s): 2.16858
# total CPU user time (s): 2.07724
# total CPU system time (s): 0.091341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026491 second user time and 0.062152 second system time
The end