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-3752579-1339132338/watcher-3752579-1339132338 -o /tmp/evaluation-result-3752579-1339132338/solver-3752579-1339132338 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752579-1339132338.opb 1060173962 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: 1.63 1.90 1.97 3/178 11626
/proc/meminfo: memFree=29002056/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[startup+0.0503621 s]
/proc/loadavg: 1.63 1.90 1.97 3/178 11626
/proc/meminfo: memFree=29002056/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100217 s]
/proc/loadavg: 1.63 1.90 1.97 3/178 11626
/proc/meminfo: memFree=29002056/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 1.63 1.90 1.97 3/178 11626
/proc/meminfo: memFree=29002056/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 1.63 1.90 1.97 3/178 11626
/proc/meminfo: memFree=29002056/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/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: 1.63 1.90 1.97 3/185 11897
/proc/meminfo: memFree=28994368/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=0.13 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 1970 3560 0 0 1 2 9 1 20 0 1 0 379358218 2678784 302 33554432000 4194304 6004724 140735078764672 140735078756976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 302 175 442 0 208 0
[pid=11664] ppid=11628 vsize=5280 CPUtime=0.15 cores=1,3,5,7
/proc/11664/stat : 11664 (glucosInc) S 11628 11626 23264 0 -1 4202496 988 0 0 0 15 0 0 0 20 0 1 0 379358230 5406720 790 33554432000 4194304 5654031 140737060338720 140737060337032 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11664/statm: 1320 790 147 357 0 960 0
[pid=11714] ppid=11628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11714/stat : 11714 (satsolver.sh) S 11628 11626 23264 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379358248 9367552 266 33554432000 4194304 5064252 140734027234160 140734027233072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11714/statm: 2287 266 226 213 0 72 0
[pid=11715] ppid=11714 vsize=9820 CPUtime=1.18 cores=1,3,5,7
/proc/11715/stat : 11715 (glucose) R 11714 11626 23264 0 -1 4202496 2092 0 0 0 118 0 0 0 20 0 1 0 379358248 10055680 2019 33554432000 4194304 5208918 140736210656240 140736210654184 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11715/statm: 2455 2019 104 248 0 2204 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36012
[startup+3.10039 s]
/proc/loadavg: 1.58 1.89 1.96 3/185 12184
/proc/meminfo: memFree=28990132/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=0.13 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 1970 3560 0 0 1 2 9 1 20 0 1 0 379358218 2678784 302 33554432000 4194304 6004724 140735078764672 140735078756976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 302 175 442 0 208 0
[pid=11664] ppid=11628 vsize=5280 CPUtime=0.15 cores=1,3,5,7
/proc/11664/stat : 11664 (glucosInc) S 11628 11626 23264 0 -1 4202496 988 0 0 0 15 0 0 0 20 0 1 0 379358230 5406720 790 33554432000 4194304 5654031 140737060338720 140737060337032 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11664/statm: 1320 790 147 357 0 960 0
[pid=11714] ppid=11628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11714/stat : 11714 (satsolver.sh) S 11628 11626 23264 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379358248 9367552 266 33554432000 4194304 5064252 140734027234160 140734027233072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11714/statm: 2287 266 226 213 0 72 0
[pid=11715] ppid=11714 vsize=12600 CPUtime=2.78 cores=1,3,5,7
/proc/11715/stat : 11715 (glucose) R 11714 11626 23264 0 -1 4202496 2426 0 0 0 278 0 0 0 20 0 1 0 379358248 12902400 2342 33554432000 4194304 5208918 140736210656240 140736210654184 4229049 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11715/statm: 3150 2342 105 248 0 2899 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38792
[startup+6.30034 s]
/proc/loadavg: 1.58 1.89 1.96 3/183 13021
/proc/meminfo: memFree=28987880/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=0.13 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 1970 3560 0 0 1 2 9 1 20 0 1 0 379358218 2678784 302 33554432000 4194304 6004724 140735078764672 140735078756976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 302 175 442 0 208 0
[pid=11664] ppid=11628 vsize=5280 CPUtime=0.15 cores=1,3,5,7
/proc/11664/stat : 11664 (glucosInc) S 11628 11626 23264 0 -1 4202496 988 0 0 0 15 0 0 0 20 0 1 0 379358230 5406720 790 33554432000 4194304 5654031 140737060338720 140737060337032 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11664/statm: 1320 790 147 357 0 960 0
[pid=11714] ppid=11628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11714/stat : 11714 (satsolver.sh) S 11628 11626 23264 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379358248 9367552 266 33554432000 4194304 5064252 140734027234160 140734027233072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11714/statm: 2287 266 226 213 0 72 0
[pid=11715] ppid=11714 vsize=15304 CPUtime=5.98 cores=1,3,5,7
/proc/11715/stat : 11715 (glucose) R 11714 11626 23264 0 -1 4202496 3372 0 0 0 598 0 0 0 20 0 1 0 379358248 15671296 3246 33554432000 4194304 5208918 140736210656240 140736210654104 4229546 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11715/statm: 3826 3246 105 248 0 3575 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 41496
[startup+12.7004 s]
/proc/loadavg: 1.57 1.88 1.96 3/185 14753
/proc/meminfo: memFree=28974272/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=0.13 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 1970 3560 0 0 1 2 9 1 20 0 1 0 379358218 2678784 302 33554432000 4194304 6004724 140735078764672 140735078756976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 302 175 442 0 208 0
[pid=11664] ppid=11628 vsize=5280 CPUtime=0.15 cores=1,3,5,7
/proc/11664/stat : 11664 (glucosInc) S 11628 11626 23264 0 -1 4202496 988 0 0 0 15 0 0 0 20 0 1 0 379358230 5406720 790 33554432000 4194304 5654031 140737060338720 140737060337032 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11664/statm: 1320 790 147 357 0 960 0
[pid=11714] ppid=11628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11714/stat : 11714 (satsolver.sh) S 11628 11626 23264 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379358248 9367552 266 33554432000 4194304 5064252 140734027234160 140734027233072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11714/statm: 2287 266 226 213 0 72 0
[pid=11715] ppid=11714 vsize=20136 CPUtime=12.37 cores=1,3,5,7
/proc/11715/stat : 11715 (glucose) R 11714 11626 23264 0 -1 4202496 4273 0 0 0 1237 0 0 0 20 0 1 0 379358248 20619264 4259 33554432000 4194304 5208918 140736210656240 140736210654184 4229517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11715/statm: 5034 4259 105 248 0 4783 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 46328
[startup+25.5003 s]
/proc/loadavg: 1.48 1.85 1.95 3/184 18205
/proc/meminfo: memFree=28973284/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=0.13 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 1970 3560 0 0 1 2 9 1 20 0 1 0 379358218 2678784 302 33554432000 4194304 6004724 140735078764672 140735078756976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 302 175 442 0 208 0
[pid=11664] ppid=11628 vsize=5280 CPUtime=0.15 cores=1,3,5,7
/proc/11664/stat : 11664 (glucosInc) S 11628 11626 23264 0 -1 4202496 988 0 0 0 15 0 0 0 20 0 1 0 379358230 5406720 790 33554432000 4194304 5654031 140737060338720 140737060337032 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11664/statm: 1320 790 147 357 0 960 0
[pid=11714] ppid=11628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11714/stat : 11714 (satsolver.sh) S 11628 11626 23264 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379358248 9367552 266 33554432000 4194304 5064252 140734027234160 140734027233072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11714/statm: 2287 266 226 213 0 72 0
[pid=11715] ppid=11714 vsize=27208 CPUtime=25.18 cores=1,3,5,7
/proc/11715/stat : 11715 (glucose) R 11714 11626 23264 0 -1 4202496 5406 0 0 0 2517 1 0 0 20 0 1 0 379358248 27860992 6375 33554432000 4194304 5208918 140736210656240 140736210654184 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11715/statm: 6802 6375 105 248 0 6551 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53400
[startup+51.1003 s]
/proc/loadavg: 1.47 1.81 1.93 3/183 24838
/proc/meminfo: memFree=28986116/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=18984 CPUtime=9 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 3939 0 0 0 900 0 0 0 20 0 1 0 379362426 19439616 3864 33554432000 4194304 5654031 140736248496272 140736248484088 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 4746 3864 152 357 0 4386 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 30748
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 1.40 1.78 1.92 3/182 26565
/proc/meminfo: memFree=28982932/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=21704 CPUtime=15.4 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 4108 0 0 0 1540 0 0 0 20 0 1 0 379362426 22224896 4533 33554432000 4194304 5654031 140736248496272 140736248484088 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 5426 4533 152 357 0 5066 0
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 33468
[startup+60.7003 s]
/proc/loadavg: 1.40 1.78 1.92 3/181 27428
/proc/meminfo: memFree=28981216/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=21704 CPUtime=18.6 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 4109 0 0 0 1860 0 0 0 20 0 1 0 379362426 22224896 4936 33554432000 4194304 5654031 140736248496272 140736248484088 4232700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 5426 4936 152 357 0 5066 0
Current children cumulated CPU time (s) 60.65
Current children cumulated vsize (KiB) 33468
[startup+63.9004 s]
/proc/loadavg: 1.37 1.77 1.91 3/182 28288
/proc/meminfo: memFree=28981540/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=21704 CPUtime=21.79 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 4109 0 0 0 2179 0 0 0 20 0 1 0 379362426 22224896 4936 33554432000 4194304 5654031 140736248496272 140736248484088 4232980 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 5426 4936 152 357 0 5066 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 33468
[startup+65.5004 s]
/proc/loadavg: 1.37 1.77 1.91 3/183 28576
/proc/meminfo: memFree=28981736/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=21704 CPUtime=23.39 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 4109 0 0 0 2339 0 0 0 20 0 1 0 379362426 22224896 4936 33554432000 4194304 5654031 140736248496272 140736248484088 4232997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 5426 4936 152 357 0 5066 0
Current children cumulated CPU time (s) 65.44
Current children cumulated vsize (KiB) 33468
[startup+66.3003 s]
/proc/loadavg: 1.37 1.77 1.91 3/183 28863
/proc/meminfo: memFree=28981528/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=21704 CPUtime=24.19 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 4109 0 0 0 2419 0 0 0 20 0 1 0 379362426 22224896 4936 33554432000 4194304 5654031 140736248496272 140736248484088 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 5426 4936 152 357 0 5066 0
Current children cumulated CPU time (s) 66.24
Current children cumulated vsize (KiB) 33468
[startup+66.5003 s]
/proc/loadavg: 1.37 1.77 1.91 3/183 28863
/proc/meminfo: memFree=28981528/32873844 swapFree=7644/7644
[pid=11626] ppid=11624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11626/stat : 11626 (npSolver-pbo-It) S 11624 11626 23264 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379358218 9367552 275 33554432000 4194304 5064252 140735099084992 140735099083904 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11626/statm: 2287 275 233 213 0 72 0
[pid=11628] ppid=11626 vsize=2616 CPUtime=42.05 cores=1,3,5,7
/proc/11628/stat : 11628 (npSolver-pbo) S 11626 11626 23264 0 -1 4202496 2098 13938 0 0 1 2 4199 3 20 0 1 0 379358218 2678784 309 33554432000 4194304 6004724 140735078764672 140735078750520 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11628/statm: 654 309 180 442 0 208 0
[pid=22642] ppid=11628 vsize=21704 CPUtime=24.39 cores=1,3,5,7
/proc/22642/stat : 22642 (glucosInc) R 11628 11626 23264 0 -1 4202496 4109 0 0 0 2439 0 0 0 20 0 1 0 379362426 22224896 4936 33554432000 4194304 5654031 140736248496272 140736248484088 4215653 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22642/statm: 5426 4936 152 357 0 5066 0
Current children cumulated CPU time (s) 66.44
Current children cumulated vsize (KiB) 33468
Child status: 0
Real time (s): 66.5689
CPU time (s): 66.5409
CPU user time (s): 66.4719
CPU system time (s): 0.068989
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 57824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.4719
system time used= 0.068989
maximum resident set size= 29928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64
involuntary context switches= 134
runsolver used 0.109983 second user time and 0.317951 second system time
The end