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-3741497-1338779170/watcher-3741497-1338779170 -o /tmp/evaluation-result-3741497-1338779170/solver-3741497-1338779170 -C 1800 -W 1900 -M 15500 pbclasp instance-3741497-1338779170.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: 1.99 1.85 1.60 3/178 13018
/proc/meminfo: memFree=25992624/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=25876 CPUtime=0 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) R 13016 13018 14893 0 -1 4202496 637 0 0 0 0 0 0 0 20 0 1 0 344045552 26497024 567 33554432000 4194304 4198148 140733500847648 140734114850968 218213355412 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6469 567 361 1 0 264 0
[startup+0.0273919 s]
/proc/loadavg: 1.99 1.85 1.60 3/178 13018
/proc/meminfo: memFree=25992624/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26008 CPUtime=0.02 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) R 13016 13018 14893 0 -1 4202496 663 0 0 0 2 0 0 0 20 0 1 0 344045552 26632192 593 33554432000 4194304 4198148 140733500847648 140734114850968 218226324396 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6502 593 361 1 0 297 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26008
[startup+0.100291 s]
/proc/loadavg: 1.99 1.85 1.60 3/178 13018
/proc/meminfo: memFree=25992624/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26668 CPUtime=0.09 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 834 0 0 0 9 0 0 0 20 0 1 0 344045552 27308032 745 33554432000 4194304 4198148 140733500847648 140733500846536 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6667 745 368 1 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26668
[startup+0.300276 s]
/proc/loadavg: 1.99 1.85 1.60 3/178 13018
/proc/meminfo: memFree=25992624/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26668 CPUtime=0.09 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 834 0 0 0 9 0 0 0 20 0 1 0 344045552 27308032 745 33554432000 4194304 4198148 140733500847648 140733500846536 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6667 745 368 1 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26668
[startup+0.700233 s]
/proc/loadavg: 1.99 1.85 1.60 3/178 13018
/proc/meminfo: memFree=25992624/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 26932
[startup+1.50025 s]
/proc/loadavg: 1.99 1.85 1.60 3/181 13028
/proc/meminfo: memFree=25983656/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=12040 CPUtime=0.99 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 2619 0 0 0 99 0 0 0 20 0 1 0 344045602 12328960 2431 33554432000 134512640 134847168 4293117696 4293116540 134740921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13028/statm: 3010 2431 266 82 0 2251 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 48120
[startup+3.10025 s]
/proc/loadavg: 1.99 1.85 1.60 3/181 13028
/proc/meminfo: memFree=25979564/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=13888 CPUtime=2.59 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 3100 0 0 0 259 0 0 0 20 0 1 0 344045602 14221312 2912 33554432000 134512640 134847168 4293117696 4293116336 134782020 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13028/statm: 3472 2912 266 82 0 2713 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 49968
[startup+6.30026 s]
/proc/loadavg: 1.99 1.86 1.60 3/181 13028
/proc/meminfo: memFree=25973744/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=16928 CPUtime=5.8 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 3861 0 0 0 579 1 0 0 20 0 1 0 344045602 17334272 3673 33554432000 134512640 134847168 4293117696 4293116336 134782595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13028/statm: 4232 3673 266 82 0 3473 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 53008
[startup+12.7003 s]
/proc/loadavg: 1.99 1.86 1.60 3/181 13028
/proc/meminfo: memFree=25968328/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=20920 CPUtime=12.2 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 4855 0 0 0 1219 1 0 0 20 0 1 0 344045602 21422080 4693 33554432000 134512640 134847168 4293117696 4293116464 134737976 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13028/statm: 5230 4693 266 82 0 4471 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 57000
[startup+25.5003 s]
/proc/loadavg: 1.99 1.86 1.61 3/181 13028
/proc/meminfo: memFree=25961320/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=25856 CPUtime=24.99 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 6062 0 0 0 2498 1 0 0 20 0 1 0 344045602 26476544 5926 33554432000 134512640 134847168 4293117696 4293116464 134737503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13028/statm: 6464 5926 266 82 0 5705 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 61936
[startup+51.1003 s]
/proc/loadavg: 1.99 1.87 1.62 3/181 13028
/proc/meminfo: memFree=25951636/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=34640 CPUtime=50.58 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 8218 0 0 0 5057 1 0 0 20 0 1 0 344045602 35471360 8121 33554432000 134512640 134847168 4293117696 4293116436 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13028/statm: 8660 8121 266 82 0 7901 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70720
[startup+102.306 s]
/proc/loadavg: 1.99 1.89 1.64 3/181 13029
/proc/meminfo: memFree=25938800/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=42968 CPUtime=101.78 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 10206 0 0 0 10176 2 0 0 20 0 1 0 344045602 43999232 10180 33554432000 134512640 134847168 4293117696 4293116464 134737414 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13028/statm: 10742 10180 266 82 0 9983 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79048
[startup+162.3 s]
/proc/loadavg: 1.99 1.91 1.65 3/181 13029
/proc/meminfo: memFree=25928376/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=51104 CPUtime=161.76 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 12144 0 0 0 16174 2 0 0 20 0 1 0 344045602 52330496 12144 33554432000 134512640 134847168 4293117696 4293116464 134737570 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13028/statm: 12776 12144 266 82 0 12017 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 87184
[startup+222.3 s]
/proc/loadavg: 1.99 1.92 1.67 3/181 13029
/proc/meminfo: memFree=25922044/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=0.47 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1090 2107 0 0 10 0 37 0 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13026] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344045601 9367552 263 33554432000 4194304 5064252 140735022448416 140735022446672 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13026/statm: 2287 263 223 213 0 72 0
[pid=13028] ppid=13026 vsize=54984 CPUtime=221.76 cores=0,2,4,6
/proc/13028/stat : 13028 (clasp-1.0) R 13026 13018 14893 0 -1 4202496 13090 0 0 0 22173 3 0 0 20 0 1 0 344045602 56303616 13150 33554432000 134512640 134847168 4293117696 4293116436 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13028/statm: 13746 13150 266 82 0 12987 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 91064
[startup+282.3 s]
################
# More data... #
################
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=42304 CPUtime=98.68 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 10039 0 0 0 9867 1 0 0 20 0 1 0 344177912 43319296 9979 33554432000 134512640 134847168 4287860736 4287859504 134737670 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 10576 9979 266 82 0 9817 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 78384
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/182 13126
/proc/meminfo: memFree=25939728/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=50668 CPUtime=158.67 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 12070 0 0 0 15865 2 0 0 20 0 1 0 344177912 51884032 12111 33554432000 134512640 134847168 4287860736 4287859376 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 12667 12111 266 82 0 11908 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 86748
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/181 13126
/proc/meminfo: memFree=25934464/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=54852 CPUtime=218.65 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 13040 0 0 0 21863 2 0 0 20 0 1 0 344177912 56168448 13093 33554432000 134512640 134847168 4287860736 4287859504 134737421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 13713 13093 266 82 0 12954 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 90932
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/181 13126
/proc/meminfo: memFree=25925464/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=63040 CPUtime=278.64 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 14980 0 0 0 27861 3 0 0 20 0 1 0 344177912 64552960 15132 33554432000 134512640 134847168 4287860736 4287859424 134735843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 15760 15132 266 82 0 15001 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 99120
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/181 13127
/proc/meminfo: memFree=25921436/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=66476 CPUtime=338.63 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 15791 0 0 0 33860 3 0 0 20 0 1 0 344177912 68071424 16041 33554432000 134512640 134847168 4287860736 4287859376 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 16619 16041 266 82 0 15860 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 102556
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 13127
/proc/meminfo: memFree=25913492/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=74128 CPUtime=398.62 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 17577 0 0 0 39858 4 0 0 20 0 1 0 344177912 75907072 17927 33554432000 134512640 134847168 4287860736 4287859104 134791218 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 18532 17927 266 82 0 17773 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 110208
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/182 13128
/proc/meminfo: memFree=25909016/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=77840 CPUtime=458.61 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 18474 0 0 0 45857 4 0 0 20 0 1 0 344177912 79708160 18870 33554432000 134512640 134847168 4287860736 4287859504 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 19460 18870 266 82 0 18701 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 113920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 13128
/proc/meminfo: memFree=25907100/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1323.35 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1194 30675 0 0 10 0 132319 6 20 0 1 0 344045552 27578368 844 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 844 387 1 0 528 0
[pid=13056] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13056/stat : 13056 (sh) S 13018 13018 14893 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140735723549072 140735723547328 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13056/statm: 2287 263 223 213 0 72 0
[pid=13058] ppid=13056 vsize=79276 CPUtime=476.71 cores=0,2,4,6
/proc/13058/stat : 13058 (clasp-1.0) R 13056 13018 14893 0 -1 4202496 18775 0 0 0 47667 4 0 0 20 0 1 0 344177912 81178624 19171 33554432000 134512640 134847168 4287860736 4287859460 134782567 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13058/statm: 19819 19171 266 82 0 19060 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 115356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13018
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/182 13147
/proc/meminfo: memFree=25990052/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1800.1 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1367 52223 0 0 10 0 179987 13 20 0 1 0 344045552 27578368 846 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 846 387 1 0 528 0
[pid=13142] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13142/stat : 13142 (sh) S 13018 13018 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 344225595 9367552 263 33554432000 4194304 5064252 140733421153232 140733421151488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 2287 263 223 213 0 72 0
[pid=13146] ppid=13142 vsize=12040 CPUtime=0.96 cores=0,2,4,6
/proc/13146/stat : 13146 (clasp-1.0) R 13142 13018 14893 0 -1 4202496 2645 0 0 0 96 0 0 0 20 0 1 0 344225596 12328960 2457 33554432000 134512640 134847168 4291096544 4291095296 134738096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13146/statm: 3010 2457 268 82 0 2251 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 48120
[startup+1802.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/182 13147
/proc/meminfo: memFree=25984984/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1800.1 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1367 52223 0 0 10 0 179987 13 20 0 1 0 344045552 27578368 846 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 846 387 1 0 528 0
[pid=13142] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13142/stat : 13142 (sh) S 13018 13018 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 344225595 9367552 263 33554432000 4194304 5064252 140733421153232 140733421151488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 2287 263 223 213 0 72 0
[pid=13146] ppid=13142 vsize=12832 CPUtime=1.76 cores=0,2,4,6
/proc/13146/stat : 13146 (clasp-1.0) R 13142 13018 14893 0 -1 4202496 2834 0 0 0 176 0 0 0 20 0 1 0 344225596 13139968 2646 33554432000 134512640 134847168 4291096544 4291095184 134782662 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13146/statm: 3208 2646 268 82 0 2449 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 48912
[startup+1802.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/182 13147
/proc/meminfo: memFree=25984984/32873844 swapFree=7628/7628
[pid=13018] ppid=13016 vsize=26932 CPUtime=1800.1 cores=0,2,4,6
/proc/13018/stat : 13018 (pbclasp) S 13016 13018 14893 0 -1 4202496 1367 52223 0 0 10 0 179987 13 20 0 1 0 344045552 27578368 846 33554432000 4194304 4198148 140733500847648 140733500846576 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13018/statm: 6733 846 387 1 0 528 0
[pid=13142] ppid=13018 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13142/stat : 13142 (sh) S 13018 13018 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 344225595 9367552 263 33554432000 4194304 5064252 140733421153232 140733421151488 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 2287 263 223 213 0 72 0
[pid=13146] ppid=13142 vsize=13756 CPUtime=1.96 cores=0,2,4,6
/proc/13146/stat : 13146 (clasp-1.0) R 13142 13018 14893 0 -1 4202496 3051 0 0 0 196 0 0 0 20 0 1 0 344225596 14086144 2863 33554432000 134512640 134847168 4291096544 4291095184 134782441 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13146/statm: 3439 2863 268 82 0 2680 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 49836
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.11
CPU user time (s): 1801.96
CPU system time (s): 0.149977
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 148664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.96
system time used= 0.149977
maximum resident set size= 109716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 465
involuntary context switches= 1909
runsolver used 2.57061 second user time and 7.27189 second system time
The end