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-3491962-1307780185/watcher-3491962-1307780185 -o /tmp/evaluation-result-3491962-1307780185/solver-3491962-1307780185 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491962-1307780185.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.00 2.00 1.93 2/177 21107
/proc/meminfo: memFree=31906992/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=4584 CPUtime=0 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 858 0 0 0 0 0 0 0 25 0 1 0 889617232 4694016 761 33554432000 4194304 6245536 140735289302416 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1146 761 179 501 0 642 0
[startup+0.036263 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 21107
/proc/meminfo: memFree=31906992/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=5796 CPUtime=0.03 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 1433 0 0 0 3 0 0 0 25 0 1 0 889617232 5935104 1134 33554432000 4194304 6245536 140735289302416 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1449 1134 221 501 0 945 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5796
[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 21107
/proc/meminfo: memFree=31906992/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=6192 CPUtime=0.09 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 1507 0 0 0 9 0 0 0 25 0 1 0 889617232 6340608 1208 33554432000 4194304 6245536 140735289302416 18446744073709551615 4344192 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1548 1208 227 501 0 1044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6192
[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 21107
/proc/meminfo: memFree=31906992/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=6456 CPUtime=0.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 1603 0 0 0 29 0 0 0 25 0 1 0 889617232 6610944 1304 33554432000 4194304 6245536 140735289302416 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1614 1304 227 501 0 1110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6456
[startup+0.700146 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 21107
/proc/meminfo: memFree=31906992/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=6588 CPUtime=0.69 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 1631 0 0 0 69 0 0 0 25 0 1 0 889617232 6746112 1332 33554432000 4194304 6245536 140735289302416 18446744073709551615 4701840 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1647 1332 228 501 0 1143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6588
[startup+1.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21108
/proc/meminfo: memFree=31901316/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=6720 CPUtime=1.49 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 1670 0 0 0 149 0 0 0 25 0 1 0 889617232 6881280 1371 33554432000 4194304 6245536 140735289302416 18446744073709551615 4628040 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1680 1371 229 501 0 1176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6720
[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21108
/proc/meminfo: memFree=31900572/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=6984 CPUtime=3.09 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 1721 0 0 0 309 0 0 0 25 0 1 0 889617232 7151616 1422 33554432000 4194304 6245536 140735289302416 18446744073709551615 4316445 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 1746 1422 229 501 0 1242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6984
[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21109
/proc/meminfo: memFree=31897936/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=8172 CPUtime=6.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 2029 0 0 0 629 0 0 0 25 0 1 0 889617232 8368128 1730 33554432000 4194304 6245536 140735289302416 18446744073709551615 4637734 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 2043 1730 229 501 0 1539 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8172
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21109
/proc/meminfo: memFree=31894128/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=12672 CPUtime=12.69 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 3131 0 0 0 1269 0 0 0 25 0 1 0 889617232 12976128 2832 33554432000 4194304 6245536 140735289302416 18446744073709551615 4344698 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 3168 2832 229 501 0 2664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12672
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21109
/proc/meminfo: memFree=31887180/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=14256 CPUtime=25.49 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 3754 0 0 0 2549 0 0 0 25 0 1 0 889617232 14598144 3251 33554432000 4194304 6245536 140735289302416 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 3564 3251 229 501 0 3060 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14256
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21110
/proc/meminfo: memFree=31879092/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=20840 CPUtime=51.09 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 5352 0 0 0 5109 0 0 0 25 0 1 0 889617232 21340160 4849 33554432000 4194304 6245536 140735289302416 18446744073709551615 4344624 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 5210 4849 229 501 0 4706 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20840
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21111
/proc/meminfo: memFree=31869156/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=29500 CPUtime=102.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 7535 0 0 0 10229 0 0 0 25 0 1 0 889617232 30208000 7032 33554432000 4194304 6245536 140735289302416 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 7375 7032 229 501 0 6871 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29500
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21113
/proc/meminfo: memFree=31865648/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=31556 CPUtime=162.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 8049 0 0 0 16229 0 0 0 25 0 1 0 889617232 32313344 7546 33554432000 4194304 6245536 140735289302416 18446744073709551615 4628300 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 7889 7546 229 501 0 7385 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31556
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21114
/proc/meminfo: memFree=31860892/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=33932 CPUtime=222.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 8631 0 0 0 22229 0 0 0 25 0 1 0 889617232 34746368 8128 33554432000 4194304 6245536 140735289302416 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21107/statm: 8483 8128 229 501 0 7979 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 33932
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21116
/proc/meminfo: memFree=31856532/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=37868 CPUtime=282.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 9617 0 0 0 28228 1 0 0 25 0 1 0 889617232 38776832 9114 33554432000 4194304 6245536 140735289302416 18446744073709551615 4702464 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 9467 9114 229 501 0 8963 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 37868
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21118
/proc/meminfo: memFree=31850556/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=43404 CPUtime=342.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 11097 0 0 0 34228 1 0 0 25 0 1 0 889617232 44445696 10504 33554432000 4194304 6245536 140735289302416 18446744073709551615 4646520 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 10851 10504 229 501 0 10347 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 43404
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21119
/proc/meminfo: memFree=31850156/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=43404 CPUtime=402.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 11097 0 0 0 40228 1 0 0 25 0 1 0 889617232 44445696 10504 33554432000 4194304 6245536 140735289302416 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 10851 10504 229 501 0 10347 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 43404
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21121
/proc/meminfo: memFree=31849988/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=43404 CPUtime=462.29 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 11097 0 0 0 46228 1 0 0 25 0 1 0 889617232 44445696 10504 33554432000 4194304 6245536 140735289302416 18446744073709551615 4702880 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 10851 10504 229 501 0 10347 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 43404
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 21122
/proc/meminfo: memFree=31849576/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=43588 CPUtime=522.3 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 11139 0 0 0 52229 1 0 0 25 0 1 0 889617232 44634112 10546 33554432000 4194304 6245536 140735289302416 18446744073709551615 4637807 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 10897 10546 229 501 0 10393 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 43588
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 21124
/proc/meminfo: memFree=31837520/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=55092 CPUtime=582.3 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 13994 0 0 0 58228 2 0 0 25 0 1 0 889617232 56414208 13401 33554432000 4194304 6245536 140735289302416 18446744073709551615 4315383 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 13773 13401 229 501 0 13269 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 55092
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21130
/proc/meminfo: memFree=31832820/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=57432 CPUtime=822.31 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 15974 0 0 0 82229 2 0 0 25 0 1 0 889617232 58810368 13960 33554432000 4194304 6245536 140735289302416 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 14358 13960 229 501 0 13854 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 57432
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21132
/proc/meminfo: memFree=31832800/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=57960 CPUtime=882.31 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 16658 0 0 0 88229 2 0 0 25 0 1 0 889617232 59351040 14116 33554432000 4194304 6245536 140735289302416 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 14490 14116 229 501 0 13986 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 57960
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21134
/proc/meminfo: memFree=31829424/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=60948 CPUtime=942.3 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 17912 0 0 0 94228 2 0 0 25 0 1 0 889617232 62410752 14871 33554432000 4194304 6245536 140735289302416 18446744073709551615 4701908 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 15237 14871 229 501 0 14733 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 60948
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21135
/proc/meminfo: memFree=31828032/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=62636 CPUtime=1002.31 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 18307 0 0 0 100229 2 0 0 25 0 1 0 889617232 64139264 15266 33554432000 4194304 6245536 140735289302416 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 15659 15266 229 501 0 15155 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 62636
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21137
/proc/meminfo: memFree=31826884/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=62588 CPUtime=1062.31 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 18406 0 0 0 106229 2 0 0 25 0 1 0 889617232 64090112 15273 33554432000 4194304 6245536 140735289302416 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 15647 15273 229 501 0 15143 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 62588
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21138
/proc/meminfo: memFree=31825972/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=62772 CPUtime=1122.32 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 19087 0 0 0 112229 3 0 0 25 0 1 0 889617232 64278528 15290 33554432000 4194304 6245536 140735289302416 18446744073709551615 4324752 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 15693 15290 229 501 0 15189 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 62772
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21140
/proc/meminfo: memFree=31824704/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=64620 CPUtime=1182.32 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 19560 0 0 0 118229 3 0 0 25 0 1 0 889617232 66170880 15763 33554432000 4194304 6245536 140735289302416 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16155 15763 229 501 0 15651 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 64620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21142
/proc/meminfo: memFree=31824440/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=64620 CPUtime=1242.32 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 19560 0 0 0 124229 3 0 0 25 0 1 0 889617232 66170880 15763 33554432000 4194304 6245536 140735289302416 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16155 15763 229 501 0 15651 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 64620
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21143
/proc/meminfo: memFree=31824160/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=64752 CPUtime=1302.33 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 19605 0 0 0 130230 3 0 0 25 0 1 0 889617232 66306048 15808 33554432000 4194304 6245536 140735289302416 18446744073709551615 4324489 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16188 15808 229 501 0 15684 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 64752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21145
/proc/meminfo: memFree=31822888/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65436 CPUtime=1362.32 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20266 0 0 0 136229 3 0 0 25 0 1 0 889617232 67006464 15976 33554432000 4194304 6245536 140735289302416 18446744073709551615 4635537 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16359 15976 229 501 0 15855 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 65436
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21146
/proc/meminfo: memFree=31823220/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65436 CPUtime=1422.33 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20266 0 0 0 142230 3 0 0 25 0 1 0 889617232 67006464 15976 33554432000 4194304 6245536 140735289302416 18446744073709551615 4628576 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16359 15976 229 501 0 15855 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 65436
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 21148
/proc/meminfo: memFree=31822828/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65436 CPUtime=1482.32 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20267 0 0 0 148229 3 0 0 25 0 1 0 889617232 67006464 15977 33554432000 4194304 6245536 140735289302416 18446744073709551615 4628267 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16359 15977 229 501 0 15855 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 65436
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 21150
/proc/meminfo: memFree=31822928/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65436 CPUtime=1542.32 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20267 0 0 0 154229 3 0 0 25 0 1 0 889617232 67006464 15977 33554432000 4194304 6245536 140735289302416 18446744073709551615 4700439 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16359 15977 229 501 0 15855 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 65436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21151
/proc/meminfo: memFree=31822788/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65436 CPUtime=1602.33 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20267 0 0 0 160230 3 0 0 25 0 1 0 889617232 67006464 15977 33554432000 4194304 6245536 140735289302416 18446744073709551615 4649680 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16359 15977 229 501 0 15855 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 65436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21153
/proc/meminfo: memFree=31822880/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65688 CPUtime=1662.33 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20291 0 0 0 166230 3 0 0 25 0 1 0 889617232 67264512 16001 33554432000 4194304 6245536 140735289302416 18446744073709551615 4629366 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16422 16001 229 501 0 15918 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 65688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21154
/proc/meminfo: memFree=31821860/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65940 CPUtime=1722.33 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20337 0 0 0 172230 3 0 0 25 0 1 0 889617232 67522560 16047 33554432000 4194304 6245536 140735289302416 18446744073709551615 4702480 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16485 16047 229 501 0 15981 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 65940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21156
/proc/meminfo: memFree=31821588/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65940 CPUtime=1782.33 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20338 0 0 0 178230 3 0 0 25 0 1 0 889617232 67522560 16048 33554432000 4194304 6245536 140735289302416 18446744073709551615 4323511 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16485 16048 229 501 0 15981 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 65940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 2/176 21157
/proc/meminfo: memFree=31844288/32950928 swapFree=67052112/67111528
[pid=21107] ppid=21105 vsize=65940 CPUtime=1800.04 cores=1,3,5,7
/proc/21107/stat : 21107 (clasp) R 21105 21107 18976 0 -1 4202496 20338 0 0 0 180001 3 0 0 25 0 1 0 889617232 67522560 16048 33554432000 4194304 6245536 140735289302416 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/21107/statm: 16485 16048 229 501 0 15981 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 65940
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.05
CPU user time (s): 1800.01
CPU system time (s): 0.035994
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 66440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20348
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= 2661
runsolver used 2.49662 second user time and 5.71113 second system time
The end