runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736160-1338730036/watcher-3736160-1338730036 -o /tmp/evaluation-result-3736160-1338730036/solver-3736160-1338730036 -C 1800 -W 1900 -M 15500 pbclasp instance-3736160-1338730036.opb HOME/temp
running on 4 cores: 0,2,4,6
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 2.00 3/180 12394
/proc/meminfo: memFree=27637772/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) R 12392 12394 2078 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 339128983 26357760 520 33554432000 4194304 4198148 140734981492224 140734031503640 273588653972 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6435 521 361 1 0 230 0
[startup+0.087071 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12394
/proc/meminfo: memFree=27637772/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 339128983 26357760 539 33554432000 4194304 4198148 140734981492224 140734981491112 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6435 539 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100216 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12394
/proc/meminfo: memFree=27637772/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 339128983 26357760 539 33554432000 4194304 4198148 140734981492224 140734981491112 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6435 539 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12394
/proc/meminfo: memFree=27637772/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=0.26 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 721 2099 0 0 0 0 26 0 20 0 1 0 339128983 26492928 569 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6468 569 387 1 0 263 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 25872
[startup+0.700207 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12394
/proc/meminfo: memFree=27637772/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=0.47 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 1113 11969 0 0 0 0 45 2 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 25872
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12460
/proc/meminfo: memFree=27634672/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=1.24 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 2405 48306 0 0 1 0 112 11 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 25872
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27632284/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=2.74 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 4866 117660 0 0 3 2 242 27 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 25872
[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12796
/proc/meminfo: memFree=27631772/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=5.74 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 6961 173714 0 0 5 3 526 40 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 25872
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12852
/proc/meminfo: memFree=27628740/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=8.99 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7430 186958 0 0 5 4 846 44 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12850] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12850/stat : 12850 (sh) S 12394 12394 2078 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339129919 9367552 264 33554432000 4194304 5064252 140734799972336 140734799970592 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12850/statm: 2287 264 223 213 0 72 0
[pid=12852] ppid=12850 vsize=7184 CPUtime=3.33 cores=0,2,4,6
/proc/12852/stat : 12852 (clasp-1.0) R 12850 12394 2078 0 -1 4202496 1397 0 0 0 333 0 0 0 20 0 1 0 339129920 7356416 1258 33554432000 134512640 134847168 4291976592 4291975276 134715892 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 1796 1258 270 82 0 1037 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 42204
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 12868
/proc/meminfo: memFree=27624484/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=16.14 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7668 193744 0 0 5 4 1560 45 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12866] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12866/stat : 12866 (sh) S 12394 12394 2078 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339130635 9367552 264 33554432000 4194304 5064252 140736790758768 140736790757024 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12866/statm: 2287 264 223 213 0 72 0
[pid=12868] ppid=12866 vsize=8136 CPUtime=8.97 cores=0,2,4,6
/proc/12868/stat : 12868 (clasp-1.0) R 12866 12394 2078 0 -1 4202496 1647 0 0 0 897 0 0 0 20 0 1 0 339130635 8331264 1508 33554432000 134512640 134847168 4286908256 4286906936 134789705 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12868/statm: 2034 1508 270 82 0 1275 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 43156
[startup+51.1002 s]
/proc/loadavg: 2.13 2.03 2.01 3/183 12876
/proc/meminfo: memFree=27621892/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=34.02 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7786 197512 0 0 5 4 3347 46 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12874] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (sh) S 12394 12394 2078 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339132424 9367552 263 33554432000 4194304 5064252 140736823545696 140736823543952 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12874/statm: 2287 263 223 213 0 72 0
[pid=12876] ppid=12874 vsize=8692 CPUtime=16.68 cores=0,2,4,6
/proc/12876/stat : 12876 (clasp-1.0) R 12874 12394 2078 0 -1 4202496 1788 0 0 0 1668 0 0 0 20 0 1 0 339132424 8900608 1649 33554432000 134512640 134847168 4293757504 4293756144 134782425 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12876/statm: 2173 1649 270 82 0 1414 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 43712
[startup+102.306 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 12876
/proc/meminfo: memFree=27611836/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=34.02 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7786 197512 0 0 5 4 3347 46 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12874] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (sh) S 12394 12394 2078 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339132424 9367552 263 33554432000 4194304 5064252 140736823545696 140736823543952 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12874/statm: 2287 263 223 213 0 72 0
[pid=12876] ppid=12874 vsize=12108 CPUtime=67.87 cores=0,2,4,6
/proc/12876/stat : 12876 (clasp-1.0) R 12874 12394 2078 0 -1 4202496 2610 0 0 0 6787 0 0 0 20 0 1 0 339132424 12398592 2488 33554432000 134512640 134847168 4293757504 4293756272 134738064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12876/statm: 3027 2488 270 82 0 2268 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 47128
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 12876
/proc/meminfo: memFree=27606128/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=34.02 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7786 197512 0 0 5 4 3347 46 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12874] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (sh) S 12394 12394 2078 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339132424 9367552 263 33554432000 4194304 5064252 140736823545696 140736823543952 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12874/statm: 2287 263 223 213 0 72 0
[pid=12876] ppid=12874 vsize=13828 CPUtime=127.86 cores=0,2,4,6
/proc/12876/stat : 12876 (clasp-1.0) R 12874 12394 2078 0 -1 4202496 3030 0 0 0 12786 0 0 0 20 0 1 0 339132424 14159872 2922 33554432000 134512640 134847168 4293757504 4293755968 134713707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12876/statm: 3457 2922 270 82 0 2698 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 48848
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 12880
/proc/meminfo: memFree=27600720/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=34.02 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7786 197512 0 0 5 4 3347 46 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12874] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (sh) S 12394 12394 2078 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339132424 9367552 263 33554432000 4194304 5064252 140736823545696 140736823543952 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12874/statm: 2287 263 223 213 0 72 0
[pid=12876] ppid=12874 vsize=15472 CPUtime=187.86 cores=0,2,4,6
/proc/12876/stat : 12876 (clasp-1.0) R 12874 12394 2078 0 -1 4202496 3398 0 0 0 18785 1 0 0 20 0 1 0 339132424 15843328 3290 33554432000 134512640 134847168 4293757504 4293756272 134737400 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12876/statm: 3868 3290 270 82 0 3109 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 50492
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 12880
/proc/meminfo: memFree=27598680/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=34.02 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7786 197512 0 0 5 4 3347 46 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12874] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (sh) S 12394 12394 2078 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339132424 9367552 263 33554432000 4194304 5064252 140736823545696 140736823543952 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12874/statm: 2287 263 223 213 0 72 0
[pid=12876] ppid=12874 vsize=16684 CPUtime=247.85 cores=0,2,4,6
/proc/12876/stat : 12876 (clasp-1.0) R 12874 12394 2078 0 -1 4202496 3707 0 0 0 24784 1 0 0 20 0 1 0 339132424 17084416 3618 33554432000 134512640 134847168 4293757504 4293756260 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12876/statm: 4171 3618 270 82 0 3412 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 51704
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 12880
/proc/meminfo: memFree=27589436/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=34.02 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 1.99 2.01 2.00 3/183 13842
/proc/meminfo: memFree=27616672/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=25156 CPUtime=707.9 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 5789 0 0 0 70790 0 0 0 20 0 1 0 339206411 25759744 5654 33554432000 134512640 134847168 4289477472 4289475920 134713928 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 6289 5654 272 82 0 5530 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 60176
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 13842
/proc/meminfo: memFree=27614376/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=25764 CPUtime=767.89 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 5934 0 0 0 76789 0 0 0 20 0 1 0 339206411 26382336 5799 33554432000 134512640 134847168 4289477472 4289476164 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 6441 5799 272 82 0 5682 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 60784
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 13842
/proc/meminfo: memFree=27611892/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=26928 CPUtime=827.88 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 6164 0 0 0 82788 0 0 0 20 0 1 0 339206411 27574272 6078 33554432000 134512640 134847168 4289477472 4289476156 134784583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 6732 6078 272 82 0 5973 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 61948
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 13842
/proc/meminfo: memFree=27610588/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=27428 CPUtime=887.87 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 6296 0 0 0 88787 0 0 0 20 0 1 0 339206411 28086272 6174 33554432000 134512640 134847168 4289477472 4289476096 134784617 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 6857 6174 272 82 0 6098 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 62448
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13843
/proc/meminfo: memFree=27608416/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=28088 CPUtime=947.86 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 6447 0 0 0 94786 0 0 0 20 0 1 0 339206411 28762112 6289 33554432000 134512640 134847168 4289477472 4289476164 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 7022 6289 272 82 0 6263 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 63108
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13843
/proc/meminfo: memFree=27606556/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=28948 CPUtime=1007.85 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 6636 0 0 0 100785 0 0 0 20 0 1 0 339206411 29642752 6478 33554432000 134512640 134847168 4289477472 4289476160 134616828 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 7237 6478 272 82 0 6478 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 63968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13843
/proc/meminfo: memFree=27606556/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=773.77 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 7886 205327 0 0 5 4 77320 48 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=12902] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12902/stat : 12902 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339206411 9367552 264 33554432000 4194304 5064252 140736603517248 140736603515504 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12902/statm: 2287 264 223 213 0 72 0
[pid=12904] ppid=12902 vsize=28948 CPUtime=1026.26 cores=0,2,4,6
/proc/12904/stat : 12904 (clasp-1.0) R 12902 12394 2078 0 -1 4202496 6636 0 0 0 102626 0 0 0 20 0 1 0 339206411 29642752 6478 33554432000 134512640 134847168 4289477472 4289476156 134789696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12904/statm: 7237 6478 272 82 0 6478 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 63968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12394
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13843
/proc/meminfo: memFree=27606556/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=1800.06 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 8046 214741 0 0 5 4 179946 51 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 25872
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 13862
/proc/meminfo: memFree=27648420/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=1800.06 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 8046 214741 0 0 5 4 179946 51 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=13852] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13852/stat : 13852 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339309057 9367552 263 33554432000 4194304 5064252 140735160417584 140735160415840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13852/statm: 2287 263 223 213 0 72 0
[pid=13855] ppid=13852 vsize=6920 CPUtime=1.46 cores=0,2,4,6
/proc/13855/stat : 13855 (clasp-1.0) R 13852 12394 2078 0 -1 4202496 1348 0 0 0 146 0 0 0 20 0 1 0 339309057 7086080 1210 33554432000 134512640 134847168 4294527584 4294526208 134784610 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13855/statm: 1730 1210 270 82 0 971 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 41940
[startup+1802.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 13862
/proc/meminfo: memFree=27648420/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=1800.06 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 8046 214741 0 0 5 4 179946 51 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=13852] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13852/stat : 13852 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339309057 9367552 263 33554432000 4194304 5064252 140735160417584 140735160415840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13852/statm: 2287 263 223 213 0 72 0
[pid=13855] ppid=13852 vsize=6920 CPUtime=1.86 cores=0,2,4,6
/proc/13855/stat : 13855 (clasp-1.0) R 13852 12394 2078 0 -1 4202496 1348 0 0 0 186 0 0 0 20 0 1 0 339309057 7086080 1210 33554432000 134512640 134847168 4294527584 4294526352 134617553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13855/statm: 1730 1210 270 82 0 971 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 41940
[startup+1802.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 13862
/proc/meminfo: memFree=27648420/32873844 swapFree=7112/7112
[pid=12394] ppid=12392 vsize=25872 CPUtime=1800.06 cores=0,2,4,6
/proc/12394/stat : 12394 (pbclasp) S 12392 12394 2078 0 -1 4202496 8046 214741 0 0 5 4 179946 51 20 0 1 0 339128983 26492928 573 33554432000 4194304 4198148 140734981492224 140734981491152 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12394/statm: 6468 573 387 1 0 263 0
[pid=13852] ppid=12394 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13852/stat : 13852 (sh) S 12394 12394 2078 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339309057 9367552 263 33554432000 4194304 5064252 140735160417584 140735160415840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13852/statm: 2287 263 223 213 0 72 0
[pid=13855] ppid=13852 vsize=6920 CPUtime=1.96 cores=0,2,4,6
/proc/13855/stat : 13855 (clasp-1.0) R 13852 12394 2078 0 -1 4202496 1348 0 0 0 196 0 0 0 20 0 1 0 339309057 7086080 1210 33554432000 134512640 134847168 4294527584 4294526208 134784656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13855/statm: 1730 1210 270 82 0 971 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 41940
Child status: 0
Real time (s): 1802.72
CPU time (s): 1802.07
CPU user time (s): 1801.51
CPU system time (s): 0.564914
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 63968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.51
system time used= 0.564914
maximum resident set size= 25912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4511
involuntary context switches= 2542
runsolver used 2.78658 second user time and 7.07792 second system time
The end