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-4253098-1500927274/watcher-4253098-1500927274 -o /tmp/evaluation-result-4253098-1500927274/solver-4253098-1500927274 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3783 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253098-1500927274.xml
pid=7211
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.13 2.08 2.06 3/181 7214
/proc/meminfo: memFree=32112204/32770624 swapFree=5760/120484
[pid=7214] ppid=7211 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782838792 140213200395360 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
[startup+0.100108 s]
/proc/loadavg: 2.13 2.08 2.06 3/181 7214
/proc/meminfo: memFree=32112204/32770624 swapFree=5760/120484
[pid=7214] ppid=7211 vsize=26772 CPUtime=0.09 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1010 0 0 0 9 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782829496 5024188 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26772
[startup+0.200212 s]
/proc/loadavg: 2.13 2.08 2.06 3/181 7214
/proc/meminfo: memFree=32112204/32770624 swapFree=5760/120484
[pid=7214] ppid=7211 vsize=26772 CPUtime=0.19 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1010 0 0 0 19 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782829496 4946608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26772
[startup+0.300215 s]
/proc/loadavg: 2.13 2.08 2.06 3/181 7214
/proc/meminfo: memFree=32112204/32770624 swapFree=5760/120484
[pid=7214] ppid=7211 vsize=26772 CPUtime=0.29 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1010 0 0 0 29 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782829496 5024203 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.70017 s]
/proc/loadavg: 2.13 2.08 2.06 3/181 7214
/proc/meminfo: memFree=32112204/32770624 swapFree=5760/120484
[pid=7214] ppid=7211 vsize=26772 CPUtime=0.69 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1010 0 0 0 69 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782829496 5024186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26772
[startup+1.50017 s]
/proc/loadavg: 2.13 2.08 2.06 3/182 7215
/proc/meminfo: memFree=32111660/32770624 swapFree=5760/120496
[pid=7214] ppid=7211 vsize=26772 CPUtime=1.49 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1010 0 0 0 149 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782839752 4948073 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26772
[startup+3.10019 s]
/proc/loadavg: 2.13 2.08 2.06 3/182 7215
/proc/meminfo: memFree=32111292/32770624 swapFree=5760/120496
[pid=7214] ppid=7211 vsize=26772 CPUtime=3.09 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1031 0 0 0 309 0 0 0 20 0 1 0 2379067 27414528 825 33554432000 4194304 5744392 140728782842144 140728782839752 4947288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 825 732 379 0 112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26772
[startup+6.30018 s]
/proc/loadavg: 2.12 2.08 2.06 3/182 7215
/proc/meminfo: memFree=32111224/32770624 swapFree=5760/120496
[pid=7214] ppid=7211 vsize=26772 CPUtime=6.29 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1081 0 0 0 629 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4946020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26772
[startup+12.7002 s]
/proc/loadavg: 2.19 2.10 2.06 3/182 7215
/proc/meminfo: memFree=32110852/32770624 swapFree=5760/120512
[pid=7214] ppid=7211 vsize=26772 CPUtime=12.7 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1102 0 0 0 1270 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4948341 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 26772
[startup+25.5002 s]
/proc/loadavg: 2.14 2.09 2.06 3/182 7215
/proc/meminfo: memFree=32110728/32770624 swapFree=5760/120520
[pid=7214] ppid=7211 vsize=26772 CPUtime=25.5 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1144 0 0 0 2550 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4945839 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 26772
[startup+51.1002 s]
/proc/loadavg: 2.10 2.08 2.06 3/182 7215
/proc/meminfo: memFree=32110852/32770624 swapFree=5760/120532
[pid=7214] ppid=7211 vsize=26772 CPUtime=51.1 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1180 0 0 0 5110 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4946156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 26772
[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/182 7216
/proc/meminfo: memFree=32110532/32770624 swapFree=5760/120584
[pid=7214] ppid=7211 vsize=26772 CPUtime=102.3 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1231 0 0 0 10230 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4945877 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26772
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 7217
/proc/meminfo: memFree=32110528/32770624 swapFree=5760/120636
[pid=7214] ppid=7211 vsize=26772 CPUtime=162.3 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1267 0 0 0 16230 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 5024186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26772
[startup+222.306 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 7218
/proc/meminfo: memFree=32111408/32770624 swapFree=5760/120684
[pid=7214] ppid=7211 vsize=26772 CPUtime=222.31 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1303 0 0 0 22231 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4946812 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 26772
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 7220
/proc/meminfo: memFree=32110512/32770624 swapFree=5760/120744
[pid=7214] ppid=7211 vsize=26772 CPUtime=282.3 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1339 0 0 0 28230 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024410 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 26772
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 7228
/proc/meminfo: memFree=32109512/32770624 swapFree=5760/120780
[pid=7214] ppid=7211 vsize=26772 CPUtime=342.31 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1360 0 0 0 34231 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4946540 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 26772
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 7229
/proc/meminfo: memFree=32109748/32770624 swapFree=5760/120820
[pid=7214] ppid=7211 vsize=26772 CPUtime=402.31 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1396 0 0 0 40231 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4948328 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 26772
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7230
/proc/meminfo: memFree=32109988/32770624 swapFree=5760/120860
[pid=7214] ppid=7211 vsize=26772 CPUtime=462.31 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1432 0 0 0 46231 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 26772
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7231
/proc/meminfo: memFree=32109912/32770624 swapFree=5760/120892
[pid=7214] ppid=7211 vsize=26772 CPUtime=522.31 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1432 0 0 0 52231 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4998922 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26772
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7232
/proc/meminfo: memFree=32109980/32770624 swapFree=5760/120944
[pid=7214] ppid=7211 vsize=26772 CPUtime=582.31 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1468 0 0 0 58231 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4948537 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 26772
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7234
/proc/meminfo: memFree=32109972/32770624 swapFree=5760/120988
[pid=7214] ppid=7211 vsize=26772 CPUtime=642.32 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1504 0 0 0 64232 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024212 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 26772
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7235
/proc/meminfo: memFree=32109560/32770624 swapFree=5760/121024
[pid=7214] ppid=7211 vsize=26772 CPUtime=702.32 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1504 0 0 0 70232 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4946576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 26772
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7236
/proc/meminfo: memFree=32109688/32770624 swapFree=5760/121068
[pid=7214] ppid=7211 vsize=26772 CPUtime=762.32 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1540 0 0 0 76232 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024236 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 26772
[startup+822.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 7238
/proc/meminfo: memFree=32109440/32770624 swapFree=5760/121104
[pid=7214] ppid=7211 vsize=26772 CPUtime=822.32 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1561 0 0 0 82232 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 26772
[startup+882.305 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7239
/proc/meminfo: memFree=32109572/32770624 swapFree=5760/121148
[pid=7214] ppid=7211 vsize=26772 CPUtime=882.33 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1575 0 0 0 88233 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 5024227 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 26772
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7248
/proc/meminfo: memFree=32108992/32770624 swapFree=5760/121192
[pid=7214] ppid=7211 vsize=26772 CPUtime=942.33 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1611 0 0 0 94233 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4947888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 26772
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7249
/proc/meminfo: memFree=32109136/32770624 swapFree=5760/121228
[pid=7214] ppid=7211 vsize=26772 CPUtime=1002.33 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1611 0 0 0 100233 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 5124694 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 26772
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7250
/proc/meminfo: memFree=32109244/32770624 swapFree=5760/121276
[pid=7214] ppid=7211 vsize=26772 CPUtime=1062.33 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1647 0 0 0 106233 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782839752 4872818 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 26772
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7214 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7250
/proc/meminfo: memFree=32109244/32770624 swapFree=5760/121284
[pid=7214] ppid=7211 vsize=26772 CPUtime=1075.23 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1647 0 0 0 107523 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4946485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1075.23
Current children cumulated vsize (KiB) 26772
[startup+1081.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7251
/proc/meminfo: memFree=32109124/32770624 swapFree=5760/121284
[pid=7214] ppid=7211 vsize=26772 CPUtime=1081.63 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1668 0 0 0 108163 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024402 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1081.63
Current children cumulated vsize (KiB) 26772
[startup+1084.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7251
/proc/meminfo: memFree=32109204/32770624 swapFree=5760/121300
[pid=7214] ppid=7211 vsize=26772 CPUtime=1084.83 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1668 0 0 0 108483 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024245 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1084.83
Current children cumulated vsize (KiB) 26772
[startup+1086.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7251
/proc/meminfo: memFree=32109204/32770624 swapFree=5760/121300
[pid=7214] ppid=7211 vsize=26772 CPUtime=1086.43 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1668 0 0 0 108643 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5024415 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1086.43
Current children cumulated vsize (KiB) 26772
[startup+1087.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7251
/proc/meminfo: memFree=32109204/32770624 swapFree=5760/121300
[pid=7214] ppid=7211 vsize=26772 CPUtime=1087.23 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1668 0 0 0 108723 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 5115933 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1087.23
Current children cumulated vsize (KiB) 26772
[startup+1088.01 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7251
/proc/meminfo: memFree=32109204/32770624 swapFree=5760/121300
[pid=7214] ppid=7211 vsize=26772 CPUtime=1088.03 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1668 0 0 0 108803 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4946488 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1088.03
Current children cumulated vsize (KiB) 26772
[startup+1088.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7251
/proc/meminfo: memFree=32109204/32770624 swapFree=5760/121300
[pid=7214] ppid=7211 vsize=26772 CPUtime=1088.43 cores=0,2,4,6
/proc/7214/stat : 7214 (cosoco) R 7211 7214 3752 0 -1 4202496 1668 0 0 0 108843 0 0 0 20 0 1 0 2379067 27414528 851 33554432000 4194304 5744392 140728782842144 140728782829496 4945672 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 37396480 140728782849217 140728782849347 140728782849347 140728782852046 0
/proc/7214/statm: 6693 851 756 379 0 112 0
Current children cumulated CPU time (s) 1088.43
Current children cumulated vsize (KiB) 26772
Child status: 0
Real time (s): 1088.44
CPU time (s): 1088.48
CPU user time (s): 1088.47
CPU system time (s): 0.002
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 26772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1088.47
system time used= 0.002
maximum resident set size= 3484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 890
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53558 second user time and 3.58695 second system time
The end