runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256056-1501638438/watcher-4256056-1501638438 -o /tmp/evaluation-result-4256056-1501638438/solver-4256056-1501638438 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 24143175 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256056-1501638438.xml
pid=29828
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.78 1.79 3/200 29831
/proc/meminfo: memFree=31637628/32770624 swapFree=0/211236
[pid=29831] ppid=29828 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29831/stat : 29831 (runsolver) D 29828 29831 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11659111 24240128 108 18446744073709551615 4194304 4338465 140722364329488 140722364327128 140667816915671 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 13299712 140722364334184 140722364334662 140722364334662 140722364338122 0
/proc/29831/statm: 5918 108 54 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 2.00 1.78 1.79 3/200 29831
/proc/meminfo: memFree=31637628/32770624 swapFree=0/211236
[pid=29831] ppid=29828 vsize=13356344 CPUtime=0 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 2535 0 0 0 0 0 0 0 20 0 6 0 11659111 13676896256 2732 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3339086 2732 1260 1 0 3329064 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13356344
[startup+0.200299 s]
/proc/loadavg: 2.00 1.78 1.79 3/200 29831
/proc/meminfo: memFree=31637628/32770624 swapFree=0/211236
[pid=29831] ppid=29828 vsize=13975920 CPUtime=0.07 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 6531 0 0 0 6 1 0 0 20 0 15 0 11659111 14311342080 7249 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3493980 7249 3318 1 0 3482767 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13975920
[startup+0.300221 s]
/proc/loadavg: 2.00 1.78 1.79 3/200 29831
/proc/meminfo: memFree=31637628/32770624 swapFree=0/211236
[pid=29831] ppid=29828 vsize=13975920 CPUtime=0.24 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 9980 0 0 0 21 3 0 0 20 0 15 0 11659111 14311342080 10246 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3493980 10246 3530 1 0 3482767 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13975920
[startup+0.700259 s]
/proc/loadavg: 2.00 1.78 1.79 3/200 29831
/proc/meminfo: memFree=31637628/32770624 swapFree=0/211236
[pid=29831] ppid=29828 vsize=13980036 CPUtime=0.91 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 14179 0 0 0 86 5 0 0 20 0 15 0 11659111 14315556864 18485 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3495009 18485 3706 1 0 3483791 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 13980036
[startup+1.5006 s]
/proc/loadavg: 2.00 1.78 1.79 4/215 29846
/proc/meminfo: memFree=31547872/32770624 swapFree=0/211240
[pid=29831] ppid=29828 vsize=13980036 CPUtime=2.38 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 20468 0 0 0 230 8 0 0 20 0 15 0 11659111 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3495009 35132 3745 1 0 3483791 0
[pid=29831/tid=29833] ppid=29828 vsize=13980036 CPUtime=1.36 cores=1,3,5,7
/proc/29831/task/29833/stat : 29833 (java) R 29828 29831 5228 0 -1 4202560 13357 0 0 0 130 6 0 0 20 0 15 0 11659120 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393684076944 140393306921890 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29834] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29834/stat : 29834 (java) S 29828 29831 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393636813072 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29835] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29835/stat : 29835 (java) S 29828 29831 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393635760528 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29836] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29836/stat : 29836 (java) S 29828 29831 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393634707984 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29837] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29837/stat : 29837 (java) S 29828 29831 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393633655440 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29838] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29838/stat : 29838 (java) S 29828 29831 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11659122 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393225955824 140393679858306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29839] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29839/stat : 29839 (java) S 29828 29831 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393224902048 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29840] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29840/stat : 29840 (java) S 29828 29831 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393223849456 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29841] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29841/stat : 29841 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659125 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393222798032 140393679865755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29842] ppid=29828 vsize=13980036 CPUtime=0.4 cores=1,3,5,7
/proc/29831/task/29842/stat : 29842 (java) S 29828 29831 5228 0 -1 1077944384 2925 0 0 0 40 0 0 0 20 0 15 0 11659125 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140393221744624 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29843] ppid=29828 vsize=13980036 CPUtime=0.35 cores=1,3,5,7
/proc/29831/task/29843/stat : 29843 (java) S 29828 29831 5228 0 -1 1077944384 1705 0 0 0 35 0 0 0 20 0 15 0 11659125 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140392658102384 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29844] ppid=29828 vsize=13980036 CPUtime=0.23 cores=1,3,5,7
/proc/29831/task/29844/stat : 29844 (java) S 29828 29831 5228 0 -1 1077944384 1102 0 0 0 23 0 0 0 20 0 15 0 11659125 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140392657049840 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29845] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29845/stat : 29845 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659126 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140392655997536 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29846] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29846/stat : 29846 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659129 14315556864 35132 18446744073709551615 4194304 4196468 140720701206144 140392654945072 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 13980036
[startup+3.10062 s]
/proc/loadavg: 2.00 1.78 1.79 3/215 29846
/proc/meminfo: memFree=31458300/32770624 swapFree=0/211252
[pid=29831] ppid=29828 vsize=13980036 CPUtime=4 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 23293 0 0 0 391 9 0 0 20 0 15 0 11659111 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3495009 49558 3774 1 0 3483791 0
[pid=29831/tid=29833] ppid=29828 vsize=13980036 CPUtime=2.95 cores=1,3,5,7
/proc/29831/task/29833/stat : 29833 (java) R 29828 29831 5228 0 -1 4202560 13630 0 0 0 289 6 0 0 20 0 15 0 11659120 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393684077040 140393306922574 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29834] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29834/stat : 29834 (java) S 29828 29831 5228 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393636813072 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29835] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29835/stat : 29835 (java) S 29828 29831 5228 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393635760528 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29836] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29836/stat : 29836 (java) S 29828 29831 5228 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393634707984 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29837] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29837/stat : 29837 (java) S 29828 29831 5228 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393633655440 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29838] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29838/stat : 29838 (java) S 29828 29831 5228 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 11659122 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393225955824 140393679858306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29839] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29839/stat : 29839 (java) S 29828 29831 5228 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393224902112 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29840] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29840/stat : 29840 (java) S 29828 29831 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393223849472 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29841] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29841/stat : 29841 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659125 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393222798032 140393679865755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29842] ppid=29828 vsize=13980036 CPUtime=0.4 cores=1,3,5,7
/proc/29831/task/29842/stat : 29842 (java) S 29828 29831 5228 0 -1 1077944384 3010 0 0 0 40 0 0 0 20 0 15 0 11659125 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140393221744624 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29843] ppid=29828 vsize=13980036 CPUtime=0.35 cores=1,3,5,7
/proc/29831/task/29843/stat : 29843 (java) S 29828 29831 5228 0 -1 1077944384 1734 0 0 0 35 0 0 0 20 0 15 0 11659125 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140392658102384 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29844] ppid=29828 vsize=13980036 CPUtime=0.24 cores=1,3,5,7
/proc/29831/task/29844/stat : 29844 (java) S 29828 29831 5228 0 -1 1077944384 2347 0 0 0 24 0 0 0 20 0 15 0 11659125 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140392657049840 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29845] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29845/stat : 29845 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659126 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140392655997536 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29846] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29846/stat : 29846 (java) S 29828 29831 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 11659129 14315556864 49558 18446744073709551615 4194304 4196468 140720701206144 140392654945072 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 13980036
[startup+6.30057 s]
/proc/loadavg: 2.00 1.78 1.79 3/215 29846
/proc/meminfo: memFree=31461092/32770624 swapFree=0/211252
[pid=29831] ppid=29828 vsize=13980036 CPUtime=7.22 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 23576 0 0 0 713 9 0 0 20 0 15 0 11659111 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3495009 50097 3775 1 0 3483791 0
[pid=29831/tid=29833] ppid=29828 vsize=13980036 CPUtime=6.14 cores=1,3,5,7
/proc/29831/task/29833/stat : 29833 (java) R 29828 29831 5228 0 -1 4202560 13670 0 0 0 608 6 0 0 20 0 15 0 11659120 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393684085888 140393304895955 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29834] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29834/stat : 29834 (java) S 29828 29831 5228 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393636813072 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29835] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29835/stat : 29835 (java) S 29828 29831 5228 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393635760528 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29836] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29836/stat : 29836 (java) S 29828 29831 5228 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393634707984 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29837] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29837/stat : 29837 (java) S 29828 29831 5228 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393633655440 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29838] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29838/stat : 29838 (java) S 29828 29831 5228 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 11659122 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393225955824 140393679858306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29839] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29839/stat : 29839 (java) S 29828 29831 5228 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393224902112 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29840] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29840/stat : 29840 (java) S 29828 29831 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393223849472 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29841] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29841/stat : 29841 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393222798032 140393679865755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29842] ppid=29828 vsize=13980036 CPUtime=0.4 cores=1,3,5,7
/proc/29831/task/29842/stat : 29842 (java) S 29828 29831 5228 0 -1 1077944384 3041 0 0 0 40 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393221744624 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29843] ppid=29828 vsize=13980036 CPUtime=0.35 cores=1,3,5,7
/proc/29831/task/29843/stat : 29843 (java) S 29828 29831 5228 0 -1 1077944384 1734 0 0 0 35 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392658102384 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29844] ppid=29828 vsize=13980036 CPUtime=0.24 cores=1,3,5,7
/proc/29831/task/29844/stat : 29844 (java) S 29828 29831 5228 0 -1 1077944384 2408 0 0 0 24 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392657049840 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29845] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29845/stat : 29845 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659126 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392655997536 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29846] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29846/stat : 29846 (java) S 29828 29831 5228 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 11659129 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392654945072 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 13980036
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29831 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.30057 s]
/proc/loadavg: 2.00 1.78 1.79 3/215 29846
/proc/meminfo: memFree=31461092/32770624 swapFree=0/211252
[pid=29831] ppid=29828 vsize=13980036 CPUtime=7.22 cores=1,3,5,7
/proc/29831/stat : 29831 (java) S 29828 29831 5228 0 -1 1077944320 23576 0 0 0 713 9 0 0 20 0 15 0 11659111 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140720701188688 140393679847159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
/proc/29831/statm: 3495009 50097 3775 1 0 3483791 0
[pid=29831/tid=29833] ppid=29828 vsize=13980036 CPUtime=6.14 cores=1,3,5,7
/proc/29831/task/29833/stat : 29833 (java) R 29828 29831 5228 0 -1 4202560 13670 0 0 0 608 6 0 0 20 0 15 0 11659120 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393684085888 140393304895955 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29834] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29834/stat : 29834 (java) S 29828 29831 5228 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393636813072 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29835] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29835/stat : 29835 (java) S 29828 29831 5228 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393635760528 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29836] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29836/stat : 29836 (java) S 29828 29831 5228 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393634707984 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29837] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29837/stat : 29837 (java) S 29828 29831 5228 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 11659121 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393633655440 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29838] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29838/stat : 29838 (java) S 29828 29831 5228 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 11659122 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393225955824 140393679858306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29839] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29839/stat : 29839 (java) S 29828 29831 5228 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393224902112 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29840] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29840/stat : 29840 (java) S 29828 29831 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 11659123 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393223849472 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29841] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29841/stat : 29841 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393222798032 140393679865755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29842] ppid=29828 vsize=13980036 CPUtime=0.4 cores=1,3,5,7
/proc/29831/task/29842/stat : 29842 (java) S 29828 29831 5228 0 -1 1077944384 3041 0 0 0 40 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140393221744624 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29843] ppid=29828 vsize=13980036 CPUtime=0.35 cores=1,3,5,7
/proc/29831/task/29843/stat : 29843 (java) S 29828 29831 5228 0 -1 1077944384 1734 0 0 0 35 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392658102384 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29844] ppid=29828 vsize=13980036 CPUtime=0.24 cores=1,3,5,7
/proc/29831/task/29844/stat : 29844 (java) S 29828 29831 5228 0 -1 1077944384 2408 0 0 0 24 0 0 0 20 0 15 0 11659125 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392657049840 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29845] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29845/stat : 29845 (java) S 29828 29831 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11659126 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392655997536 140393679857365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
[pid=29831/tid=29846] ppid=29828 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/29831/task/29846/stat : 29846 (java) S 29828 29831 5228 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 11659129 14315556864 50097 18446744073709551615 4194304 4196468 140720701206144 140392654945072 140393679858306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140720701211027 140720701211211 140720701211211 140720701214671 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 6.38727
CPU time (s): 7.31596
CPU user time (s): 7.22017
CPU system time (s): 0.095785
CPU usage (%): 114.54
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.22017
system time used= 0.095785
maximum resident set size= 200640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1854
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020969 second user time and 0.04793 second system time
The end