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-3733945-1338717456/watcher-3733945-1338717456 -o /tmp/evaluation-result-3733945-1338717456/solver-3733945-1338717456 -C 1800 -W 1900 -M 15500 pbclasp instance-3733945-1338717456.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.02 1.99 1.84 3/175 14552
/proc/meminfo: memFree=28977200/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) D 14550 14552 22179 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 337871251 26071040 362 33554432000 4194304 4198148 140735588151248 140735588148696 214369648309 0 0 4224 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6365 362 277 1 0 160 0
[startup+0.0393849 s]
/proc/loadavg: 2.02 1.99 1.84 3/175 14552
/proc/meminfo: memFree=28977200/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) D 14550 14552 22179 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 337871251 26071040 362 33554432000 4194304 4198148 140735588151248 140735588148696 214369648309 0 0 4224 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6365 362 277 1 0 160 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25460
[startup+0.10032 s]
/proc/loadavg: 2.02 1.99 1.84 3/175 14552
/proc/meminfo: memFree=28977200/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 587 0 0 0 0 0 0 0 20 0 1 0 337871251 26206208 499 33554432000 4194304 4198148 140735588151248 140735588150136 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6398 499 368 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300236 s]
/proc/loadavg: 2.02 1.99 1.84 3/175 14552
/proc/meminfo: memFree=28977200/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 587 0 0 0 0 0 0 0 20 0 1 0 337871251 26206208 499 33554432000 4194304 4198148 140735588151248 140735588150136 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6398 499 368 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.70018 s]
/proc/loadavg: 2.02 1.99 1.84 3/175 14552
/proc/meminfo: memFree=28977200/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=0.25 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 663 2089 0 0 0 0 25 0 20 0 1 0 337871251 26206208 518 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6398 518 387 1 0 193 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 25592
[startup+1.50013 s]
/proc/loadavg: 2.02 1.99 1.84 3/181 14663
/proc/meminfo: memFree=28963112/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=1.39 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 1019 11136 0 0 0 0 136 3 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 25592
[startup+3.10018 s]
/proc/loadavg: 2.02 1.99 1.84 3/181 14695
/proc/meminfo: memFree=28960476/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=2.7 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 1372 20184 0 0 1 0 264 5 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 25592
[startup+6.30025 s]
/proc/loadavg: 2.02 1.99 1.84 3/181 14743
/proc/meminfo: memFree=28956292/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=4.7 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 1963 35267 0 0 1 0 460 9 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14741] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14741/stat : 14741 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337871739 9367552 263 33554432000 4194304 5064252 140737261640800 140737261639056 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 2287 263 223 213 0 72 0
[pid=14743] ppid=14741 vsize=5900 CPUtime=1.42 cores=0,2,4,6
/proc/14743/stat : 14743 (clasp-1.0) R 14741 14552 22179 0 -1 4202496 1071 0 0 0 142 0 0 0 20 0 1 0 337871739 6041600 969 33554432000 134512640 134847168 4292780032 4292778608 134714339 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14743/statm: 1475 969 272 82 0 716 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 40640
[startup+12.7002 s]
/proc/loadavg: 2.01 1.99 1.84 3/181 14806
/proc/meminfo: memFree=28899156/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=10.86 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 2775 56426 0 0 2 1 1070 13 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14804] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14804/stat : 14804 (sh) S 14552 14552 22179 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337872355 9367552 264 33554432000 4194304 5064252 140735011538464 140735011536720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14804/statm: 2287 264 223 213 0 72 0
[pid=14806] ppid=14804 vsize=5900 CPUtime=1.66 cores=0,2,4,6
/proc/14806/stat : 14806 (clasp-1.0) R 14804 14552 22179 0 -1 4202496 1069 0 0 0 166 0 0 0 20 0 1 0 337872355 6041600 966 33554432000 134512640 134847168 4288596128 4288594812 134715824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14806/statm: 1475 966 272 82 0 716 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 40640
[startup+25.5003 s]
/proc/loadavg: 2.08 2.00 1.85 3/181 14806
/proc/meminfo: memFree=28899284/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=10.86 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 2775 56426 0 0 2 1 1070 13 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14804] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14804/stat : 14804 (sh) S 14552 14552 22179 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337872355 9367552 264 33554432000 4194304 5064252 140735011538464 140735011536720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14804/statm: 2287 264 223 213 0 72 0
[pid=14806] ppid=14804 vsize=6564 CPUtime=14.45 cores=0,2,4,6
/proc/14806/stat : 14806 (clasp-1.0) R 14804 14552 22179 0 -1 4202496 1231 0 0 0 1445 0 0 0 20 0 1 0 337872355 6721536 1128 33554432000 134512640 134847168 4288596128 4288594812 134715962 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14806/statm: 1641 1128 272 82 0 882 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 41304
[startup+51.1003 s]
/proc/loadavg: 2.05 2.00 1.85 3/181 14822
/proc/meminfo: memFree=28899656/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=39.2 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3007 62801 0 0 3 1 3901 15 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14820] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14820/stat : 14820 (sh) S 14552 14552 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337875190 9367552 263 33554432000 4194304 5064252 140735149329408 140735149327664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14820/statm: 2287 263 223 213 0 72 0
[pid=14822] ppid=14820 vsize=6520 CPUtime=11.7 cores=0,2,4,6
/proc/14822/stat : 14822 (clasp-1.0) R 14820 14552 22179 0 -1 4202496 1203 0 0 0 1170 0 0 0 20 0 1 0 337875190 6676480 1101 33554432000 134512640 134847168 4289395040 4289393724 134715803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14822/statm: 1630 1101 270 82 0 871 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 41260
[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.86 3/181 14822
/proc/meminfo: memFree=28898228/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=39.2 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3007 62801 0 0 3 1 3901 15 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14820] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14820/stat : 14820 (sh) S 14552 14552 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337875190 9367552 263 33554432000 4194304 5064252 140735149329408 140735149327664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14820/statm: 2287 263 223 213 0 72 0
[pid=14822] ppid=14820 vsize=7804 CPUtime=62.9 cores=0,2,4,6
/proc/14822/stat : 14822 (clasp-1.0) R 14820 14552 22179 0 -1 4202496 1513 0 0 0 6290 0 0 0 20 0 1 0 337875190 7991296 1411 33554432000 134512640 134847168 4289395040 4289393724 134715776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14822/statm: 1951 1411 270 82 0 1192 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 42544
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.87 3/182 14825
/proc/meminfo: memFree=28892820/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=39.2 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3007 62801 0 0 3 1 3901 15 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14820] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14820/stat : 14820 (sh) S 14552 14552 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 337875190 9367552 263 33554432000 4194304 5064252 140735149329408 140735149327664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14820/statm: 2287 263 223 213 0 72 0
[pid=14822] ppid=14820 vsize=8228 CPUtime=122.88 cores=0,2,4,6
/proc/14822/stat : 14822 (clasp-1.0) R 14820 14552 22179 0 -1 4202496 1629 0 0 0 12288 0 0 0 20 0 1 0 337875190 8425472 1531 33554432000 134512640 134847168 4289395040 4289393724 134715892 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14822/statm: 2057 1531 270 82 0 1298 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 42968
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/182 14856
/proc/meminfo: memFree=28889844/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=7492 CPUtime=51.84 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1449 0 0 0 5184 0 0 0 20 0 1 0 337888295 7671808 1349 33554432000 134512640 134847168 4294769104 4294767844 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 1873 1349 270 82 0 1114 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 42232
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/181 14857
/proc/meminfo: memFree=28887244/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=8220 CPUtime=111.83 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1599 0 0 0 11183 0 0 0 20 0 1 0 337888295 8417280 1518 33554432000 134512640 134847168 4294769104 4294767828 134714138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2055 1518 270 82 0 1296 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 42960
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/181 14857
/proc/meminfo: memFree=28881976/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=8528 CPUtime=171.82 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1688 0 0 0 17182 0 0 0 20 0 1 0 337888295 8732672 1607 33554432000 134512640 134847168 4294769104 4294767680 134715031 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2132 1607 270 82 0 1373 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 43268
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.90 3/181 14857
/proc/meminfo: memFree=28880612/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=8836 CPUtime=231.81 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1736 0 0 0 23181 0 0 0 20 0 1 0 337888295 9048064 1655 33554432000 134512640 134847168 4294769104 4294767680 134714832 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2209 1655 270 82 0 1450 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 43576
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 1.91 3/181 14857
/proc/meminfo: memFree=28879308/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9160 CPUtime=291.8 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1818 0 0 0 29180 0 0 0 20 0 1 0 337888295 9379840 1737 33554432000 134512640 134847168 4294769104 4294767344 5070186 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2290 1737 270 82 0 1531 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 43900
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/181 14857
/proc/meminfo: memFree=28878564/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9328 CPUtime=351.79 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1839 0 0 0 35179 0 0 0 20 0 1 0 337888295 9551872 1758 33554432000 134512640 134847168 4294769104 4294767824 134741370 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2332 1758 270 82 0 1573 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 44068
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 1.92 3/181 14858
/proc/meminfo: memFree=28877448/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9796 CPUtime=411.78 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1940 0 0 0 41178 0 0 0 20 0 1 0 337888295 10031104 1859 33554432000 134512640 134847168 4294769104 4294767728 134784800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2449 1859 270 82 0 1690 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 44536
Solver just ended. Dumping a history of the last processes samples
[startup+583.9 s]
/proc/loadavg: 2.10 2.05 1.92 3/181 14858
/proc/meminfo: memFree=28877448/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9796 CPUtime=413.38 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1940 0 0 0 41338 0 0 0 20 0 1 0 337888295 10031104 1859 33554432000 134512640 134847168 4294769104 4294767788 134715812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2449 1859 270 82 0 1690 0
Current children cumulated CPU time (s) 583.6
Current children cumulated vsize (KiB) 44536
[startup+584.3 s]
/proc/loadavg: 2.09 2.05 1.92 3/181 14858
/proc/meminfo: memFree=28877448/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9796 CPUtime=413.78 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1951 0 0 0 41378 0 0 0 20 0 1 0 337888295 10031104 1870 33554432000 134512640 134847168 4294769104 4294767788 134715815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2449 1870 270 82 0 1690 0
Current children cumulated CPU time (s) 584
Current children cumulated vsize (KiB) 44536
[startup+584.7 s]
/proc/loadavg: 2.09 2.05 1.92 3/181 14858
/proc/meminfo: memFree=28877448/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9796 CPUtime=414.18 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1951 0 0 0 41418 0 0 0 20 0 1 0 337888295 10031104 1870 33554432000 134512640 134847168 4294769104 4294767788 134715846 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2449 1870 270 82 0 1690 0
Current children cumulated CPU time (s) 584.4
Current children cumulated vsize (KiB) 44536
[startup+584.8 s]
/proc/loadavg: 2.09 2.05 1.92 3/181 14858
/proc/meminfo: memFree=28877448/32873844 swapFree=7632/7632
[pid=14552] ppid=14550 vsize=25592 CPUtime=170.22 cores=0,2,4,6
/proc/14552/stat : 14552 (pbclasp) S 14550 14552 22179 0 -1 4202496 3125 66385 0 0 3 1 17002 16 20 0 1 0 337871251 26206208 526 33554432000 4194304 4198148 140735588151248 140735588150176 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14552/statm: 6398 526 387 1 0 193 0
[pid=14831] ppid=14552 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14831/stat : 14831 (sh) S 14552 14552 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 337888295 9367552 263 33554432000 4194304 5064252 140736637559568 140736637557824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14831/statm: 2287 263 223 213 0 72 0
[pid=14833] ppid=14831 vsize=9796 CPUtime=414.28 cores=0,2,4,6
/proc/14833/stat : 14833 (clasp-1.0) R 14831 14552 22179 0 -1 4202496 1951 0 0 0 41428 0 0 0 20 0 1 0 337888295 10031104 1870 33554432000 134512640 134847168 4294769104 4294767788 134715901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14833/statm: 2449 1870 270 82 0 1690 0
Current children cumulated CPU time (s) 584.5
Current children cumulated vsize (KiB) 44536
Child status: 0
Real time (s): 584.845
CPU time (s): 584.573
CPU user time (s): 584.382
CPU system time (s): 0.19097
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 44536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 584.382
system time used= 0.19097
maximum resident set size= 7560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1676
involuntary context switches= 958
runsolver used 1.00285 second user time and 2.28865 second system time
The end