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-3741891-1338782787/watcher-3741891-1338782787 -o /tmp/evaluation-result-3741891-1338782787/solver-3741891-1338782787 -C 1800 -W 1900 -M 15500 pbclasp instance-3741891-1338782787.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.00 2.00 1.93 3/179 13440
/proc/meminfo: memFree=25986828/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) R 13438 13440 14893 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 531 33554432000 4194304 4198148 140733540859232 140735576027880 218217112816 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 531 356 1 0 230 0
[startup+0.091001 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13440
/proc/meminfo: memFree=25986828/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13440
/proc/meminfo: memFree=25986828/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13440
/proc/meminfo: memFree=25986828/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700241 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13440
/proc/meminfo: memFree=25986828/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 13445
/proc/meminfo: memFree=25979844/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=8632 CPUtime=1.16 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 1747 0 0 0 116 0 0 0 20 0 1 0 344407250 8839168 1585 33554432000 134512640 134847168 4291780432 4291779164 134740921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 2158 1585 270 82 0 1399 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 68980
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 13445
/proc/meminfo: memFree=25978860/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=10612 CPUtime=2.76 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 2275 0 0 0 276 0 0 0 20 0 1 0 344407250 10866688 2113 33554432000 134512640 134847168 4291780432 4291779200 134737510 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 2653 2113 270 82 0 1894 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 70960
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 13445
/proc/meminfo: memFree=25971432/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=14124 CPUtime=5.96 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 3136 0 0 0 596 0 0 0 20 0 1 0 344407250 14462976 2971 33554432000 134512640 134847168 4291780432 4291779188 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 3531 2971 270 82 0 2772 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 74472
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 13445
/proc/meminfo: memFree=25963876/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=19688 CPUtime=12.35 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 4544 0 0 0 1235 0 0 0 20 0 1 0 344407250 20160512 4379 33554432000 134512640 134847168 4291780432 4291779072 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 4922 4379 270 82 0 4163 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 80036
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 13445
/proc/meminfo: memFree=25947644/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=25832 CPUtime=25.14 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 6080 0 0 0 2514 0 0 0 20 0 1 0 344407250 26451968 5917 33554432000 134512640 134847168 4291780432 4291779124 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13444/statm: 6458 5917 270 82 0 5699 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 86180
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 13445
/proc/meminfo: memFree=25928600/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=43388 CPUtime=50.74 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 10426 0 0 0 5073 1 0 0 20 0 1 0 344407250 44429312 10263 33554432000 134512640 134847168 4291780432 4291779200 134737260 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13444/statm: 10847 10263 270 82 0 10088 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 103736
[startup+102.307 s]
/proc/loadavg: 2.13 2.04 1.95 3/183 13445
/proc/meminfo: memFree=25904448/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=55516 CPUtime=101.92 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 13455 0 0 0 10190 2 0 0 20 0 1 0 344407250 56848384 13313 33554432000 134512640 134847168 4291780432 4291779008 134715072 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13444/statm: 13879 13313 270 82 0 13120 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 115864
[startup+162.3 s]
/proc/loadavg: 2.12 2.05 1.95 3/183 13446
/proc/meminfo: memFree=25868768/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=73676 CPUtime=161.89 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/184 13459
/proc/meminfo: memFree=25730584/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=158668 CPUtime=1421.6 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 39129 0 0 0 142150 10 0 0 20 0 1 0 344407250 162476032 39140 33554432000 134512640 134847168 4291780432 4291779072 134782441 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 39667 39140 270 82 0 38908 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 219016
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/183 13459
/proc/meminfo: memFree=25718836/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=161772 CPUtime=1481.59 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 39870 0 0 0 148149 10 0 0 20 0 1 0 344407250 165654528 39881 33554432000 134512640 134847168 4291780432 4291779072 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 40443 39881 270 82 0 39684 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 222120
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/183 13459
/proc/meminfo: memFree=25710828/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=167576 CPUtime=1541.57 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41323 0 0 0 154147 10 0 0 20 0 1 0 344407250 171597824 41334 33554432000 134512640 134847168 4291780432 4291779072 134782941 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 41894 41334 270 82 0 41135 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 227924
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/183 13459
/proc/meminfo: memFree=25709216/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=169048 CPUtime=1601.57 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41691 0 0 0 160146 11 0 0 20 0 1 0 344407250 173105152 41702 33554432000 134512640 134847168 4291780432 4291779056 134784667 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 42262 41702 270 82 0 41503 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 229396
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 13460
/proc/meminfo: memFree=25704556/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=169048 CPUtime=1661.56 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41696 0 0 0 166145 11 0 0 20 0 1 0 344407250 173105152 41722 33554432000 134512640 134847168 4291780432 4291779072 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 42262 41722 270 82 0 41503 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 229396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 13460
/proc/meminfo: memFree=25704428/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=169048 CPUtime=1721.55 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41696 0 0 0 172144 11 0 0 20 0 1 0 344407250 173105152 41722 33554432000 134512640 134847168 4291780432 4291779072 134782662 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 42262 41722 270 82 0 41503 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 229396
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.98 3/183 13460
/proc/meminfo: memFree=25704428/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=169048 CPUtime=1781.54 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41696 0 0 0 178143 11 0 0 20 0 1 0 344407250 173105152 41722 33554432000 134512640 134847168 4291780432 4291779072 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 42262 41722 270 82 0 41503 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 229396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.87 1.99 1.97 2/174 13488
/proc/meminfo: memFree=25835804/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=169048 CPUtime=1799.74 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41696 0 0 0 179963 11 0 0 20 0 1 0 344407250 173105152 41722 33554432000 134512640 134847168 4291780432 4291779072 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 42262 41722 270 82 0 41503 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 229396
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.87 1.99 1.97 2/174 13488
/proc/meminfo: memFree=25835804/32873844 swapFree=7628/7628
[pid=13440] ppid=13438 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/13440/stat : 13440 (pbclasp) S 13438 13440 14893 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 344407249 26357760 538 33554432000 4194304 4198148 140733540859232 140733540858120 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13440/statm: 6435 538 363 1 0 230 0
[pid=13442] ppid=13440 vsize=9148 CPUtime=0.36 cores=0,2,4,6
/proc/13442/stat : 13442 (sh) S 13440 13440 14893 0 -1 4202496 374 619 0 0 0 0 36 0 20 0 1 0 344407250 9367552 264 33554432000 4194304 5064252 140735644107888 140735644106144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13442/statm: 2287 264 223 213 0 72 0
[pid=13444] ppid=13442 vsize=169048 CPUtime=1799.74 cores=0,2,4,6
/proc/13444/stat : 13444 (clasp-1.0) R 13442 13440 14893 0 -1 4202496 41696 0 0 0 179963 11 0 0 20 0 1 0 344407250 173105152 41722 33554432000 134512640 134847168 4291780432 4291779072 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13444/statm: 42262 41722 270 82 0 41503 0
[pid=13445] ppid=13442 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (pboutclasp.pl) S 13442 13440 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344407250 26071040 437 33554432000 4194304 4198148 140736462333728 140736462324264 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13445/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 229396
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1800.01
CPU system time (s): 0.118981
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 229396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.118981
maximum resident set size= 166888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43984
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= 197
involuntary context switches= 2084
runsolver used 3.22751 second user time and 8.74867 second system time
The end