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-3742450-1338788851/watcher-3742450-1338788851 -o /tmp/evaluation-result-3742450-1338788851/solver-3742450-1338788851 -C 1800 -W 1900 -M 15500 pbclasp instance-3742450-1338788851.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.07 2.05 2.00 3/176 8105
/proc/meminfo: memFree=27976684/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) R 8103 8105 5924 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 345010527 26071040 380 33554432000 4194304 4198148 140733911825696 140733911823144 252287787836 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6365 382 290 1 0 160 0
[startup+0.0704141 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 8105
/proc/meminfo: memFree=27976684/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.100187 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 8105
/proc/meminfo: memFree=27976684/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.300112 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 8105
/proc/meminfo: memFree=27976684/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.70011 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 8105
/proc/meminfo: memFree=27976684/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+1.50038 s]
/proc/loadavg: 2.07 2.05 2.00 3/181 8110
/proc/meminfo: memFree=27968948/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=19476 CPUtime=0.49 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 4617 0 0 0 48 1 0 0 20 0 1 0 345010530 19943424 4201 33554432000 134512640 134847168 4292021088 4292019856 134617536 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 4869 4201 270 82 0 4110 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 80480
[startup+3.10039 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 8110
/proc/meminfo: memFree=27958292/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=19476 CPUtime=2.09 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 4663 0 0 0 208 1 0 0 20 0 1 0 345010530 19943424 4247 33554432000 134512640 134847168 4292021088 4292019648 134735807 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 4869 4247 270 82 0 4110 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 80480
[startup+6.30039 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 8110
/proc/meminfo: memFree=27957672/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=19884 CPUtime=5.29 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 4722 0 0 0 528 1 0 0 20 0 1 0 345010530 20361216 4306 33554432000 134512640 134847168 4292021088 4292019836 134737616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 4971 4306 270 82 0 4212 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 80888
[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 8163
/proc/meminfo: memFree=28249180/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=19884 CPUtime=11.69 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 4778 0 0 0 1168 1 0 0 20 0 1 0 345010530 20361216 4362 33554432000 134512640 134847168 4292021088 4292019828 134737629 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 4971 4362 270 82 0 4212 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 80888
[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.00 3/180 8163
/proc/meminfo: memFree=28232764/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=22036 CPUtime=24.48 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 5302 0 0 0 2447 1 0 0 20 0 1 0 345010530 22564864 4902 33554432000 134512640 134847168 4292021088 4292019728 134782472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 5509 4902 270 82 0 4750 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 83040
[startup+51.1004 s]
/proc/loadavg: 2.10 2.06 2.00 3/181 8164
/proc/meminfo: memFree=28191256/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=43708 CPUtime=50.07 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 10701 0 0 0 5004 3 0 0 20 0 1 0 345010530 44756992 10296 33554432000 134512640 134847168 4292021088 4292019664 134714706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 10927 10296 270 82 0 10168 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 104712
[startup+102.307 s]
/proc/loadavg: 2.04 2.05 2.00 3/181 8164
/proc/meminfo: memFree=28114268/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=72588 CPUtime=101.26 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 17862 0 0 0 10121 5 0 0 20 0 1 0 345010530 74330112 17562 33554432000 134512640 134847168 4292021088 4292019728 134782705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 18147 17562 270 82 0 17388 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 133592
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/182 8168
/proc/meminfo: memFree=28060628/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=114168 CPUtime=161.23 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.06 2.00 3/181 8201
/proc/meminfo: memFree=27738640/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=269176 CPUtime=1420.96 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 66325 0 0 0 142075 21 0 0 20 0 1 0 345010530 275636224 66688 33554432000 134512640 134847168 4292021088 4292019856 134737976 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 67294 66688 270 82 0 66535 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 330180
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 8201
/proc/meminfo: memFree=27714212/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=282808 CPUtime=1480.94 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 69666 0 0 0 148072 22 0 0 20 0 1 0 345010530 289595392 70029 33554432000 134512640 134847168 4292021088 4292019728 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 70702 70029 270 82 0 69943 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 343812
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 8201
/proc/meminfo: memFree=27693552/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=282944 CPUtime=1540.92 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 69702 0 0 0 154070 22 0 0 20 0 1 0 345010530 289734656 70156 33554432000 134512640 134847168 4292021088 4292019728 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 70736 70156 270 82 0 69977 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 343948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 8201
/proc/meminfo: memFree=27661560/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=284208 CPUtime=1600.92 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 69973 0 0 0 160069 23 0 0 20 0 1 0 345010530 291028992 70427 33554432000 134512640 134847168 4292021088 4292019728 134782452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 71052 70427 270 82 0 70293 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 345212
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 8201
/proc/meminfo: memFree=27661312/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=284396 CPUtime=1660.92 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 70008 0 0 0 166069 23 0 0 20 0 1 0 345010530 291221504 70462 33554432000 134512640 134847168 4292021088 4292019664 134714173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 71099 70462 270 82 0 70340 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 345400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8202
/proc/meminfo: memFree=27660352/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=284396 CPUtime=1720.91 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 70018 0 0 0 172068 23 0 0 20 0 1 0 345010530 291221504 70472 33554432000 134512640 134847168 4292021088 4292019664 134714497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 71099 70472 270 82 0 70340 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 345400
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 8202
/proc/meminfo: memFree=27659832/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=284396 CPUtime=1780.9 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 70018 0 0 0 178067 23 0 0 20 0 1 0 345010530 291221504 70472 33554432000 134512640 134847168 4292021088 4292019728 134782472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 71099 70472 270 82 0 70340 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 345400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 8202
/proc/meminfo: memFree=27659832/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=284396 CPUtime=1798.9 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 70018 0 0 0 179867 23 0 0 20 0 1 0 345010530 291221504 70472 33554432000 134512640 134847168 4292021088 4292019844 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 71099 70472 270 82 0 70340 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 345400
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 8202
/proc/meminfo: memFree=27659832/32873852 swapFree=7624/7624
[pid=8105] ppid=8103 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/8105/stat : 8105 (pbclasp) S 8103 8105 5924 0 -1 4202496 768 0 0 0 1 0 0 0 20 0 1 0 345010527 27029504 680 33554432000 4194304 4198148 140733911825696 140733911824584 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8105/statm: 6599 680 364 1 0 394 0
[pid=8107] ppid=8105 vsize=9148 CPUtime=1.1 cores=1,3,5,7
/proc/8107/stat : 8107 (sh) S 8105 8105 5924 0 -1 4202496 375 626 0 0 0 0 110 0 20 0 1 0 345010530 9367552 264 33554432000 4194304 5064252 140734766376816 140734766375072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8107/statm: 2287 264 223 213 0 72 0
[pid=8109] ppid=8107 vsize=284396 CPUtime=1798.9 cores=1,3,5,7
/proc/8109/stat : 8109 (clasp-1.0) R 8107 8105 5924 0 -1 4202496 70018 0 0 0 179867 23 0 0 20 0 1 0 345010530 291221504 70472 33554432000 134512640 134847168 4292021088 4292019844 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8109/statm: 71099 70472 270 82 0 70340 0
[pid=8110] ppid=8107 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (pboutclasp.pl) S 8107 8105 5924 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 345010530 26071040 437 33554432000 4194304 4198148 140735530006464 140735529997000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8110/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 345400
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.05
CPU user time (s): 1799.8
CPU system time (s): 0.244962
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 345400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.244962
maximum resident set size= 281888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72558
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= 545
involuntary context switches= 1865
runsolver used 4.13137 second user time and 9.95849 second system time
The end