runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491974-1307780956/watcher-3491974-1307780956 -o /tmp/evaluation-result-3491974-1307780956/solver-3491974-1307780956 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491974-1307780956.opb --solu --heu=VSIDS
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: 2.04 2.01 1.96 4/176 10288
/proc/meminfo: memFree=31725792/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 505 0 0 0 0 0 0 0 25 0 1 0 889695247 3174400 436 33554432000 4194304 6245536 140736674305728 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 775 437 201 501 0 271 0
[startup+0.0906671 s]
/proc/loadavg: 2.04 2.01 1.96 4/176 10288
/proc/meminfo: memFree=31725792/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=3364 CPUtime=0.08 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 581 0 0 0 8 0 0 0 25 0 1 0 889695247 3444736 512 33554432000 4194304 6245536 140736674305728 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 841 512 228 501 0 337 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3364
[startup+0.100664 s]
/proc/loadavg: 2.04 2.01 1.96 4/176 10288
/proc/meminfo: memFree=31725792/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=3364 CPUtime=0.09 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 581 0 0 0 9 0 0 0 25 0 1 0 889695247 3444736 512 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 841 512 228 501 0 337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3364
[startup+0.30063 s]
/proc/loadavg: 2.04 2.01 1.96 4/176 10288
/proc/meminfo: memFree=31725792/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=3760 CPUtime=0.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 679 0 0 0 29 0 0 0 25 0 1 0 889695247 3850240 610 33554432000 4194304 6245536 140736674305728 18446744073709551615 4361737 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 940 610 229 501 0 436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3760
[startup+0.700559 s]
/proc/loadavg: 2.04 2.01 1.96 4/176 10288
/proc/meminfo: memFree=31725792/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=4288 CPUtime=0.69 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 810 0 0 0 69 0 0 0 25 0 1 0 889695247 4390912 741 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 1072 741 229 501 0 568 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4288
[startup+1.50042 s]
/proc/loadavg: 2.04 2.01 1.96 4/178 10290
/proc/meminfo: memFree=31720368/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=4808 CPUtime=1.49 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 945 0 0 0 149 0 0 0 25 0 1 0 889695247 4923392 876 33554432000 4194304 6245536 140736674305728 18446744073709551615 4701823 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 1202 876 229 501 0 698 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4808
[startup+3.1002 s]
/proc/loadavg: 2.03 2.01 1.96 4/178 10290
/proc/meminfo: memFree=31718864/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=4940 CPUtime=3.09 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 986 0 0 0 309 0 0 0 25 0 1 0 889695247 5058560 917 33554432000 4194304 6245536 140736674305728 18446744073709551615 4701917 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 1235 917 229 501 0 731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4940
[startup+6.30057 s]
/proc/loadavg: 2.03 2.01 1.96 4/178 10290
/proc/meminfo: memFree=31716900/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=5960 CPUtime=6.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 1225 0 0 0 629 0 0 0 25 0 1 0 889695247 6103040 1156 33554432000 4194304 6245536 140736674305728 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 1490 1156 229 501 0 986 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5960
[startup+12.7005 s]
/proc/loadavg: 2.03 2.01 1.96 4/178 10291
/proc/meminfo: memFree=31714380/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=6760 CPUtime=12.69 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 1427 0 0 0 1269 0 0 0 25 0 1 0 889695247 6922240 1358 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 1690 1358 229 501 0 1186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6760
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.96 4/178 10291
/proc/meminfo: memFree=31710656/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=7660 CPUtime=25.49 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 1658 0 0 0 2549 0 0 0 25 0 1 0 889695247 7843840 1589 33554432000 4194304 6245536 140736674305728 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 1915 1589 229 501 0 1411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7660
[startup+51.1007 s]
/proc/loadavg: 2.01 2.01 1.96 4/178 10292
/proc/meminfo: memFree=31707900/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=9232 CPUtime=51.09 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 2080 0 0 0 5109 0 0 0 25 0 1 0 889695247 9453568 1992 33554432000 4194304 6245536 140736674305728 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 2308 1992 229 501 0 1804 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9232
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10293
/proc/meminfo: memFree=31702916/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=11272 CPUtime=102.3 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 2613 0 0 0 10230 0 0 0 25 0 1 0 889695247 11542528 2489 33554432000 4194304 6245536 140736674305728 18446744073709551615 4344769 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 2818 2489 229 501 0 2314 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11272
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10295
/proc/meminfo: memFree=31699768/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=12260 CPUtime=162.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 2901 0 0 0 16229 0 0 0 25 0 1 0 889695247 12554240 2696 33554432000 4194304 6245536 140736674305728 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3065 2696 229 501 0 2561 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 12260
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10296
/proc/meminfo: memFree=31697980/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=12732 CPUtime=222.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3026 0 0 0 22229 0 0 0 25 0 1 0 889695247 13037568 2821 33554432000 4194304 6245536 140736674305728 18446744073709551615 4628277 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3183 2821 229 501 0 2679 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 12732
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10298
/proc/meminfo: memFree=31697072/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=12880 CPUtime=282.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3050 0 0 0 28229 0 0 0 25 0 1 0 889695247 13189120 2845 33554432000 4194304 6245536 140736674305728 18446744073709551615 4646412 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3220 2845 229 501 0 2716 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 12880
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10299
/proc/meminfo: memFree=31695924/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=13032 CPUtime=342.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3085 0 0 0 34229 0 0 0 25 0 1 0 889695247 13344768 2880 33554432000 4194304 6245536 140736674305728 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3258 2880 229 501 0 2754 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 13032
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10301
/proc/meminfo: memFree=31694884/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=13632 CPUtime=402.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3232 0 0 0 40229 0 0 0 25 0 1 0 889695247 13959168 3027 33554432000 4194304 6245536 140736674305728 18446744073709551615 4316770 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3408 3027 229 501 0 2904 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 13632
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10303
/proc/meminfo: memFree=31694208/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=13780 CPUtime=462.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3266 0 0 0 46229 0 0 0 25 0 1 0 889695247 14110720 3061 33554432000 4194304 6245536 140736674305728 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3445 3061 229 501 0 2941 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 13780
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10304
/proc/meminfo: memFree=31693412/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=14080 CPUtime=522.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3328 0 0 0 52229 0 0 0 25 0 1 0 889695247 14417920 3123 33554432000 4194304 6245536 140736674305728 18446744073709551615 4628241 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3520 3123 229 501 0 3016 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 14080
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10306
/proc/meminfo: memFree=31693120/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=14380 CPUtime=582.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3378 0 0 0 58229 0 0 0 25 0 1 0 889695247 14725120 3173 33554432000 4194304 6245536 140736674305728 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3595 3173 229 501 0 3091 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 14380
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 10312
/proc/meminfo: memFree=31690700/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=14980 CPUtime=822.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3637 0 0 0 82229 0 0 0 25 0 1 0 889695247 15339520 3362 33554432000 4194304 6245536 140736674305728 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3745 3362 229 501 0 3241 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 14980
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 1.97 4/178 10314
/proc/meminfo: memFree=31690532/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15016 CPUtime=882.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3652 0 0 0 88229 0 0 0 25 0 1 0 889695247 15376384 3373 33554432000 4194304 6245536 140736674305728 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3754 3373 229 501 0 3250 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 15016
[startup+942.301 s]
/proc/loadavg: 2.01 2.01 1.97 4/178 10315
/proc/meminfo: memFree=31690252/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15100 CPUtime=942.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3686 0 0 0 94229 0 0 0 25 0 1 0 889695247 15462400 3396 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3775 3396 229 501 0 3271 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 15100
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10317
/proc/meminfo: memFree=31689948/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15100 CPUtime=1002.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3809 0 0 0 100229 0 0 0 25 0 1 0 889695247 15462400 3397 33554432000 4194304 6245536 140736674305728 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3775 3397 229 501 0 3271 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 15100
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10319
/proc/meminfo: memFree=31690024/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15136 CPUtime=1062.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3812 0 0 0 106229 0 0 0 25 0 1 0 889695247 15499264 3400 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3784 3400 229 501 0 3280 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 15136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10320
/proc/meminfo: memFree=31689724/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15136 CPUtime=1122.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3845 0 0 0 112229 0 0 0 25 0 1 0 889695247 15499264 3407 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3784 3407 229 501 0 3280 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 15136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10322
/proc/meminfo: memFree=31689312/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15348 CPUtime=1182.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3917 0 0 0 118229 0 0 0 25 0 1 0 889695247 15716352 3456 33554432000 4194304 6245536 140736674305728 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3837 3456 229 501 0 3333 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 15348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10323
/proc/meminfo: memFree=31688648/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15384 CPUtime=1242.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3929 0 0 0 124229 0 0 0 25 0 1 0 889695247 15753216 3468 33554432000 4194304 6245536 140736674305728 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/10288/statm: 3846 3468 229 501 0 3342 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 15384
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10325
/proc/meminfo: memFree=31688468/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15384 CPUtime=1302.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3930 0 0 0 130229 0 0 0 25 0 1 0 889695247 15753216 3469 33554432000 4194304 6245536 140736674305728 18446744073709551615 4316770 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3846 3469 229 501 0 3342 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 15384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 10327
/proc/meminfo: memFree=31688292/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15536 CPUtime=1362.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3946 0 0 0 136229 0 0 0 25 0 1 0 889695247 15908864 3485 33554432000 4194304 6245536 140736674305728 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3884 3485 229 501 0 3380 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 15536
[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 1.98 4/178 10328
/proc/meminfo: memFree=31688236/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15536 CPUtime=1422.3 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3947 0 0 0 142230 0 0 0 25 0 1 0 889695247 15908864 3486 33554432000 4194304 6245536 140736674305728 18446744073709551615 4344648 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3884 3486 229 501 0 3380 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 15536
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.98 4/178 10330
/proc/meminfo: memFree=31688056/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15684 CPUtime=1482.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3970 0 0 0 148229 0 0 0 25 0 1 0 889695247 16060416 3509 33554432000 4194304 6245536 140736674305728 18446744073709551615 4608198 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3921 3509 229 501 0 3417 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 15684
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.98 4/178 10331
/proc/meminfo: memFree=31687900/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15684 CPUtime=1542.29 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3979 0 0 0 154229 0 0 0 25 0 1 0 889695247 16060416 3518 33554432000 4194304 6245536 140736674305728 18446744073709551615 4344694 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3921 3518 229 501 0 3417 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 15684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/178 10333
/proc/meminfo: memFree=31687980/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15684 CPUtime=1602.3 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3987 0 0 0 160230 0 0 0 25 0 1 0 889695247 16060416 3526 33554432000 4194304 6245536 140736674305728 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3921 3526 229 501 0 3417 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 15684
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 4/178 10335
/proc/meminfo: memFree=31687556/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15684 CPUtime=1662.3 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 3997 0 0 0 166230 0 0 0 25 0 1 0 889695247 16060416 3536 33554432000 4194304 6245536 140736674305728 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3921 3536 229 501 0 3417 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 15684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 10336
/proc/meminfo: memFree=31687504/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15984 CPUtime=1722.3 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 4051 0 0 0 172230 0 0 0 25 0 1 0 889695247 16367616 3590 33554432000 4194304 6245536 140736674305728 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3996 3590 229 501 0 3492 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 15984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 10338
/proc/meminfo: memFree=31686956/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15984 CPUtime=1782.3 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 4067 0 0 0 178230 0 0 0 25 0 1 0 889695247 16367616 3606 33554432000 4194304 6245536 140736674305728 18446744073709551615 4628289 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3996 3606 229 501 0 3492 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 15984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 10338
/proc/meminfo: memFree=31686816/32950928 swapFree=67079488/67111528
[pid=10288] ppid=10286 vsize=15984 CPUtime=1800.01 cores=1,3,5,7
/proc/10288/stat : 10288 (clasp) R 10286 10288 7911 0 -1 4202496 4068 0 0 0 180001 0 0 0 25 0 1 0 889695247 16367616 3607 33554432000 4194304 6245536 140736674305728 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10288/statm: 3996 3607 229 501 0 3492 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15984
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.01
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.004999
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 15984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4080
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= 3
involuntary context switches= 4134
runsolver used 2.40363 second user time and 5.78012 second system time
The end