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-3736989-1338733894/watcher-3736989-1338733894 -o /tmp/evaluation-result-3736989-1338733894/solver-3736989-1338733894 -C 1800 -W 1900 -M 15500 pbclasp instance-3736989-1338733894.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.01 2.02 2.00 4/178 9912
/proc/meminfo: memFree=27970732/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 339517978 26357760 524 33554432000 4194304 4198148 140735744216592 140735744215480 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 524 368 1 0 230 0
[startup+0.0539 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 9912
/proc/meminfo: memFree=27970732/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 339517978 26357760 524 33554432000 4194304 4198148 140735744216592 140735744215480 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 524 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100255 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 9912
/proc/meminfo: memFree=27970732/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 339517978 26357760 524 33554432000 4194304 4198148 140735744216592 140735744215480 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 524 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300224 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 9912
/proc/meminfo: memFree=27970732/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0.24 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 695 2096 0 0 0 0 24 0 20 0 1 0 339517978 26357760 546 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 546 387 1 0 230 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 25740
[startup+0.700236 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 9912
/proc/meminfo: memFree=27970732/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0.47 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1077 12363 0 0 0 0 45 2 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 25740
[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 9946
/proc/meminfo: memFree=27964764/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0.47 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1077 12363 0 0 0 0 45 2 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9944] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9944/stat : 9944 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339518027 9367552 264 33554432000 4194304 5064252 140734106584000 140734106582256 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 2287 264 223 213 0 72 0
[pid=9946] ppid=9944 vsize=7656 CPUtime=1 cores=1,3,5,7
/proc/9946/stat : 9946 (clasp-1.0) R 9944 9912 28789 0 -1 4202496 1536 0 0 0 100 0 0 0 20 0 1 0 339518028 7839744 1398 33554432000 134512640 134847168 4294513632 4294512400 134617553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9946/statm: 1914 1398 272 82 0 1155 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42544
[startup+3.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 9946
/proc/meminfo: memFree=27963416/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=0.47 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1077 12363 0 0 0 0 45 2 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9944] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9944/stat : 9944 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339518027 9367552 264 33554432000 4194304 5064252 140734106584000 140734106582256 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 2287 264 223 213 0 72 0
[pid=9946] ppid=9944 vsize=9032 CPUtime=2.59 cores=1,3,5,7
/proc/9946/stat : 9946 (clasp-1.0) R 9944 9912 28789 0 -1 4202496 1878 0 0 0 259 0 0 0 20 0 1 0 339518028 9248768 1740 33554432000 134512640 134847168 4294513632 4294512316 134715930 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9946/statm: 2258 1740 272 82 0 1499 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 43920
[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 9954
/proc/meminfo: memFree=27963040/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=4.04 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1205 16398 0 0 0 0 401 3 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9952] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9952/stat : 9952 (sh) S 9912 9912 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339518385 9367552 264 33554432000 4194304 5064252 140736321712688 140736321710944 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 2287 264 223 213 0 72 0
[pid=9954] ppid=9952 vsize=8908 CPUtime=2.21 cores=1,3,5,7
/proc/9954/stat : 9954 (clasp-1.0) R 9952 9912 28789 0 -1 4202496 1846 0 0 0 221 0 0 0 20 0 1 0 339518385 9121792 1708 33554432000 134512640 134847168 4287463856 4287462596 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9954/statm: 2227 1708 270 82 0 1468 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 43796
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 9954
/proc/meminfo: memFree=27959260/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=4.04 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1205 16398 0 0 0 0 401 3 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9952] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9952/stat : 9952 (sh) S 9912 9912 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339518385 9367552 264 33554432000 4194304 5064252 140736321712688 140736321710944 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 2287 264 223 213 0 72 0
[pid=9954] ppid=9952 vsize=11588 CPUtime=8.61 cores=1,3,5,7
/proc/9954/stat : 9954 (clasp-1.0) R 9952 9912 28789 0 -1 4202496 2496 0 0 0 861 0 0 0 20 0 1 0 339518385 11866112 2358 33554432000 134512640 134847168 4287463856 4287462540 134715808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9954/statm: 2897 2358 270 82 0 2138 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 46476
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 9954
/proc/meminfo: memFree=27953320/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=4.04 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1205 16398 0 0 0 0 401 3 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9952] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9952/stat : 9952 (sh) S 9912 9912 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339518385 9367552 264 33554432000 4194304 5064252 140736321712688 140736321710944 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 2287 264 223 213 0 72 0
[pid=9954] ppid=9952 vsize=15232 CPUtime=21.4 cores=1,3,5,7
/proc/9954/stat : 9954 (clasp-1.0) R 9952 9912 28789 0 -1 4202496 3409 0 0 0 2140 0 0 0 20 0 1 0 339518385 15597568 3274 33554432000 134512640 134847168 4287463856 4287462284 6102681 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9954/statm: 3808 3274 270 82 0 3049 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 50120
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 9954
/proc/meminfo: memFree=27947176/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=4.04 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1205 16398 0 0 0 0 401 3 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9952] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9952/stat : 9952 (sh) S 9912 9912 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339518385 9367552 264 33554432000 4194304 5064252 140736321712688 140736321710944 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 2287 264 223 213 0 72 0
[pid=9954] ppid=9952 vsize=19312 CPUtime=47 cores=1,3,5,7
/proc/9954/stat : 9954 (clasp-1.0) R 9952 9912 28789 0 -1 4202496 4428 0 0 0 4700 0 0 0 20 0 1 0 339518385 19775488 4294 33554432000 134512640 134847168 4287463856 4287462624 134737486 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9954/statm: 4828 4294 270 82 0 4069 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 54200
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 9954
/proc/meminfo: memFree=27938484/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=4.04 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1205 16398 0 0 0 0 401 3 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9952] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9952/stat : 9952 (sh) S 9912 9912 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339518385 9367552 264 33554432000 4194304 5064252 140736321712688 140736321710944 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 2287 264 223 213 0 72 0
[pid=9954] ppid=9952 vsize=24028 CPUtime=98.2 cores=1,3,5,7
/proc/9954/stat : 9954 (clasp-1.0) R 9952 9912 28789 0 -1 4202496 5609 0 0 0 9819 1 0 0 20 0 1 0 339518385 24604672 5490 33554432000 134512640 134847168 4287463856 4287462480 134784634 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9954/statm: 6007 5490 270 82 0 5248 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 58916
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9954
/proc/meminfo: memFree=27931164/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=4.04 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1205 16398 0 0 0 0 401 3 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9952] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9952/stat : 9952 (sh) S 9912 9912 28789 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339518385 9367552 264 33554432000 4194304 5064252 140736321712688 140736321710944 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 2287 264 223 213 0 72 0
[pid=9954] ppid=9952 vsize=28672 CPUtime=158.18 cores=1,3,5,7
/proc/9954/stat : 9954 (clasp-1.0) R 9952 9912 28789 0 -1 4202496 6736 0 0 0 15817 1 0 0 20 0 1 0 339518385 29360128 6619 33554432000 134512640 134847168 4287463856 4287462624 134737421 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9954/statm: 7168 6619 270 82 0 6409 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 63560
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9962
/proc/meminfo: memFree=27942516/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=191.48 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1331 25445 0 0 0 0 19142 6 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9960] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9960/stat : 9960 (sh) S 9912 9912 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339537134 9367552 263 33554432000 4194304 5064252 140733277786592 140733277784848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9960/statm: 2287 263 223 213 0 72 0
[pid=9962] ppid=9960 vsize=15276 CPUtime=30.73 cores=1,3,5,7
/proc/9962/stat : 9962 (clasp-1.0) R 9960 9912 28789 0 -1 4202496 3418 0 0 0 3072 1 0 0 20 0 1 0 339537134 15642624 3283 33554432000 134512640 134847168 4289902416 4289901184 134617496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9962/statm: 3819 3283 272 82 0 3060 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 50164
[startup+282.3 s]
################
# More data... #
################
/proc/9982/statm: 10057 9444 272 82 0 9298 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 75116
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 10086
/proc/meminfo: memFree=27891248/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=41016 CPUtime=687.13 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 9796 0 0 0 68711 2 0 0 20 0 1 0 339543481 42000384 9611 33554432000 134512640 134847168 4287120128 4287118748 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10254 9611 272 82 0 9495 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 75904
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 10086
/proc/meminfo: memFree=27889136/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=41508 CPUtime=747.13 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 9901 0 0 0 74710 3 0 0 20 0 1 0 339543481 42504192 9724 33554432000 134512640 134847168 4287120128 4287118820 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10377 9724 272 82 0 9618 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 76396
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27887028/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=807.12 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10246 0 0 0 80709 3 0 0 20 0 1 0 339543481 43888640 10069 33554432000 134512640 134847168 4287120128 4287118820 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10069 272 82 0 9956 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 77748
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27886656/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=819.92 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10246 0 0 0 81989 3 0 0 20 0 1 0 339543481 43888640 10069 33554432000 134512640 134847168 4287120128 4287118752 134784634 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10069 272 82 0 9956 0
Current children cumulated CPU time (s) 1074.85
Current children cumulated vsize (KiB) 77748
[startup+1087.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27885228/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=832.72 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10250 0 0 0 83269 3 0 0 20 0 1 0 339543481 43888640 10073 33554432000 134512640 134847168 4287120128 4287118896 134737660 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10073 272 82 0 9956 0
Current children cumulated CPU time (s) 1087.65
Current children cumulated vsize (KiB) 77748
[startup+1094.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27884980/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=839.11 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10253 0 0 0 83908 3 0 0 20 0 1 0 339543481 43888640 10076 33554432000 134512640 134847168 4287120128 4287118756 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10076 272 82 0 9956 0
Current children cumulated CPU time (s) 1094.04
Current children cumulated vsize (KiB) 77748
[startup+1100.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27884544/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=845.51 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10262 0 0 0 84548 3 0 0 20 0 1 0 339543481 43888640 10085 33554432000 134512640 134847168 4287120128 4287118752 134784711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10085 272 82 0 9956 0
Current children cumulated CPU time (s) 1100.44
Current children cumulated vsize (KiB) 77748
[startup+1102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27884420/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=847.11 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10263 0 0 0 84708 3 0 0 20 0 1 0 339543481 43888640 10086 33554432000 134512640 134847168 4287120128 4287118752 134784651 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10086 272 82 0 9956 0
Current children cumulated CPU time (s) 1102.04
Current children cumulated vsize (KiB) 77748
[startup+1103.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27884420/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=847.91 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10263 0 0 0 84788 3 0 0 20 0 1 0 339543481 43888640 10086 33554432000 134512640 134847168 4287120128 4287118812 134715864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10086 272 82 0 9956 0
Current children cumulated CPU time (s) 1102.84
Current children cumulated vsize (KiB) 77748
[startup+1103.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27884544/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=848.31 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10263 0 0 0 84828 3 0 0 20 0 1 0 339543481 43888640 10086 33554432000 134512640 134847168 4287120128 4287118812 134715803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10086 272 82 0 9956 0
Current children cumulated CPU time (s) 1103.24
Current children cumulated vsize (KiB) 77748
[startup+1103.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10086
/proc/meminfo: memFree=27884544/32873844 swapFree=7116/7116
[pid=9912] ppid=9910 vsize=25740 CPUtime=254.93 cores=1,3,5,7
/proc/9912/stat : 9912 (pbclasp) S 9910 9912 28789 0 -1 4202496 1438 31698 0 0 0 0 25485 8 20 0 1 0 339517978 26357760 551 33554432000 4194304 4198148 140735744216592 140735744215520 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9912/statm: 6435 551 387 1 0 230 0
[pid=9980] ppid=9912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9980/stat : 9980 (sh) S 9912 9912 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339543481 9367552 264 33554432000 4194304 5064252 140736994383008 140736994381264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 2287 264 223 213 0 72 0
[pid=9982] ppid=9980 vsize=42860 CPUtime=848.51 cores=1,3,5,7
/proc/9982/stat : 9982 (clasp-1.0) R 9980 9912 28789 0 -1 4202496 10263 0 0 0 84848 3 0 0 20 0 1 0 339543481 43888640 10086 33554432000 134512640 134847168 4287120128 4287118436 134792583 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9982/statm: 10715 10086 272 82 0 9956 0
Current children cumulated CPU time (s) 1103.44
Current children cumulated vsize (KiB) 77748
Child status: 0
Real time (s): 1103.73
CPU time (s): 1103.5
CPU user time (s): 1103.37
CPU system time (s): 0.12598
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 77748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.37
system time used= 0.12598
maximum resident set size= 40424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 598
involuntary context switches= 1282
runsolver used 2.14167 second user time and 5.9251 second system time
The end