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-3733627-1338715219/watcher-3733627-1338715219 -o /tmp/evaluation-result-3733627-1338715219/solver-3733627-1338715219 -C 1800 -W 1900 -M 15500 pbclasp instance-3733627-1338715219.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: 0.65 0.56 0.84 3/178 32303
/proc/meminfo: memFree=27021944/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) R 32301 32303 29645 0 -1 4202496 559 0 0 0 0 0 0 0 20 0 1 0 337646810 26206208 489 33554432000 4194304 4198148 140736429524032 140736429521480 223651270548 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6398 489 355 1 0 193 0
[startup+0.0115179 s]
/proc/loadavg: 0.65 0.56 0.84 3/178 32303
/proc/meminfo: memFree=27021944/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+1.03027 s]
/proc/loadavg: 0.65 0.56 0.84 3/178 32303
/proc/meminfo: memFree=27021944/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+2.59802 s]
/proc/loadavg: 0.65 0.56 0.84 3/178 32303
/proc/meminfo: memFree=27021944/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
heavy processes:
[startup+3.78234 s]
/proc/loadavg: 0.68 0.57 0.84 3/182 1352
/proc/meminfo: memFree=26977472/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=24468 CPUtime=3.69 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 5697 0 0 0 365 4 0 0 20 0 1 0 337646811 25055232 5582 33554432000 134512640 134847168 4289464432 4289463072 134782610 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 6117 5582 270 82 0 5358 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 85080
[startup+6.8135 s]
/proc/loadavg: 0.68 0.57 0.84 3/182 1352
/proc/meminfo: memFree=26977472/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=36248 CPUtime=6.72 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 8624 0 0 0 667 5 0 0 20 0 1 0 337646811 37117952 8509 33554432000 134512640 134847168 4289464432 4289463200 134617515 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 9062 8509 270 82 0 8303 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 96860
[startup+8.29307 s]
/proc/loadavg: 0.68 0.57 0.84 3/182 1352
/proc/meminfo: memFree=26977472/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=36248 CPUtime=8.2 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 8624 0 0 0 815 5 0 0 20 0 1 0 337646811 37117952 8509 33554432000 134512640 134847168 4289464432 4289462692 134792688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 9062 8509 270 82 0 8303 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 96860
[startup+8.59806 s]
/proc/loadavg: 0.68 0.57 0.84 3/182 1352
/proc/meminfo: memFree=26977472/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=36248 CPUtime=8.51 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 8624 0 0 0 846 5 0 0 20 0 1 0 337646811 37117952 8509 33554432000 134512640 134847168 4289464432 4289462708 134792688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 9062 8509 270 82 0 8303 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 96860
[startup+19.4161 s]
/proc/loadavg: 0.68 0.57 0.84 3/182 1352
/proc/meminfo: memFree=26977472/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=50712 CPUtime=19.32 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 12227 0 0 0 1927 5 0 0 20 0 1 0 337646811 51929088 12112 33554432000 134512640 134847168 4289464432 4289463188 134737608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 12678 12112 270 82 0 11919 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (KiB) 111324
[startup+39.6233 s]
/proc/loadavg: 0.86 0.61 0.86 2/184 6784
/proc/meminfo: memFree=26912732/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=58624 CPUtime=39.52 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 14187 0 0 0 3947 5 0 0 20 0 1 0 337646811 60030976 14069 33554432000 134512640 134847168 4289464432 4289463072 134783026 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 14656 14069 270 82 0 13897 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 39.64
Current children cumulated vsize (KiB) 119236
[startup+54.54 s]
/proc/loadavg: 0.86 0.61 0.86 2/184 6784
/proc/meminfo: memFree=26912732/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=68980 CPUtime=54.42 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 16770 0 0 0 5437 5 0 0 20 0 1 0 337646811 70635520 16652 33554432000 134512640 134847168 4289464432 4289463188 134737608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 17245 16652 270 82 0 16486 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 54.54
Current children cumulated vsize (KiB) 129592
[startup+114.415 s]
/proc/loadavg: 0.86 0.61 0.86 2/184 6784
/proc/meminfo: memFree=26912732/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=85340 CPUtime=114.28 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 20788 0 0 0 11422 6 0 0 20 0 1 0 337646811 87388160 20667 33554432000 134512640 134847168 4289464432 4289463072 134783023 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32313/statm: 21335 20667 270 82 0 20576 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 114.4
Current children cumulated vsize (KiB) 145952
################
# More data... #
################
/proc/32313/statm: 25740 25209 270 82 0 24981 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 163572
[startup+282.3 s]
/proc/loadavg: 1.81 2.24 1.59 3/181 9196
/proc/meminfo: memFree=26903752/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=110684 CPUtime=282.08 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 27412 0 0 0 28199 9 0 0 20 0 1 0 337646811 113340416 27138 33554432000 134512640 134847168 4289464432 4289463072 134782444 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 27671 27138 270 82 0 26912 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 171296
[startup+342.3 s]
/proc/loadavg: 1.37 2.03 1.55 3/183 12931
/proc/meminfo: memFree=26895040/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=114192 CPUtime=342.07 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 28316 0 0 0 34198 9 0 0 20 0 1 0 337646811 116932608 28016 33554432000 134512640 134847168 4289464432 4289462884 134790216 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 28548 28016 270 82 0 27789 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 174804
[startup+402.3 s]
/proc/loadavg: 1.24 1.87 1.53 2/183 15943
/proc/meminfo: memFree=26869984/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=136228 CPUtime=402.06 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 33864 0 0 0 40195 11 0 0 20 0 1 0 337646811 139497472 33477 33554432000 134512640 134847168 4289464432 4289463172 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34057 33477 270 82 0 33298 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 196840
Solver just ended. Dumping a history of the last processes samples
[startup+402.8 s]
/proc/loadavg: 1.22 1.85 1.53 3/181 16609
/proc/meminfo: memFree=26869828/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=136228 CPUtime=402.56 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 33864 0 0 0 40245 11 0 0 20 0 1 0 337646811 139497472 33477 33554432000 134512640 134847168 4289464432 4289463072 134782476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34057 33477 270 82 0 33298 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 402.68
Current children cumulated vsize (KiB) 196840
[startup+411.759 s]
/proc/loadavg: 1.28 1.86 1.53 3/181 21909
/proc/meminfo: memFree=26837180/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=138412 CPUtime=411.51 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 34429 0 0 0 41140 11 0 0 20 0 1 0 337646811 141733888 34015 33554432000 134512640 134847168 4289464432 4289463072 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34603 34015 270 82 0 33844 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 411.63
Current children cumulated vsize (KiB) 199024
[startup+427.418 s]
/proc/loadavg: 1.26 1.82 1.52 3/182 31323
/proc/meminfo: memFree=26828004/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=138412 CPUtime=427.17 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 34429 0 0 0 42706 11 0 0 20 0 1 0 337646811 141733888 34015 33554432000 134512640 134847168 4289464432 4289463152 134741346 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34603 34015 270 82 0 33844 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 427.29
Current children cumulated vsize (KiB) 199024
[startup+431.288 s]
/proc/loadavg: 1.26 1.82 1.52 3/182 31323
/proc/meminfo: memFree=26828004/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=138412 CPUtime=431.04 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 34429 0 0 0 43092 12 0 0 20 0 1 0 337646811 141733888 34015 33554432000 134512640 134847168 4289464432 4289463072 134782453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34603 34015 270 82 0 33844 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 431.16
Current children cumulated vsize (KiB) 199024
[startup+435.42 s]
/proc/loadavg: 1.32 1.82 1.52 3/181 3493
/proc/meminfo: memFree=26798600/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=138412 CPUtime=435.17 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 34429 0 0 0 43505 12 0 0 20 0 1 0 337646811 141733888 34015 33554432000 134512640 134847168 4289464432 4289463072 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34603 34015 270 82 0 33844 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 435.29
Current children cumulated vsize (KiB) 199024
[startup+436.733 s]
/proc/loadavg: 1.32 1.82 1.52 3/181 3493
/proc/meminfo: memFree=26798600/32873844 swapFree=7628/7628
[pid=32303] ppid=32301 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/32303/stat : 32303 (pbclasp) S 32301 32303 29645 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337646810 26628096 582 33554432000 4194304 4198148 140736429524032 140736429522920 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32303/statm: 6501 582 364 1 0 296 0
[pid=32311] ppid=32303 vsize=9148 CPUtime=0.12 cores=0,2,4,6
/proc/32311/stat : 32311 (sh) S 32303 32303 29645 0 -1 4202496 373 622 0 0 0 0 12 0 20 0 1 0 337646811 9367552 264 33554432000 4194304 5064252 140736414776576 140736414774832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 2287 264 223 213 0 72 0
[pid=32313] ppid=32311 vsize=138412 CPUtime=436.48 cores=0,2,4,6
/proc/32313/stat : 32313 (clasp-1.0) R 32311 32303 29645 0 -1 4202496 34429 0 0 0 43636 12 0 0 20 0 1 0 337646811 141733888 34015 33554432000 134512640 134847168 4289464432 4289462740 134791604 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32313/statm: 34603 34015 270 82 0 33844 0
[pid=32314] ppid=32311 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/32314/stat : 32314 (pboutclasp.pl) S 32311 32303 29645 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337646811 26071040 437 33554432000 4194304 4198148 140734366111968 140734366102504 223655027952 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32314/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 436.6
Current children cumulated vsize (KiB) 199024
Child status: 0
Real time (s): 437.886
CPU time (s): 437.804
CPU user time (s): 437.654
CPU system time (s): 0.149977
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 199188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.654
system time used= 0.149977
maximum resident set size= 136168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36800
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 410
runsolver used 0.368943 second user time and 1.01285 second system time
The end