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-3735775-1338726752/watcher-3735775-1338726752 -o /tmp/evaluation-result-3735775-1338726752/solver-3735775-1338726752 -C 1800 -W 1900 -M 15500 pbclasp instance-3735775-1338726752.opb HOME/temp
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 2.00 3/178 8647
/proc/meminfo: memFree=27012452/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) R 8645 8647 29645 0 -1 4202496 504 0 0 0 0 0 0 0 20 0 1 0 338800074 26071040 434 33554432000 4194304 4198148 140734796314192 140734796311640 223676551216 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 6365 437 341 1 0 160 0
[startup+0.047441 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8647
/proc/meminfo: memFree=27012452/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=26444 CPUtime=0.04 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) R 8645 8647 29645 0 -1 4202496 760 0 0 0 4 0 0 0 20 0 1 0 338800074 27078656 690 33554432000 4194304 4198148 140734796314192 140734796311640 223651270548 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 6611 690 362 1 0 406 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26444
[startup+0.100208 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8647
/proc/meminfo: memFree=27012452/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=26576 CPUtime=0.09 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) R 8645 8647 29645 0 -1 4202496 805 0 0 0 9 0 0 0 20 0 1 0 338800074 27213824 735 33554432000 4194304 4198148 140734796314192 140734796311640 223651316471 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 6644 735 362 1 0 439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26576
[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8647
/proc/meminfo: memFree=27012452/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27392 CPUtime=0.19 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 1014 0 0 0 19 0 0 0 20 0 1 0 338800074 28049408 926 33554432000 4194304 4198148 140734796314192 140734796313080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 6848 926 369 1 0 643 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27392
[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8647
/proc/meminfo: memFree=27012452/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27392 CPUtime=0.19 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 1014 0 0 0 19 0 0 0 20 0 1 0 338800074 28049408 926 33554432000 4194304 4198148 140734796314192 140734796313080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 6848 926 369 1 0 643 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27392
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8650
/proc/meminfo: memFree=27008800/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=1.37 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 1339 2122 0 0 19 0 117 1 20 0 1 0 338800074 28454912 1059 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 6947 1059 387 1 0 742 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 27788
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8657
/proc/meminfo: memFree=26987340/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=2.27 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 1525 9349 0 0 20 0 205 2 20 0 1 0 338800074 28454912 1064 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8647/statm: 6947 1064 387 1 0 742 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 27788
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8689
/proc/meminfo: memFree=26984340/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=5.85 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 2002 38540 0 0 21 0 552 12 20 0 1 0 338800074 28454912 1064 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8647/statm: 6947 1064 387 1 0 742 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 27788
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8745
/proc/meminfo: memFree=26981668/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=12.12 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 2823 89614 0 0 24 1 1161 26 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 27788
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8777
/proc/meminfo: memFree=26979676/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=16.34 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3256 111499 0 0 25 1 1575 33 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8775] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8775/stat : 8775 (sh) S 8647 8647 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338801722 9367552 263 33554432000 4194304 5064252 140736937599232 140736937597488 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8775/statm: 2287 263 223 213 0 72 0
[pid=8777] ppid=8775 vsize=21944 CPUtime=9 cores=1,3,5,7
/proc/8777/stat : 8777 (clasp-1.0) R 8775 8647 29645 0 -1 4202496 5336 0 0 0 899 1 0 0 20 0 1 0 338801722 22470656 4896 33554432000 134512640 134847168 4289228016 4289226752 134741020 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8777/statm: 5486 4896 270 82 0 4727 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 58880
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8777
/proc/meminfo: memFree=26966652/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=16.34 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3256 111499 0 0 25 1 1575 33 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8775] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8775/stat : 8775 (sh) S 8647 8647 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338801722 9367552 263 33554432000 4194304 5064252 140736937599232 140736937597488 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8775/statm: 2287 263 223 213 0 72 0
[pid=8777] ppid=8775 vsize=31176 CPUtime=34.59 cores=1,3,5,7
/proc/8777/stat : 8777 (clasp-1.0) R 8775 8647 29645 0 -1 4202496 7656 0 0 0 3457 2 0 0 20 0 1 0 338801722 31924224 7217 33554432000 134512640 134847168 4289228016 4289226700 134784496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8777/statm: 7794 7217 270 82 0 7035 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 68112
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8777
/proc/meminfo: memFree=26954668/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=16.34 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3256 111499 0 0 25 1 1575 33 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8775] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8775/stat : 8775 (sh) S 8647 8647 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338801722 9367552 263 33554432000 4194304 5064252 140736937599232 140736937597488 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8775/statm: 2287 263 223 213 0 72 0
[pid=8777] ppid=8775 vsize=41072 CPUtime=85.79 cores=1,3,5,7
/proc/8777/stat : 8777 (clasp-1.0) R 8775 8647 29645 0 -1 4202496 10105 0 0 0 8575 4 0 0 20 0 1 0 338801722 42057728 9669 33554432000 134512640 134847168 4289228016 4289226708 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8777/statm: 10268 9669 270 82 0 9509 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 78008
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8778
/proc/meminfo: memFree=26943124/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=16.34 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3256 111499 0 0 25 1 1575 33 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8775] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8775/stat : 8775 (sh) S 8647 8647 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338801722 9367552 263 33554432000 4194304 5064252 140736937599232 140736937597488 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8775/statm: 2287 263 223 213 0 72 0
[pid=8777] ppid=8775 vsize=50364 CPUtime=145.78 cores=1,3,5,7
/proc/8777/stat : 8777 (clasp-1.0) R 8775 8647 29645 0 -1 4202496 12442 0 0 0 14571 7 0 0 20 0 1 0 338801722 51572736 12035 33554432000 134512640 134847168 4289228016 4289226784 134737304 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8777/statm: 12591 12035 270 82 0 11832 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 87300
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8786
/proc/meminfo: memFree=26962980/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=189.2 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3396 126523 0 0 25 1 18852 42 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8784] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8784/stat : 8784 (sh) S 8647 8647 29645 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338819013 9367552 264 33554432000 4194304 5064252 140736036018416 140736036016672 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2287 264 223 213 0 72 0
[pid=8786] ppid=8784 vsize=27104 CPUtime=32.89 cores=1,3,5,7
/proc/8786/stat : 8786 (clasp-1.0) R 8784 8647 29645 0 -1 4202496 6638 0 0 0 3288 1 0 0 20 0 1 0 338819013 27754496 6196 33554432000 134512640 134847168 4289577328 4289576096 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8786/statm: 6776 6196 270 82 0 6017 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 64040
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8786
/proc/meminfo: memFree=26946652/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=189.2 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3396 126523 0 0 25 1 18852 42 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8784] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8784/stat : 8784 (sh) S 8647 8647 29645 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338819013 9367552 264 33554432000 4194304 5064252 140736036018416 140736036016672 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2287 264 223 213 0 72 0
[pid=8786] ppid=8784 vsize=40796 CPUtime=92.88 cores=1,3,5,7
/proc/8786/stat : 8786 (clasp-1.0) R 8784 8647 29645 0 -1 4202496 10061 0 0 0 9284 4 0 0 20 0 1 0 338819013 41775104 9643 33554432000 134512640 134847168 4289577328 4289576096 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8786/statm: 10199 9643 270 82 0 9440 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 77732
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8786
/proc/meminfo: memFree=26939516/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=189.2 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3396 126523 0 0 25 1 18852 42 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8784] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8784/stat : 8784 (sh) S 8647 8647 29645 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338819013 9367552 264 33554432000 4194304 5064252 140736036018416 140736036016672 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8784/statm: 2287 264 223 213 0 72 0
################
# More data... #
################
/proc/loadavg: 2.05 2.03 2.00 3/181 8978
/proc/meminfo: memFree=26906976/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=58284 CPUtime=495.9 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 14409 0 0 0 49583 7 0 0 20 0 1 0 338892705 59682816 14017 33554432000 134512640 134847168 4294471248 4294470016 134617542 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 14571 14017 272 82 0 13812 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 95220
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 8978
/proc/meminfo: memFree=26902196/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=62748 CPUtime=555.87 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 15499 0 0 0 55580 7 0 0 20 0 1 0 338892705 64253952 15132 33554432000 134512640 134847168 4294471248 4294469940 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 15687 15132 272 82 0 14928 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 99684
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 8978
/proc/meminfo: memFree=26901700/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=62748 CPUtime=615.86 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 15499 0 0 0 61579 7 0 0 20 0 1 0 338892705 64253952 15132 33554432000 134512640 134847168 4294471248 4294469872 134784798 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 15687 15132 272 82 0 14928 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 99684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8978
/proc/meminfo: memFree=26896988/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=67736 CPUtime=675.86 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 16739 0 0 0 67578 8 0 0 20 0 1 0 338892705 69361664 16372 33554432000 134512640 134847168 4294471248 4294469712 134713663 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 16934 16372 272 82 0 16175 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 104672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8981
/proc/meminfo: memFree=26894060/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=69656 CPUtime=735.85 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 17193 0 0 0 73576 9 0 0 20 0 1 0 338892705 71327744 16839 33554432000 134512640 134847168 4294471248 4294469876 134616350 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 17414 16839 272 82 0 16655 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 106592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9005
/proc/meminfo: memFree=26893500/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=69656 CPUtime=795.84 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 17193 0 0 0 79575 9 0 0 20 0 1 0 338892705 71327744 16839 33554432000 134512640 134847168 4294471248 4294469940 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 17414 16839 272 82 0 16655 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 106592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9005
/proc/meminfo: memFree=26892948/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=69656 CPUtime=855.83 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 17193 0 0 0 85574 9 0 0 20 0 1 0 338892705 71327744 16839 33554432000 134512640 134847168 4294471248 4294469940 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 17414 16839 272 82 0 16655 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 106592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9005
/proc/meminfo: memFree=26892700/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=925.96 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3778 167525 0 0 26 2 92504 64 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=8970] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8970/stat : 8970 (sh) S 8647 8647 29645 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338892705 9367552 264 33554432000 4194304 5064252 140733591204464 140733591202720 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8970/statm: 2287 264 223 213 0 72 0
[pid=8972] ppid=8970 vsize=69656 CPUtime=874.14 cores=1,3,5,7
/proc/8972/stat : 8972 (clasp-1.0) R 8970 8647 29645 0 -1 4202496 17193 0 0 0 87405 9 0 0 20 0 1 0 338892705 71327744 16839 33554432000 134512640 134847168 4294471248 4294469824 134714871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8972/statm: 17414 16839 272 82 0 16655 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 106592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8647
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9005
/proc/meminfo: memFree=26892700/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=1800.14 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3946 187497 0 0 27 2 179910 75 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 27788
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9024
/proc/meminfo: memFree=26985860/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=1800.14 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3946 187497 0 0 27 2 179910 75 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=9022] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9022/stat : 9022 (sh) S 8647 8647 29645 0 -1 4202496 375 220 0 0 0 0 0 0 20 0 1 0 338980138 9367552 264 33554432000 4194304 5064252 140737358452352 140737358450608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9022/statm: 2287 264 223 213 0 72 0
[pid=9024] ppid=9022 vsize=21944 CPUtime=1.54 cores=1,3,5,7
/proc/9024/stat : 9024 (clasp-1.0) R 9022 8647 29645 0 -1 4202496 5335 0 0 0 154 0 0 0 20 0 1 0 338980138 22470656 4892 33554432000 134512640 134847168 4288313696 4288312400 134616816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9024/statm: 5486 4892 270 82 0 4727 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 58880
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9024
/proc/meminfo: memFree=26985860/32873844 swapFree=7628/7628
[pid=8647] ppid=8645 vsize=27788 CPUtime=1800.14 cores=1,3,5,7
/proc/8647/stat : 8647 (pbclasp) S 8645 8647 29645 0 -1 4202496 3946 187497 0 0 27 2 179910 75 20 0 1 0 338800074 28454912 1065 33554432000 4194304 4198148 140734796314192 140734796313120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8647/statm: 6947 1065 387 1 0 742 0
[pid=9022] ppid=8647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9022/stat : 9022 (sh) S 8647 8647 29645 0 -1 4202496 375 220 0 0 0 0 0 0 20 0 1 0 338980138 9367552 264 33554432000 4194304 5064252 140737358452352 140737358450608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9022/statm: 2287 264 223 213 0 72 0
[pid=9024] ppid=9022 vsize=21944 CPUtime=1.94 cores=1,3,5,7
/proc/9024/stat : 9024 (clasp-1.0) R 9022 8647 29645 0 -1 4202496 5335 0 0 0 194 0 0 0 20 0 1 0 338980138 22470656 4892 33554432000 134512640 134847168 4288313696 4288312380 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9024/statm: 5486 4892 270 82 0 4727 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 58880
Child status: 0
Real time (s): 1802.63
CPU time (s): 1802.14
CPU user time (s): 1801.35
CPU system time (s): 0.793879
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 106592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.35
system time used= 0.793879
maximum resident set size= 67356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 60904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7362
involuntary context switches= 4820
runsolver used 5.07823 second user time and 9.00463 second system time
The end