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-3698626-1338073758/watcher-3698626-1338073758 -o /tmp/evaluation-result-3698626-1338073758/solver-3698626-1338073758 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698626-1338073758.opb 143385288 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.98 2.00 1.99 3/178 3615
/proc/meminfo: memFree=27340716/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[startup+0.0470349 s]
/proc/loadavg: 1.98 2.00 1.99 3/178 3615
/proc/meminfo: memFree=27340716/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 1.98 2.00 1.99 3/178 3615
/proc/meminfo: memFree=27340716/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 1.98 2.00 1.99 3/178 3615
/proc/meminfo: memFree=27340716/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700113 s]
/proc/loadavg: 1.98 2.00 1.99 3/178 3615
/proc/meminfo: memFree=27340716/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.98 2.00 1.99 3/180 3617
/proc/meminfo: memFree=27321060/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=34884 CPUtime=1.49 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) R 3615 3615 824 0 -1 4202496 3299 0 0 0 148 1 0 0 20 0 1 0 273504365 35721216 6337 33554432000 4194304 5992684 140736593451952 140736593447144 5044443 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 8721 6337 146 440 0 8277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44032
[startup+3.10027 s]
/proc/loadavg: 1.98 2.00 1.99 3/180 3617
/proc/meminfo: memFree=27302628/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=67652 CPUtime=3.09 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) R 3615 3615 824 0 -1 4202496 3839 0 0 0 307 2 0 0 20 0 1 0 273504365 69275648 12993 33554432000 4194304 5992684 140736593451952 140736593447496 4809848 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 16913 12993 146 440 0 16469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76800
[startup+6.30027 s]
/proc/loadavg: 1.98 2.00 1.99 3/180 3617
/proc/meminfo: memFree=27251552/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=133188 CPUtime=6.28 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) R 3615 3615 824 0 -1 4202496 4406 0 0 0 625 3 0 0 20 0 1 0 273504365 136384512 25281 33554432000 4194304 5992684 140736593451952 140736593447496 4374668 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 33297 25281 146 440 0 32853 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142336
[startup+12.7005 s]
/proc/loadavg: 1.99 2.00 1.99 3/182 3619
/proc/meminfo: memFree=26788756/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264260 CPUtime=8.95 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5847 0 0 0 867 28 0 0 20 0 1 0 273504365 270602240 34512 33554432000 4194304 5992684 140736593451952 140736593446400 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 66065 34512 161 440 0 65621 0
[pid=3618] ppid=3616 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3618/stat : 3618 (cp2_pre.sh) S 3616 3615 824 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273505261 9367552 277 33554432000 4194304 5064252 140735070127136 140735070125840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3618/statm: 2287 277 234 213 0 72 0
[pid=3619] ppid=3618 vsize=344228 CPUtime=3.71 cores=1,3,5,7
/proc/3619/stat : 3619 (coprocessor) R 3618 3615 824 0 -1 4202496 62169 0 0 0 355 16 0 0 20 0 1 0 273505262 352489472 83692 33554432000 4194304 6586260 140737447445504 140737447441768 4546814 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/3619/statm: 86057 83692 166 584 0 85469 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 626784
[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 3619
/proc/meminfo: memFree=26500980/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264260 CPUtime=8.95 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5847 0 0 0 867 28 0 0 20 0 1 0 273504365 270602240 34512 33554432000 4194304 5992684 140736593451952 140736593446400 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 66065 34512 161 440 0 65621 0
[pid=3618] ppid=3616 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3618/stat : 3618 (cp2_pre.sh) S 3616 3615 824 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273505261 9367552 277 33554432000 4194304 5064252 140735070127136 140735070125840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3618/statm: 2287 277 234 213 0 72 0
[pid=3619] ppid=3618 vsize=475316 CPUtime=16.5 cores=1,3,5,7
/proc/3619/stat : 3619 (coprocessor) R 3618 3615 824 0 -1 4202496 62735 0 0 0 1611 39 0 0 20 0 1 0 273505262 486723584 113896 33554432000 4194304 6586260 140737447445504 140737447441256 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/3619/statm: 118829 113896 196 584 0 118241 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 757872
[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 3624
/proc/meminfo: memFree=26738968/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264260 CPUtime=26.82 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5862 63640 0 0 867 28 1736 51 20 0 1 0 273504365 270602240 34515 33554432000 4194304 5992684 140736593451952 140736593438216 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 66065 34515 163 440 0 65621 0
[pid=3621] ppid=3616 vsize=370936 CPUtime=24 cores=1,3,5,7
/proc/3621/stat : 3621 (glucosInc) R 3616 3615 824 0 -1 4202496 36505 0 0 0 2383 17 0 0 20 0 1 0 273507074 379838464 80595 33554432000 4194304 5654031 140736264411392 140736264409384 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3621/statm: 92734 80595 130 357 0 92374 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 644344
[startup+102.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 3624
/proc/meminfo: memFree=26710252/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264260 CPUtime=26.82 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5862 63640 0 0 867 28 1736 51 20 0 1 0 273504365 270602240 34515 33554432000 4194304 5992684 140736593451952 140736593438216 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 66065 34515 163 440 0 65621 0
[pid=3621] ppid=3616 vsize=395008 CPUtime=75.2 cores=1,3,5,7
/proc/3621/stat : 3621 (glucosInc) R 3616 3615 824 0 -1 4202496 41106 0 0 0 7500 20 0 0 20 0 1 0 273507074 404488192 87187 33554432000 4194304 5654031 140736264411392 140736264409384 4233229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3621/statm: 98752 87187 130 357 0 98392 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 668416
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 3624
/proc/meminfo: memFree=26677416/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264260 CPUtime=26.82 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5862 63640 0 0 867 28 1736 51 20 0 1 0 273504365 270602240 34515 33554432000 4194304 5992684 140736593451952 140736593438216 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3616/statm: 66065 34515 163 440 0 65621 0
[pid=3621] ppid=3616 vsize=404800 CPUtime=135.18 cores=1,3,5,7
/proc/3621/stat : 3621 (glucosInc) R 3616 3615 824 0 -1 4202496 43234 0 0 0 13496 22 0 0 20 0 1 0 273507074 414515200 91359 33554432000 4194304 5654031 140736264411392 140736264409384 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3621/statm: 101200 91359 130 357 0 100840 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 678208
[startup+222.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3627
/proc/meminfo: memFree=26628120/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264264 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5952 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270606336 34529 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66066 34529 175 440 0 65622 0
[pid=3627] ppid=3616 vsize=281164 CPUtime=2.39 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 18329 0 0 0 229 10 0 0 20 0 1 0 273526355 287911936 62302 33554432000 4194304 5654031 140733501695696 140733501693480 4233229 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3627/statm: 70291 62302 130 357 0 69931 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 554576
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/181 3627
/proc/meminfo: memFree=26721904/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264264 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5952 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270606336 34529 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66066 34529 175 440 0 65622 0
[pid=3627] ppid=3616 vsize=318468 CPUtime=62.37 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 26312 0 0 0 6225 12 0 0 20 0 1 0 273526355 326111232 72187 33554432000 4194304 5654031 140733501695696 140733501693688 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 79617 72187 130 357 0 79257 0
Current children cumulated CPU time (s) 281.84
Current children cumulated vsize (KiB) 591880
Solver just ended. Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26712448/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264264 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5952 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270606336 34529 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66066 34529 175 440 0 65622 0
[pid=3627] ppid=3616 vsize=322676 CPUtime=87.27 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 27344 0 0 0 8714 13 0 0 20 0 1 0 273526355 330420224 74752 33554432000 4194304 5654031 140733501695696 140733501693688 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 80669 74752 130 357 0 80309 0
Current children cumulated CPU time (s) 306.74
Current children cumulated vsize (KiB) 596088
[startup+320 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26702828/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=335580 CPUtime=100.07 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 29972 0 0 0 9993 14 0 0 20 0 1 0 273526355 343633920 77380 33554432000 4194304 5654031 140733501695696 140733501683512 4233229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 83895 77380 150 357 0 83535 0
Current children cumulated CPU time (s) 319.54
Current children cumulated vsize (KiB) 609144
[startup+326.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26694516/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=339980 CPUtime=106.47 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 30819 0 0 0 10632 15 0 0 20 0 1 0 273526355 348139520 78738 33554432000 4194304 5654031 140733501695696 140733501683512 4232927 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 84995 78738 150 357 0 84635 0
Current children cumulated CPU time (s) 325.94
Current children cumulated vsize (KiB) 613544
[startup+329.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26694564/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=339980 CPUtime=109.67 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 30819 0 0 0 10952 15 0 0 20 0 1 0 273526355 348139520 78738 33554432000 4194304 5654031 140733501695696 140733501683512 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 84995 78738 150 357 0 84635 0
Current children cumulated CPU time (s) 329.14
Current children cumulated vsize (KiB) 613544
[startup+331.207 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26694440/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=339980 CPUtime=111.27 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 30819 0 0 0 11112 15 0 0 20 0 1 0 273526355 348139520 78738 33554432000 4194304 5654031 140733501695696 140733501683512 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 84995 78738 150 357 0 84635 0
Current children cumulated CPU time (s) 330.74
Current children cumulated vsize (KiB) 613544
[startup+332 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26694440/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.47 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 311 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=339980 CPUtime=112.07 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 30819 0 0 0 11192 15 0 0 20 0 1 0 273526355 348139520 78738 33554432000 4194304 5654031 140733501695696 140733501694008 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 84995 78738 150 357 0 84635 0
Current children cumulated CPU time (s) 331.54
Current children cumulated vsize (KiB) 613544
[startup+332.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26694440/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.48 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 312 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=339980 CPUtime=112.27 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 30819 0 0 0 11212 15 0 0 20 0 1 0 273526355 348139520 78738 33554432000 4194304 5654031 140733501695696 140733501694008 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 84995 78738 150 357 0 84635 0
Current children cumulated CPU time (s) 331.75
Current children cumulated vsize (KiB) 613544
[startup+332.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 3628
/proc/meminfo: memFree=26694440/32873844 swapFree=7620/7620
[pid=3615] ppid=3613 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3615/stat : 3615 (npSolver-pbo-It) S 3613 3615 824 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273504364 9367552 274 33554432000 4194304 5064252 140733404819232 140733404818144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3615/statm: 2287 274 233 213 0 72 0
[pid=3616] ppid=3615 vsize=264416 CPUtime=219.48 cores=1,3,5,7
/proc/3616/stat : 3616 (npSolver-pbo) S 3615 3615 824 0 -1 4202496 5997 109412 0 0 932 312 20581 123 20 0 1 0 273504365 270761984 34535 33554432000 4194304 5992684 140736593451952 140736593437784 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/3616/statm: 66104 34535 175 440 0 65660 0
[pid=3627] ppid=3616 vsize=339980 CPUtime=112.37 cores=1,3,5,7
/proc/3627/stat : 3627 (glucosInc) R 3616 3615 824 0 -1 4202496 30819 0 0 0 11222 15 0 0 20 0 1 0 273526355 348139520 78738 33554432000 4194304 5654031 140733501695696 140733501694008 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3627/statm: 84995 78738 150 357 0 84635 0
Current children cumulated CPU time (s) 331.85
Current children cumulated vsize (KiB) 613544
Child status: 0
Real time (s): 332.398
CPU time (s): 331.97
CPU user time (s): 327.417
CPU system time (s): 4.55231
CPU usage (%): 99.8712
Max. virtual memory (cumulated for all children) (KiB): 814988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 327.417
system time used= 4.55231
maximum resident set size= 455592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147051
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1361936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84
involuntary context switches= 491
runsolver used 0.771882 second user time and 2.24466 second system time
The end