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-3748664-1339113332/watcher-3748664-1339113332 -o /tmp/evaluation-result-3748664-1339113332/solver-3748664-1339113332 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748664-1339113332.opb 1748185105 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.01 1.91 3/178 15207
/proc/meminfo: memFree=26878756/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[startup+0.00990896 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 15207
/proc/meminfo: memFree=26878756/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 15207
/proc/meminfo: memFree=26878756/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300137 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 15207
/proc/meminfo: memFree=26878756/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700141 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 15207
/proc/meminfo: memFree=26878756/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 15216
/proc/meminfo: memFree=26869640/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2590 7674 0 0 4 5 49 2 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15216] ppid=15208 vsize=12324 CPUtime=0.88 cores=1,3,5,7
/proc/15216/stat : 15216 (glucosInc) R 15208 15207 10841 0 -1 4202496 1889 0 0 0 88 0 0 0 20 0 1 0 377457783 12619776 1788 33554432000 4194304 5654031 140736772416304 140736772414200 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15216/statm: 3081 1788 137 357 0 2721 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25764
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 15216
/proc/meminfo: memFree=26866608/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2590 7674 0 0 4 5 49 2 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15216] ppid=15208 vsize=11068 CPUtime=2.47 cores=1,3,5,7
/proc/15216/stat : 15216 (glucosInc) R 15208 15207 10841 0 -1 4202496 2780 0 0 0 247 0 0 0 20 0 1 0 377457783 11333632 1891 33554432000 4194304 5654031 140736772416304 140736772414088 4232767 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15216/statm: 2767 1891 138 357 0 2407 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 24508
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 15216
/proc/meminfo: memFree=26859036/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2590 7674 0 0 4 5 49 2 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15216] ppid=15208 vsize=14528 CPUtime=5.67 cores=1,3,5,7
/proc/15216/stat : 15216 (glucosInc) R 15208 15207 10841 0 -1 4202496 3944 0 0 0 567 0 0 0 20 0 1 0 377457783 14876672 2990 33554432000 4194304 5654031 140736772416304 140736772414104 4208619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15216/statm: 3632 2990 138 357 0 3272 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27968
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 15216
/proc/meminfo: memFree=26847396/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2590 7674 0 0 4 5 49 2 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15216] ppid=15208 vsize=21780 CPUtime=12.06 cores=1,3,5,7
/proc/15216/stat : 15216 (glucosInc) R 15208 15207 10841 0 -1 4202496 4951 0 0 0 1206 0 0 0 20 0 1 0 377457783 22302720 4412 33554432000 4194304 5654031 140736772416304 140736772414184 4232939 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15216/statm: 5445 4412 138 357 0 5085 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35220
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 1.91 3/181 15216
/proc/meminfo: memFree=26831300/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=0.6 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2590 7674 0 0 4 5 49 2 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15216] ppid=15208 vsize=21780 CPUtime=24.86 cores=1,3,5,7
/proc/15216/stat : 15216 (glucosInc) R 15208 15207 10841 0 -1 4202496 5518 0 0 0 2486 0 0 0 20 0 1 0 377457783 22302720 4925 33554432000 4194304 5654031 140736772416304 140736772414184 4216690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15216/statm: 5445 4925 138 357 0 5085 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35220
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 1.91 3/181 15218
/proc/meminfo: memFree=26865660/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=34.01 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2643 13712 0 0 4 5 3389 3 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15218] ppid=15208 vsize=18960 CPUtime=17.04 cores=1,3,5,7
/proc/15218/stat : 15218 (glucosInc) R 15208 15207 10841 0 -1 4202496 4382 0 0 0 1704 0 0 0 20 0 1 0 377461126 19415040 4158 33554432000 4194304 5654031 140736802050688 140736802048488 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15218/statm: 4740 4158 138 357 0 4380 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 32400
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/181 15218
/proc/meminfo: memFree=26866832/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=34.01 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2643 13712 0 0 4 5 3389 3 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15218] ppid=15208 vsize=37888 CPUtime=68.23 cores=1,3,5,7
/proc/15218/stat : 15218 (glucosInc) R 15208 15207 10841 0 -1 4202496 5869 0 0 0 6823 0 0 0 20 0 1 0 377461126 38797312 6605 33554432000 4194304 5654031 140736802050688 140736802048568 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15218/statm: 9472 6605 138 357 0 9112 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 51328
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/181 15218
/proc/meminfo: memFree=26893436/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=34.01 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2643 13712 0 0 4 5 3389 3 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15218] ppid=15208 vsize=37888 CPUtime=128.22 cores=1,3,5,7
/proc/15218/stat : 15218 (glucosInc) R 15208 15207 10841 0 -1 4202496 6186 0 0 0 12821 1 0 0 20 0 1 0 377461126 38797312 8953 33554432000 4194304 5654031 140736802050688 140736802038504 4232700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15218/statm: 9472 8953 138 357 0 9112 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 51328
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 15219
/proc/meminfo: memFree=26808016/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=34.01 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2643 13712 0 0 4 5 3389 3 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15218] ppid=15208 vsize=38460 CPUtime=188.22 cores=1,3,5,7
/proc/15218/stat : 15218 (glucosInc) R 15208 15207 10841 0 -1 4202496 6345 0 0 0 18821 1 0 0 20 0 1 0 377461126 39383040 9107 33554432000 4194304 5654031 140736802050688 140736802048488 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15218/statm: 9615 9107 138 357 0 9255 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 51900
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26871420/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=234.16 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8069 0 0 0 23413 3 0 0 20 0 1 0 377564531 59121664 10566 33554432000 4194304 5654031 140736664064000 140736664051816 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 10566 138 357 0 14074 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 71176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15308
/proc/meminfo: memFree=26933868/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=294.15 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8373 0 0 0 29412 3 0 0 20 0 1 0 377564531 59121664 13416 33554432000 4194304 5654031 140736664064000 140736664051816 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13416 138 357 0 14074 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 71176
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15311
/proc/meminfo: memFree=26944040/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=354.15 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8374 0 0 0 35412 3 0 0 20 0 1 0 377564531 59121664 13928 33554432000 4194304 5654031 140736664064000 140736664051816 4232772 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13928 138 357 0 14074 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 71176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 15314
/proc/meminfo: memFree=26925532/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=414.13 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8374 0 0 0 41410 3 0 0 20 0 1 0 377564531 59121664 13928 33554432000 4194304 5654031 140736664064000 140736664051816 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13928 138 357 0 14074 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 71176
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15316
/proc/meminfo: memFree=26928592/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=474.13 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8374 0 0 0 47410 3 0 0 20 0 1 0 377564531 59121664 13928 33554432000 4194304 5654031 140736664064000 140736664051816 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13928 138 357 0 14074 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 71176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15316
/proc/meminfo: memFree=26916972/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=534.11 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8374 0 0 0 53408 3 0 0 20 0 1 0 377564531 59121664 13928 33554432000 4194304 5654031 140736664064000 140736664051816 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13928 138 357 0 14074 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 71176
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15318
/proc/meminfo: memFree=26939076/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=594.1 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8374 0 0 0 59407 3 0 0 20 0 1 0 377564531 59121664 13928 33554432000 4194304 5654031 140736664064000 140736664051816 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13928 138 357 0 14074 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 71176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15319
/proc/meminfo: memFree=26918212/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=57736 CPUtime=654.1 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8469 0 0 0 65406 4 0 0 20 0 1 0 377564531 59121664 13928 33554432000 4194304 5654031 140736664064000 140736664051816 4232813 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 14434 13928 138 357 0 14074 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 71176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15319
/proc/meminfo: memFree=26894936/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=78368 CPUtime=714.09 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8696 0 0 0 71405 4 0 0 20 0 1 0 377564531 80248832 16710 33554432000 4194304 5654031 140736664064000 140736664051816 4208694 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 19592 16710 138 357 0 19232 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 91808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15319
/proc/meminfo: memFree=26895060/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=78368 CPUtime=732.19 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8696 0 0 0 73215 4 0 0 20 0 1 0 377564531 80248832 16710 33554432000 4194304 5654031 140736664064000 140736664051816 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 19592 16710 138 357 0 19232 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 91808
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15319
/proc/meminfo: memFree=26895060/32873844 swapFree=9160/9160
[pid=15207] ppid=15205 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15207/stat : 15207 (npSolver-pbo-I.) S 15205 15207 10841 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377457722 9367552 275 33554432000 4194304 5064252 140735283284432 140735283283344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15207/statm: 2287 275 233 213 0 72 0
[pid=15208] ppid=15207 vsize=4292 CPUtime=1067.88 cores=1,3,5,7
/proc/15208/stat : 15208 (npSolver-pbo) S 15207 15207 10841 0 -1 4202496 2698 23459 0 0 4 5 106771 8 20 0 1 0 377457722 4395008 618 33554432000 4194304 6004724 140737162866688 140737162851608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15208/statm: 1073 618 167 442 0 627 0
[pid=15305] ppid=15208 vsize=78368 CPUtime=732.19 cores=1,3,5,7
/proc/15305/stat : 15305 (glucosInc) R 15208 15207 10841 0 -1 4202496 8696 0 0 0 73215 4 0 0 20 0 1 0 377564531 80248832 16710 33554432000 4194304 5654031 140736664064000 140736664051816 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15305/statm: 19592 16710 138 357 0 19232 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 91808
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.92
CPU system time (s): 0.182972
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 106332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.182972
maximum resident set size= 80592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 1950
runsolver used 3.13952 second user time and 8.39272 second system time
The end