runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469411-1307096683/watcher-3469411-1307096683 -o /tmp/evaluation-result-3469411-1307096683/solver-3469411-1307096683 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469411-1307096683.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.00 1.99 2/498 12681
/proc/meminfo: memFree=30430676/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=16096 CPUtime=0 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 1469 0 0 0 0 0 0 0 25 0 1 0 821269218 16482304 1279 33554432000 4194304 4933572 140736716640432 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 4024 1279 318 181 0 1033 0
[startup+0.025484 s]
/proc/loadavg: 1.95 2.00 1.99 2/498 12681
/proc/meminfo: memFree=30430676/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=17528 CPUtime=0.02 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 2084 0 0 0 2 0 0 0 25 0 1 0 821269218 17948672 1683 33554432000 4194304 4933572 140736716640432 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 4382 1683 342 181 0 1391 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17528
[startup+0.100535 s]
/proc/loadavg: 1.95 2.00 1.99 2/498 12681
/proc/meminfo: memFree=30430676/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=23048 CPUtime=0.09 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 3656 0 0 0 9 0 0 0 25 0 1 0 821269218 23601152 3090 33554432000 4194304 4933572 140736716640432 18446744073709551615 270612807435 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 5762 3094 366 181 0 2771 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23048
[startup+0.30051 s]
/proc/loadavg: 1.95 2.00 1.99 2/498 12681
/proc/meminfo: memFree=30430676/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=34624 CPUtime=0.29 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 6564 0 0 0 29 0 0 0 25 0 1 0 821269218 35454976 5998 33554432000 4194304 4933572 140736716640432 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 8656 5998 373 181 0 5665 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34624
[startup+0.700438 s]
/proc/loadavg: 1.95 2.00 1.99 2/498 12681
/proc/meminfo: memFree=30430676/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=47244 CPUtime=0.69 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 9713 0 0 0 68 1 0 0 25 0 1 0 821269218 48377856 9147 33554432000 4194304 4933572 140736716640432 18446744073709551615 4632272 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 11811 9147 374 181 0 8820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47244
[startup+1.50029 s]
/proc/loadavg: 1.95 2.00 1.99 3/499 12682
/proc/meminfo: memFree=30391988/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=51732 CPUtime=1.49 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 10838 0 0 0 148 1 0 0 25 0 1 0 821269218 52973568 10272 33554432000 4194304 4933572 140736716640432 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 12933 10272 374 181 0 9942 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51732
[startup+3.101 s]
/proc/loadavg: 1.95 2.00 1.99 3/499 12682
/proc/meminfo: memFree=30383432/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=60584 CPUtime=3.09 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 13045 0 0 0 308 1 0 0 25 0 1 0 821269218 62038016 12479 33554432000 4194304 4933572 140736716640432 18446744073709551615 4361968 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 15146 12479 374 181 0 12155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60584
[startup+6.30044 s]
/proc/loadavg: 1.95 2.00 1.99 3/499 12682
/proc/meminfo: memFree=30374344/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=71284 CPUtime=6.29 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 15711 0 0 0 627 2 0 0 25 0 1 0 821269218 72994816 15145 33554432000 4194304 4933572 140736716640432 18446744073709551615 4342453 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 17821 15145 374 181 0 14830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71284
[startup+12.7003 s]
/proc/loadavg: 1.96 2.00 1.99 3/499 12682
/proc/meminfo: memFree=30357608/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=79396 CPUtime=12.69 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 17564 0 0 0 1267 2 0 0 25 0 1 0 821269218 81301504 16998 33554432000 4194304 4933572 140736716640432 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 19849 16998 374 181 0 16858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79396
[startup+25.501 s]
/proc/loadavg: 1.97 2.00 1.99 3/499 12682
/proc/meminfo: memFree=30343104/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=92480 CPUtime=25.49 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 20906 0 0 0 2547 2 0 0 25 0 1 0 821269218 94699520 20340 33554432000 4194304 4933572 140736716640432 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 23120 20340 374 181 0 20129 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92480
[startup+51.1005 s]
/proc/loadavg: 1.98 2.00 1.99 3/499 12683
/proc/meminfo: memFree=30322012/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=108260 CPUtime=51.09 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 24851 0 0 0 5106 3 0 0 25 0 1 0 821269218 110858240 24285 33554432000 4194304 4933572 140736716640432 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 27065 24285 374 181 0 24074 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 108260
[startup+102.318 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12684
/proc/meminfo: memFree=30289876/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=131352 CPUtime=102.32 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 30666 0 0 0 10228 4 0 0 25 0 1 0 821269218 134504448 30100 33554432000 4194304 4933572 140736716640432 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 32838 30100 374 181 0 29847 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 131352
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12686
/proc/meminfo: memFree=30268892/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=145420 CPUtime=162.29 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 34215 0 0 0 16225 4 0 0 25 0 1 0 821269218 148910080 33649 33554432000 4194304 4933572 140736716640432 18446744073709551615 4622154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 36355 33649 374 181 0 33364 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 145420
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12688
/proc/meminfo: memFree=30263288/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=148456 CPUtime=222.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 34990 0 0 0 22226 4 0 0 25 0 1 0 821269218 152018944 34424 33554432000 4194304 4933572 140736716640432 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 37114 34424 374 181 0 34123 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 148456
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/499 12689
/proc/meminfo: memFree=30241076/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=165512 CPUtime=282.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 39270 0 0 0 28225 5 0 0 25 0 1 0 821269218 169484288 38704 33554432000 4194304 4933572 140736716640432 18446744073709551615 4319331 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 41378 38704 374 181 0 38387 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 165512
[startup+342.301 s]
/proc/loadavg: 2.19 2.06 2.01 3/499 12691
/proc/meminfo: memFree=30236948/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=167920 CPUtime=342.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 39863 0 0 0 34225 5 0 0 25 0 1 0 821269218 171950080 39297 33554432000 4194304 4933572 140736716640432 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 41980 39297 374 181 0 38989 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 167920
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 12692
/proc/meminfo: memFree=30218824/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=185476 CPUtime=402.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 44186 0 0 0 40225 5 0 0 25 0 1 0 821269218 189927424 43620 33554432000 4194304 4933572 140736716640432 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 46369 43620 374 181 0 43378 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 185476
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 12694
/proc/meminfo: memFree=30210128/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=187852 CPUtime=462.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 44798 0 0 0 46225 5 0 0 25 0 1 0 821269218 192360448 44232 33554432000 4194304 4933572 140736716640432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 46963 44232 374 181 0 43972 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 187852
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12696
/proc/meminfo: memFree=30206888/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=190096 CPUtime=522.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 45342 0 0 0 52225 5 0 0 25 0 1 0 821269218 194658304 44776 33554432000 4194304 4933572 140736716640432 18446744073709551615 4637192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 47524 44776 374 181 0 44533 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 190096
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12697
/proc/meminfo: memFree=30189140/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=207268 CPUtime=582.3 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 49653 0 0 0 58224 6 0 0 25 0 1 0 821269218 212242432 49087 33554432000 4194304 4933572 140736716640432 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 51817 49087 374 181 0 48826 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 207268
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12704
/proc/meminfo: memFree=30162360/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=225416 CPUtime=822.32 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 54533 0 0 0 82224 8 0 0 25 0 1 0 821269218 230825984 53626 33554432000 4194304 4933572 140736716640432 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 56354 53626 375 181 0 53363 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 225416
[startup+882.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/499 12705
/proc/meminfo: memFree=30156004/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=230168 CPUtime=882.31 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 55738 0 0 0 88223 8 0 0 25 0 1 0 821269218 235692032 54831 33554432000 4194304 4933572 140736716640432 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 57542 54831 375 181 0 54551 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 230168
[startup+942.301 s]
/proc/loadavg: 2.15 2.06 2.02 3/499 12707
/proc/meminfo: memFree=30155348/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=231356 CPUtime=942.31 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 56028 0 0 0 94223 8 0 0 25 0 1 0 821269218 236908544 55121 33554432000 4194304 4933572 140736716640432 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 57839 55121 375 181 0 54848 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 231356
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/499 12708
/proc/meminfo: memFree=30153104/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=232940 CPUtime=1002.31 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 56416 0 0 0 100223 8 0 0 25 0 1 0 821269218 238530560 55509 33554432000 4194304 4933572 140736716640432 18446744073709551615 4632260 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 58235 55509 375 181 0 55244 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 232940
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/499 12710
/proc/meminfo: memFree=30143656/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=235580 CPUtime=1062.31 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 57076 0 0 0 106223 8 0 0 25 0 1 0 821269218 241233920 56169 33554432000 4194304 4933572 140736716640432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 58895 56169 375 181 0 55904 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 235580
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12713
/proc/meminfo: memFree=30141884/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=236372 CPUtime=1122.32 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 57286 0 0 0 112224 8 0 0 25 0 1 0 821269218 242044928 56379 33554432000 4194304 4933572 140736716640432 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 59093 56379 375 181 0 56102 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 236372
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12714
/proc/meminfo: memFree=30139760/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=236372 CPUtime=1182.32 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 57286 0 0 0 118224 8 0 0 25 0 1 0 821269218 242044928 56379 33554432000 4194304 4933572 140736716640432 18446744073709551615 4341573 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 59093 56379 375 181 0 56102 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 236372
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12716
/proc/meminfo: memFree=30138604/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=237692 CPUtime=1242.32 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 57624 0 0 0 124224 8 0 0 25 0 1 0 821269218 243396608 56717 33554432000 4194304 4933572 140736716640432 18446744073709551615 4342521 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 59423 56717 375 181 0 56432 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 237692
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12717
/proc/meminfo: memFree=30117760/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=258300 CPUtime=1302.33 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 62618 0 0 0 130223 10 0 0 25 0 1 0 821269218 264499200 61711 33554432000 4194304 4933572 140736716640432 18446744073709551615 4361992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 64575 61711 375 181 0 61584 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 258300
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12720
/proc/meminfo: memFree=30115508/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=260676 CPUtime=1362.33 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 63213 0 0 0 136223 10 0 0 25 0 1 0 821269218 266932224 62306 33554432000 4194304 4933572 140736716640432 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 65169 62306 375 181 0 62178 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 260676
[startup+1422.32 s]
/proc/loadavg: 2.28 2.06 2.02 3/499 12722
/proc/meminfo: memFree=30114980/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=262128 CPUtime=1422.35 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 63579 0 0 0 142225 10 0 0 25 0 1 0 821269218 268419072 62672 33554432000 4194304 4933572 140736716640432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 65532 62672 375 181 0 62541 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 262128
[startup+1482.3 s]
/proc/loadavg: 2.29 2.10 2.03 3/499 12723
/proc/meminfo: memFree=30113696/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=263008 CPUtime=1482.33 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64105 0 0 0 148223 10 0 0 25 0 1 0 821269218 269320192 62892 33554432000 4194304 4933572 140736716640432 18446744073709551615 4342175 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 65752 62892 375 181 0 62761 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 263008
[startup+1542.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/499 12725
/proc/meminfo: memFree=30112504/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=263932 CPUtime=1542.33 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64332 0 0 0 154223 10 0 0 25 0 1 0 821269218 270266368 63119 33554432000 4194304 4933572 140736716640432 18446744073709551615 4341816 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 65983 63119 375 181 0 62992 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 263932
[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/499 12726
/proc/meminfo: memFree=30111368/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=264856 CPUtime=1602.33 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64553 0 0 0 160223 10 0 0 25 0 1 0 821269218 271212544 63340 33554432000 4194304 4933572 140736716640432 18446744073709551615 4341829 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 66214 63340 375 181 0 63223 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 264856
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/499 12728
/proc/meminfo: memFree=30105396/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=264856 CPUtime=1662.33 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64553 0 0 0 166223 10 0 0 25 0 1 0 821269218 271212544 63340 33554432000 4194304 4933572 140736716640432 18446744073709551615 4622130 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 66214 63340 375 181 0 63223 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 264856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/499 12730
/proc/meminfo: memFree=30102752/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=266176 CPUtime=1722.34 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64892 0 0 0 172224 10 0 0 25 0 1 0 821269218 272564224 63679 33554432000 4194304 4933572 140736716640432 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 66544 63679 375 181 0 63553 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 266176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12786
/proc/meminfo: memFree=30178336/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=266572 CPUtime=1782.34 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64967 0 0 0 178224 10 0 0 25 0 1 0 821269218 272969728 63754 33554432000 4194304 4933572 140736716640432 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 66643 63754 375 181 0 63652 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 266572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12787
/proc/meminfo: memFree=30167076/32951124 swapFree=53876548/67111528
[pid=12681] ppid=12679 vsize=266572 CPUtime=1800.04 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp) R 12679 12681 12330 0 -1 4202496 64967 0 0 0 179994 10 0 0 25 0 1 0 821269218 272969728 63754 33554432000 4194304 4933572 140736716640432 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12681/statm: 66643 63754 375 181 0 63652 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 266572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1799.96
CPU system time (s): 0.114982
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 266572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64978
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= 5
involuntary context switches= 21550
runsolver used 9.68953 second user time and 19.2351 second system time
The end