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-4241197-1500648176/watcher-4241197-1500648176 -o /tmp/evaluation-result-4241197-1500648176/solver-4241197-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241197-1500648176.xml
pid=9883
running on 8 cores: 0,2,4,6,8,10,12,14
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: 0.08 0.05 0.08 4/243 9891
/proc/meminfo: memFree=32077644/32770624 swapFree=6064/170296
[pid=9890] ppid=9883 vsize=2036 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) D 9883 9890 9829 0 -1 4194304 156 0 0 0 0 0 0 0 20 0 1 0 82948 2084864 1 33554432000 4194304 5970956 140723357490960 140723357488200 140408663283399 0 0 4096 0 18446744071580996127 0 0 17 8 0 0 0 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 509 1 0 434 0 39 0
[startup+0.100128 s]
/proc/loadavg: 0.08 0.05 0.08 4/243 9891
/proc/meminfo: memFree=32077644/32770624 swapFree=6064/170296
[pid=9890] ppid=9883 vsize=27388 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 1053 0 3 0 6 0 0 0 20 0 1 0 82948 28045312 894 33554432000 4194304 5970956 140723357490960 140723357487560 5673389 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 6847 894 710 434 0 211 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27388
[startup+0.200299 s]
/proc/loadavg: 0.08 0.05 0.08 4/243 9891
/proc/meminfo: memFree=32077644/32770624 swapFree=6064/170296
[pid=9890] ppid=9883 vsize=27716 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 1121 0 3 0 16 0 0 0 20 0 1 0 82948 28381184 960 33554432000 4194304 5970956 140723357490960 140723357487560 5496067 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 6929 960 710 434 0 293 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 27716
[startup+0.300219 s]
/proc/loadavg: 0.08 0.05 0.08 4/243 9891
/proc/meminfo: memFree=32077644/32770624 swapFree=6064/170296
[pid=9890] ppid=9883 vsize=28172 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 1274 0 3 0 26 0 0 0 20 0 1 0 82948 28848128 1056 33554432000 4194304 5970956 140723357490960 140723357487560 140408647179237 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 7043 1056 710 434 0 407 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 28172
[startup+0.700224 s]
/proc/loadavg: 0.08 0.05 0.08 4/243 9891
/proc/meminfo: memFree=32077644/32770624 swapFree=6064/170296
[pid=9890] ppid=9883 vsize=30512 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 1988 0 3 0 66 0 0 0 20 0 1 0 82948 31244288 1488 33554432000 4194304 5970956 140723357490960 140723357487560 140408647617536 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 7628 1488 710 434 0 992 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 30512
[startup+1.50023 s]
/proc/loadavg: 0.24 0.09 0.09 4/246 9894
/proc/meminfo: memFree=32048632/32770624 swapFree=6064/171756
[pid=9890] ppid=9883 vsize=70668 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 12162 0 3 0 145 2 0 0 20 0 1 0 82948 72364032 11652 33554432000 4194304 5970956 140723357490960 140723357484552 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 17667 11652 782 434 0 11031 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 70668
[startup+3.10022 s]
/proc/loadavg: 0.24 0.09 0.09 4/246 9894
/proc/meminfo: memFree=31930288/32770624 swapFree=6064/171912
[pid=9890] ppid=9883 vsize=162400 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 35161 0 3 0 301 5 0 0 20 0 1 0 82948 166297600 34534 33554432000 4194304 5970956 140723357490960 140723357482520 5511632 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 40600 34534 782 434 0 33964 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 162400
[startup+6.30022 s]
/proc/loadavg: 0.24 0.09 0.09 4/246 9894
/proc/meminfo: memFree=31579368/32770624 swapFree=6064/171920
[pid=9890] ppid=9883 vsize=345464 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 81064 0 3 0 615 11 0 0 20 0 1 0 82948 353755136 80349 33554432000 4194304 5970956 140723357490960 140723357484552 140408647179237 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 86366 80349 782 434 0 79730 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 345464
[startup+12.7002 s]
/proc/loadavg: 0.51 0.15 0.11 4/246 9894
/proc/meminfo: memFree=30877632/32770624 swapFree=6064/171928
[pid=9890] ppid=9883 vsize=711076 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 172612 0 3 0 1244 21 0 0 20 0 1 0 82948 728141824 171753 33554432000 4194304 5970956 140723357490960 140723357484552 140408647179237 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 177769 171753 782 434 0 171133 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 711076
[startup+25.5003 s]
/proc/loadavg: 0.74 0.21 0.13 4/246 9894
/proc/meminfo: memFree=29476016/32770624 swapFree=6064/171924
[pid=9890] ppid=9883 vsize=1441192 CPUtime=25.45 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 355430 0 3 0 2502 43 0 0 20 0 1 0 82948 1475780608 354258 33554432000 4194304 5970956 140723357490960 140723357484552 140408647179237 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 360298 354258 782 434 0 353662 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1441192
[startup+51.1003 s]
/proc/loadavg: 1.17 0.35 0.18 4/246 9894
/proc/meminfo: memFree=26076440/32770624 swapFree=6064/171920
[pid=9890] ppid=9883 vsize=3706148 CPUtime=51.05 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 923170 0 3 0 4991 114 0 0 20 0 1 0 82948 3795095552 913953 33554432000 4194304 5970956 140723357490960 140723357487928 140408647179237 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 926537 913953 839 434 0 919901 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 3706148
[startup+102.3 s]
/proc/loadavg: 1.81 0.66 0.29 4/245 9895
/proc/meminfo: memFree=20284128/32770624 swapFree=6064/171964
[pid=9890] ppid=9883 vsize=5295448 CPUtime=102.23 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 1670473 0 3 0 10045 178 0 0 20 0 1 0 82948 5422538752 1311333 33554432000 4194304 5970956 140723357490960 140723357487928 4961194 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1323862 1311333 839 434 0 1317226 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 5295448
[startup+162.3 s]
/proc/loadavg: 1.93 0.91 0.40 4/246 9899
/proc/meminfo: memFree=19335772/32770624 swapFree=6064/180468
[pid=9890] ppid=9883 vsize=5585188 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 2326657 0 3 0 16006 214 0 0 20 0 1 0 82948 5719232512 1383768 33554432000 4194304 5970956 140723357490960 140723357487928 5052080 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1396297 1383768 839 434 0 1389661 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 5585188
[startup+222.308 s]
/proc/loadavg: 1.97 1.10 0.50 4/246 9900
/proc/meminfo: memFree=18890564/32770624 swapFree=6064/180500
[pid=9890] ppid=9883 vsize=5695936 CPUtime=222.17 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 2972052 0 3 0 21970 247 0 0 20 0 1 0 82948 5832638464 1411464 33554432000 4194304 5970956 140723357490960 140723357487928 4964363 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1423984 1411464 839 434 0 1417348 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 5695936
[startup+282.3 s]
/proc/loadavg: 1.99 1.27 0.59 4/246 9901
/proc/meminfo: memFree=18650724/32770624 swapFree=6064/180528
[pid=9890] ppid=9883 vsize=5808928 CPUtime=282.13 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 3680470 0 3 0 27933 280 0 0 20 0 1 0 82948 5948342272 1439720 33554432000 4194304 5970956 140723357490960 140723357487928 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1452232 1439720 839 434 0 1445596 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 5808928
[startup+342.3 s]
/proc/loadavg: 2.00 1.40 0.68 4/244 9902
/proc/meminfo: memFree=18573944/32770624 swapFree=6064/180560
[pid=9890] ppid=9883 vsize=5822524 CPUtime=342.1 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 4280851 0 3 0 33904 306 0 0 20 0 1 0 82948 5962264576 1443119 33554432000 4194304 5970956 140723357490960 140723357487928 4961400 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1455631 1443119 839 434 0 1448995 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 5822524
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.76 4/244 9903
/proc/meminfo: memFree=18244596/32770624 swapFree=6064/180584
[pid=9890] ppid=9883 vsize=5937232 CPUtime=402.06 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 4938686 0 3 0 39867 339 0 0 20 0 1 0 82948 6079725568 1471796 33554432000 4194304 5970956 140723357490960 140723357487928 4961411 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1484308 1471796 839 434 0 1477672 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 5937232
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.84 4/244 9912
/proc/meminfo: memFree=18206276/32770624 swapFree=6064/180632
[pid=9890] ppid=9883 vsize=5943304 CPUtime=462.03 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 5509707 0 3 0 45840 363 0 0 20 0 1 0 82948 6085943296 1473306 33554432000 4194304 5970956 140723357490960 140723357487928 4964477 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1485826 1473306 839 434 0 1479190 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 5943304
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.91 4/244 9913
/proc/meminfo: memFree=18112312/32770624 swapFree=6064/180652
[pid=9890] ppid=9883 vsize=6022240 CPUtime=522.01 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 6164054 0 3 0 51807 394 0 0 20 0 1 0 82948 6166773760 1493047 33554432000 4194304 5970956 140723357490960 140723357487928 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1505560 1493047 839 434 0 1498924 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 6022240
[startup+582.3 s]
/proc/loadavg: 2.16 1.77 0.99 4/244 9914
/proc/meminfo: memFree=17927424/32770624 swapFree=6064/180684
[pid=9890] ppid=9883 vsize=6098932 CPUtime=581.97 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 6752794 0 3 0 57774 423 0 0 20 0 1 0 82948 6245306368 1512201 33554432000 4194304 5970956 140723357490960 140723357487928 4964821 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1524733 1512201 839 434 0 1518097 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 6098932
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.64 4/243 9962
/proc/meminfo: memFree=17096752/32770624 swapFree=6064/181168
[pid=9890] ppid=9883 vsize=6431836 CPUtime=1541.49 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 15435416 0 3 0 153316 833 0 0 20 0 1 0 82948 6586200064 1595443 33554432000 4194304 5970956 140723357490960 140723357487928 4964452 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1607959 1595443 839 434 0 1601323 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 6431836
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/243 9963
/proc/meminfo: memFree=17078720/32770624 swapFree=6064/181200
[pid=9890] ppid=9883 vsize=6438172 CPUtime=1601.45 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 15950010 0 3 0 159287 858 0 0 20 0 1 0 82948 6592688128 1597008 33554432000 4194304 5970956 140723357490960 140723357487928 5052080 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1609543 1597008 839 434 0 1602907 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 6438172
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.69 4/243 9971
/proc/meminfo: memFree=16981360/32770624 swapFree=6064/181236
[pid=9890] ppid=9883 vsize=6441736 CPUtime=1661.42 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 16481263 0 3 0 165261 881 0 0 20 0 1 0 82948 6596337664 1597897 33554432000 4194304 5970956 140723357490960 140723357487928 4964444 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1610434 1597897 839 434 0 1603798 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 6441736
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.71 4/243 9972
/proc/meminfo: memFree=16953008/32770624 swapFree=6064/181264
[pid=9890] ppid=9883 vsize=6445696 CPUtime=1721.39 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 16938803 0 3 0 171238 901 0 0 20 0 1 0 82948 6600392704 1598892 33554432000 4194304 5970956 140723357490960 140723357487928 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1611424 1598892 839 434 0 1604788 0
Current children cumulated CPU time (s) 1721.39
Current children cumulated vsize (KiB) 6445696
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.73 4/243 9973
/proc/meminfo: memFree=16894716/32770624 swapFree=6064/181292
[pid=9890] ppid=9883 vsize=6490312 CPUtime=1781.36 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 17560531 0 3 0 177204 932 0 0 20 0 1 0 82948 6646079488 1610043 33554432000 4194304 5970956 140723357490960 140723357487928 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1622578 1610043 839 434 0 1615942 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (KiB) 6490312
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 4/243 9974
/proc/meminfo: memFree=16854140/32770624 swapFree=6064/181312
[pid=9890] ppid=9883 vsize=6502456 CPUtime=1841.33 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 18081662 0 3 0 183177 956 0 0 20 0 1 0 82948 6658514944 1613090 33554432000 4194304 5970956 140723357490960 140723357487928 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1625614 1613090 839 434 0 1618978 0
Current children cumulated CPU time (s) 1841.33
Current children cumulated vsize (KiB) 6502456
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 4/243 9975
/proc/meminfo: memFree=16833884/32770624 swapFree=6064/181340
[pid=9890] ppid=9883 vsize=6508132 CPUtime=1901.31 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 18694627 0 3 0 189147 984 0 0 20 0 1 0 82948 6664327168 1614516 33554432000 4194304 5970956 140723357490960 140723357487928 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1627033 1614516 839 434 0 1620397 0
Current children cumulated CPU time (s) 1901.31
Current children cumulated vsize (KiB) 6508132
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 4/243 9976
/proc/meminfo: memFree=16796916/32770624 swapFree=6064/181372
[pid=9890] ppid=9883 vsize=6536116 CPUtime=1961.27 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 19121479 0 3 0 195123 1004 0 0 20 0 1 0 82948 6692982784 1621524 33554432000 4194304 5970956 140723357490960 140723357487928 4908985 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1634029 1621524 839 434 0 1627393 0
Current children cumulated CPU time (s) 1961.27
Current children cumulated vsize (KiB) 6536116
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 4/243 9977
/proc/meminfo: memFree=16787128/32770624 swapFree=6064/181396
[pid=9890] ppid=9883 vsize=6541528 CPUtime=2021.25 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 19684497 0 3 0 201098 1027 0 0 20 0 1 0 82948 6698524672 1622853 33554432000 4194304 5970956 140723357490960 140723357487928 4908971 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1635382 1622853 839 434 0 1628746 0
Current children cumulated CPU time (s) 2021.25
Current children cumulated vsize (KiB) 6541528
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 4/243 9978
/proc/meminfo: memFree=16784032/32770624 swapFree=6064/181424
[pid=9890] ppid=9883 vsize=6542980 CPUtime=2081.22 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 20255355 0 3 0 207068 1054 0 0 20 0 1 0 82948 6700011520 1623212 33554432000 4194304 5970956 140723357490960 140723357487928 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1635745 1623212 839 434 0 1629109 0
Current children cumulated CPU time (s) 2081.22
Current children cumulated vsize (KiB) 6542980
[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 1.82 4/243 9979
/proc/meminfo: memFree=16773992/32770624 swapFree=6064/181448
[pid=9890] ppid=9883 vsize=6547732 CPUtime=2141.18 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 20689972 0 3 0 213042 1076 0 0 20 0 1 0 82948 6704877568 1624406 33554432000 4194304 5970956 140723357490960 140723357487928 4964821 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1636933 1624406 839 434 0 1630297 0
Current children cumulated CPU time (s) 2141.18
Current children cumulated vsize (KiB) 6547732
[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 1.84 4/243 9980
/proc/meminfo: memFree=16768592/32770624 swapFree=6064/181472
[pid=9890] ppid=9883 vsize=6552352 CPUtime=2201.16 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 21402407 0 3 0 219008 1108 0 0 20 0 1 0 82948 6709608448 1625581 33554432000 4194304 5970956 140723357490960 140723357487928 4961400 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1638088 1625581 839 434 0 1631452 0
Current children cumulated CPU time (s) 2201.16
Current children cumulated vsize (KiB) 6552352
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 1.85 4/243 9988
/proc/meminfo: memFree=16764224/32770624 swapFree=6064/181516
[pid=9890] ppid=9883 vsize=6554728 CPUtime=2261.13 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 21992464 0 3 0 224978 1135 0 0 20 0 1 0 82948 6712041472 1626149 33554432000 4194304 5970956 140723357490960 140723357487928 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1638682 1626149 839 434 0 1632046 0
Current children cumulated CPU time (s) 2261.13
Current children cumulated vsize (KiB) 6554728
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.86 4/243 9989
/proc/meminfo: memFree=16747868/32770624 swapFree=6064/181544
[pid=9890] ppid=9883 vsize=6565156 CPUtime=2321.09 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 22555173 0 3 0 230945 1164 0 0 20 0 1 0 82948 6722719744 1628774 33554432000 4194304 5970956 140723357490960 140723357487928 4908944 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1641289 1628774 839 434 0 1634653 0
Current children cumulated CPU time (s) 2321.09
Current children cumulated vsize (KiB) 6565156
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 9990
/proc/meminfo: memFree=16743012/32770624 swapFree=6064/181576
[pid=9890] ppid=9883 vsize=6567928 CPUtime=2381.07 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 23083373 0 3 0 236919 1188 0 0 20 0 1 0 82948 6725558272 1629473 33554432000 4194304 5970956 140723357490960 140723357487928 5069728 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1641982 1629473 839 434 0 1635346 0
Current children cumulated CPU time (s) 2381.07
Current children cumulated vsize (KiB) 6567928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 9990
/proc/meminfo: memFree=16742368/32770624 swapFree=6064/181584
[pid=9890] ppid=9883 vsize=6568456 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202496 23322764 0 3 0 238808 1199 0 0 20 0 1 0 82948 6726098944 1629599 33554432000 4194304 5970956 140723357490960 140723357487928 4968239 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 12136448 140723357492412 140723357492547 140723357492547 140723357495246 0
/proc/9890/statm: 1642114 1629599 839 434 0 1635478 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 6568456
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 9890 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.6 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 9990
/proc/meminfo: memFree=16742368/32770624 swapFree=6064/181584
[pid=9890] ppid=9883 vsize=0 CPUtime=2400.36 cores=0,2,4,6,8,10,12,14
/proc/9890/stat : 9890 (cosoco) R 9883 9890 9829 0 -1 4202500 23322784 0 3 0 238808 1228 0 0 20 0 1 0 82948 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 8 0 0 1 0 0 0 0 0 0 0 0 0 0
/proc/9890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.36
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 2401.68
CPU time (s): 2400.44
CPU user time (s): 2388.08
CPU system time (s): 12.3597
CPU usage (%): 99.9486
Max. virtual memory (cumulated for all children) (KiB): 6568456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.08
system time used= 12.3597
maximum resident set size= 6518440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23322784
page faults= 3
swaps= 0
block input operations= 1344
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 122281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94721 second user time and 12.5613 second system time
The end