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 (8637 MiB free)
memory of node 1: 16384 MiB (9899 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310324-1534331505/watcher-4310324-1534331505 -o /tmp/evaluation-result-4310324-1534331505/solver-4310324-1534331505 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20538 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1721691027 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310324-1534331505.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22620, runsolver pid=22617
[startup+0.100093 s]*
/proc/loadavg: 1.91 1.92 1.88 3/216 22635
/proc/meminfo: memFree=18965332/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14082736 memory=32136 CPUtime=0.11 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 7503 0 0 0 9 2 0 0 20 0 15 0 250713678 14420721664 8034 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3520684 8034 3131 1 0 3482761 0
[pid=22620/tid=22622] ppid=22617 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 5553 0 0 0 8 1 0 0 20 0 15 0 250713678 14420721664 8034 33554432000 4194304 4196468 140725302191264 139712701769056 139712697562269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14082736 memory=5793855376743737785 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 8034 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 8034 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 8034 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 8034 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713680 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) S 22617 22620 20506 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711606540656 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711605487856 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0.01 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) R 22617 22620 20506 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 250713683 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711604435056 139712681652584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713684 14420721664 8034 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32136 KiB
[startup+0.210552 s]*
/proc/loadavg: 1.91 1.92 1.88 4/216 22635
/proc/meminfo: memFree=18950076/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14082736 memory=45804 CPUtime=0.31 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 10645 0 0 0 27 4 0 0 20 0 15 0 250713678 14420721664 11451 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3520684 11451 3362 1 0 3482761 0
[pid=22620/tid=22622] ppid=22617 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 8260 0 0 0 17 2 0 0 20 0 15 0 250713678 14420721664 11451 33554432000 4194304 4196468 140725302191264 139712701766320 139712681583973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14082736 memory=4211973851938635146 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 11451 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 11451 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 11451 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 11451 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250713680 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) R 22617 22620 20506 0 -1 4202560 558 0 0 0 2 0 0 0 20 0 15 0 250713683 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711606526680 139712682203524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) R 22617 22620 20506 0 -1 4202560 64 0 0 0 1 0 0 0 20 0 15 0 250713683 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711605487856 139712678910656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0.06 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) R 22617 22620 20506 0 -1 4202560 389 0 0 0 6 0 0 0 20 0 15 0 250713683 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711604432864 139712697561690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713684 14420721664 11451 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 45804 KiB
[startup+0.310674 s]*
/proc/loadavg: 1.91 1.92 1.88 3/216 22635
/proc/meminfo: memFree=18945920/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14082736 memory=49824 CPUtime=0.44 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 11049 0 0 0 40 4 0 0 20 0 15 0 250713678 14420721664 12456 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3520684 12456 3396 1 0 3482761 0
[pid=22620/tid=22622] ppid=22617 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 8607 0 0 0 27 3 0 0 20 0 15 0 250713678 14420721664 12456 33554432000 4194304 4196468 140725302191264 139712701761440 139712682705918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14082736 memory=4211973851938635146 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 12456 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14082736 memory=140125733846968 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 12456 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14082736 memory=140125589862924 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 12456 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14082736 memory=140125589851599 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14420721664 12456 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14082736 memory=140125733865140 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250713680 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14082736 memory=140125589860783 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14082736 memory=280251179712400 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14082736 memory=280251179710096 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) S 22617 22620 20506 0 -1 1077944384 576 0 0 0 2 0 0 0 20 0 15 0 250713683 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711606540656 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) S 22617 22620 20506 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 15 0 250713683 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711605487856 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0.07 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) S 22617 22620 20506 0 -1 1077944384 417 0 0 0 7 0 0 0 20 0 15 0 250713683 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711604435056 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14082736 memory=140125733844608 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713684 14420721664 12456 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49824 KiB
[startup+0.700746 s]
/proc/loadavg: 1.91 1.92 1.88 4/216 22635
/proc/meminfo: memFree=18924528/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14084804 memory=89804 CPUtime=1 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 17827 0 0 0 93 7 0 0 20 0 15 0 250713678 14422839296 22451 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3521201 22451 3504 1 0 3483273 0
[pid=22620/tid=22622] ppid=22617 vsize=14084804 memory=876 CPUtime=0.67 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 14912 0 0 0 62 5 0 0 20 0 15 0 250713678 14422839296 22451 33554432000 4194304 4196468 140725302191264 139712701757216 139712697562269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14084804 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14422839296 22451 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14422839296 22451 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14422839296 22451 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14422839296 22451 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250713680 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14084804 memory=268 CPUtime=0.09 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) S 22617 22620 20506 0 -1 1077944384 728 0 0 0 9 0 0 0 20 0 15 0 250713683 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711606540656 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14084804 memory=7 CPUtime=0.05 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) S 22617 22620 20506 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 15 0 250713683 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711605487856 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14084804 memory=20525 CPUtime=0.15 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) S 22617 22620 20506 0 -1 1077944384 569 0 0 0 15 0 0 0 20 0 15 0 250713683 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711604435056 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14084804 memory=280251179896304 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713684 14422839296 22490 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89804 KiB
[startup+1.15884 s]
# the end of solver process 22620 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.78473 s, system=0.104376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800793 s]
/proc/loadavg: 1.91 1.92 1.88 4/216 22635
/proc/meminfo: memFree=18924528/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14086852 memory=94140 CPUtime=1.18 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 18378 0 0 0 111 7 0 0 20 0 15 0 250713678 14424936448 23535 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3521713 23535 3506 1 0 3483785 0
[pid=22620/tid=22622] ppid=22617 vsize=14086852 memory=8851400225972064177 CPUtime=0.77 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 15345 0 0 0 72 5 0 0 20 0 15 0 250713678 14424936448 23535 33554432000 4194304 4196468 140725302191264 139712701768496 139712681620830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14424936448 23535 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14424936448 23535 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14424936448 23535 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14086852 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14424936448 23535 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14086852 memory=6363681283794813024 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250713680 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14086852 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14086852 memory=7375016464604554582 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14086852 memory=5788085757249409104 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14086852 memory=8310089781426884755 CPUtime=0.12 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) S 22617 22620 20506 0 -1 1077944384 744 0 0 0 12 0 0 0 20 0 15 0 250713683 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711606540656 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14086852 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) S 22617 22620 20506 0 -1 1077944384 251 0 0 0 6 0 0 0 20 0 15 0 250713683 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711605487856 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14086852 memory=345967677 CPUtime=0.19 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) S 22617 22620 20506 0 -1 1077944384 658 0 0 0 19 0 0 0 20 0 15 0 250713683 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711604435056 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14086852 memory=280251179988576 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713684 14424936448 23535 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 94140 KiB
[startup+1.0007 s]*
/proc/loadavg: 1.91 1.92 1.88 4/216 22635
/proc/meminfo: memFree=18886560/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14088900 memory=109608 CPUtime=1.5 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 19660 0 0 0 142 8 0 0 20 0 15 0 250713678 14427033600 27402 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3522225 27402 3512 1 0 3484297 0
[pid=22620/tid=22622] ppid=22617 vsize=14088900 memory=6735269665583770266 CPUtime=0.98 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 16398 0 0 0 92 6 0 0 20 0 15 0 250713678 14427033600 27402 33554432000 4194304 4196468 140725302191264 139712701772384 139712681620830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14088900 memory=4211973851938635146 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14427033600 27402 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14088900 memory=3472468421961524908 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14427033600 27402 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14088900 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14427033600 27402 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14088900 memory=4137290303932963203 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14427033600 27402 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250713680 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14088900 memory=8606216625674220404 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14088900 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14088900 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14088900 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) R 22617 22620 20506 0 -1 4202560 754 0 0 0 15 0 0 0 20 0 15 0 250713683 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711606540656 139712679062049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14088900 memory=6011555679673458743 CPUtime=0.07 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) R 22617 22620 20506 0 -1 1077944384 273 0 0 0 7 0 0 0 20 0 15 0 250713683 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711605487856 139712697551490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14088900 memory=5865912970781392826 CPUtime=0.26 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) R 22617 22620 20506 0 -1 4202560 856 0 0 0 26 0 0 0 20 0 15 0 250713683 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711604435056 139712690637179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14088900 memory=2314885432472851535 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14088900 memory=4211112942453935242 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713684 14427033600 27402 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 109608 KiB
[startup+1.11091 s]
/proc/loadavg: 1.91 1.92 1.88 4/216 22635
/proc/meminfo: memFree=18886560/32770624 swapFree=67108860/67108860
[pid=22620] ppid=22617 vsize=14090948 memory=116248 CPUtime=1.76 cores=1,3,5,7
/proc/22620/stat : 22620 (java) S 22617 22620 20506 0 -1 1077944320 22866 0 0 0 167 9 0 0 20 0 15 0 250713678 14429130752 29062 33554432000 4194304 4196468 140725302191264 140725302173808 139712697540343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
/proc/22620/statm: 3522737 29062 3523 1 0 3484809 0
[pid=22620/tid=22622] ppid=22617 vsize=14090948 memory=82796 CPUtime=1.08 cores=1,3,5,7
/proc/22620/task/22622/stat : 22622 (java) R 22617 22620 20506 0 -1 4202560 18694 0 0 0 102 6 0 0 20 0 15 0 250713678 14429130752 29062 33554432000 4194304 4196468 140725302191264 139712701777328 139712338529064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22623] ppid=22617 vsize=14090948 memory=268 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22623/stat : 22623 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14429130752 29062 33554432000 4194304 4196468 140725302191264 139712293345936 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22624] ppid=22617 vsize=14090948 memory=7 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22624/stat : 22624 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14429130752 29062 33554432000 4194304 4196468 140725302191264 139712292293136 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22625] ppid=22617 vsize=14090948 memory=20525 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22625/stat : 22625 (java) S 22617 22620 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250713679 14429130752 29062 33554432000 4194304 4196468 140725302191264 139712291240336 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22626] ppid=22617 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22626/stat : 22626 (java) S 22617 22620 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250713679 14429130752 29062 33554432000 4194304 4196468 140725302191264 139712290187536 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22627] ppid=22617 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22627/stat : 22627 (java) S 22617 22620 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250713680 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711610751856 139712697551490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22628] ppid=22617 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22628/stat : 22628 (java) S 22617 22620 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250713681 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711609697824 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22629] ppid=22617 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22629/stat : 22629 (java) S 22617 22620 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250713681 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711608644976 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22630] ppid=22617 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22630/stat : 22630 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711607593296 139712697558939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22631] ppid=22617 vsize=14090948 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/22620/task/22631/stat : 22631 (java) R 22617 22620 20506 0 -1 4202560 969 0 0 0 19 0 0 0 20 0 15 0 250713683 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711606526536 139712676786233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22632] ppid=22617 vsize=14090948 memory=280248897943510 CPUtime=0.11 cores=1,3,5,7
/proc/22620/task/22632/stat : 22632 (java) R 22617 22620 20506 0 -1 4202560 458 0 0 0 11 0 0 0 20 0 15 0 250713683 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711605474368 139712689829792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22633] ppid=22617 vsize=14090948 memory=280251179805648 CPUtime=0.33 cores=1,3,5,7
/proc/22620/task/22633/stat : 22633 (java) R 22617 22620 20506 0 -1 4202560 1427 0 0 0 33 0 0 0 20 0 15 0 250713683 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711604435056 139712690637179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22634] ppid=22617 vsize=14090948 memory=95 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22634/stat : 22634 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713683 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711603382496 139712697550549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
[pid=22620/tid=22635] ppid=22617 vsize=14090948 memory=268 CPUtime=0 cores=1,3,5,7
/proc/22620/task/22635/stat : 22635 (java) S 22617 22620 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250713684 14429130752 29062 33554432000 4194304 4196468 140725302191264 139711602330800 139712697551490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38830080 140725302199386 140725302199566 140725302199566 140725302202319 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 116248 KiB
Child status: 0
Real time (s): 1.15889
CPU time (s): 1.88911
CPU user time (s): 1.78473
CPU system time (s): 0.104376
CPU usage (%): 163.01
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 116248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.78473
system time used= 0.104376
maximum resident set size= 120952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23666
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= 2003
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 22620
# total CPU time (s): 1.88911
# total CPU user time (s): 1.78473
# total CPU system time (s): 0.104376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020913 second user time and 0.066597 second system time
The end