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 (11123 MiB free)
memory of node 1: 16384 MiB (10883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308044-1534290638/watcher-4308044-1534290638 -o /tmp/evaluation-result-4308044-1534290638/solver-4308044-1534290638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30545 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1024269810 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308044-1534290638.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
solver pid=32706, runsolver pid=32703
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 1.86 1.86 1.89 3/219 32721
/proc/meminfo: memFree=22517436/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14082736 memory=31296 CPUtime=0.12 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 6726 0 0 0 11 1 0 0 20 0 15 0 246626963 14420721664 7824 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3520684 7824 3155 1 0 3482761 0
[pid=32706/tid=32708] ppid=32703 vsize=14082736 memory=-8701690554792053889 CPUtime=0.09 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 4776 0 0 0 8 1 0 0 20 0 15 0 246626964 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927548493208 139927536536382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626966 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 28719 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927013546608 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927012493808 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0.01 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 28719 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 246626969 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927011441520 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 7824 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31296 KiB
[startup+0.210991 s]*
/proc/loadavg: 1.86 1.86 1.89 5/219 32721
/proc/meminfo: memFree=22501932/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14082736 memory=47092 CPUtime=0.31 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 10362 0 0 0 29 2 0 0 20 0 15 0 246626963 14420721664 11773 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3520684 11773 3376 1 0 3482761 0
[pid=32706/tid=32708] ppid=32703 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 8104 0 0 0 19 1 0 0 20 0 15 0 246626964 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927548526320 139927528342885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14082736 memory=288370321123165824 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246626966 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 28719 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 246626969 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927013546704 139927544309461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 28719 0 -1 4202560 113 0 0 0 2 0 0 0 20 0 15 0 246626969 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927012492992 139927525843408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0.06 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 28719 0 -1 1077944384 300 0 0 0 6 0 0 0 20 0 15 0 246626969 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927011441520 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 11773 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47092 KiB
[startup+0.310913 s]*
/proc/loadavg: 1.86 1.86 1.89 5/219 32721
/proc/meminfo: memFree=22498148/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14082736 memory=50764 CPUtime=0.44 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 10776 0 0 0 42 2 0 0 20 0 15 0 246626963 14420721664 12691 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3520684 12691 3425 1 0 3482761 0
[pid=32706/tid=32708] ppid=32703 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 8459 0 0 0 29 1 0 0 20 0 15 0 246626964 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927548510768 139927524565162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14082736 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14082736 memory=288370321123165824 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246626966 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 28719 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 246626969 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927013546608 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14082736 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 28719 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 15 0 246626969 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927012493808 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0.08 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 28719 0 -1 1077944384 322 0 0 0 8 0 0 0 20 0 15 0 246626969 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927011441520 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14082736 memory=139944971454080 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626969 14420721664 12691 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50764 KiB
[startup+0.700802 s]
/proc/loadavg: 1.86 1.86 1.89 3/219 32721
/proc/meminfo: memFree=22474088/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14084804 memory=88896 CPUtime=0.99 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 17628 0 0 0 95 4 0 0 20 0 15 0 246626963 14422839296 22224 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3521201 22224 3504 1 0 3483273 0
[pid=32706/tid=32708] ppid=32703 vsize=14084804 memory=280446130754344 CPUtime=0.68 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 14905 0 0 0 65 3 0 0 20 0 15 0 246626964 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927548523360 139927544321181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14084804 memory=3834592127481040488 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246626966 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14084804 memory=-6007061419333675106 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14084804 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 28719 0 -1 1077944384 659 0 0 0 7 0 0 0 20 0 15 0 246626969 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927013546608 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 28719 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 15 0 246626969 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927012493808 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 28719 0 -1 1077944384 409 0 0 0 14 0 0 0 20 0 15 0 246626969 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927011441520 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14084804 memory=37188 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626969 14422839296 22224 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88896 KiB
[startup+1.13437 s]
# the end of solver process 32706 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.72712 s, system=0.072962 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800899 s]
/proc/loadavg: 1.86 1.86 1.89 3/219 32721
/proc/meminfo: memFree=22474088/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14086852 memory=95632 CPUtime=1.19 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 18218 0 0 0 115 4 0 0 20 0 15 0 246626963 14424936448 23908 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3521713 23908 3511 1 0 3483785 0
[pid=32706/tid=32708] ppid=32703 vsize=14086852 memory=3332 CPUtime=0.77 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 15333 0 0 0 74 3 0 0 20 0 15 0 246626964 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927548534464 139927528379742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14086852 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14086852 memory=6296143700806424935 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14086852 memory=8099279071866868841 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14086852 memory=5788647689011156329 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14086852 memory=3054156605368933524 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246626966 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14086852 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14086852 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14086852 memory=6944656592452807326 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14086852 memory=-9178176116494409632 CPUtime=0.11 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 28719 0 -1 1077944384 689 0 0 0 11 0 0 0 20 0 15 0 246626969 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927013546608 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14086852 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 28719 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 15 0 246626969 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927012493808 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14086852 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 28719 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 15 0 246626969 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927011441520 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14086852 memory=33 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626969 14424936448 23908 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 95632 KiB
[startup+1.00068 s]*
/proc/loadavg: 1.86 1.86 1.89 4/219 32721
/proc/meminfo: memFree=22441332/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14088900 memory=108328 CPUtime=1.51 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 19341 0 0 0 146 5 0 0 20 0 15 0 246626963 14427033600 27082 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3522225 27082 3523 1 0 3484297 0
[pid=32706/tid=32708] ppid=32703 vsize=14088900 memory=5450919713671312938 CPUtime=0.99 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 16229 0 0 0 95 4 0 0 20 0 15 0 246626964 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927548532016 139927165742864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14088900 memory=5787217211814863191 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14088900 memory=4121813420352207795 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14088900 memory=7453282923461635668 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14088900 memory=3611939815972417567 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14088900 memory=4049192889329247928 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246626966 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14088900 memory=2319389203461316655 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14088900 memory=5787495302022849088 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14088900 memory=5789211721294959208 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14088900 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) S 32703 32706 28719 0 -1 1077944384 717 0 0 0 12 0 0 0 20 0 15 0 246626969 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927013546608 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14088900 memory=3467824627879784479 CPUtime=0.11 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) S 32703 32706 28719 0 -1 1077944384 283 0 0 0 11 0 0 0 20 0 15 0 246626969 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927012493808 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14088900 memory=3616874731238127284 CPUtime=0.26 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) S 32703 32706 28719 0 -1 1077944384 732 0 0 0 26 0 0 0 20 0 15 0 246626969 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927011441520 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14088900 memory=2319389199166414896 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14088900 memory=3762675556505089952 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626969 14427033600 27082 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 108328 KiB
[startup+1.11315 s]
/proc/loadavg: 1.86 1.86 1.89 4/219 32721
/proc/meminfo: memFree=22441332/32770624 swapFree=67108856/67108860
[pid=32706] ppid=32703 vsize=14088900 memory=116824 CPUtime=1.77 cores=0,2,4,6
/proc/32706/stat : 32706 (java) S 32703 32706 28719 0 -1 1077944320 24813 0 0 0 171 6 0 0 20 0 15 0 246626963 14427033600 29206 33554432000 4194304 4196468 140733018406688 140733018389232 139927544299255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
/proc/32706/statm: 3522225 29206 3529 1 0 3484297 0
[pid=32706/tid=32708] ppid=32703 vsize=14088900 memory=281011120308114 CPUtime=1.08 cores=0,2,4,6
/proc/32706/task/32708/stat : 32708 (java) R 32703 32706 28719 0 -1 4202560 19159 0 0 0 104 4 0 0 20 0 15 0 246626964 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927548537568 139927537396168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32709] ppid=32703 vsize=14088900 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32709/stat : 32709 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927496919952 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32710] ppid=32703 vsize=14088900 memory=14133333755955770 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32710/stat : 32710 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927495867152 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32711] ppid=32703 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32711/stat : 32711 (java) S 32703 32706 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927494814864 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32712] ppid=32703 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32712/stat : 32712 (java) S 32703 32706 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246626965 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927493762064 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32713] ppid=32703 vsize=14088900 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32713/stat : 32713 (java) S 32703 32706 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246626966 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927085545584 139927544310402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32714] ppid=32703 vsize=14088900 memory=-7674914008656224160 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32714/stat : 32714 (java) S 32703 32706 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246626966 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927084491552 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32715] ppid=32703 vsize=14088900 memory=142646399994602 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32715/stat : 32715 (java) S 32703 32706 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246626967 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927083439216 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32716] ppid=32703 vsize=14088900 memory=14671563417 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32716/stat : 32716 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927014598736 139927544317851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32717] ppid=32703 vsize=14088900 memory=7661333527099714963 CPUtime=0.16 cores=0,2,4,6
/proc/32706/task/32717/stat : 32717 (java) R 32703 32706 28719 0 -1 4202560 1180 0 0 0 16 0 0 0 20 0 15 0 246626969 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927013525808 139927529178838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32718] ppid=32703 vsize=14088900 memory=7445694102828902247 CPUtime=0.14 cores=0,2,4,6
/proc/32706/task/32718/stat : 32718 (java) R 32703 32706 28719 0 -1 1077944384 826 0 0 0 14 0 0 0 20 0 15 0 246626969 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927012474016 139927544309461 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32719] ppid=32703 vsize=14088900 memory=7451576567381716320 CPUtime=0.34 cores=0,2,4,6
/proc/32706/task/32719/stat : 32719 (java) R 32703 32706 28719 0 -1 4202560 2271 0 0 0 34 0 0 0 20 0 15 0 246626969 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927011441520 139927527477986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32720] ppid=32703 vsize=14088900 memory=7590655979367786604 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32720/stat : 32720 (java) S 32703 32706 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246626969 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927010388960 139927544309461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
[pid=32706/tid=32721] ppid=32703 vsize=14088900 memory=7165051533729556579 CPUtime=0 cores=0,2,4,6
/proc/32706/task/32721/stat : 32721 (java) R 32703 32706 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 246626969 14427033600 29206 33554432000 4194304 4196468 140733018406688 139927009335728 139927544310402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25178112 140733018408008 140733018408201 140733018408201 140733018410959 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 116824 KiB
Child status: 0
Real time (s): 1.13447
CPU time (s): 1.80008
CPU user time (s): 1.72712
CPU system time (s): 0.072962
CPU usage (%): 158.672
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 116824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72712
system time used= 0.072962
maximum resident set size= 117428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25182
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= 2054
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 32706
# total CPU time (s): 1.80008
# total CPU user time (s): 1.72712
# total CPU system time (s): 0.072962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030725 second user time and 0.059403 second system time
The end