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-3469362-1307093695/watcher-3469362-1307093695 -o /tmp/evaluation-result-3469362-1307093695/solver-3469362-1307093695 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469362-1307093695.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.87 2.02 2.00 2/461 12921
/proc/meminfo: memFree=28689420/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=13772 CPUtime=0 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 846 0 0 0 0 0 0 0 25 0 1 0 820967523 14102528 743 33554432000 4194304 4933572 140734413681600 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 3443 743 339 181 0 452 0
[startup+0.041261 s]
/proc/loadavg: 1.87 2.02 2.00 2/461 12921
/proc/meminfo: memFree=28689420/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=13772 CPUtime=0.04 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 893 0 0 0 4 0 0 0 25 0 1 0 820967523 14102528 790 33554432000 4194304 4933572 140734413681600 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 3443 790 373 181 0 452 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13772
[startup+0.100252 s]
/proc/loadavg: 1.87 2.02 2.00 2/461 12921
/proc/meminfo: memFree=28689420/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=14036 CPUtime=0.09 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 944 0 0 0 9 0 0 0 25 0 1 0 820967523 14372864 841 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 3509 841 373 181 0 518 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14036
[startup+0.300213 s]
/proc/loadavg: 1.87 2.02 2.00 2/461 12921
/proc/meminfo: memFree=28689420/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=14432 CPUtime=0.29 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 1054 0 0 0 29 0 0 0 25 0 1 0 820967523 14778368 951 33554432000 4194304 4933572 140734413681600 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 3608 951 373 181 0 617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14432
[startup+0.700143 s]
/proc/loadavg: 1.87 2.02 2.00 2/461 12921
/proc/meminfo: memFree=28689420/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=14828 CPUtime=0.69 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 1163 0 0 0 69 0 0 0 25 0 1 0 820967523 15183872 1060 33554432000 4194304 4933572 140734413681600 18446744073709551615 4328669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 3707 1060 373 181 0 716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14828
[startup+1.50099 s]
/proc/loadavg: 1.87 2.02 2.00 3/462 12922
/proc/meminfo: memFree=28683964/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=15500 CPUtime=1.5 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 1318 0 0 0 150 0 0 0 25 0 1 0 820967523 15872000 1215 33554432000 4194304 4933572 140734413681600 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 3875 1215 373 181 0 884 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15500
[startup+3.10071 s]
/proc/loadavg: 1.87 2.02 2.00 3/462 12922
/proc/meminfo: memFree=28682012/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=16324 CPUtime=3.1 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 1508 0 0 0 310 0 0 0 25 0 1 0 820967523 16715776 1405 33554432000 4194304 4933572 140734413681600 18446744073709551615 4635476 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 4081 1405 374 181 0 1090 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 16324
[startup+6.30012 s]
/proc/loadavg: 1.88 2.02 2.00 3/462 12922
/proc/meminfo: memFree=28680308/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=17120 CPUtime=6.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 1714 0 0 0 630 0 0 0 25 0 1 0 820967523 17530880 1611 33554432000 4194304 4933572 140734413681600 18446744073709551615 4428006 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 4280 1611 374 181 0 1289 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 17120
[startup+12.701 s]
/proc/loadavg: 1.89 2.02 2.00 3/462 12923
/proc/meminfo: memFree=28678232/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=18192 CPUtime=12.7 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 1991 0 0 0 1270 0 0 0 25 0 1 0 820967523 18628608 1888 33554432000 4194304 4933572 140734413681600 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 4548 1888 374 181 0 1557 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 18192
[startup+25.5007 s]
/proc/loadavg: 1.91 2.02 2.00 3/462 12923
/proc/meminfo: memFree=28676644/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=19496 CPUtime=25.5 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 2293 0 0 0 2550 0 0 0 25 0 1 0 820967523 19963904 2190 33554432000 4194304 4933572 140734413681600 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 4874 2190 374 181 0 1883 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19496
[startup+51.101 s]
/proc/loadavg: 1.94 2.01 2.00 3/462 12951
/proc/meminfo: memFree=28670892/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=20904 CPUtime=51.1 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 2633 0 0 0 5110 0 0 0 25 0 1 0 820967523 21405696 2530 33554432000 4194304 4933572 140734413681600 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 5226 2530 374 181 0 2235 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 20904
[startup+102.317 s]
/proc/loadavg: 1.97 2.01 2.00 3/462 12952
/proc/meminfo: memFree=28662308/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=23532 CPUtime=102.31 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 3236 0 0 0 10231 0 0 0 25 0 1 0 820967523 24096768 3133 33554432000 4194304 4933572 140734413681600 18446744073709551615 4362315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 5883 3133 374 181 0 2892 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23532
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/462 12954
/proc/meminfo: memFree=28657068/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=25216 CPUtime=162.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 3632 0 0 0 16230 0 0 0 25 0 1 0 820967523 25821184 3529 33554432000 4194304 4933572 140734413681600 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 6304 3529 374 181 0 3313 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 25216
[startup+222.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/462 12955
/proc/meminfo: memFree=28654428/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=26152 CPUtime=222.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 3856 0 0 0 22230 0 0 0 25 0 1 0 820967523 26779648 3753 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 6538 3753 374 181 0 3547 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26152
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/462 12957
/proc/meminfo: memFree=28652040/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=26760 CPUtime=282.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 3991 0 0 0 28230 0 0 0 25 0 1 0 820967523 27402240 3888 33554432000 4194304 4933572 140734413681600 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 6690 3888 374 181 0 3699 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 26760
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12958
/proc/meminfo: memFree=28650280/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=27376 CPUtime=342.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4114 0 0 0 34230 0 0 0 25 0 1 0 820967523 28033024 4011 33554432000 4194304 4933572 140734413681600 18446744073709551615 4635744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 6844 4011 374 181 0 3853 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27376
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12960
/proc/meminfo: memFree=28648256/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=28032 CPUtime=402.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4263 0 0 0 40230 0 0 0 25 0 1 0 820967523 28704768 4160 33554432000 4194304 4933572 140734413681600 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7008 4160 374 181 0 4017 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28032
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12962
/proc/meminfo: memFree=28646112/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=28372 CPUtime=462.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4339 0 0 0 46230 0 0 0 25 0 1 0 820967523 29052928 4236 33554432000 4194304 4933572 140734413681600 18446744073709551615 4362131 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7093 4236 374 181 0 4102 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 28372
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/462 12963
/proc/meminfo: memFree=28645080/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=28540 CPUtime=522.3 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4393 0 0 0 52230 0 0 0 25 0 1 0 820967523 29224960 4290 33554432000 4194304 4933572 140734413681600 18446744073709551615 4362013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7135 4290 374 181 0 4144 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 28540
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/462 12965
/proc/meminfo: memFree=28644176/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=28876 CPUtime=582.31 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4460 0 0 0 58231 0 0 0 25 0 1 0 820967523 29569024 4357 33554432000 4194304 4933572 140734413681600 18446744073709551615 4319270 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7219 4357 374 181 0 4228 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 28876
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/462 12971
/proc/meminfo: memFree=28640452/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=29720 CPUtime=822.31 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4675 0 0 0 82231 0 0 0 25 0 1 0 820967523 30433280 4572 33554432000 4194304 4933572 140734413681600 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7430 4572 374 181 0 4439 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 29720
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12973
/proc/meminfo: memFree=28639552/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30056 CPUtime=882.31 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4730 0 0 0 88231 0 0 0 25 0 1 0 820967523 30777344 4627 33554432000 4194304 4933572 140734413681600 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7514 4627 374 181 0 4523 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 30056
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12974
/proc/meminfo: memFree=28638788/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30224 CPUtime=942.31 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4768 0 0 0 94231 0 0 0 25 0 1 0 820967523 30949376 4665 33554432000 4194304 4933572 140734413681600 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7556 4665 374 181 0 4565 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 30224
[startup+1002.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/462 12976
/proc/meminfo: memFree=28638620/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30224 CPUtime=1002.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4798 0 0 0 100232 0 0 0 25 0 1 0 820967523 30949376 4695 33554432000 4194304 4933572 140734413681600 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7556 4695 374 181 0 4565 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 30224
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/462 12978
/proc/meminfo: memFree=28638584/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30224 CPUtime=1062.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4798 0 0 0 106232 0 0 0 25 0 1 0 820967523 30949376 4695 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7556 4695 374 181 0 4565 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 30224
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/462 12979
/proc/meminfo: memFree=28638420/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30224 CPUtime=1122.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4801 0 0 0 112232 0 0 0 25 0 1 0 820967523 30949376 4698 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7556 4698 374 181 0 4565 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 30224
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12981
/proc/meminfo: memFree=28636528/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30508 CPUtime=1182.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4865 0 0 0 118232 0 0 0 25 0 1 0 820967523 31240192 4762 33554432000 4194304 4933572 140734413681600 18446744073709551615 4319303 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7627 4762 374 181 0 4636 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 30508
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/462 12982
/proc/meminfo: memFree=28635136/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30676 CPUtime=1242.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4895 0 0 0 124232 0 0 0 25 0 1 0 820967523 31412224 4792 33554432000 4194304 4933572 140734413681600 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7669 4792 374 181 0 4678 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 30676
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/462 12984
/proc/meminfo: memFree=28635224/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=30844 CPUtime=1302.33 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4933 0 0 0 130233 0 0 0 25 0 1 0 820967523 31584256 4830 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7711 4830 374 181 0 4720 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 30844
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 12986
/proc/meminfo: memFree=28635056/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31012 CPUtime=1362.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4959 0 0 0 136232 0 0 0 25 0 1 0 820967523 31756288 4856 33554432000 4194304 4933572 140734413681600 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7753 4856 374 181 0 4762 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 31012
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12987
/proc/meminfo: memFree=28634760/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31012 CPUtime=1422.34 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4977 0 0 0 142234 0 0 0 25 0 1 0 820967523 31756288 4874 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7753 4874 374 181 0 4762 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 31012
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 12989
/proc/meminfo: memFree=28633620/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31012 CPUtime=1482.32 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4990 0 0 0 148232 0 0 0 25 0 1 0 820967523 31756288 4887 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7753 4887 374 181 0 4762 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 31012
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12990
/proc/meminfo: memFree=28633960/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31012 CPUtime=1542.33 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 4997 0 0 0 154233 0 0 0 25 0 1 0 820967523 31756288 4894 33554432000 4194304 4933572 140734413681600 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7753 4894 374 181 0 4762 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 31012
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/462 13001
/proc/meminfo: memFree=28633560/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31124 CPUtime=1602.33 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 5025 0 0 0 160233 0 0 0 25 0 1 0 820967523 31870976 4922 33554432000 4194304 4933572 140734413681600 18446744073709551615 4319248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7781 4922 374 181 0 4790 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 31124
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/462 13003
/proc/meminfo: memFree=28633776/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31124 CPUtime=1662.33 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 5026 0 0 0 166233 0 0 0 25 0 1 0 820967523 31870976 4923 33554432000 4194304 4933572 140734413681600 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7781 4923 374 181 0 4790 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 31124
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 13004
/proc/meminfo: memFree=28633464/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31256 CPUtime=1722.33 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 5044 0 0 0 172233 0 0 0 25 0 1 0 820967523 32006144 4941 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7814 4941 374 181 0 4823 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 31256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13009
/proc/meminfo: memFree=28631404/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31424 CPUtime=1782.33 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 5101 0 0 0 178233 0 0 0 25 0 1 0 820967523 32178176 4998 33554432000 4194304 4933572 140734413681600 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7856 4998 374 181 0 4865 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 31424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.00 3/462 13009
/proc/meminfo: memFree=28631132/32951124 swapFree=41830676/67111528
[pid=12921] ppid=12919 vsize=31424 CPUtime=1800.04 cores=1,3,5,7
/proc/12921/stat : 12921 (clasp) R 12919 12921 12829 0 -1 4202496 5104 0 0 0 180004 0 0 0 25 0 1 0 820967523 32178176 5001 33554432000 4194304 4933572 140734413681600 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12921/statm: 7856 5001 374 181 0 4865 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 31424
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.02
CPU time (s): 1800.06
CPU user time (s): 1800.05
CPU system time (s): 0.006998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 31424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5115
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= 6
involuntary context switches= 3790
runsolver used 7.2359 second user time and 17.4323 second system time
The end