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-3478954-1307444775/watcher-3478954-1307444775 -o /tmp/evaluation-result-3478954-1307444775/solver-3478954-1307444775 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478954-1307444775.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: 0.00 0.00 0.00 2/397 4230
/proc/meminfo: memFree=29855672/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=15328 CPUtime=0 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 1293 0 0 0 0 0 0 0 22 0 1 0 856077329 15695872 1136 33554432000 4194304 4933572 140735419343760 18446744073709551615 237278576395 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 3832 1136 333 181 0 841 0
[startup+0.115585 s]
/proc/loadavg: 0.00 0.00 0.00 2/397 4230
/proc/meminfo: memFree=29855672/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=27368 CPUtime=0.1 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 4906 0 0 0 10 0 0 0 22 0 1 0 856077329 28024832 4005 33554432000 4194304 4933572 140735419343760 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 6842 4005 333 181 0 3851 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27368
[startup+0.200499 s]
/proc/loadavg: 0.00 0.00 0.00 2/397 4230
/proc/meminfo: memFree=29855672/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=36848 CPUtime=0.19 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 7813 0 0 0 18 1 0 0 22 0 1 0 856077329 37732352 6384 33554432000 4194304 4933572 140735419343760 18446744073709551615 4596554 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 9212 6385 341 181 0 6221 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36848
[startup+0.300545 s]
/proc/loadavg: 0.00 0.00 0.00 2/397 4230
/proc/meminfo: memFree=29855672/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=44232 CPUtime=0.29 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 9598 0 0 0 27 2 0 0 22 0 1 0 856077329 45293568 8169 33554432000 4194304 4933572 140735419343760 18446744073709551615 4587815 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 11058 8169 343 181 0 8067 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44232
[startup+0.700472 s]
/proc/loadavg: 0.00 0.00 0.00 2/397 4230
/proc/meminfo: memFree=29855672/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=46480 CPUtime=0.69 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 10802 0 0 0 67 2 0 0 24 0 1 0 856077329 47595520 8873 33554432000 4194304 4933572 140735419343760 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 11620 8873 374 181 0 8629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46480
[startup+1.50027 s]
/proc/loadavg: 0.16 0.03 0.01 3/398 4231
/proc/meminfo: memFree=29762908/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=46480 CPUtime=1.49 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 10804 0 0 0 147 2 0 0 25 0 1 0 856077329 47595520 8875 33554432000 4194304 4933572 140735419343760 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 11620 8875 374 181 0 8629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46480
[startup+3.10105 s]
/proc/loadavg: 0.16 0.03 0.01 3/398 4231
/proc/meminfo: memFree=29701840/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=46480 CPUtime=3.09 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 10850 0 0 0 307 2 0 0 25 0 1 0 856077329 47595520 8921 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 11620 8921 374 181 0 8629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46480
[startup+6.30041 s]
/proc/loadavg: 0.16 0.03 0.01 3/396 4231
/proc/meminfo: memFree=29544120/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=47168 CPUtime=6.29 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 10977 0 0 0 627 2 0 0 25 0 1 0 856077329 48300032 9048 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648648 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 11792 9048 374 181 0 8801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47168
[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 3/401 4237
/proc/meminfo: memFree=28939980/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=48008 CPUtime=12.69 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 11181 0 0 0 1267 2 0 0 25 0 1 0 856077329 49160192 9252 33554432000 4194304 4933572 140735419343760 18446744073709551615 4328174 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 12002 9252 376 181 0 9011 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48008
[startup+25.501 s]
/proc/loadavg: 0.68 0.16 0.05 3/401 4238
/proc/meminfo: memFree=28931688/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=49460 CPUtime=25.49 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 11506 0 0 0 2547 2 0 0 25 0 1 0 856077329 50647040 9577 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648690 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 12365 9577 376 181 0 9374 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49460
[startup+51.1004 s]
/proc/loadavg: 1.13 0.31 0.10 3/401 4238
/proc/meminfo: memFree=28926724/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=52180 CPUtime=51.08 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 12126 0 0 0 5106 2 0 0 25 0 1 0 856077329 53432320 10197 33554432000 4194304 4933572 140735419343760 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4230/statm: 13045 10197 376 181 0 10054 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52180
[startup+102.3 s]
/proc/loadavg: 1.65 0.59 0.21 3/401 4240
/proc/meminfo: memFree=28891628/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=55552 CPUtime=102.24 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 12910 0 0 0 10222 2 0 0 25 0 1 0 856077329 56885248 10981 33554432000 4194304 4933572 140735419343760 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 13888 10981 376 181 0 10897 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 55552
[startup+162.301 s]
/proc/loadavg: 1.91 0.86 0.32 3/401 4241
/proc/meminfo: memFree=28887004/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=59604 CPUtime=162.24 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 13915 0 0 0 16222 2 0 0 25 0 1 0 856077329 61034496 11986 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 14901 11986 376 181 0 11910 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 59604
[startup+222.316 s]
/proc/loadavg: 2.00 1.08 0.43 3/401 4243
/proc/meminfo: memFree=28880404/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=62756 CPUtime=222.25 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 14621 0 0 0 22223 2 0 0 25 0 1 0 856077329 64262144 12692 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648676 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 15689 12692 376 181 0 12698 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 62756
[startup+282.3 s]
/proc/loadavg: 2.00 1.24 0.53 3/401 4245
/proc/meminfo: memFree=28872200/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=64568 CPUtime=282.24 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 15070 0 0 0 28221 3 0 0 25 0 1 0 856077329 66117632 13141 33554432000 4194304 4933572 140735419343760 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 16142 13141 376 181 0 13151 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 64568
[startup+342.3 s]
/proc/loadavg: 2.00 1.38 0.61 3/401 4246
/proc/meminfo: memFree=28864368/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=66860 CPUtime=342.24 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 15620 0 0 0 34221 3 0 0 25 0 1 0 856077329 68464640 13691 33554432000 4194304 4933572 140735419343760 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 16715 13691 376 181 0 13724 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 66860
[startup+402.301 s]
/proc/loadavg: 2.00 1.49 0.70 3/401 4248
/proc/meminfo: memFree=28859496/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=68172 CPUtime=402.24 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 15942 0 0 0 40221 3 0 0 25 0 1 0 856077329 69808128 14013 33554432000 4194304 4933572 140735419343760 18446744073709551615 4664006 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 17043 14013 376 181 0 14052 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 68172
[startup+462.301 s]
/proc/loadavg: 2.00 1.58 0.78 3/401 4249
/proc/meminfo: memFree=28853764/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=69892 CPUtime=462.25 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 16297 0 0 0 46221 4 0 0 25 0 1 0 856077329 71569408 14368 33554432000 4194304 4933572 140735419343760 18446744073709551615 237278577282 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 17473 14368 376 181 0 14482 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 69892
[startup+522.3 s]
/proc/loadavg: 2.00 1.65 0.85 3/401 4251
/proc/meminfo: memFree=28848416/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=73040 CPUtime=522.25 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 17076 0 0 0 52221 4 0 0 25 0 1 0 856077329 74792960 15147 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 18260 15147 376 181 0 15269 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 73040
[startup+582.301 s]
/proc/loadavg: 2.00 1.71 0.92 3/401 4253
/proc/meminfo: memFree=28838448/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=78272 CPUtime=582.25 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 18382 0 0 0 58221 4 0 0 25 0 1 0 856077329 80150528 16453 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 19568 16453 376 181 0 16577 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 78272
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 1.89 1.16 4/401 4259
/proc/meminfo: memFree=28807972/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=80536 CPUtime=822.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 18978 0 0 0 82222 4 0 0 25 0 1 0 856077329 82468864 17049 33554432000 4194304 4933572 140735419343760 18446744073709551615 4718405 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 20134 17049 376 181 0 17143 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 80536
[startup+882.315 s]
/proc/loadavg: 2.01 1.90 1.21 3/401 4261
/proc/meminfo: memFree=28806216/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=80536 CPUtime=882.27 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 18978 0 0 0 88223 4 0 0 25 0 1 0 856077329 82468864 17049 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 20134 17049 376 181 0 17143 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 80536
[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.26 3/401 4262
/proc/meminfo: memFree=28800988/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=81092 CPUtime=942.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 19088 0 0 0 94222 4 0 0 25 0 1 0 856077329 83038208 17159 33554432000 4194304 4933572 140735419343760 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 20273 17159 376 181 0 17282 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 81092
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.30 3/401 4264
/proc/meminfo: memFree=28795024/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=83688 CPUtime=1002.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 19679 0 0 0 100222 4 0 0 25 0 1 0 856077329 85696512 17750 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 20922 17750 376 181 0 17931 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 83688
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.34 3/401 4265
/proc/meminfo: memFree=28792532/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=85620 CPUtime=1062.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 20142 0 0 0 106222 4 0 0 25 0 1 0 856077329 87674880 18213 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648635 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 21405 18213 376 181 0 18414 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 85620
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/401 4267
/proc/meminfo: memFree=28784928/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=86660 CPUtime=1122.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 20396 0 0 0 112222 4 0 0 25 0 1 0 856077329 88739840 18467 33554432000 4194304 4933572 140735419343760 18446744073709551615 4368953 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 21665 18467 376 181 0 18674 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 86660
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.42 3/401 4269
/proc/meminfo: memFree=28782288/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=86976 CPUtime=1182.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 20489 0 0 0 118222 4 0 0 25 0 1 0 856077329 89063424 18560 33554432000 4194304 4933572 140735419343760 18446744073709551615 4711299 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 21744 18560 376 181 0 18753 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 86976
[startup+1242.3 s]
/proc/loadavg: 2.08 1.98 1.46 3/401 4270
/proc/meminfo: memFree=28778540/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=88556 CPUtime=1242.26 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 20874 0 0 0 124222 4 0 0 25 0 1 0 856077329 90681344 18945 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 22139 18945 376 181 0 19148 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 88556
[startup+1302.3 s]
/proc/loadavg: 2.10 1.99 1.49 3/401 4272
/proc/meminfo: memFree=28777276/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=88796 CPUtime=1302.27 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 20933 0 0 0 130223 4 0 0 25 0 1 0 856077329 90927104 19004 33554432000 4194304 4933572 140735419343760 18446744073709551615 4713216 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 22199 19004 376 181 0 19208 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 88796
[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.52 3/401 4273
/proc/meminfo: memFree=28775988/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=89864 CPUtime=1362.27 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 21192 0 0 0 136223 4 0 0 25 0 1 0 856077329 92020736 19263 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 22466 19263 376 181 0 19475 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 89864
[startup+1422.3 s]
/proc/loadavg: 2.01 1.99 1.55 3/401 4275
/proc/meminfo: memFree=28774228/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=91612 CPUtime=1422.27 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 21604 0 0 0 142223 4 0 0 25 0 1 0 856077329 93810688 19675 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 22903 19675 376 181 0 19912 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 91612
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/401 4277
/proc/meminfo: memFree=28773092/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=92288 CPUtime=1482.27 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 21750 0 0 0 148223 4 0 0 25 0 1 0 856077329 94502912 19821 33554432000 4194304 4933572 140735419343760 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 23072 19821 376 181 0 20081 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 92288
[startup+1542.32 s]
/proc/loadavg: 2.00 1.99 1.60 3/401 4278
/proc/meminfo: memFree=28771336/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=92540 CPUtime=1542.28 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 21818 0 0 0 154224 4 0 0 25 0 1 0 856077329 94760960 19889 33554432000 4194304 4933572 140735419343760 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 23135 19889 376 181 0 20144 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 92540
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/401 4280
/proc/meminfo: memFree=28770196/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=93364 CPUtime=1602.27 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 22008 0 0 0 160223 4 0 0 25 0 1 0 856077329 95604736 20079 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648709 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 23341 20079 376 181 0 20350 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 93364
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/401 4281
/proc/meminfo: memFree=28768564/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=94624 CPUtime=1662.28 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 22300 0 0 0 166223 5 0 0 25 0 1 0 856077329 96894976 20371 33554432000 4194304 4933572 140735419343760 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 23656 20371 376 181 0 20665 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 94624
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/401 4283
/proc/meminfo: memFree=28767064/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=95328 CPUtime=1722.28 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 22473 0 0 0 172223 5 0 0 25 0 1 0 856077329 97615872 20544 33554432000 4194304 4933572 140735419343760 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 23832 20544 376 181 0 20841 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 95328
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/401 4285
/proc/meminfo: memFree=28765292/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=96068 CPUtime=1782.29 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 22640 0 0 0 178224 5 0 0 25 0 1 0 856077329 98373632 20711 33554432000 4194304 4933572 140735419343760 18446744073709551615 4718645 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 24017 20711 376 181 0 21026 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 96068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 1.99 1.68 4/401 4285
/proc/meminfo: memFree=28765652/32950904 swapFree=56615552/67111528
[pid=4230] ppid=4228 vsize=96068 CPUtime=1800.09 cores=1,3,5,7
/proc/4230/stat : 4230 (clasp) R 4228 4230 4198 0 -1 4202496 22656 0 0 0 180004 5 0 0 25 0 1 0 856077329 98373632 20727 33554432000 4194304 4933572 140735419343760 18446744073709551615 4711290 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4230/statm: 24017 20727 376 181 0 21026 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 96068
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.12
CPU time (s): 1800.11
CPU user time (s): 1800.06
CPU system time (s): 0.053991
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 96068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22670
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= 8
involuntary context switches= 4304
runsolver used 6.43202 second user time and 16.5045 second system time
The end