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-3491853-1307771518/watcher-3491853-1307771518 -o /tmp/evaluation-result-3491853-1307771518/solver-3491853-1307771518 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491853-1307771518.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: 1.98 1.98 1.95 2/177 21850
/proc/meminfo: memFree=31929188/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=3676 CPUtime=0 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 658 0 0 0 0 0 0 0 25 0 1 0 888752241 3764224 566 33554432000 4194304 6245536 140736374010272 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 919 566 201 501 0 415 0
[startup+0.075686 s]
/proc/loadavg: 1.98 1.98 1.95 2/177 21850
/proc/meminfo: memFree=31929188/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=3940 CPUtime=0.07 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 751 0 0 0 7 0 0 0 25 0 1 0 888752241 4034560 659 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304763 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 985 659 229 501 0 481 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3940
[startup+0.100683 s]
/proc/loadavg: 1.98 1.98 1.95 2/177 21850
/proc/meminfo: memFree=31929188/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=4072 CPUtime=0.1 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 772 0 0 0 10 0 0 0 25 0 1 0 888752241 4169728 680 33554432000 4194304 6245536 140736374010272 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 1018 680 229 501 0 514 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4072
[startup+0.300657 s]
/proc/loadavg: 1.98 1.98 1.95 2/177 21850
/proc/meminfo: memFree=31929188/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=4468 CPUtime=0.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 882 0 0 0 30 0 0 0 25 0 1 0 888752241 4575232 790 33554432000 4194304 6245536 140736374010272 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 1117 790 229 501 0 613 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4468
[startup+0.700574 s]
/proc/loadavg: 1.98 1.98 1.95 2/177 21850
/proc/meminfo: memFree=31929188/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=4864 CPUtime=0.7 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 990 0 0 0 70 0 0 0 25 0 1 0 888752241 4980736 898 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 1216 898 229 501 0 712 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 4864
[startup+1.50043 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 21851
/proc/meminfo: memFree=31926384/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=5532 CPUtime=1.49 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 1143 0 0 0 149 0 0 0 25 0 1 0 888752241 5664768 1051 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 1383 1051 229 501 0 879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5532
[startup+3.10013 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 21851
/proc/meminfo: memFree=31925392/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=6224 CPUtime=3.09 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 1327 0 0 0 309 0 0 0 25 0 1 0 888752241 6373376 1235 33554432000 4194304 6245536 140736374010272 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 1556 1235 229 501 0 1052 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6224
[startup+6.30055 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 21851
/proc/meminfo: memFree=31924120/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=7172 CPUtime=6.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 1541 0 0 0 630 0 0 0 25 0 1 0 888752241 7344128 1449 33554432000 4194304 6245536 140736374010272 18446744073709551615 4323469 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 1793 1449 229 501 0 1289 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 7172
[startup+12.7004 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 21851
/proc/meminfo: memFree=31922404/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=8232 CPUtime=12.7 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 1817 0 0 0 1270 0 0 0 25 0 1 0 888752241 8429568 1725 33554432000 4194304 6245536 140736374010272 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 2058 1725 229 501 0 1554 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 8232
[startup+25.501 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21851
/proc/meminfo: memFree=31920904/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=9536 CPUtime=25.5 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 2118 0 0 0 2550 0 0 0 25 0 1 0 888752241 9764864 2026 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 2384 2026 229 501 0 1880 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 9536
[startup+51.1004 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21852
/proc/meminfo: memFree=31915916/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=10940 CPUtime=51.1 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 2462 0 0 0 5110 0 0 0 25 0 1 0 888752241 11202560 2370 33554432000 4194304 6245536 140736374010272 18446744073709551615 5364224 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 2735 2370 229 501 0 2231 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 10940
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21854
/proc/meminfo: memFree=31908948/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=13512 CPUtime=102.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 3065 0 0 0 10230 0 0 0 25 0 1 0 888752241 13836288 2973 33554432000 4194304 6245536 140736374010272 18446744073709551615 4326442 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 3378 2973 229 501 0 2874 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 13512
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21855
/proc/meminfo: memFree=31904068/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=15276 CPUtime=162.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 3460 0 0 0 16230 0 0 0 25 0 1 0 888752241 15642624 3368 33554432000 4194304 6245536 140736374010272 18446744073709551615 4408701 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 3819 3368 229 501 0 3315 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 15276
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21857
/proc/meminfo: memFree=31902176/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=16100 CPUtime=222.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 3665 0 0 0 22230 0 0 0 25 0 1 0 888752241 16486400 3573 33554432000 4194304 6245536 140736374010272 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4025 3573 229 501 0 3521 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16100
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21858
/proc/meminfo: memFree=31896680/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=16820 CPUtime=282.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 3825 0 0 0 28230 0 0 0 25 0 1 0 888752241 17223680 3733 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304862 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4205 3733 229 501 0 3701 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16820
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21860
/proc/meminfo: memFree=31894160/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=17276 CPUtime=342.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 3933 0 0 0 34230 0 0 0 25 0 1 0 888752241 17690624 3841 33554432000 4194304 6245536 140736374010272 18446744073709551615 4361712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4319 3841 229 501 0 3815 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 17276
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21861
/proc/meminfo: memFree=31892868/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=17924 CPUtime=402.3 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4087 0 0 0 40230 0 0 0 25 0 1 0 888752241 18354176 3995 33554432000 4194304 6245536 140736374010272 18446744073709551615 4637562 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4481 3995 229 501 0 3977 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 17924
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21863
/proc/meminfo: memFree=31888616/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=18260 CPUtime=462.31 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4148 0 0 0 46231 0 0 0 25 0 1 0 888752241 18698240 4056 33554432000 4194304 6245536 140736374010272 18446744073709551615 5419324 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4565 4056 229 501 0 4061 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 18260
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21865
/proc/meminfo: memFree=31885232/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=18580 CPUtime=522.31 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4218 0 0 0 52231 0 0 0 25 0 1 0 888752241 19025920 4126 33554432000 4194304 6245536 140736374010272 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4645 4126 229 501 0 4141 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 18580
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21875
/proc/meminfo: memFree=31884520/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=18748 CPUtime=582.31 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4279 0 0 0 58231 0 0 0 25 0 1 0 888752241 19197952 4187 33554432000 4194304 6245536 140736374010272 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21850/statm: 4687 4187 229 501 0 4183 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 18748
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21885
/proc/meminfo: memFree=31879400/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=19780 CPUtime=822.31 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4517 0 0 0 82231 0 0 0 25 0 1 0 888752241 20254720 4424 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 4945 4424 229 501 0 4441 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 19780
[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21886
/proc/meminfo: memFree=31878856/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=19948 CPUtime=882.32 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4567 0 0 0 88232 0 0 0 25 0 1 0 888752241 20426752 4474 33554432000 4194304 6245536 140736374010272 18446744073709551615 4637731 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 4987 4474 229 501 0 4483 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 19948
[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21888
/proc/meminfo: memFree=31875712/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20116 CPUtime=942.32 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4602 0 0 0 94232 0 0 0 25 0 1 0 888752241 20598784 4509 33554432000 4194304 6245536 140736374010272 18446744073709551615 4344782 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5029 4509 229 501 0 4525 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20116
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21890
/proc/meminfo: memFree=31874044/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20284 CPUtime=1002.32 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4626 0 0 0 100232 0 0 0 25 0 1 0 888752241 20770816 4533 33554432000 4194304 6245536 140736374010272 18446744073709551615 4635055 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5071 4533 229 501 0 4567 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20284
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21891
/proc/meminfo: memFree=31871284/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20284 CPUtime=1062.32 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4642 0 0 0 106232 0 0 0 25 0 1 0 888752241 20770816 4549 33554432000 4194304 6245536 140736374010272 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5071 4549 229 501 0 4567 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20284
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21893
/proc/meminfo: memFree=31870624/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20452 CPUtime=1122.32 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4654 0 0 0 112232 0 0 0 25 0 1 0 888752241 20942848 4561 33554432000 4194304 6245536 140736374010272 18446744073709551615 4361755 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5113 4561 229 501 0 4609 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20452
[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.96 3/178 21894
/proc/meminfo: memFree=31870220/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20452 CPUtime=1182.33 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4687 0 0 0 118233 0 0 0 25 0 1 0 888752241 20942848 4594 33554432000 4194304 6245536 140736374010272 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5113 4594 229 501 0 4609 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 20452
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 21896
/proc/meminfo: memFree=31869804/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20620 CPUtime=1242.33 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4716 0 0 0 124233 0 0 0 25 0 1 0 888752241 21114880 4623 33554432000 4194304 6245536 140736374010272 18446744073709551615 4629049 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5155 4623 229 501 0 4651 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 20620
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21898
/proc/meminfo: memFree=31868656/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20788 CPUtime=1302.33 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4743 0 0 0 130233 0 0 0 25 0 1 0 888752241 21286912 4650 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304921 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5197 4650 229 501 0 4693 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20788
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21899
/proc/meminfo: memFree=31866132/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=20960 CPUtime=1362.33 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4797 0 0 0 136233 0 0 0 25 0 1 0 888752241 21463040 4704 33554432000 4194304 6245536 140736374010272 18446744073709551615 4635128 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5240 4704 229 501 0 4736 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21901
/proc/meminfo: memFree=31865088/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21072 CPUtime=1422.34 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4822 0 0 0 142234 0 0 0 25 0 1 0 888752241 21577728 4729 33554432000 4194304 6245536 140736374010272 18446744073709551615 4304878 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5268 4729 229 501 0 4764 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 21072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21902
/proc/meminfo: memFree=31865028/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21072 CPUtime=1482.33 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4829 0 0 0 148233 0 0 0 25 0 1 0 888752241 21577728 4736 33554432000 4194304 6245536 140736374010272 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5268 4736 229 501 0 4764 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 21072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21904
/proc/meminfo: memFree=31864268/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21240 CPUtime=1542.33 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4857 0 0 0 154233 0 0 0 25 0 1 0 888752241 21749760 4764 33554432000 4194304 6245536 140736374010272 18446744073709551615 4409865 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5310 4764 229 501 0 4806 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 21240
[startup+1602.3 s]
/proc/loadavg: 1.95 1.98 1.95 3/178 21944
/proc/meminfo: memFree=31972048/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21408 CPUtime=1602.34 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4887 0 0 0 160234 0 0 0 25 0 1 0 888752241 21921792 4794 33554432000 4194304 6245536 140736374010272 18446744073709551615 4633925 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5352 4794 229 501 0 4848 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 21408
[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 21946
/proc/meminfo: memFree=31970100/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21408 CPUtime=1662.34 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4887 0 0 0 166234 0 0 0 25 0 1 0 888752241 21921792 4794 33554432000 4194304 6245536 140736374010272 18446744073709551615 4629091 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5352 4794 229 501 0 4848 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 21408
[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 1.96 3/178 21948
/proc/meminfo: memFree=31970068/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21408 CPUtime=1722.34 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4887 0 0 0 172234 0 0 0 25 0 1 0 888752241 21921792 4794 33554432000 4194304 6245536 140736374010272 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5352 4794 229 501 0 4848 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 21408
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 21949
/proc/meminfo: memFree=31969520/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21576 CPUtime=1782.34 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4942 0 0 0 178234 0 0 0 25 0 1 0 888752241 22093824 4849 33554432000 4194304 6245536 140736374010272 18446744073709551615 4637747 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5394 4849 229 501 0 4890 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 21576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 21950
/proc/meminfo: memFree=31969500/32951124 swapFree=67052968/67111528
[pid=21850] ppid=21848 vsize=21576 CPUtime=1800.05 cores=1,3,5,7
/proc/21850/stat : 21850 (clasp) R 21848 21850 16623 0 -1 4202496 4945 0 0 0 180005 0 0 0 25 0 1 0 888752241 22093824 4852 33554432000 4194304 6245536 140736374010272 18446744073709551615 5368699 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21850/statm: 5394 4852 229 501 0 4890 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 21576
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.06
CPU user time (s): 1800.05
CPU system time (s): 0.005999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4956
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= 4
involuntary context switches= 13797
runsolver used 2.36664 second user time and 5.82511 second system time
The end