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 (15281 MiB free)
memory of node 1: 16384 MiB (14811 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273452-1502751716/watcher-4273452-1502751716 -o /tmp/evaluation-result-4273452-1502751716/solver-4273452-1502751716 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 954895684 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273452-1502751716.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=29651, runsolver pid=29648
[startup+0.100198 s]*
/proc/loadavg: 1.79 1.68 1.68 2/195 29652
/proc/meminfo: memFree=30815504/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/29651/stat : 29651 (runsolver) D 29648 29651 12560 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 77366944 34791424 114 18446744073709551615 4194304 4346622 140734281100480 140734281097112 140318624916183 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 9347072 140734281109569 140734281110052 140734281110052 140734281113546 0
/proc/29651/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.2089 s]*
/proc/loadavg: 1.79 1.68 1.68 2/208 29665
/proc/meminfo: memFree=30805980/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=13906484 memory=20696 CPUtime=0.05 cores=0,2,4,6
/proc/29651/stat : 29651 (java) S 29648 29651 12560 0 -1 1077944320 4628 0 0 0 4 1 0 0 20 0 14 0 77366944 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 140721866130544 139845965930231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
/proc/29651/statm: 3476621 5174 2580 1 0 3466118 0
[pid=29651/tid=29653] ppid=29648 vsize=13906484 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/29651/task/29653/stat : 29653 (java) D 29648 29651 12560 0 -1 4202560 2730 0 0 0 4 0 0 0 20 0 14 0 77366957 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845970167712 139845965952253 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29654] ppid=29648 vsize=13906484 memory=328 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29654/stat : 29654 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77366958 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845885344528 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29655] ppid=29648 vsize=13906484 memory=140318628604475 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29655/stat : 29655 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77366958 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845884291984 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29656] ppid=29648 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29656/stat : 29656 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77366958 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845883239440 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29657] ppid=29648 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29657/stat : 29657 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77366958 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845882186896 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29658] ppid=29648 vsize=13906484 memory=140318627866240 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29658/stat : 29658 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77366960 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845444274160 139845965941378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29659] ppid=29648 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29659/stat : 29659 (java) S 29648 29651 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 77366960 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845443220384 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29660] ppid=29648 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29660/stat : 29660 (java) S 29648 29651 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 77366960 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845442167792 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29661] ppid=29648 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29661/stat : 29661 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 77366963 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845441116368 139845965948827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29662] ppid=29648 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29662/stat : 29662 (java) S 29648 29651 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 77366963 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845440063984 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29663] ppid=29648 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29663/stat : 29663 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 77366963 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845439011440 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29664] ppid=29648 vsize=13906484 memory=140318627866240 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29664/stat : 29664 (java) S 29648 29651 12560 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 77366963 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845437958896 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29665] ppid=29648 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29665/stat : 29665 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 77366963 14240239616 5174 18446744073709551615 4194304 4196468 140721866148000 139845436906592 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20696 KiB
[startup+0.309703 s]*
/proc/loadavg: 1.80 1.68 1.69 5/209 29666
/proc/meminfo: memFree=30792336/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=13975920 memory=34560 CPUtime=0.14 cores=0,2,4,6
/proc/29651/stat : 29651 (java) S 29648 29651 12560 0 -1 1077944320 9130 0 0 0 12 2 0 0 20 0 15 0 77366944 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 140721866130544 139845965930231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
/proc/29651/statm: 3493980 8640 3380 1 0 3482759 0
[pid=29651/tid=29653] ppid=29648 vsize=13975920 memory=-8774313645642428999 CPUtime=0.11 cores=0,2,4,6
/proc/29651/task/29653/stat : 29653 (java) R 29648 29651 12560 0 -1 4202560 7079 0 0 0 9 2 0 0 20 0 15 0 77366957 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845970146432 139845950010718 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29654] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29654/stat : 29654 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845885344528 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29655] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29655/stat : 29655 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845884291984 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29656] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29656/stat : 29656 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845883239440 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29657] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29657/stat : 29657 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845882186896 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29658] ppid=29648 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29658/stat : 29658 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366960 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845444274160 139845965941378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29659] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29659/stat : 29659 (java) S 29648 29651 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77366960 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845443220384 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29660] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29660/stat : 29660 (java) S 29648 29651 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366960 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845442167792 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29661] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29661/stat : 29661 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845441116368 139845965948827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29662] ppid=29648 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29662/stat : 29662 (java) S 29648 29651 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 77366963 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845440063984 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29663] ppid=29648 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29663/stat : 29663 (java) R 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845439011440 139845965941378 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29664] ppid=29648 vsize=13975920 memory=140318627866240 CPUtime=0.02 cores=0,2,4,6
/proc/29651/task/29664/stat : 29664 (java) S 29648 29651 12560 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 77366963 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845437958896 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29665] ppid=29648 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29665/stat : 29665 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845436906592 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29666] ppid=29648 vsize=13975920 memory=140318627866240 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29666/stat : 29666 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366970 14311342080 8640 18446744073709551615 4194304 4196468 140721866148000 139845435853104 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 34560 KiB
[startup+0.704278 s]
/proc/loadavg: 1.80 1.68 1.69 3/209 29666
/proc/meminfo: memFree=30779472/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=13977988 memory=63100 CPUtime=0.84 cores=0,2,4,6
/proc/29651/stat : 29651 (java) S 29648 29651 12560 0 -1 1077944320 13046 0 0 0 80 4 0 0 20 0 15 0 77366944 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 140721866130544 139845965930231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
/proc/29651/statm: 3494497 15775 3717 1 0 3483271 0
[pid=29651/tid=29653] ppid=29648 vsize=13977988 memory=1412 CPUtime=0.49 cores=0,2,4,6
/proc/29651/task/29653/stat : 29653 (java) R 29648 29651 12560 0 -1 4202560 9837 0 0 0 46 3 0 0 20 0 15 0 77366957 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845970164640 139845965942166 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29654] ppid=29648 vsize=13977988 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29654/stat : 29654 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845885344528 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29655] ppid=29648 vsize=13977988 memory=6153431502485416297 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29655/stat : 29655 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845884291984 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29656] ppid=29648 vsize=13977988 memory=7453282923528810324 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29656/stat : 29656 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845883239440 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29657] ppid=29648 vsize=13977988 memory=4640767346415259731 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29657/stat : 29657 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845882186896 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29658] ppid=29648 vsize=13977988 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29658/stat : 29658 (java) S 29648 29651 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77366960 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845444274160 139845965941378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29659] ppid=29648 vsize=13977988 memory=-7028383565733675670 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29659/stat : 29659 (java) S 29648 29651 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77366960 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845443220384 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29660] ppid=29648 vsize=13977988 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29660/stat : 29660 (java) S 29648 29651 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366960 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845442167792 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29661] ppid=29648 vsize=13977988 memory=7682744562830902035 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29661/stat : 29661 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845441116368 139845965948827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29662] ppid=29648 vsize=13977988 memory=7756490980959290170 CPUtime=0.08 cores=0,2,4,6
/proc/29651/task/29662/stat : 29662 (java) R 29648 29651 12560 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 15 0 77366963 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845440045000 139845947454589 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29663] ppid=29648 vsize=13977988 memory=6944656592452807316 CPUtime=0.09 cores=0,2,4,6
/proc/29651/task/29663/stat : 29663 (java) S 29648 29651 12560 0 -1 1077944384 418 0 0 0 9 0 0 0 20 0 15 0 77366963 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845439011440 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29664] ppid=29648 vsize=13977988 memory=140318627866240 CPUtime=0.16 cores=0,2,4,6
/proc/29651/task/29664/stat : 29664 (java) R 29648 29651 12560 0 -1 4202560 628 0 0 0 16 0 0 0 20 0 15 0 77366963 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845437958896 139845944606769 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29665] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29665/stat : 29665 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845436906592 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29666] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29666/stat : 29666 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366970 14313459712 15775 18446744073709551615 4194304 4196468 140721866148000 139845435853104 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 63100 KiB
[startup+1.40772 s]
# the end of solver process 29651 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.538 s, system=0.090293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.807277 s]
/proc/loadavg: 1.80 1.68 1.69 3/209 29666
/proc/meminfo: memFree=30779472/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=13977988 memory=69996 CPUtime=1.07 cores=0,2,4,6
/proc/29651/stat : 29651 (java) S 29648 29651 12560 0 -1 1077944320 13721 0 0 0 103 4 0 0 20 0 15 0 77366944 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 140721866130544 139845965930231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
/proc/29651/statm: 3494497 17499 3721 1 0 3483271 0
[pid=29651/tid=29653] ppid=29648 vsize=13977988 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/29651/task/29653/stat : 29653 (java) R 29648 29651 12560 0 -1 4202560 10045 0 0 0 56 3 0 0 20 0 15 0 77366957 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845970166464 139845965942166 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29654] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29654/stat : 29654 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845885344528 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29655] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29655/stat : 29655 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845884291984 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29656] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29656/stat : 29656 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845883239440 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29657] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29657/stat : 29657 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845882186896 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29658] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29658/stat : 29658 (java) S 29648 29651 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77366960 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845444274160 139845965941378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29659] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29659/stat : 29659 (java) S 29648 29651 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77366960 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845443220384 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29660] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29660/stat : 29660 (java) S 29648 29651 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366960 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845442167792 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29661] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29661/stat : 29661 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845441116368 139845965948827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29662] ppid=29648 vsize=13977988 memory=51156 CPUtime=0.11 cores=0,2,4,6
/proc/29651/task/29662/stat : 29662 (java) R 29648 29651 12560 0 -1 4202560 897 0 0 0 11 0 0 0 20 0 15 0 77366963 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845440050048 139845945176624 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29663] ppid=29648 vsize=13977988 memory=-8774313645642428999 CPUtime=0.11 cores=0,2,4,6
/proc/29651/task/29663/stat : 29663 (java) R 29648 29651 12560 0 -1 4202560 437 0 0 0 11 0 0 0 20 0 15 0 77366963 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845438998992 139845951055600 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29664] ppid=29648 vsize=13977988 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/29651/task/29664/stat : 29664 (java) R 29648 29651 12560 0 -1 4202560 960 0 0 0 23 0 0 0 20 0 15 0 77366963 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845437958896 139845965951578 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29665] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29665/stat : 29665 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845436906592 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29666] ppid=29648 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29666/stat : 29666 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366970 14313459712 17499 18446744073709551615 4194304 4196468 140721866148000 139845435853104 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69996 KiB
[startup+1.20132 s]
/proc/loadavg: 1.80 1.68 1.69 5/209 29666
/proc/meminfo: memFree=30737788/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=13980036 memory=122860 CPUtime=2.04 cores=0,2,4,6
/proc/29651/stat : 29651 (java) S 29648 29651 12560 0 -1 1077944320 20719 0 0 0 197 7 0 0 20 0 15 0 77366944 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 140721866130544 139845965930231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
/proc/29651/statm: 3495009 30715 3754 1 0 3483783 0
[pid=29651/tid=29653] ppid=29648 vsize=13980036 memory=7524219084039546212 CPUtime=0.98 cores=0,2,4,6
/proc/29651/task/29653/stat : 29653 (java) R 29648 29651 12560 0 -1 4202560 13175 0 0 0 94 4 0 0 20 0 15 0 77366957 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845970167040 139845561298802 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29654] ppid=29648 vsize=13980036 memory=7302141946278864465 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29654/stat : 29654 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845885344528 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29655] ppid=29648 vsize=13980036 memory=6369592267315310182 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29655/stat : 29655 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845884291984 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29656] ppid=29648 vsize=13980036 memory=7595160682315082345 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29656/stat : 29656 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366958 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845883239440 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29657] ppid=29648 vsize=13980036 memory=7739831158473582442 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29657/stat : 29657 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366958 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845882186896 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29658] ppid=29648 vsize=13980036 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29658/stat : 29658 (java) S 29648 29651 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77366960 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845444274160 139845965941378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29659] ppid=29648 vsize=13980036 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29659/stat : 29659 (java) S 29648 29651 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77366960 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845443220384 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29660] ppid=29648 vsize=13980036 memory=15540738687502695 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29660/stat : 29660 (java) S 29648 29651 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366960 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845442167792 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29661] ppid=29648 vsize=13980036 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29661/stat : 29661 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845441116368 139845965948827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29662] ppid=29648 vsize=13980036 memory=8932 CPUtime=0.32 cores=0,2,4,6
/proc/29651/task/29662/stat : 29662 (java) R 29648 29651 12560 0 -1 4202560 2283 0 0 0 32 0 0 0 20 0 15 0 77366963 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845440049864 139845947451413 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29663] ppid=29648 vsize=13980036 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/29651/task/29663/stat : 29663 (java) R 29648 29651 12560 0 -1 4202560 1811 0 0 0 31 0 0 0 20 0 15 0 77366963 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845438997496 139845944096712 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29664] ppid=29648 vsize=13980036 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/29651/task/29664/stat : 29664 (java) R 29648 29651 12560 0 -1 4202560 2067 0 0 0 38 0 0 0 20 0 15 0 77366963 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845437958896 139845959027144 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29665] ppid=29648 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29665/stat : 29665 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366963 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845436906592 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29666] ppid=29648 vsize=13980036 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29666/stat : 29666 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366970 14315556864 30715 18446744073709551615 4194304 4196468 140721866148000 139845435853104 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
Current children cumulated CPU time: 2.04 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 122860 KiB
[startup+1.4006 s]
/proc/loadavg: 1.80 1.68 1.69 5/209 29666
/proc/meminfo: memFree=30737788/32770624 swapFree=67105588/67108860
[pid=29651] ppid=29648 vsize=14046600 memory=150608 CPUtime=2.61 cores=0,2,4,6
/proc/29651/stat : 29651 (java) S 29648 29651 12560 0 -1 1077944320 29806 0 0 0 253 8 0 0 20 0 14 0 77366944 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 140721866130544 139845965930231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
/proc/29651/statm: 3511650 37652 3762 1 0 3500424 0
[pid=29651/tid=29653] ppid=29648 vsize=14046600 memory=0 CPUtime=1.16 cores=0,2,4,6
/proc/29651/task/29653/stat : 29653 (java) S 29648 29651 12560 0 -1 1077944384 14346 0 0 0 111 5 0 0 20 0 14 0 77366957 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845970173072 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29654] ppid=29648 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29654/stat : 29654 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77366958 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845885344528 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29655] ppid=29648 vsize=14046600 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29655/stat : 29655 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77366958 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845884291984 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29656] ppid=29648 vsize=14046600 memory=7091574448519668053 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29656/stat : 29656 (java) S 29648 29651 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 77366958 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845883239440 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29657] ppid=29648 vsize=14046600 memory=56892 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29657/stat : 29657 (java) S 29648 29651 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 77366958 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845882186896 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29658] ppid=29648 vsize=14046600 memory=280637055720336 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29658/stat : 29658 (java) S 29648 29651 12560 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 14 0 77366960 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845444274368 139845965941378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29659] ppid=29648 vsize=14046600 memory=15540738687502695 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29659/stat : 29659 (java) S 29648 29651 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 77366960 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845443220384 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29660] ppid=29648 vsize=14046600 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29660/stat : 29660 (java) S 29648 29651 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 77366960 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845442167792 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29661] ppid=29648 vsize=14046600 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29661/stat : 29661 (java) S 29648 29651 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 77366963 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845441116016 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29662] ppid=29648 vsize=14046600 memory=2928 CPUtime=0.52 cores=0,2,4,6
/proc/29651/task/29662/stat : 29662 (java) S 29648 29651 12560 0 -1 1077944384 6279 0 0 0 52 0 0 0 20 0 14 0 77366963 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845440048496 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29663] ppid=29648 vsize=14046600 memory=3908 CPUtime=0.5 cores=0,2,4,6
/proc/29651/task/29663/stat : 29663 (java) S 29648 29651 12560 0 -1 1077944384 5253 0 0 0 49 1 0 0 20 0 14 0 77366963 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845438996400 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29664] ppid=29648 vsize=14046600 memory=4068 CPUtime=0.39 cores=0,2,4,6
/proc/29651/task/29664/stat : 29664 (java) S 29648 29651 12560 0 -1 1077944384 2451 0 0 0 39 0 0 0 20 0 14 0 77366963 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845437958896 139845965941378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
[pid=29651/tid=29665] ppid=29648 vsize=14046600 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/29651/task/29665/stat : 29665 (java) S 29648 29651 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 77366963 14383718400 37652 18446744073709551615 4194304 4196468 140721866148000 139845436906592 139845965940437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26710016 140721866150255 140721866150441 140721866150441 140721866153935 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 14046600 KiB
Current children cumulated memory: 150608 KiB
Child status: 0
Real time (s): 1.40777
CPU time (s): 2.62829
CPU user time (s): 2.538
CPU system time (s): 0.090293
CPU usage (%): 186.698
Max. virtual memory (cumulated for all children) (KiB): 14046600
Max. memory (cumulated for all children) (KiB): 150608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.538
system time used= 0.090293
maximum resident set size= 151252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29822
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= 2251
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 29651
# total CPU time (s): 2.62829
# total CPU user time (s): 2.538
# total CPU system time (s): 0.090293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030381 second user time and 0.055732 second system time
The end