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-4240824-1500639553/watcher-4240824-1500639553 -o /tmp/evaluation-result-4240824-1500639553/solver-4240824-1500639553 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500634750-5914 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240824-1500639553.xml
pid=6439
running on 4 cores: 1,3,5,7
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.02 2.05 2.03 3/186 6442
/proc/meminfo: memFree=30956952/32770624 swapFree=6792/950104
[pid=6442] ppid=6439 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 17388769 27770880 802 33554432000 4194304 5970956 140727795672000 140727795668648 139753384164325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 6780 802 698 434 0 144 0
[startup+0.100157 s]
/proc/loadavg: 2.02 2.05 2.03 3/186 6442
/proc/meminfo: memFree=30956952/32770624 swapFree=6792/950104
[pid=6442] ppid=6439 vsize=31116 CPUtime=0.09 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2013 0 0 0 9 0 0 0 20 0 1 0 17388769 31862784 1809 33554432000 4194304 5970956 140727795672000 140727795667336 139753384164325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 7779 1809 705 434 0 1143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31116
[startup+0.200326 s]
/proc/loadavg: 2.02 2.05 2.03 3/186 6442
/proc/meminfo: memFree=30956952/32770624 swapFree=6792/950104
[pid=6442] ppid=6439 vsize=60656 CPUtime=0.19 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 9404 0 0 0 18 1 0 0 20 0 1 0 17388769 62111744 9148 33554432000 4194304 5970956 140727795672000 140727795666504 5634514 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 15164 9148 713 434 0 8528 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60656
[startup+0.300326 s]
/proc/loadavg: 2.02 2.05 2.03 3/186 6442
/proc/meminfo: memFree=30956952/32770624 swapFree=6792/950104
[pid=6442] ppid=6439 vsize=61708 CPUtime=0.29 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 9643 0 0 0 28 1 0 0 20 0 1 0 17388769 63188992 9412 33554432000 4194304 5970956 140727795672000 140727795666504 5634514 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 15427 9412 735 434 0 8791 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61708
[startup+0.700298 s]
/proc/loadavg: 2.02 2.05 2.03 3/186 6442
/proc/meminfo: memFree=30956952/32770624 swapFree=6792/950104
[pid=6442] ppid=6439 vsize=448596 CPUtime=0.69 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 106364 0 0 0 56 13 0 0 20 0 1 0 17388769 459362304 106168 33554432000 4194304 5970956 140727795672000 140727795666872 5633606 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 112149 106168 744 434 0 105513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 448596
[startup+1.50029 s]
/proc/loadavg: 2.02 2.05 2.03 3/187 6443
/proc/meminfo: memFree=30315628/32770624 swapFree=6792/949896
[pid=6442] ppid=6439 vsize=942084 CPUtime=1.49 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 173023 0 0 0 125 24 0 0 20 0 1 0 17388769 964694016 215677 33554432000 4194304 5970956 140727795672000 140727795668824 139753384164325 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 235521 215677 780 434 0 228885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 942084
[startup+3.1003 s]
/proc/loadavg: 2.02 2.05 2.03 3/187 6443
/proc/meminfo: memFree=29706832/32770624 swapFree=6792/949896
[pid=6442] ppid=6439 vsize=1850160 CPUtime=3.08 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 293823 0 0 0 265 43 0 0 20 0 1 0 17388769 1894563840 431026 33554432000 4194304 5970956 140727795672000 140727795668824 139753384170392 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 462540 431026 780 434 0 455904 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1850160
[startup+6.3003 s]
/proc/loadavg: 2.02 2.05 2.03 3/187 6504
/proc/meminfo: memFree=27698804/32770624 swapFree=6792/949932
[pid=6442] ppid=6439 vsize=3839076 CPUtime=6.29 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 523300 0 0 0 543 86 0 0 20 0 1 0 17388769 3931213824 846140 33554432000 4194304 5970956 140727795672000 140727795668824 139753384162036 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 959769 846140 780 434 0 953133 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3839076
[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.03 3/187 6504
/proc/meminfo: memFree=24283240/32770624 swapFree=6792/949940
[pid=6442] ppid=6439 vsize=6963544 CPUtime=12.68 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1003111 0 0 0 1099 169 0 0 20 0 1 0 17388769 7130669056 1670066 33554432000 4194304 5970956 140727795672000 140727795668824 139753384164325 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 1740886 1670066 780 434 0 1734250 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6963544
[startup+25.5004 s]
/proc/loadavg: 2.01 2.05 2.03 3/187 6504
/proc/meminfo: memFree=22702996/32770624 swapFree=6792/949956
[pid=6442] ppid=6439 vsize=9320848 CPUtime=25.47 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1240846 0 0 0 2338 209 0 0 20 0 1 0 17388769 9544548352 1987823 33554432000 4194304 5970956 140727795672000 140727795668744 5038721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2330212 1987823 802 434 0 2323576 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 9320848
[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.03 3/188 6512
/proc/meminfo: memFree=22698764/32770624 swapFree=6792/949972
[pid=6442] ppid=6439 vsize=9324180 CPUtime=51.06 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1289074 0 0 0 4894 212 0 0 20 0 1 0 17388769 9547960320 1988677 33554432000 4194304 5970956 140727795672000 140727795668728 5038725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988677 802 434 0 2324409 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 9324180
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/188 6513
/proc/meminfo: memFree=22698788/32770624 swapFree=6792/950008
[pid=6442] ppid=6439 vsize=9324180 CPUtime=102.25 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1348941 0 0 0 10010 215 0 0 20 0 1 0 17388769 9547960320 1988677 33554432000 4194304 5970956 140727795672000 140727795668728 5038183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988677 802 434 0 2324409 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 9324180
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/188 6514
/proc/meminfo: memFree=22699044/32770624 swapFree=6792/950032
[pid=6442] ppid=6439 vsize=9324180 CPUtime=162.23 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1401262 0 0 0 16005 218 0 0 20 0 1 0 17388769 9547960320 1988677 33554432000 4194304 5970956 140727795672000 140727795668728 5038640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988677 802 434 0 2324409 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 9324180
[startup+222.306 s]
/proc/loadavg: 2.02 2.04 2.04 3/188 6515
/proc/meminfo: memFree=22699252/32770624 swapFree=6792/950056
[pid=6442] ppid=6439 vsize=9324180 CPUtime=222.22 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1451167 0 0 0 22001 221 0 0 20 0 1 0 17388769 9547960320 1988677 33554432000 4194304 5970956 140727795672000 140727795668728 5040476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988677 802 434 0 2324409 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 9324180
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/187 6516
/proc/meminfo: memFree=22700092/32770624 swapFree=6792/950076
[pid=6442] ppid=6439 vsize=9324180 CPUtime=282.2 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1497355 0 0 0 27996 224 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 9324180
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 6518
/proc/meminfo: memFree=22699296/32770624 swapFree=6792/950096
[pid=6442] ppid=6439 vsize=9324180 CPUtime=342.19 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1542417 0 0 0 33993 226 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5039190 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 9324180
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 6520
/proc/meminfo: memFree=22699160/32770624 swapFree=6792/950128
[pid=6442] ppid=6439 vsize=9324180 CPUtime=402.18 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1591001 0 0 0 39988 230 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 9324180
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 6521
/proc/meminfo: memFree=22697440/32770624 swapFree=6792/950156
[pid=6442] ppid=6439 vsize=9324180 CPUtime=462.16 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1637880 0 0 0 45984 232 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038188 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 9324180
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6522
/proc/meminfo: memFree=22697048/32770624 swapFree=6792/950184
[pid=6442] ppid=6439 vsize=9324180 CPUtime=522.14 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1684235 0 0 0 51979 235 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 9324180
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6524
/proc/meminfo: memFree=22697432/32770624 swapFree=6792/950212
[pid=6442] ppid=6439 vsize=9324180 CPUtime=582.13 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 1758062 0 0 0 57973 240 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 9324180
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6555
/proc/meminfo: memFree=22696676/32770624 swapFree=6792/950608
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1541.92 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2544580 0 0 0 153904 288 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5337497 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 9324180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6556
/proc/meminfo: memFree=22697028/32770624 swapFree=6792/950632
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1601.91 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2592050 0 0 0 159900 291 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5337497 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 9324180
[startup+1662.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/187 6557
/proc/meminfo: memFree=22696696/32770624 swapFree=6792/950660
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1661.9 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2638616 0 0 0 165897 293 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 9324180
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 6558
/proc/meminfo: memFree=22696900/32770624 swapFree=6792/950684
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1721.88 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2685733 0 0 0 171893 295 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 9324180
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 6559
/proc/meminfo: memFree=22695864/32770624 swapFree=6792/950708
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1781.86 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2732537 0 0 0 177888 298 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 9324180
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6560
/proc/meminfo: memFree=22695900/32770624 swapFree=6792/950728
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1841.86 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2778798 0 0 0 183884 302 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038163 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 9324180
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6568
/proc/meminfo: memFree=22696104/32770624 swapFree=6792/950764
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1901.83 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2828996 0 0 0 189878 305 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1901.83
Current children cumulated vsize (KiB) 9324180
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6569
/proc/meminfo: memFree=22696192/32770624 swapFree=6792/950788
[pid=6442] ppid=6439 vsize=9324180 CPUtime=1961.82 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2875036 0 0 0 195874 308 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5250391 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 1961.82
Current children cumulated vsize (KiB) 9324180
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6570
/proc/meminfo: memFree=22696428/32770624 swapFree=6792/950812
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2021.81 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2919690 0 0 0 201870 311 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5108512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2021.81
Current children cumulated vsize (KiB) 9324180
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6571
/proc/meminfo: memFree=22695988/32770624 swapFree=6792/950832
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2081.8 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 2965624 0 0 0 207866 314 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038163 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2081.8
Current children cumulated vsize (KiB) 9324180
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6572
/proc/meminfo: memFree=22695924/32770624 swapFree=6792/950852
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2141.78 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 3011548 0 0 0 213861 317 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5098896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2141.78
Current children cumulated vsize (KiB) 9324180
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6574
/proc/meminfo: memFree=22696332/32770624 swapFree=6792/950884
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2201.76 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 3056670 0 0 0 219856 320 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5039457 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2201.76
Current children cumulated vsize (KiB) 9324180
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6575
/proc/meminfo: memFree=22696460/32770624 swapFree=6792/950908
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2261.75 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 3100710 0 0 0 225852 323 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2261.75
Current children cumulated vsize (KiB) 9324180
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 6576
/proc/meminfo: memFree=22695924/32770624 swapFree=6792/950932
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2321.73 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 3156645 0 0 0 231847 326 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2321.73
Current children cumulated vsize (KiB) 9324180
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 6578
/proc/meminfo: memFree=22696264/32770624 swapFree=6792/950964
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2381.72 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 3215010 0 0 0 237843 329 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5039186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2381.72
Current children cumulated vsize (KiB) 9324180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6578
/proc/meminfo: memFree=22696356/32770624 swapFree=6792/950972
[pid=6442] ppid=6439 vsize=9324180 CPUtime=2400.01 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202496 3222001 0 0 0 239672 329 0 0 20 0 1 0 17388769 9547960320 1988678 33554432000 4194304 5970956 140727795672000 140727795668728 5038188 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10985472 140727795680444 140727795680579 140727795680579 140727795683278 0
/proc/6442/statm: 2331045 1988678 802 434 0 2324409 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 9324180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6442 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6578
/proc/meminfo: memFree=22696356/32770624 swapFree=6792/950972
[pid=6442] ppid=6439 vsize=0 CPUtime=2400.11 cores=1,3,5,7
/proc/6442/stat : 6442 (cosoco) R 6439 6442 3400 0 -1 4202500 3222022 0 0 0 239672 339 0 0 20 0 1 0 17388769 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6442/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.11
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.22
CPU user time (s): 2396.73
CPU system time (s): 3.49628
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 9324180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.73
system time used= 3.49628
maximum resident set size= 7954752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3222022
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= 170
involuntary context switches= 120660
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29102 second user time and 10.9447 second system time
The end