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-3752071-1339125823/watcher-3752071-1339125823 -o /tmp/evaluation-result-3752071-1339125823/solver-3752071-1339125823 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752071-1339125823.opb 1689963871 HOME HOME
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.01 2.00 2.00 3/180 1823
/proc/meminfo: memFree=26418520/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[startup+0.0219959 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 1823
/proc/meminfo: memFree=26418520/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10036 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 1823
/proc/meminfo: memFree=26418520/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300219 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 1823
/proc/meminfo: memFree=26418520/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700207 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 1823
/proc/meminfo: memFree=26418520/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 1829
/proc/meminfo: memFree=26297132/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=16808 CPUtime=1.46 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 3352 21046 0 0 18 1 121 6 20 0 1 0 378706696 17211392 3372 33554432000 4194304 6004724 140733940108528 140733940094808 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4202 3372 152 442 0 3756 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25956
[startup+3.10029 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 1833
/proc/meminfo: memFree=26359264/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18096 CPUtime=1.94 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 4066 21561 0 0 28 38 121 7 20 0 1 0 378706696 18530304 3717 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4524 3717 175 442 0 4078 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10385 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10385 146 357 0 11926 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 76388
[startup+6.30044 s]
/proc/loadavg: 2.01 2.00 2.00 3/185 1840
/proc/meminfo: memFree=26308960/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18096 CPUtime=1.94 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 4066 21561 0 0 28 38 121 7 20 0 1 0 378706696 18530304 3717 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4524 3717 175 442 0 4078 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10385 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10385 146 357 0 11926 0
[pid=1839] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1839/stat : 1839 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378706965 9367552 267 33554432000 4194304 5064252 140733369162320 140733369161232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1839/statm: 2287 267 226 213 0 72 0
[pid=1840] ppid=1839 vsize=48308 CPUtime=3.59 cores=1,3,5,7
/proc/1840/stat : 1840 (glucose) R 1839 1823 30107 0 -1 4202496 10011 0 0 0 357 2 0 0 20 0 1 0 378706965 49467392 10606 33554432000 4194304 5208918 140735068091232 140735068089176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1840/statm: 12077 10606 95 248 0 11826 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 133844
[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 2.00 3/185 1840
/proc/meminfo: memFree=26308240/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18096 CPUtime=1.94 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 4066 21561 0 0 28 38 121 7 20 0 1 0 378706696 18530304 3717 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4524 3717 175 442 0 4078 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10385 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10385 146 357 0 11926 0
[pid=1839] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1839/stat : 1839 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378706965 9367552 267 33554432000 4194304 5064252 140733369162320 140733369161232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1839/statm: 2287 267 226 213 0 72 0
[pid=1840] ppid=1839 vsize=48440 CPUtime=9.99 cores=1,3,5,7
/proc/1840/stat : 1840 (glucose) R 1839 1823 30107 0 -1 4202496 10040 0 0 0 997 2 0 0 20 0 1 0 378706965 49602560 10635 33554432000 4194304 5208918 140735068091232 140735068089080 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1840/statm: 12110 10635 95 248 0 11859 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 133976
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 1847
/proc/meminfo: memFree=26307364/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=17.41 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 4759 36585 0 0 30 38 1661 12 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10385 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10385 146 357 0 11926 0
[pid=1846] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1846/stat : 1846 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378708513 9367552 267 33554432000 4194304 5064252 140736861904368 140736861903280 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1846/statm: 2287 267 226 213 0 72 0
[pid=1847] ppid=1846 vsize=48436 CPUtime=7.32 cores=1,3,5,7
/proc/1847/stat : 1847 (glucose) R 1846 1823 30107 0 -1 4202496 10078 0 0 0 730 2 0 0 20 0 1 0 378708513 49598464 10667 33554432000 4194304 5208918 140734874084224 140734874082072 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1847/statm: 12109 10667 95 248 0 11858 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 134256
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 1861
/proc/meminfo: memFree=26308088/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=47.94 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 6140 67418 0 0 35 38 4698 23 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=1860] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1860/stat : 1860 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378711566 9367552 267 33554432000 4194304 5064252 140737058729648 140737058728560 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1860/statm: 2287 267 226 213 0 72 0
[pid=1861] ppid=1860 vsize=48308 CPUtime=2.38 cores=1,3,5,7
/proc/1861/stat : 1861 (glucose) R 1860 1823 30107 0 -1 4202496 9997 0 0 0 236 2 0 0 20 0 1 0 378711566 49467392 10592 33554432000 4194304 5208918 140733208754784 140733208752728 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1861/statm: 12077 10592 95 248 0 11826 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 134128
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 1889
/proc/meminfo: memFree=26307756/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=92.8 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 8211 114151 0 0 41 39 9163 37 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=1888] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1888/stat : 1888 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 378716054 9367552 267 33554432000 4194304 5064252 140736942351376 140736942350288 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1888/statm: 2287 267 226 213 0 72 0
[pid=1889] ppid=1888 vsize=48440 CPUtime=8.69 cores=1,3,5,7
/proc/1889/stat : 1889 (glucose) R 1888 1823 30107 0 -1 4202496 9999 0 0 0 867 2 0 0 20 0 1 0 378716055 49602560 10597 33554432000 4194304 5208918 140736005071920 140736005069768 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1889/statm: 12110 10597 95 248 0 11859 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 134260
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 1917
/proc/meminfo: memFree=26307752/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 134416
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/185 2635
/proc/meminfo: memFree=26307512/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1527.07 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 73793 1566015 0 0 231 53 151883 540 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2634] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2634/stat : 2634 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378859553 9367552 267 33554432000 4194304 5064252 140735848724448 140735848723360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2634/statm: 2287 267 226 213 0 72 0
[pid=2635] ppid=2634 vsize=48856 CPUtime=13.7 cores=1,3,5,7
/proc/2635/stat : 2635 (glucose) R 2634 1823 30107 0 -1 4202496 10208 0 0 0 1368 2 0 0 20 0 1 0 378859553 50028544 11309 33554432000 4194304 5208918 140735838936016 140735838933960 4229872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2635/statm: 12214 11309 101 248 0 11963 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 134676
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 2713
/proc/meminfo: memFree=26430112/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1587.34 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 76554 1626091 0 0 239 54 157880 561 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2712] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2712/stat : 2712 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378865581 9367552 266 33554432000 4194304 5064252 140736569263008 140736569261920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2712/statm: 2287 266 226 213 0 72 0
[pid=2713] ppid=2712 vsize=48440 CPUtime=13.43 cores=1,3,5,7
/proc/2713/stat : 2713 (glucose) R 2712 1823 30107 0 -1 4202496 10115 0 0 0 1342 1 0 0 20 0 1 0 378865581 49602560 10703 33554432000 4194304 5208918 140735604836896 140735604834744 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2713/statm: 12110 10703 95 248 0 11859 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 134260
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 2741
/proc/meminfo: memFree=26410844/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1647.96 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 79316 1688190 0 0 247 55 163911 583 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2740] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2740/stat : 2740 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378871645 9367552 267 33554432000 4194304 5064252 140736705971264 140736705970176 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2740/statm: 2287 267 226 213 0 72 0
[pid=2741] ppid=2740 vsize=48436 CPUtime=12.78 cores=1,3,5,7
/proc/2741/stat : 2741 (glucose) R 2740 1823 30107 0 -1 4202496 9653 0 0 0 1276 2 0 0 20 0 1 0 378871645 49598464 10558 33554432000 4194304 5208918 140733442693584 140733442691432 4212856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2741/statm: 12109 10558 95 248 0 11858 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 134256
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 2812
/proc/meminfo: memFree=26348380/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1707.95 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 82077 1748876 0 0 255 55 169882 603 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2811] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2811/stat : 2811 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378877648 9367552 267 33554432000 4194304 5064252 140737099252208 140737099251120 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2811/statm: 2287 267 226 213 0 72 0
[pid=2812] ppid=2811 vsize=48440 CPUtime=12.76 cores=1,3,5,7
/proc/2812/stat : 2812 (glucose) R 2811 1823 30107 0 -1 4202496 10089 0 0 0 1274 2 0 0 20 0 1 0 378877649 49602560 10679 33554432000 4194304 5208918 140733434746048 140733434743896 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2812/statm: 12110 10679 95 248 0 11859 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 134260
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 2841
/proc/meminfo: memFree=26348676/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1769.82 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 84838 1809460 0 0 263 55 176040 624 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2840] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2840/stat : 2840 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378883837 9367552 267 33554432000 4194304 5064252 140734893611440 140734893610352 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2840/statm: 2287 267 226 213 0 72 0
[pid=2841] ppid=2840 vsize=48440 CPUtime=10.86 cores=1,3,5,7
/proc/2841/stat : 2841 (glucose) R 2840 1823 30107 0 -1 4202496 10257 0 0 0 1084 2 0 0 20 0 1 0 378883837 49602560 10306 33554432000 4194304 5208918 140733426248096 140733426245944 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2841/statm: 12110 10306 95 248 0 11859 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 134260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 2855
/proc/meminfo: memFree=26349548/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1798.98 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 86219 1840230 0 0 267 56 178940 635 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2854] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378886754 9367552 267 33554432000 4194304 5064252 140734818518944 140734818517856 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2854/statm: 2287 267 226 213 0 72 0
[pid=2855] ppid=2854 vsize=48176 CPUtime=0.31 cores=1,3,5,7
/proc/2855/stat : 2855 (glucose) R 2854 1823 30107 0 -1 4202496 10060 0 0 0 29 2 0 0 20 0 1 0 378886754 49332224 10124 33554432000 4194304 5208918 140735572756256 140735572754200 4229361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2855/statm: 12044 10124 95 248 0 11793 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 133996
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 2855
/proc/meminfo: memFree=26349548/32873844 swapFree=7628/7628
[pid=1823] ppid=1821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1823/stat : 1823 (npSolver-pbo-It) S 1821 1823 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378706695 9367552 274 33554432000 4194304 5064252 140735900492448 140735900491360 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1823/statm: 2287 274 233 213 0 72 0
[pid=1824] ppid=1823 vsize=18380 CPUtime=1798.98 cores=1,3,5,7
/proc/1824/stat : 1824 (npSolver-pbo) S 1823 1823 30107 0 -1 4202496 86219 1840230 0 0 267 56 178940 635 20 0 1 0 378706696 18821120 3719 33554432000 4194304 6004724 140733940108528 140733940100832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1824/statm: 4595 3719 176 442 0 4149 0
[pid=1833] ppid=1824 vsize=49144 CPUtime=0.73 cores=1,3,5,7
/proc/1833/stat : 1833 (glucosInc) S 1824 1823 30107 0 -1 4202496 10273 0 0 0 71 2 0 0 20 0 1 0 378706844 50323456 10643 33554432000 4194304 5654031 140734183186608 140734183184920 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1833/statm: 12286 10643 146 357 0 11926 0
[pid=2854] ppid=1824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (satsolver.sh) S 1824 1823 30107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378886754 9367552 267 33554432000 4194304 5064252 140734818518944 140734818517856 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2854/statm: 2287 267 226 213 0 72 0
[pid=2855] ppid=2854 vsize=48176 CPUtime=0.31 cores=1,3,5,7
/proc/2855/stat : 2855 (glucose) R 2854 1823 30107 0 -1 4202496 10060 0 0 0 29 2 0 0 20 0 1 0 378886754 49332224 10124 33554432000 4194304 5208918 140735572756256 140735572754200 4229361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2855/statm: 12044 10124 95 248 0 11793 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 133996
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1823 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=377517
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=948943
# CPU time returned by wait4() is 1799.33
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.91
CPU time (s): 1800.02
CPU user time (s): 1793.07
CPU system time (s): 6.95
CPU usage (%): 99.9504
Max. virtual memory (cumulated for all children) (KiB): 143184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.38
system time used= 6.94894
maximum resident set size= 108216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1937499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1676752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33989
involuntary context switches= 3250
runsolver used 3.08053 second user time and 8.46871 second system time
The end