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-3750123-1339181777/watcher-3750123-1339181777 -o /tmp/evaluation-result-3750123-1339181777/solver-3750123-1339181777 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750123-1339181777.opb 1226773674 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.00 2.00 2.00 4/179 5790
/proc/meminfo: memFree=31432160/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[startup+0.092481 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5790
/proc/meminfo: memFree=31432160/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100247 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5790
/proc/meminfo: memFree=31432160/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30032 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5790
/proc/meminfo: memFree=31432160/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700324 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5790
/proc/meminfo: memFree=31432160/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5794
/proc/meminfo: memFree=31356048/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=0.2 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6656 0 0 0 18 2 0 0 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485301984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5793] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5793/stat : 5793 (cp2_pre.sh) S 5791 5790 4737 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 384302157 9367552 276 33554432000 4194304 5064252 140734654086064 140734654084768 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5793/statm: 2287 276 234 213 0 72 0
[pid=5794] ppid=5793 vsize=57920 CPUtime=1.27 cores=1,3,5,7
/proc/5794/stat : 5794 (coprocessor) R 5793 5790 4737 0 -1 4202496 11614 0 0 0 126 1 0 0 20 0 1 0 384302157 59310080 13799 33554432000 4194304 6586260 140734068086192 140734068081512 4664507 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5794/statm: 14480 13799 200 584 0 13892 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 98428
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5797
/proc/meminfo: memFree=31385072/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=25288 CPUtime=1.41 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 5296 0 0 0 140 1 0 0 20 0 1 0 384302303 25894912 5508 33554432000 4194304 5208918 140736761052416 140736761050360 4212869 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 6322 5508 103 248 0 6071 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 65796
[startup+6.30043 s]
/proc/loadavg: 2.16 2.03 2.01 3/183 5797
/proc/meminfo: memFree=31379864/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=44516 CPUtime=4.61 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 7391 0 0 0 459 2 0 0 20 0 1 0 384302303 45584384 9877 33554432000 4194304 5208918 140736761052416 140736761050360 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 11129 9877 104 248 0 10878 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 85024
[startup+12.7004 s]
/proc/loadavg: 2.23 2.05 2.02 3/183 5877
/proc/meminfo: memFree=31532984/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=51696 CPUtime=11 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 8426 0 0 0 1098 2 0 0 20 0 1 0 384302303 52936704 11114 33554432000 4194304 5208918 140736761052416 140736761050280 4205192 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 12924 11114 104 248 0 12673 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 92204
[startup+25.5005 s]
/proc/loadavg: 2.18 2.05 2.01 3/183 5877
/proc/meminfo: memFree=31517556/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=56116 CPUtime=23.81 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 9026 0 0 0 2378 3 0 0 20 0 1 0 384302303 57462784 13243 33554432000 4194304 5208918 140736761052416 140736761050280 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 14029 13243 104 248 0 13778 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 96624
[startup+51.1005 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 5877
/proc/meminfo: memFree=31489676/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=105436 CPUtime=49.39 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 11057 0 0 0 4935 4 0 0 20 0 1 0 384302303 107966464 19593 33554432000 4194304 5208918 140736761052416 140736761048728 4229712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 26359 19593 104 248 0 26108 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 145944
[startup+102.307 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 5877
/proc/meminfo: memFree=31465720/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=105448 CPUtime=100.6 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 11506 0 0 0 10054 6 0 0 20 0 1 0 384302303 107978752 25225 33554432000 4194304 5208918 140736761052416 140736761050360 4211488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 26362 25225 104 248 0 26111 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 145956
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/183 5877
/proc/meminfo: memFree=31454740/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/184 5939
/proc/meminfo: memFree=31358868/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=199228 CPUtime=1360.37 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 37348 0 0 0 135985 52 0 0 20 0 1 0 384302303 204009472 43497 33554432000 4194304 5208918 140736761052416 140736761050568 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 49807 43497 104 248 0 49556 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 239736
[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 5939
/proc/meminfo: memFree=31359560/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=199228 CPUtime=1420.37 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 38485 0 0 0 141983 54 0 0 20 0 1 0 384302303 204009472 42473 33554432000 4194304 5208918 140736761052416 140736761050568 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 49807 42473 104 248 0 49556 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 239736
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/184 5943
/proc/meminfo: memFree=31346904/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=168408 CPUtime=1480.35 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 39035 0 0 0 147980 55 0 0 20 0 1 0 384302303 172449792 41382 33554432000 4194304 5208918 140736761052416 140736761050504 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 42102 41382 104 248 0 41851 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 208916
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/183 5950
/proc/meminfo: memFree=31415448/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=168408 CPUtime=1540.34 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 40174 0 0 0 153977 57 0 0 20 0 1 0 384302303 172449792 39846 33554432000 4194304 5208918 140736761052416 140736761050504 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 42102 39846 104 248 0 41851 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 208916
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 5950
/proc/meminfo: memFree=31405032/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=168408 CPUtime=1600.33 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 41317 0 0 0 159973 60 0 0 20 0 1 0 384302303 172449792 38822 33554432000 4194304 5208918 140736761052416 140736761050504 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 42102 38822 104 248 0 41851 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 208916
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 5950
/proc/meminfo: memFree=31402072/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=168408 CPUtime=1660.32 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 42443 0 0 0 165971 61 0 0 20 0 1 0 384302303 172449792 38310 33554432000 4194304 5208918 140736761052416 140736761050504 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 42102 38310 104 248 0 41851 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 208916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 5950
/proc/meminfo: memFree=31374396/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=199228 CPUtime=1720.32 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 43037 0 0 0 171969 63 0 0 20 0 1 0 384302303 204009472 43497 33554432000 4194304 5208918 140736761052416 140736761050568 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 49807 43497 104 248 0 49556 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 239736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5951
/proc/meminfo: memFree=31372420/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=199228 CPUtime=1780.3 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 44162 0 0 0 177965 65 0 0 20 0 1 0 384302303 204009472 42985 33554432000 4194304 5208918 140736761052416 140736761050568 4229391 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 49807 42985 104 248 0 49556 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 239736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5951
/proc/meminfo: memFree=31364104/32873844 swapFree=6904/6904
[pid=5790] ppid=5788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5790/stat : 5790 (npSolver-pbo.sh) S 5788 5790 4737 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384302135 9367552 274 33554432000 4194304 5064252 140737213369360 140737213368272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5790/statm: 2287 274 233 213 0 72 0
[pid=5791] ppid=5790 vsize=22212 CPUtime=1.65 cores=1,3,5,7
/proc/5791/stat : 5791 (npSolver-pbo) S 5790 5790 4737 0 -1 4202496 6664 13029 0 0 18 2 140 5 20 0 1 0 384302135 22745088 4948 33554432000 4194304 6004724 140735485307936 140735485303072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5791/statm: 5553 4948 164 442 0 5107 0
[pid=5796] ppid=5791 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5796/stat : 5796 (satsolver.sh) S 5791 5790 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384302303 9367552 267 33554432000 4194304 5064252 140737085520304 140737085519216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5796/statm: 2287 267 226 213 0 72 0
[pid=5797] ppid=5796 vsize=199228 CPUtime=1798.41 cores=1,3,5,7
/proc/5797/stat : 5797 (glucose) R 5796 5790 4737 0 -1 4202496 44165 0 0 0 179776 65 0 0 20 0 1 0 384302303 204009472 44521 33554432000 4194304 5208918 140736761052416 140736761050568 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5797/statm: 49807 44521 104 248 0 49556 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 239736
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.41
CPU time (s): 1800.11
CPU user time (s): 1799.36
CPU system time (s): 0.745886
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 289056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.745886
maximum resident set size= 220948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 1884
runsolver used 3.41948 second user time and 9.60654 second system time
The end