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-3468804-1307103729/watcher-3468804-1307103729 -o /tmp/evaluation-result-3468804-1307103729/solver-3468804-1307103729 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468804-1307103729.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
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.92 2.00 1.99 3/469 7139
/proc/meminfo: memFree=24194212/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=13192 CPUtime=0 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 735 0 0 0 0 0 0 0 25 0 1 0 900603413 13508608 633 33554432000 4194304 4933572 140736221639552 18446744073709551615 4373260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7139/statm: 3298 633 362 181 0 307 0
[startup+0.025766 s]
/proc/loadavg: 1.92 2.00 1.99 3/469 7139
/proc/meminfo: memFree=24194212/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=13588 CPUtime=0.02 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 851 0 0 0 2 0 0 0 25 0 1 0 900603413 13914112 749 33554432000 4194304 4933572 140736221639552 18446744073709551615 4717619 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7139/statm: 3397 749 373 181 0 406 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13588
[startup+0.100754 s]
/proc/loadavg: 1.92 2.00 1.99 3/469 7139
/proc/meminfo: memFree=24194212/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=14376 CPUtime=0.09 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 1056 0 0 0 9 0 0 0 25 0 1 0 900603413 14721024 954 33554432000 4194304 4933572 140736221639552 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7139/statm: 3594 954 375 181 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14376
[startup+0.300714 s]
/proc/loadavg: 1.92 2.00 1.99 3/469 7139
/proc/meminfo: memFree=24194212/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=15424 CPUtime=0.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 1319 0 0 0 29 0 0 0 25 0 1 0 900603413 15794176 1217 33554432000 4194304 4933572 140736221639552 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7139/statm: 3856 1217 375 181 0 865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15424
[startup+0.700643 s]
/proc/loadavg: 1.92 2.00 1.99 3/469 7139
/proc/meminfo: memFree=24194212/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=16332 CPUtime=0.69 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 1531 0 0 0 69 0 0 0 25 0 1 0 900603413 16723968 1429 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7139/statm: 4083 1429 375 181 0 1092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16332
[startup+1.50046 s]
/proc/loadavg: 1.92 2.00 1.99 3/470 7140
/proc/meminfo: memFree=24188508/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=17100 CPUtime=1.48 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 1742 0 0 0 148 0 0 0 25 0 1 0 900603413 17510400 1640 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/7139/statm: 4275 1640 375 181 0 1284 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17100
[startup+3.1002 s]
/proc/loadavg: 1.92 2.00 1.99 3/470 7140
/proc/meminfo: memFree=24186672/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=18276 CPUtime=3.07 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 2006 0 0 0 307 0 0 0 25 0 1 0 900603413 18714624 1904 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 4569 1904 375 181 0 1578 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 18276
[startup+6.3006 s]
/proc/loadavg: 1.93 2.00 1.99 3/470 7141
/proc/meminfo: memFree=24185288/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=19868 CPUtime=6.27 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 2403 0 0 0 627 0 0 0 25 0 1 0 900603413 20344832 2301 33554432000 4194304 4933572 140736221639552 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 4967 2301 375 181 0 1976 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19868
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.99 3/470 7141
/proc/meminfo: memFree=24180940/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=21168 CPUtime=12.67 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 2736 0 0 0 1267 0 0 0 25 0 1 0 900603413 21676032 2634 33554432000 4194304 4933572 140736221639552 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 5292 2634 375 181 0 2301 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21168
[startup+25.501 s]
/proc/loadavg: 1.95 2.00 1.99 3/470 7141
/proc/meminfo: memFree=24178732/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=23140 CPUtime=25.47 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 3225 0 0 0 2547 0 0 0 25 0 1 0 900603413 23695360 3123 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 5785 3123 375 181 0 2794 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23140
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 1.99 3/470 7142
/proc/meminfo: memFree=24174628/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=24736 CPUtime=51.07 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 3621 0 0 0 5107 0 0 0 25 0 1 0 900603413 25329664 3519 33554432000 4194304 4933572 140736221639552 18446744073709551615 4631987 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 6184 3519 375 181 0 3193 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24736
[startup+102.318 s]
/proc/loadavg: 1.98 2.00 1.99 3/470 7143
/proc/meminfo: memFree=24166052/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=27932 CPUtime=102.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 4521 0 0 0 10229 0 0 0 25 0 1 0 900603413 28602368 4338 33554432000 4194304 4933572 140736221639552 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 6983 4338 375 181 0 3992 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 27932
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/470 7145
/proc/meminfo: memFree=24160208/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=30584 CPUtime=162.27 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 5344 0 0 0 16227 0 0 0 25 0 1 0 900603413 31318016 5002 33554432000 4194304 4933572 140736221639552 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 7646 5002 375 181 0 4655 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 30584
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/470 7146
/proc/meminfo: memFree=24154848/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=32676 CPUtime=222.27 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 6050 0 0 0 22227 0 0 0 25 0 1 0 900603413 33460224 5514 33554432000 4194304 4933572 140736221639552 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8169 5514 375 181 0 5178 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 32676
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/470 7148
/proc/meminfo: memFree=24153328/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=32576 CPUtime=282.27 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 6169 0 0 0 28227 0 0 0 25 0 1 0 900603413 33357824 5497 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8144 5497 375 181 0 5153 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 32576
[startup+342.301 s]
/proc/loadavg: 2.12 2.03 2.00 3/470 7149
/proc/meminfo: memFree=24150832/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=33892 CPUtime=342.28 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 6874 0 0 0 34227 1 0 0 25 0 1 0 900603413 34705408 5825 33554432000 4194304 4933572 140736221639552 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8473 5825 375 181 0 5482 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 33892
[startup+402.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/470 7151
/proc/meminfo: memFree=24146344/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=34176 CPUtime=402.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 7021 0 0 0 40228 1 0 0 25 0 1 0 900603413 34996224 5901 33554432000 4194304 4933572 140736221639552 18446744073709551615 4717568 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8544 5901 375 181 0 5553 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 34176
[startup+462.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/470 7153
/proc/meminfo: memFree=24142472/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=34388 CPUtime=462.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 7302 0 0 0 46228 1 0 0 25 0 1 0 900603413 35213312 5952 33554432000 4194304 4933572 140736221639552 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8597 5952 375 181 0 5606 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 34388
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7154
/proc/meminfo: memFree=24142200/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=34784 CPUtime=522.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 7659 0 0 0 52228 1 0 0 25 0 1 0 900603413 35618816 6035 33554432000 4194304 4933572 140736221639552 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8696 6035 375 181 0 5705 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 34784
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7156
/proc/meminfo: memFree=24137960/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=35192 CPUtime=582.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 8206 0 0 0 58228 1 0 0 25 0 1 0 900603413 36036608 6131 33554432000 4194304 4933572 140736221639552 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8798 6131 375 181 0 5807 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 35192
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7162
/proc/meminfo: memFree=24136748/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=35816 CPUtime=822.3 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 10018 0 0 0 82229 1 0 0 25 0 1 0 900603413 36675584 6307 33554432000 4194304 4933572 140736221639552 18446744073709551615 4341861 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 8954 6307 375 181 0 5963 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 35816
[startup+882.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/470 7164
/proc/meminfo: memFree=24133752/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=37072 CPUtime=882.29 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 10462 0 0 0 88228 1 0 0 25 0 1 0 900603413 37961728 6601 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9268 6601 375 181 0 6277 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 37072
[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 7165
/proc/meminfo: memFree=24130864/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=37396 CPUtime=942.3 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 10829 0 0 0 94228 2 0 0 25 0 1 0 900603413 38293504 6701 33554432000 4194304 4933572 140736221639552 18446744073709551615 4318072 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9349 6701 375 181 0 6358 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 37396
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 7167
/proc/meminfo: memFree=24131204/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38432 CPUtime=1002.31 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11068 0 0 0 100229 2 0 0 25 0 1 0 900603413 39354368 6936 33554432000 4194304 4933572 140736221639552 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9608 6936 375 181 0 6617 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 38432
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7172
/proc/meminfo: memFree=24131124/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38432 CPUtime=1062.31 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11068 0 0 0 106229 2 0 0 25 0 1 0 900603413 39354368 6936 33554432000 4194304 4933572 140736221639552 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9608 6936 375 181 0 6617 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 38432
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7173
/proc/meminfo: memFree=24130872/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38432 CPUtime=1122.31 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11068 0 0 0 112229 2 0 0 25 0 1 0 900603413 39354368 6936 33554432000 4194304 4933572 140736221639552 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9608 6936 375 181 0 6617 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 38432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7175
/proc/meminfo: memFree=24125532/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=39428 CPUtime=1182.31 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11344 0 0 0 118229 2 0 0 25 0 1 0 900603413 40374272 7209 33554432000 4194304 4933572 140736221639552 18446744073709551615 4631907 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9857 7209 375 181 0 6866 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 39428
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7176
/proc/meminfo: memFree=24126020/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38432 CPUtime=1242.31 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11344 0 0 0 124229 2 0 0 25 0 1 0 900603413 39354368 6960 33554432000 4194304 4933572 140736221639552 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9608 6960 375 181 0 6617 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 38432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7178
/proc/meminfo: memFree=24124392/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38432 CPUtime=1302.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11355 0 0 0 130230 2 0 0 25 0 1 0 900603413 39354368 6961 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9608 6961 375 181 0 6617 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 38432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7180
/proc/meminfo: memFree=24122764/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38860 CPUtime=1362.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11461 0 0 0 136230 2 0 0 25 0 1 0 900603413 39792640 7067 33554432000 4194304 4933572 140736221639552 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9715 7067 375 181 0 6724 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 38860
[startup+1422.32 s]
/proc/loadavg: 2.20 2.06 2.02 3/470 7181
/proc/meminfo: memFree=24123488/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38860 CPUtime=1422.34 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11555 0 0 0 142232 2 0 0 25 0 1 0 900603413 39792640 7067 33554432000 4194304 4933572 140736221639552 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9715 7067 375 181 0 6724 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 38860
[startup+1482.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/470 7183
/proc/meminfo: memFree=24123840/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=39680 CPUtime=1482.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11860 0 0 0 148230 2 0 0 25 0 1 0 900603413 40632320 7272 33554432000 4194304 4933572 140736221639552 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9920 7272 375 181 0 6929 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 39680
[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/470 7184
/proc/meminfo: memFree=24124188/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38860 CPUtime=1542.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 11883 0 0 0 154230 2 0 0 25 0 1 0 900603413 39792640 7067 33554432000 4194304 4933572 140736221639552 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9715 7067 375 181 0 6724 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 38860
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/470 7186
/proc/meminfo: memFree=24123672/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=39024 CPUtime=1602.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 12280 0 0 0 160230 2 0 0 25 0 1 0 900603413 39960576 7108 33554432000 4194304 4933572 140736221639552 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9756 7108 375 181 0 6765 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 39024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7188
/proc/meminfo: memFree=24124520/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=38872 CPUtime=1662.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 12737 0 0 0 166230 2 0 0 25 0 1 0 900603413 39804928 7070 33554432000 4194304 4933572 140736221639552 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9718 7070 375 181 0 6727 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 38872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7189
/proc/meminfo: memFree=24123124/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=39936 CPUtime=1722.32 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 13361 0 0 0 172230 2 0 0 25 0 1 0 900603413 40894464 7336 33554432000 4194304 4933572 140736221639552 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 9984 7336 375 181 0 6993 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 39936
[startup+1782.3 s]
/proc/loadavg: 1.93 2.00 1.99 3/470 7219
/proc/meminfo: memFree=24180200/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=41072 CPUtime=1782.33 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 13746 0 0 0 178231 2 0 0 25 0 1 0 900603413 42057728 7615 33554432000 4194304 4933572 140736221639552 18446744073709551615 4340821 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 10268 7615 375 181 0 7277 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 41072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.95 2.00 1.99 4/470 7219
/proc/meminfo: memFree=24178564/32951124 swapFree=56297244/67111528
[pid=7139] ppid=7137 vsize=41072 CPUtime=1800.03 cores=1,3,5,7
/proc/7139/stat : 7139 (clasp) R 7137 7139 6224 0 -1 4202496 13746 0 0 0 180001 2 0 0 25 0 1 0 900603413 42057728 7615 33554432000 4194304 4933572 140736221639552 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7139/statm: 10268 7615 375 181 0 7277 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 41072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.03
CPU system time (s): 0.031995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 41072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13759
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= 2931
runsolver used 7.79082 second user time and 19.972 second system time
The end