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-3752873-1339191058/watcher-3752873-1339191058 -o /tmp/evaluation-result-3752873-1339191058/solver-3752873-1339191058 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752873-1339191058.wbo 1378492086 HOME HOME
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.02 1.97 1.94 3/180 1701
/proc/meminfo: memFree=26756200/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[startup+0.0338839 s]
/proc/loadavg: 2.02 1.97 1.94 3/180 1701
/proc/meminfo: memFree=26756200/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100288 s]
/proc/loadavg: 2.02 1.97 1.94 3/180 1701
/proc/meminfo: memFree=26756200/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300221 s]
/proc/loadavg: 2.02 1.97 1.94 3/180 1701
/proc/meminfo: memFree=26756200/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70012 s]
/proc/loadavg: 2.02 1.97 1.94 3/180 1701
/proc/meminfo: memFree=26756200/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 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.02 1.97 1.94 3/184 1722
/proc/meminfo: memFree=26747600/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=2260 CPUtime=0 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 1781 2146 0 0 0 0 0 0 20 0 1 0 385230275 2314240 218 33554432000 4194304 6006132 140733926923296 140733926917488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 565 218 157 443 0 118 0
[pid=1707] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1707/stat : 1707 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385230278 9367552 267 33554432000 4194304 5064252 140737155257520 140737155256432 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1707/statm: 2287 267 226 213 0 72 0
[pid=1708] ppid=1707 vsize=11992 CPUtime=1.46 cores=0,2,4,6
/proc/1708/stat : 1708 (glucose) R 1707 1701 5089 0 -1 4202496 2688 0 0 0 146 0 0 0 20 0 1 0 385230278 12279808 2449 33554432000 4194304 5208918 140733459517904 140733459515848 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1708/statm: 2998 2449 95 248 0 2747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 32548
[startup+3.10035 s]
/proc/loadavg: 2.02 1.97 1.94 3/184 1743
/proc/meminfo: memFree=26751508/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=2.04 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 2036 8246 0 0 1 0 201 2 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=1742] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1742/stat : 1742 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385230481 9367552 267 33554432000 4194304 5064252 140734509779264 140734509778176 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1742/statm: 2287 267 226 213 0 72 0
[pid=1743] ppid=1742 vsize=12044 CPUtime=1.02 cores=0,2,4,6
/proc/1743/stat : 1743 (glucose) R 1742 1701 5089 0 -1 4202496 3120 0 0 0 102 0 0 0 20 0 1 0 385230481 12333056 2417 33554432000 4194304 5208918 140733454698928 140733454696872 4211682 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1743/statm: 3011 2417 96 248 0 2760 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33368
[startup+6.30036 s]
/proc/loadavg: 2.02 1.97 1.94 3/183 1798
/proc/meminfo: memFree=26741252/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=2.04 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 2036 8246 0 0 1 0 201 2 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=1742] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1742/stat : 1742 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385230481 9367552 267 33554432000 4194304 5064252 140734509779264 140734509778176 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1742/statm: 2287 267 226 213 0 72 0
[pid=1743] ppid=1742 vsize=17436 CPUtime=4.23 cores=0,2,4,6
/proc/1743/stat : 1743 (glucose) R 1742 1701 5089 0 -1 4202496 4187 0 0 0 422 1 0 0 20 0 1 0 385230481 17854464 3944 33554432000 4194304 5208918 140733454698928 140733454696792 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1743/statm: 4359 3944 96 248 0 4108 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 38760
[startup+12.7003 s]
/proc/loadavg: 2.02 1.97 1.94 3/183 1820
/proc/meminfo: memFree=26743504/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=9.32 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 2272 15320 0 0 1 0 927 4 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=1812] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1812/stat : 1812 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385231210 9367552 266 33554432000 4194304 5064252 140737463459360 140737463458272 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1812/statm: 2287 266 226 213 0 72 0
[pid=1813] ppid=1812 vsize=14720 CPUtime=3.33 cores=0,2,4,6
/proc/1813/stat : 1813 (glucose) R 1812 1701 5089 0 -1 4202496 3922 0 0 0 333 0 0 0 20 0 1 0 385231211 15073280 3227 33554432000 4194304 5208918 140736414349968 140736414347912 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1813/statm: 3680 3227 96 248 0 3429 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 36044
[startup+25.5003 s]
/proc/loadavg: 2.01 1.97 1.94 3/183 1870
/proc/meminfo: memFree=26746428/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=23.94 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 2748 28460 0 0 1 0 2384 9 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=1862] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1862/stat : 1862 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385232672 9367552 267 33554432000 4194304 5064252 140733649254144 140733649253056 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1862/statm: 2287 267 226 213 0 72 0
[pid=1863] ppid=1862 vsize=12040 CPUtime=1.51 cores=0,2,4,6
/proc/1863/stat : 1863 (glucose) R 1862 1701 5089 0 -1 4202496 2884 0 0 0 151 0 0 0 20 0 1 0 385232673 12328960 2466 33554432000 4194304 5208918 140735902972944 140735902970888 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1863/statm: 3010 2466 96 248 0 2759 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 33364
[startup+51.1003 s]
/proc/loadavg: 2.01 1.97 1.94 3/183 1941
/proc/meminfo: memFree=26737400/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=45.85 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 3462 51223 0 0 2 1 4568 14 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=1933] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1933/stat : 1933 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385234864 9367552 267 33554432000 4194304 5064252 140735632049088 140735632048000 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 2287 267 226 213 0 72 0
[pid=1934] ppid=1933 vsize=17436 CPUtime=5.2 cores=0,2,4,6
/proc/1934/stat : 1934 (glucose) R 1933 1701 5089 0 -1 4202496 4593 0 0 0 520 0 0 0 20 0 1 0 385234864 17854464 3922 33554432000 4194304 5208918 140734692418544 140734692416408 4229717 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1934/statm: 4359 3922 96 248 0 4108 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 38760
[startup+102.307 s]
/proc/loadavg: 1.92 1.95 1.94 3/184 2096
/proc/meminfo: memFree=26740936/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=97.25 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 5128 101873 0 0 4 1 9691 29 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=2081] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2081/stat : 2081 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385240007 9367552 267 33554432000 4194304 5064252 140737208538288 140737208537200 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2081/statm: 2287 267 226 213 0 72 0
[pid=2082] ppid=2081 vsize=17440 CPUtime=4.97 cores=0,2,4,6
/proc/2082/stat : 2082 (glucose) R 2081 1701 5089 0 -1 4202496 3766 0 0 0 497 0 0 0 20 0 1 0 385240007 17858560 3922 33554432000 4194304 5208918 140737423455632 140737423453496 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2082/statm: 4360 3922 96 248 0 4109 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 38764
[startup+162.3 s]
/proc/loadavg: 1.97 1.96 1.94 3/183 2271
/proc/meminfo: memFree=26737292/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=155.62 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 7032 159859 0 0 7 2 15508 45 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=2256] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.96 1.97 1.94 3/184 5852
/proc/meminfo: memFree=26735504/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1359.64 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 46064 1371738 0 0 58 15 135490 401 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=5851] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5851/stat : 5851 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385366279 9367552 266 33554432000 4194304 5064252 140734853778224 140734853777136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5851/statm: 2287 266 226 213 0 72 0
[pid=5852] ppid=5851 vsize=12044 CPUtime=2.25 cores=0,2,4,6
/proc/5852/stat : 5852 (glucose) R 5851 1701 5089 0 -1 4202496 3246 0 0 0 225 0 0 0 20 0 1 0 385366279 12333056 2513 33554432000 4194304 5208918 140733900907392 140733900905336 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5852/statm: 3011 2513 96 248 0 2760 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 33368
[startup+1422.31 s]
/proc/loadavg: 1.98 1.97 1.94 3/183 6034
/proc/meminfo: memFree=26742784/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1418.32 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 47968 1432465 0 0 60 16 141338 418 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=6026] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6026/stat : 6026 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385372149 9367552 266 33554432000 4194304 5064252 140735546683440 140735546682352 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6026/statm: 2287 266 226 213 0 72 0
[pid=6027] ppid=6026 vsize=14720 CPUtime=3.56 cores=0,2,4,6
/proc/6027/stat : 6027 (glucose) R 6026 1701 5089 0 -1 4202496 3934 0 0 0 356 0 0 0 20 0 1 0 385372149 15073280 3229 33554432000 4194304 5208918 140736843689616 140736843687480 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6027/statm: 3680 3229 96 248 0 3429 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 36044
[startup+1482.3 s]
/proc/loadavg: 2.02 1.99 1.95 3/183 6209
/proc/meminfo: memFree=26742780/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1477.41 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 49872 1493196 0 0 63 17 147227 434 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=6201] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6201/stat : 6201 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385378058 9367552 267 33554432000 4194304 5064252 140734449146320 140734449145232 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6201/statm: 2287 267 226 213 0 72 0
[pid=6202] ppid=6201 vsize=17432 CPUtime=4.46 cores=0,2,4,6
/proc/6202/stat : 6202 (glucose) R 6201 1701 5089 0 -1 4202496 4038 0 0 0 446 0 0 0 20 0 1 0 385378058 17850368 3921 33554432000 4194304 5208918 140734096309760 140734096307624 4212859 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6202/statm: 4358 3921 96 248 0 4107 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 38756
[startup+1542.3 s]
/proc/loadavg: 2.05 2.00 1.95 3/183 6386
/proc/meminfo: memFree=26729516/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1536.27 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 51776 1551631 0 0 65 18 153093 451 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=6378] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6378/stat : 6378 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385383945 9367552 266 33554432000 4194304 5064252 140733429173888 140733429172800 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6378/statm: 2287 266 226 213 0 72 0
[pid=6379] ppid=6378 vsize=17432 CPUtime=5.58 cores=0,2,4,6
/proc/6379/stat : 6379 (glucose) R 6378 1701 5089 0 -1 4202496 4519 0 0 0 558 0 0 0 20 0 1 0 385383946 17850368 3922 33554432000 4194304 5208918 140737346543280 140737346541144 4229692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6379/statm: 4358 3922 96 248 0 4107 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 38756
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.95 3/183 6562
/proc/meminfo: memFree=26729448/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1595.25 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 53680 1610102 0 0 68 18 158971 468 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=6554] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6554/stat : 6554 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385389846 9367552 267 33554432000 4194304 5064252 140734406134096 140734406133008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6554/statm: 2287 267 226 213 0 72 0
[pid=6555] ppid=6554 vsize=17436 CPUtime=6.58 cores=0,2,4,6
/proc/6555/stat : 6555 (glucose) R 6554 1701 5089 0 -1 4202496 4720 0 0 0 658 0 0 0 20 0 1 0 385389846 17854464 3921 33554432000 4194304 5208918 140735309617312 140735309615176 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6555/statm: 4359 3921 96 248 0 4108 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 38760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6751
/proc/meminfo: memFree=26751668/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1661.26 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 55822 1679044 0 0 71 19 165549 487 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=6750] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385396447 9367552 267 33554432000 4194304 5064252 140735241812448 140735241811360 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6750/statm: 2287 267 226 213 0 72 0
[pid=6751] ppid=6750 vsize=6460 CPUtime=0.57 cores=0,2,4,6
/proc/6751/stat : 6751 (glucose) R 6750 1701 5089 0 -1 4202496 2345 0 0 0 57 0 0 0 20 0 1 0 385396447 6615040 1106 33554432000 4194304 5208918 140733876356496 140733876354584 4229745 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6751/statm: 1615 1106 96 248 0 1364 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 27784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6926
/proc/meminfo: memFree=26744988/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1719.79 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 57726 1737239 0 0 73 19 171383 504 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=6918] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6918/stat : 6918 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385402303 9367552 267 33554432000 4194304 5064252 140736599030368 140736599029280 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6918/statm: 2287 267 226 213 0 72 0
[pid=6919] ppid=6918 vsize=12040 CPUtime=2.01 cores=0,2,4,6
/proc/6919/stat : 6919 (glucose) R 6918 1701 5089 0 -1 4202496 3184 0 0 0 201 0 0 0 20 0 1 0 385402303 12328960 2456 33554432000 4194304 5208918 140736308552240 140736308550184 4215340 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 3010 2456 96 248 0 2759 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 33364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 7104
/proc/meminfo: memFree=26734992/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1778.15 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 59630 1796989 0 0 76 19 177200 520 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=7096] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7096/stat : 7096 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408141 9367552 267 33554432000 4194304 5064252 140735166930368 140735166929280 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7096/statm: 2287 267 226 213 0 72 0
[pid=7097] ppid=7096 vsize=14720 CPUtime=3.63 cores=0,2,4,6
/proc/7097/stat : 7097 (glucose) R 7096 1701 5089 0 -1 4202496 3434 0 0 0 362 1 0 0 20 0 1 0 385408141 15073280 3251 33554432000 4194304 5208918 140736647154336 140736647152200 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7097/statm: 3680 3251 96 248 0 3429 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 36044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 7160
/proc/meminfo: memFree=26742172/32873648 swapFree=7388/7388
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-wbo-It) S 1699 1701 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385230275 9367552 275 33554432000 4194304 5064252 140736886042608 140736886041520 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1702] ppid=1701 vsize=3028 CPUtime=1800.06 cores=0,2,4,6
/proc/1702/stat : 1702 (npSolver-wbo) S 1701 1701 5089 0 -1 4202496 60344 1818315 0 0 77 20 179383 526 20 0 1 0 385230275 3100672 403 33554432000 4194304 6006132 140733926923296 140733926914656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1702/statm: 757 403 176 443 0 310 0
[pid=7159] ppid=1702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7159/stat : 7159 (satsolver.sh) S 1702 1701 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385410333 9367552 267 33554432000 4194304 5064252 140733875665264 140733875664176 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7159/statm: 2287 267 226 213 0 72 0
[pid=7160] ppid=7159 vsize=8448 CPUtime=0.03 cores=0,2,4,6
/proc/7160/stat : 7160 (glucose) R 7159 1701 5089 0 -1 4202496 842 0 0 0 3 0 0 0 20 0 1 0 385410333 8650752 757 33554432000 4194304 5208918 140734570107680 140733875664200 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7160/statm: 2112 757 95 248 0 1861 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 29772
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.12
CPU user time (s): 1794.65
CPU system time (s): 5.47317
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 38764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 5.47317
maximum resident set size= 29316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1880493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 131944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3801
involuntary context switches= 5462
runsolver used 6.38003 second user time and 8.25375 second system time
The end