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-3741839-1338782343/watcher-3741839-1338782343 -o /tmp/evaluation-result-3741839-1338782343/solver-3741839-1338782343 -C 1800 -W 1900 -M 15500 pbclasp instance-3741839-1338782343.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: 0.85 1.10 1.51 4/173 7039
/proc/meminfo: memFree=22390044/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) R 7037 7039 6982 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 344362865 26357760 526 33554432000 4194304 4198148 140735900999856 140733994866040 235374350228 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6435 526 355 1 0 230 0
[startup+0.098343 s]
/proc/loadavg: 0.85 1.10 1.51 4/173 7039
/proc/meminfo: memFree=22390044/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100271 s]
/proc/loadavg: 0.85 1.10 1.51 4/173 7039
/proc/meminfo: memFree=22390044/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300219 s]
/proc/loadavg: 0.85 1.10 1.51 4/173 7039
/proc/meminfo: memFree=22390044/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700176 s]
/proc/loadavg: 0.85 1.10 1.51 4/173 7039
/proc/meminfo: memFree=22390044/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+1.50028 s]
/proc/loadavg: 0.85 1.10 1.51 4/181 7049
/proc/meminfo: memFree=22376044/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=9260 CPUtime=1.14 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 1900 0 0 0 114 0 0 0 20 0 1 0 344362866 9482240 1733 33554432000 134512640 134847168 4289500336 4289499104 134737525 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7048/statm: 2315 1733 270 82 0 1556 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 69740
[startup+3.10028 s]
/proc/loadavg: 0.85 1.10 1.51 4/181 7049
/proc/meminfo: memFree=22375680/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=9788 CPUtime=2.73 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 2080 0 0 0 273 0 0 0 20 0 1 0 344362866 10022912 1913 33554432000 134512640 134847168 4289500336 4289498976 134782607 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7048/statm: 2447 1913 270 82 0 1688 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 70268
[startup+6.30029 s]
/proc/loadavg: 0.94 1.12 1.51 4/181 7049
/proc/meminfo: memFree=22368744/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=14244 CPUtime=5.93 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 3149 0 0 0 593 0 0 0 20 0 1 0 344362866 14585856 2982 33554432000 134512640 134847168 4289500336 4289499104 134737282 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7048/statm: 3561 2982 270 82 0 2802 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 74724
[startup+12.7003 s]
/proc/loadavg: 1.02 1.13 1.51 4/181 7049
/proc/meminfo: memFree=22359896/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=15960 CPUtime=12.32 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 3617 0 0 0 1232 0 0 0 20 0 1 0 344362866 16343040 3447 33554432000 134512640 134847168 4289500336 4289499104 134737535 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7048/statm: 3990 3447 270 82 0 3231 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 76440
[startup+25.5003 s]
/proc/loadavg: 1.24 1.17 1.52 4/181 7049
/proc/meminfo: memFree=22340624/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=25032 CPUtime=25.12 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 5883 0 0 0 2511 1 0 0 20 0 1 0 344362866 25632768 5726 33554432000 134512640 134847168 4289500336 4289499104 134737260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7048/statm: 6258 5726 270 82 0 5499 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 85512
[startup+51.1003 s]
/proc/loadavg: 1.50 1.24 1.53 4/181 7049
/proc/meminfo: memFree=22308108/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=43552 CPUtime=50.7 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 10520 0 0 0 5068 2 0 0 20 0 1 0 344362866 44597248 10356 33554432000 134512640 134847168 4289500336 4289499104 134737720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 10888 10356 270 82 0 10129 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104032
[startup+102.306 s]
/proc/loadavg: 1.78 1.35 1.55 4/182 7052
/proc/meminfo: memFree=22272180/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=71460 CPUtime=101.9 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 17470 0 0 0 10187 3 0 0 20 0 1 0 344362866 73175040 17312 33554432000 134512640 134847168 4289500336 4289498976 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 17865 17312 270 82 0 17106 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 131940
[startup+162.3 s]
/proc/loadavg: 1.92 1.47 1.58 4/182 7076
/proc/meminfo: memFree=22248508/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=81740 CPUtime=161.87 cores=1,3,5,7
################
# More data... #
################
/proc/7048/statm: 52806 52279 270 82 0 52047 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 271704
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/181 7086
/proc/meminfo: memFree=21985012/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=211224 CPUtime=1481.61 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 52136 0 0 0 148148 13 0 0 20 0 1 0 344362866 216293376 52279 33554432000 134512640 134847168 4289500336 4289499020 134715938 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 52806 52279 270 82 0 52047 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 271704
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/181 7086
/proc/meminfo: memFree=21985012/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=211224 CPUtime=1541.6 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 52136 0 0 0 154147 13 0 0 20 0 1 0 344362866 216293376 52279 33554432000 134512640 134847168 4289500336 4289498912 134714815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 52806 52279 270 82 0 52047 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 271704
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/181 7086
/proc/meminfo: memFree=21983648/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=211224 CPUtime=1601.59 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 52136 0 0 0 160146 13 0 0 20 0 1 0 344362866 216293376 52279 33554432000 134512640 134847168 4289500336 4289498976 134782463 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 52806 52279 270 82 0 52047 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 271704
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.89 4/180 7086
/proc/meminfo: memFree=21983780/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=211224 CPUtime=1661.58 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 52136 0 0 0 166145 13 0 0 20 0 1 0 344362866 216293376 52279 33554432000 134512640 134847168 4289500336 4289499040 134748516 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 52806 52279 270 82 0 52047 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 271704
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/181 7087
/proc/meminfo: memFree=21966908/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=227380 CPUtime=1721.58 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 56083 0 0 0 172143 15 0 0 20 0 1 0 344362866 232837120 56226 33554432000 134512640 134847168 4289500336 4289499092 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 56845 56226 270 82 0 56086 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 287860
Solver just ended. Dumping a history of the last processes samples
[startup+1723.1 s]
/proc/loadavg: 2.00 1.99 1.90 4/181 7087
/proc/meminfo: memFree=21963808/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=229932 CPUtime=1722.38 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 56713 0 0 0 172223 15 0 0 20 0 1 0 344362866 235450368 56856 33554432000 134512640 134847168 4289500336 4289499104 134737304 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 57483 56856 270 82 0 56724 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.77
Current children cumulated vsize (KiB) 290412
[startup+1723.9 s]
/proc/loadavg: 2.00 1.99 1.90 4/181 7087
/proc/meminfo: memFree=21960460/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=232356 CPUtime=1723.18 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 57300 0 0 0 172303 15 0 0 20 0 1 0 344362866 237932544 57443 33554432000 134512640 134847168 4289500336 4289498976 134782673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 58089 57443 270 82 0 57330 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1723.57
Current children cumulated vsize (KiB) 292836
[startup+1724.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/181 7087
/proc/meminfo: memFree=21960460/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=233640 CPUtime=1723.58 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 57611 0 0 0 172343 15 0 0 20 0 1 0 344362866 239247360 57754 33554432000 134512640 134847168 4289500336 4289499076 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 58410 57754 270 82 0 57651 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1723.97
Current children cumulated vsize (KiB) 294120
[startup+1724.7 s]
/proc/loadavg: 2.00 1.99 1.90 4/181 7087
/proc/meminfo: memFree=21956988/32873844 swapFree=7112/7112
[pid=7039] ppid=7037 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/7039/stat : 7039 (pbclasp) S 7037 7039 6982 0 -1 4202496 629 0 0 0 0 0 0 0 20 0 1 0 344362865 26492928 542 33554432000 4194304 4198148 140735900999856 140735900998744 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7039/statm: 6468 542 363 1 0 263 0
[pid=7043] ppid=7039 vsize=9148 CPUtime=0.39 cores=1,3,5,7
/proc/7043/stat : 7043 (sh) S 7039 7039 6982 0 -1 4202496 372 622 0 0 0 0 39 0 20 0 1 0 344362866 9367552 264 33554432000 4194304 5064252 140733331222032 140733331220288 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7043/statm: 2287 264 223 213 0 72 0
[pid=7048] ppid=7043 vsize=234728 CPUtime=1723.98 cores=1,3,5,7
/proc/7048/stat : 7048 (clasp-1.0) R 7043 7039 6982 0 -1 4202496 57889 0 0 0 172383 15 0 0 20 0 1 0 344362866 240361472 58032 33554432000 134512640 134847168 4289500336 4289498976 134782452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7048/statm: 58682 58032 270 82 0 57923 0
[pid=7049] ppid=7043 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7049/stat : 7049 (pboutclasp.pl) S 7043 7039 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344362866 26071040 437 33554432000 4194304 4198148 140736538663616 140736538654152 235378107632 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7049/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1724.37
Current children cumulated vsize (KiB) 295208
Child status: 0
Real time (s): 1724.79
CPU time (s): 1724.49
CPU user time (s): 1724.32
CPU system time (s): 0.167974
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 295208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.32
system time used= 0.167974
maximum resident set size= 232492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 233
involuntary context switches= 1905
runsolver used 2.6436 second user time and 6.77197 second system time
The end