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-3742385-1338787733/watcher-3742385-1338787733 -o /tmp/evaluation-result-3742385-1338787733/solver-3742385-1338787733 -C 1800 -W 1900 -M 15500 pbclasp instance-3742385-1338787733.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: 2.01 2.00 1.93 3/179 15686
/proc/meminfo: memFree=27165892/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) R 15684 15686 15309 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 344897759 26206208 478 33554432000 4194304 4198148 140737464669392 140737464666840 213444780032 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6398 478 355 1 0 193 0
[startup+0.0307551 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 15686
/proc/meminfo: memFree=27165892/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.100156 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 15686
/proc/meminfo: memFree=27165892/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.30011 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 15686
/proc/meminfo: memFree=27165892/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.700109 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 15686
/proc/meminfo: memFree=27165892/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+1.50033 s]
/proc/loadavg: 2.01 2.00 1.93 3/184 15691
/proc/meminfo: memFree=27157420/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=19240 CPUtime=0.46 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 4605 0 0 0 45 1 0 0 20 0 1 0 344897762 19701760 4190 33554432000 134512640 134847168 4288802160 4288800928 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 4810 4190 270 82 0 4051 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 80244
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 15691
/proc/meminfo: memFree=27147136/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=19240 CPUtime=2.06 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 4629 0 0 0 205 1 0 0 20 0 1 0 344897762 19701760 4214 33554432000 134512640 134847168 4288802160 4288800928 134737400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 4810 4214 270 82 0 4051 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 80244
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 15691
/proc/meminfo: memFree=27146764/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=19648 CPUtime=5.26 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 4693 0 0 0 525 1 0 0 20 0 1 0 344897762 20119552 4278 33554432000 134512640 134847168 4288802160 4288800928 134737400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 4912 4278 270 82 0 4153 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 80652
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 15691
/proc/meminfo: memFree=27146408/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=19648 CPUtime=11.66 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 4747 0 0 0 1165 1 0 0 20 0 1 0 344897762 20119552 4332 33554432000 134512640 134847168 4288802160 4288800800 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 4912 4332 270 82 0 4153 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 80652
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 4/183 15691
/proc/meminfo: memFree=27144936/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=21404 CPUtime=24.46 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 5193 0 0 0 2445 1 0 0 20 0 1 0 344897762 21917696 4778 33554432000 134512640 134847168 4288802160 4288800400 11330855 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 5351 4778 270 82 0 4592 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 82408
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 15691
/proc/meminfo: memFree=27126336/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=30616 CPUtime=50.05 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 7457 0 0 0 5003 2 0 0 20 0 1 0 344897762 31350784 7042 33554432000 134512640 134847168 4288802160 4288800800 134782435 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 7654 7042 270 82 0 6895 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 91620
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 15694
/proc/meminfo: memFree=27088720/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=65540 CPUtime=101.24 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 16223 0 0 0 10120 4 0 0 20 0 1 0 344897762 67112960 15801 33554432000 134512640 134847168 4288802160 4288800928 134737421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 16385 15801 270 82 0 15626 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 126544
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 15694
/proc/meminfo: memFree=27059176/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=94612 CPUtime=161.22 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 15758
/proc/meminfo: memFree=26951388/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=282136 CPUtime=1420.99 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 69294 0 0 0 142080 19 0 0 20 0 1 0 344897762 288907264 69906 33554432000 134512640 134847168 4288802160 4288800800 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 70534 69906 270 82 0 69775 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1422.14
Current children cumulated vsize (KiB) 343140
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 15759
/proc/meminfo: memFree=26951436/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=282136 CPUtime=1480.97 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 69294 0 0 0 148078 19 0 0 20 0 1 0 344897762 288907264 69906 33554432000 134512640 134847168 4288802160 4288800880 134741456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 70534 69906 270 82 0 69775 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1482.12
Current children cumulated vsize (KiB) 343140
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 15759
/proc/meminfo: memFree=26902084/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=332164 CPUtime=1540.96 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 81614 0 0 0 154073 23 0 0 20 0 1 0 344897762 340135936 82226 33554432000 134512640 134847168 4288802160 4288800736 134714702 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 83041 82226 270 82 0 82282 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 393168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 15759
/proc/meminfo: memFree=26891668/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=332608 CPUtime=1600.95 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 81718 0 0 0 160072 23 0 0 20 0 1 0 344897762 340590592 82329 33554432000 134512640 134847168 4288802160 4288800800 134782452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 83152 82329 270 82 0 82393 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 393612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 15759
/proc/meminfo: memFree=26881880/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=334768 CPUtime=1660.94 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 82219 0 0 0 166070 24 0 0 20 0 1 0 344897762 342802432 83092 33554432000 134512640 134847168 4288802160 4288800844 134715790 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 83692 83092 270 82 0 82933 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 395772
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/183 15759
/proc/meminfo: memFree=26881880/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=334768 CPUtime=1720.93 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 82219 0 0 0 172069 24 0 0 20 0 1 0 344897762 342802432 83092 33554432000 134512640 134847168 4288802160 4288800884 134782567 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 83692 83092 270 82 0 82933 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 395772
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/183 15760
/proc/meminfo: memFree=26846644/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=344604 CPUtime=1780.92 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 84459 0 0 0 178068 24 0 0 20 0 1 0 344897762 352874496 85332 33554432000 134512640 134847168 4288802160 4288800928 134737793 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 86151 85332 270 82 0 85392 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 405608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/183 15760
/proc/meminfo: memFree=26836600/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=344764 CPUtime=1798.92 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 84490 0 0 0 179868 24 0 0 20 0 1 0 344897762 353038336 85363 33554432000 134512640 134847168 4288802160 4288800800 134782452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 86191 85363 270 82 0 85432 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 405768
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.01 2.00 1.95 3/183 15760
/proc/meminfo: memFree=26836600/32873844 swapFree=6608/6608
[pid=15686] ppid=15684 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/15686/stat : 15686 (pbclasp) S 15684 15686 15309 0 -1 4202496 767 0 0 0 2 0 0 0 20 0 1 0 344897759 27029504 678 33554432000 4194304 4198148 140737464669392 140737464668280 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15686/statm: 6599 678 364 1 0 394 0
[pid=15688] ppid=15686 vsize=9148 CPUtime=1.13 cores=0,2,4,6
/proc/15688/stat : 15688 (sh) S 15686 15686 15309 0 -1 4202496 374 627 0 0 0 0 113 0 20 0 1 0 344897762 9367552 264 33554432000 4194304 5064252 140735753189392 140735753187648 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15688/statm: 2287 264 223 213 0 72 0
[pid=15690] ppid=15688 vsize=344764 CPUtime=1798.92 cores=0,2,4,6
/proc/15690/stat : 15690 (clasp-1.0) R 15688 15686 15309 0 -1 4202496 84490 0 0 0 179868 24 0 0 20 0 1 0 344897762 353038336 85363 33554432000 134512640 134847168 4288802160 4288800800 134782452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15690/statm: 86191 85363 270 82 0 85432 0
[pid=15691] ppid=15688 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/15691/stat : 15691 (pboutclasp.pl) S 15688 15686 15309 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 344897762 26071040 438 33554432000 4194304 4198148 140735293771312 140735293761848 213423023344 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15691/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 405768
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.25796
CPU usage (%): 99.9884
Max. virtual memory (cumulated for all children) (KiB): 405768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.25796
maximum resident set size= 341452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87033
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= 573
involuntary context switches= 2015
runsolver used 7.42987 second user time and 17.6723 second system time
The end