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-4253286-1500927963/watcher-4253286-1500927963 -o /tmp/evaluation-result-4253286-1500927963/solver-4253286-1500927963 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3773 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253286-1500927963.xml
pid=12629
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: 1.71 1.94 2.02 2/181 12632
/proc/meminfo: memFree=31915620/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 2335944 27414528 759 33554432000 4194304 5744392 140731467650432 140731467647080 140386762079205 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 6693 759 677 379 0 112 0
[startup+0.100199 s]
/proc/loadavg: 1.71 1.94 2.02 2/181 12632
/proc/meminfo: memFree=31915620/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=27776 CPUtime=0.09 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1226 0 0 0 9 0 0 0 20 0 1 0 2335944 28442624 1009 33554432000 4194304 5744392 140731467650432 140731467647080 5150659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 6944 1009 700 379 0 363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27776
[startup+0.200336 s]
/proc/loadavg: 1.71 1.94 2.02 2/181 12632
/proc/meminfo: memFree=31915620/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=28820 CPUtime=0.19 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1551 0 0 0 19 0 0 0 20 0 1 0 2335944 29511680 1219 33554432000 4194304 5744392 140731467650432 140731467647080 5474980 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 7205 1219 700 379 0 624 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28820
[startup+0.300318 s]
/proc/loadavg: 1.71 1.94 2.02 2/181 12632
/proc/meminfo: memFree=31915620/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=30116 CPUtime=0.29 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1969 0 0 0 29 0 0 0 20 0 1 0 2335944 30838784 1441 33554432000 4194304 5744392 140731467650432 140731467647080 5473214 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 7529 1441 700 379 0 948 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30116
[startup+0.700283 s]
/proc/loadavg: 1.71 1.94 2.02 2/181 12632
/proc/meminfo: memFree=31915620/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=34160 CPUtime=0.69 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 2757 0 0 0 69 0 0 0 20 0 1 0 2335944 34979840 2349 33554432000 4194304 5744392 140731467650432 140731467647080 5216495 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 8540 2349 700 379 0 1959 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34160
[startup+1.50025 s]
/proc/loadavg: 1.74 1.94 2.02 3/182 12633
/proc/meminfo: memFree=31903800/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=42116 CPUtime=1.49 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 4329 0 0 0 149 0 0 0 20 0 1 0 2335944 43126784 4158 33554432000 4194304 5744392 140731467650432 140731467647080 140386762079205 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 10529 4158 700 379 0 3948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42116
[startup+3.10028 s]
/proc/loadavg: 1.74 1.94 2.02 3/182 12633
/proc/meminfo: memFree=31893460/32770624 swapFree=5740/130364
[pid=12632] ppid=12629 vsize=57896 CPUtime=3.09 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 7709 0 0 0 308 1 0 0 20 0 1 0 2335944 59285504 8020 33554432000 4194304 5744392 140731467650432 140731467647080 5183410 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 14474 8020 700 379 0 7893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57896
[startup+6.30028 s]
/proc/loadavg: 1.76 1.94 2.02 3/182 12633
/proc/meminfo: memFree=31862376/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=89720 CPUtime=6.29 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 13625 0 0 0 627 2 0 0 20 0 1 0 2335944 91873280 15500 33554432000 4194304 5744392 140731467650432 140731467647080 140386762079205 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 22430 15500 700 379 0 15849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89720
[startup+12.7003 s]
/proc/loadavg: 1.78 1.94 2.02 3/182 12633
/proc/meminfo: memFree=31803396/32770624 swapFree=5740/130372
[pid=12632] ppid=12629 vsize=153236 CPUtime=12.69 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 23948 0 0 0 1264 5 0 0 20 0 1 0 2335944 156913664 29814 33554432000 4194304 5744392 140731467650432 140731467647080 140386762079205 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 38309 29814 700 379 0 31728 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153236
[startup+25.5003 s]
/proc/loadavg: 1.83 1.94 2.02 3/182 12633
/proc/meminfo: memFree=31681804/32770624 swapFree=5740/130392
[pid=12632] ppid=12629 vsize=280268 CPUtime=25.49 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 44066 0 0 0 2540 9 0 0 20 0 1 0 2335944 286994432 58985 33554432000 4194304 5744392 140731467650432 140731467647080 5469149 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 70067 58985 700 379 0 63486 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 280268
[startup+51.1003 s]
/proc/loadavg: 1.89 1.95 2.02 3/182 12633
/proc/meminfo: memFree=31449816/32770624 swapFree=5740/130400
[pid=12632] ppid=12629 vsize=534332 CPUtime=51.09 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 83676 0 0 0 5091 18 0 0 20 0 1 0 2335944 547155968 117405 33554432000 4194304 5744392 140731467650432 140731467647080 140386762079205 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 133583 117405 700 379 0 127002 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 534332
[startup+102.3 s]
/proc/loadavg: 1.95 1.96 2.02 3/182 12634
/proc/meminfo: memFree=30333444/32770624 swapFree=5740/130464
[pid=12632] ppid=12629 vsize=1610136 CPUtime=102.29 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 402717 0 0 0 10170 59 0 0 20 0 1 0 2335944 1648779264 394963 33554432000 4194304 5744392 140731467650432 140731467648088 4892985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394963 747 379 0 395953 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1610136
[startup+162.3 s]
/proc/loadavg: 1.98 1.96 2.02 3/182 12636
/proc/meminfo: memFree=30333792/32770624 swapFree=5740/130500
[pid=12632] ppid=12629 vsize=1610136 CPUtime=162.29 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 450286 0 0 0 16167 62 0 0 20 0 1 0 2335944 1648779264 394963 33554432000 4194304 5744392 140731467650432 140731467648088 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394963 747 379 0 395953 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1610136
[startup+222.306 s]
/proc/loadavg: 2.05 1.98 2.02 3/182 12637
/proc/meminfo: memFree=30333848/32770624 swapFree=5740/130528
[pid=12632] ppid=12629 vsize=1610136 CPUtime=222.3 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 470086 0 0 0 22167 63 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1610136
[startup+282.3 s]
/proc/loadavg: 2.02 1.99 2.02 3/182 12645
/proc/meminfo: memFree=30334056/32770624 swapFree=5740/130572
[pid=12632] ppid=12629 vsize=1610136 CPUtime=282.31 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 543768 0 0 0 28165 66 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892991 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 1610136
[startup+342.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/182 12646
/proc/meminfo: memFree=30334236/32770624 swapFree=5740/130608
[pid=12632] ppid=12629 vsize=1610136 CPUtime=342.31 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 582839 0 0 0 34164 67 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892924 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1610136
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/182 12647
/proc/meminfo: memFree=30333676/32770624 swapFree=5740/130652
[pid=12632] ppid=12629 vsize=1610136 CPUtime=402.32 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 600235 0 0 0 40164 68 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4891668 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 1610136
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/182 12648
/proc/meminfo: memFree=30333780/32770624 swapFree=5740/130684
[pid=12632] ppid=12629 vsize=1610136 CPUtime=462.32 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 709897 0 0 0 46160 72 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 1610136
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/182 12649
/proc/meminfo: memFree=30333688/32770624 swapFree=5740/130720
[pid=12632] ppid=12629 vsize=1610136 CPUtime=522.32 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 836737 0 0 0 52155 77 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 1610136
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/182 12650
/proc/meminfo: memFree=30333880/32770624 swapFree=5740/130764
[pid=12632] ppid=12629 vsize=1610136 CPUtime=582.33 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 963266 0 0 0 58151 82 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892970 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 1610136
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 12651
/proc/meminfo: memFree=30334232/32770624 swapFree=5740/130792
[pid=12632] ppid=12629 vsize=1610136 CPUtime=642.34 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1065259 0 0 0 64147 87 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 1610136
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 12653
/proc/meminfo: memFree=30333552/32770624 swapFree=5740/130828
[pid=12632] ppid=12629 vsize=1610136 CPUtime=702.34 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1164483 0 0 0 70144 90 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892970 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 1610136
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 12654
/proc/meminfo: memFree=30333628/32770624 swapFree=5740/130864
[pid=12632] ppid=12629 vsize=1610136 CPUtime=762.35 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1244786 0 0 0 76142 93 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 1610136
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 12655
/proc/meminfo: memFree=30333744/32770624 swapFree=5740/130900
[pid=12632] ppid=12629 vsize=1610136 CPUtime=822.35 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1307234 0 0 0 82139 96 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4891657 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 1610136
[startup+882.306 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 12664
/proc/meminfo: memFree=30333032/32770624 swapFree=5740/130944
[pid=12632] ppid=12629 vsize=1610136 CPUtime=882.36 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1341035 0 0 0 88138 98 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892913 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 1610136
[startup+942.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/183 12665
/proc/meminfo: memFree=30332928/32770624 swapFree=5740/130972
[pid=12632] ppid=12629 vsize=1610136 CPUtime=942.36 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1349922 0 0 0 94138 98 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4891660 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 1610136
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 12666
/proc/meminfo: memFree=30333136/32770624 swapFree=5740/131028
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1002.36 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1351157 0 0 0 100138 98 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 1610136
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 12667
/proc/meminfo: memFree=30333388/32770624 swapFree=5740/131072
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1062.38 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1352198 0 0 0 106139 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892774 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 1610136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 12668
/proc/meminfo: memFree=30333080/32770624 swapFree=5740/131100
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1122.38 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1353333 0 0 0 112139 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4893328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 1610136
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12632 sig 9
??? kill -12632 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 12668
/proc/meminfo: memFree=30333080/32770624 swapFree=5740/131100
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1126.49 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1353333 0 0 0 112550 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892924 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1126.49
Current children cumulated vsize (KiB) 1610136
[startup+1139.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 12668
/proc/meminfo: memFree=30333204/32770624 swapFree=5740/131112
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1139.28 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354034 0 0 0 113829 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892913 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1139.28
Current children cumulated vsize (KiB) 1610136
[startup+1145.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 12669
/proc/meminfo: memFree=30332972/32770624 swapFree=5740/131128
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1145.68 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354034 0 0 0 114469 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1145.68
Current children cumulated vsize (KiB) 1610136
[startup+1152 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 12669
/proc/meminfo: memFree=30333344/32770624 swapFree=5740/131128
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1152.08 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354146 0 0 0 115109 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892924 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1152.08
Current children cumulated vsize (KiB) 1610136
[startup+1153.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 12669
/proc/meminfo: memFree=30333468/32770624 swapFree=5740/131132
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1153.68 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354146 0 0 0 115269 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1153.68
Current children cumulated vsize (KiB) 1610136
[startup+1154.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 12669
/proc/meminfo: memFree=30333468/32770624 swapFree=5740/131132
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1154.49 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354146 0 0 0 115350 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4891660 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1154.49
Current children cumulated vsize (KiB) 1610136
[startup+1154.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 12669
/proc/meminfo: memFree=30333468/32770624 swapFree=5740/131132
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1154.89 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354146 0 0 0 115390 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892991 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1154.89
Current children cumulated vsize (KiB) 1610136
[startup+1155 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 12669
/proc/meminfo: memFree=30333512/32770624 swapFree=5740/131132
[pid=12632] ppid=12629 vsize=1610136 CPUtime=1155.09 cores=0,2,4,6
/proc/12632/stat : 12632 (cosoco) R 12629 12632 3742 0 -1 4202496 1354165 0 0 0 115410 99 0 0 20 0 1 0 2335944 1648779264 394965 33554432000 4194304 5744392 140731467650432 140731467647832 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 31870976 140731467654337 140731467654467 140731467654467 140731467657166 0
/proc/12632/statm: 402534 394965 749 379 0 395953 0
Current children cumulated CPU time (s) 1155.09
Current children cumulated vsize (KiB) 1610136
Child status: 0
Real time (s): 1155.05
CPU time (s): 1155.14
CPU user time (s): 1154.15
CPU system time (s): 0.99709
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 2160824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1154.15
system time used= 0.99709
maximum resident set size= 1974612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1354218
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= 61
involuntary context switches= 1542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3278 second user time and 4.71938 second system time
The end