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-3736171-1338730093/watcher-3736171-1338730093 -o /tmp/evaluation-result-3736171-1338730093/solver-3736171-1338730093 -C 1800 -W 1900 -M 15500 pbclasp instance-3736171-1338730093.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 20413
/proc/meminfo: memFree=28917352/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) R 20411 20413 22179 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 339134883 26206208 474 33554432000 4194304 4198148 140734723441664 140734723439112 214369648388 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20413/statm: 6398 476 353 1 0 193 0
[startup+0.058613 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20413
/proc/meminfo: memFree=28917352/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 658 0 0 0 0 0 0 0 20 0 1 0 339134883 26492928 570 33554432000 4194304 4198148 140734723441664 140734723440552 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20413/statm: 6468 570 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100214 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20413
/proc/meminfo: memFree=28917352/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 658 0 0 0 0 0 0 0 20 0 1 0 339134883 26492928 570 33554432000 4194304 4198148 140734723441664 140734723440552 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20413/statm: 6468 570 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300193 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20413
/proc/meminfo: memFree=28917352/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 658 0 0 0 0 0 0 0 20 0 1 0 339134883 26492928 570 33554432000 4194304 4198148 140734723441664 140734723440552 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20413/statm: 6468 570 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700192 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20413
/proc/meminfo: memFree=28917352/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=0.67 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 747 1540 0 0 0 0 67 0 20 0 1 0 339134883 26628096 598 33554432000 4194304 4198148 140734723441664 140734723440552 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20413/statm: 6501 598 385 1 0 296 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 26004
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20431
/proc/meminfo: memFree=28906184/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=1.42 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 1328 21796 0 0 1 0 135 6 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 26004
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20479
/proc/meminfo: memFree=28905688/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=3.04 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 2482 66102 0 0 3 0 283 18 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 26004
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 20615
/proc/meminfo: memFree=28913740/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=5.93 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 4529 144886 0 0 7 1 544 41 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 26004
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20911
/proc/meminfo: memFree=28906892/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=12.28 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 9153 322089 0 0 14 3 1122 89 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 26004
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21503
/proc/meminfo: memFree=28902048/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=24.86 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18275 671493 0 0 25 10 2260 191 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 26004
Solver just ended. Dumping a history of the last processes samples
[startup+31.9065 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21543
/proc/meminfo: memFree=28901592/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=26.55 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18794 691185 0 0 25 10 2423 197 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21541] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21541/stat : 21541 (sh) S 20413 20413 22179 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339137590 9367552 264 33554432000 4194304 5064252 140734184339712 140734184337968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21541/statm: 2287 264 223 213 0 72 0
[pid=21543] ppid=21541 vsize=13308 CPUtime=4.82 cores=1,3,5,7
/proc/21543/stat : 21543 (clasp-1.0) R 21541 20413 22179 0 -1 4202496 2979 0 0 0 482 0 0 0 20 0 1 0 339137590 13627392 2804 33554432000 134512640 134847168 4292178352 4292176976 134784711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21543/statm: 3327 2804 272 82 0 2568 0
Current children cumulated CPU time (s) 31.37
Current children cumulated vsize (KiB) 48460
[startup+35.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21543
/proc/meminfo: memFree=28901352/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=26.55 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18794 691185 0 0 25 10 2423 197 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21541] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21541/stat : 21541 (sh) S 20413 20413 22179 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339137590 9367552 264 33554432000 4194304 5064252 140734184339712 140734184337968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21541/statm: 2287 264 223 213 0 72 0
[pid=21543] ppid=21541 vsize=13772 CPUtime=8.02 cores=1,3,5,7
/proc/21543/stat : 21543 (clasp-1.0) R 21541 20413 22179 0 -1 4202496 3091 0 0 0 802 0 0 0 20 0 1 0 339137590 14102528 2916 33554432000 134512640 134847168 4292178352 4292177120 134737366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21543/statm: 3443 2916 272 82 0 2684 0
Current children cumulated CPU time (s) 34.57
Current children cumulated vsize (KiB) 48924
[startup+36.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21551
/proc/meminfo: memFree=28902312/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=35.29 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18923 696284 0 0 25 10 3295 199 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21549] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21549/stat : 21549 (sh) S 20413 20413 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339138464 9367552 264 33554432000 4194304 5064252 140733221685088 140733221683344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21549/statm: 2287 264 223 213 0 72 0
[pid=21551] ppid=21549 vsize=13308 CPUtime=0.88 cores=1,3,5,7
/proc/21551/stat : 21551 (clasp-1.0) R 21549 20413 22179 0 -1 4202496 2969 0 0 0 88 0 0 0 20 0 1 0 339138464 13627392 2794 33554432000 134512640 134847168 4286688656 4286687424 134737304 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21551/statm: 3327 2794 270 82 0 2568 0
Current children cumulated CPU time (s) 36.17
Current children cumulated vsize (KiB) 48460
[startup+37.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21551
/proc/meminfo: memFree=28901732/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=35.29 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18923 696284 0 0 25 10 3295 199 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21549] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21549/stat : 21549 (sh) S 20413 20413 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339138464 9367552 264 33554432000 4194304 5064252 140733221685088 140733221683344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21549/statm: 2287 264 223 213 0 72 0
[pid=21551] ppid=21549 vsize=13308 CPUtime=1.68 cores=1,3,5,7
/proc/21551/stat : 21551 (clasp-1.0) R 21549 20413 22179 0 -1 4202496 2970 0 0 0 168 0 0 0 20 0 1 0 339138464 13627392 2795 33554432000 134512640 134847168 4286688656 4286687424 134737400 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21551/statm: 3327 2795 270 82 0 2568 0
Current children cumulated CPU time (s) 36.97
Current children cumulated vsize (KiB) 48460
[startup+38.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21551
/proc/meminfo: memFree=28901732/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=35.29 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18923 696284 0 0 25 10 3295 199 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21549] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21549/stat : 21549 (sh) S 20413 20413 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339138464 9367552 264 33554432000 4194304 5064252 140733221685088 140733221683344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21549/statm: 2287 264 223 213 0 72 0
[pid=21551] ppid=21549 vsize=13308 CPUtime=2.48 cores=1,3,5,7
/proc/21551/stat : 21551 (clasp-1.0) R 21549 20413 22179 0 -1 4202496 2970 0 0 0 248 0 0 0 20 0 1 0 339138464 13627392 2795 33554432000 134512640 134847168 4286688656 4286687248 134630272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21551/statm: 3327 2795 270 82 0 2568 0
Current children cumulated CPU time (s) 37.77
Current children cumulated vsize (KiB) 48460
[startup+38.5063 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21551
/proc/meminfo: memFree=28901740/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=35.29 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18923 696284 0 0 25 10 3295 199 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21549] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21549/stat : 21549 (sh) S 20413 20413 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339138464 9367552 264 33554432000 4194304 5064252 140733221685088 140733221683344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21549/statm: 2287 264 223 213 0 72 0
[pid=21551] ppid=21549 vsize=13308 CPUtime=2.68 cores=1,3,5,7
/proc/21551/stat : 21551 (clasp-1.0) R 21549 20413 22179 0 -1 4202496 2970 0 0 0 268 0 0 0 20 0 1 0 339138464 13627392 2795 33554432000 134512640 134847168 4286688656 4286687296 134715324 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21551/statm: 3327 2795 270 82 0 2568 0
Current children cumulated CPU time (s) 37.97
Current children cumulated vsize (KiB) 48460
[startup+38.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21551
/proc/meminfo: memFree=28901740/32873844 swapFree=7632/7632
[pid=20413] ppid=20411 vsize=26004 CPUtime=35.29 cores=1,3,5,7
/proc/20413/stat : 20413 (pbclasp) S 20411 20413 22179 0 -1 4202496 18923 696284 0 0 25 10 3295 199 20 0 1 0 339134883 26628096 609 33554432000 4194304 4198148 140734723441664 140734723440592 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20413/statm: 6501 609 387 1 0 296 0
[pid=21549] ppid=20413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21549/stat : 21549 (sh) S 20413 20413 22179 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 339138464 9367552 264 33554432000 4194304 5064252 140733221685088 140733221683344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21549/statm: 2287 264 223 213 0 72 0
[pid=21551] ppid=21549 vsize=13308 CPUtime=2.78 cores=1,3,5,7
/proc/21551/stat : 21551 (clasp-1.0) R 21549 20413 22179 0 -1 4202496 2970 0 0 0 278 0 0 0 20 0 1 0 339138464 13627392 2795 33554432000 134512640 134847168 4286688656 4286687280 134784628 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21551/statm: 3327 2795 270 82 0 2568 0
Current children cumulated CPU time (s) 38.07
Current children cumulated vsize (KiB) 48460
Child status: 0
Real time (s): 38.6441
CPU time (s): 38.1462
CPU user time (s): 36.0335
CPU system time (s): 2.11268
CPU usage (%): 98.7115
Max. virtual memory (cumulated for all children) (KiB): 49208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.0335
system time used= 2.11268
maximum resident set size= 11944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 203616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25897
involuntary context switches= 1449
runsolver used 0.135979 second user time and 0.202969 second system time
The end