runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482569-1307576446/watcher-3482569-1307576446 -o /tmp/evaluation-result-3482569-1307576446/solver-3482569-1307576446 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482569-1307576446.opb -seed 1592117790 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.35 0.39 0.13 1/460 12195
/proc/meminfo: memFree=30248760/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=14644 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (python) R 12193 12195 11775 0 -1 4202496 396 0 0 0 0 0 0 0 22 0 1 0 869244827 14995456 310 33554432000 4194304 5683644 140733376027536 18446744073709551615 4701728 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12195/statm: 3661 311 217 364 0 148 0
[startup+0.045439 s]
/proc/loadavg: 1.35 0.39 0.13 1/460 12195
/proc/meminfo: memFree=30248760/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 650 0 0 0 0 0 0 0 22 0 1 0 869244827 15441920 545 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12195/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.10053 s]
/proc/loadavg: 1.35 0.39 0.13 1/460 12195
/proc/meminfo: memFree=30248760/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 727 0 0 0 0 0 0 0 22 0 1 0 869244827 15548416 616 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12195/statm: 3796 616 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300379 s]
/proc/loadavg: 1.35 0.39 0.13 1/460 12195
/proc/meminfo: memFree=30248760/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 944 0 0 0 0 0 0 0 20 0 1 0 869244827 16289792 820 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12195/statm: 3977 820 357 364 0 464 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15908
[startup+0.700248 s]
/proc/loadavg: 1.35 0.39 0.13 1/460 12195
/proc/meminfo: memFree=30248760/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=23208 CPUtime=0.03 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 1324 0 0 0 3 0 0 0 15 0 1 0 869244827 23764992 1172 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12195/statm: 5802 1172 432 364 0 729 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23208
[startup+1.5301 s]
/proc/loadavg: 1.35 0.39 0.13 1/460 12195
/proc/meminfo: memFree=30248760/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=108856 CPUtime=0.1 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 4324 930 1 0 8 2 0 0 15 0 1 0 869244827 111468544 2840 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089694053 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12195/statm: 27214 2840 877 364 0 1910 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 108856
[startup+3.10085 s]
/proc/loadavg: 1.24 0.38 0.13 2/468 12212
/proc/meminfo: memFree=30114660/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 9709 930 1 0 36 8 0 0 18 0 2 0 869244827 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12195/statm: 73370 7213 1870 364 0 8257 0
[pid=12206] ppid=12195 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/12206/stat : 12206 (python) S 12195 12195 11775 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869245086 290033664 5688 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089718287 0 0 16781312 33554946 11831107373886308612 0 0 17 2 0 0 0
/proc/12206/statm: 70809 5688 349 364 0 5696 0
[pid=12208] ppid=12206 vsize=2256 CPUtime=0.5 cores=0,2,4,6
/proc/12208/stat : 12208 (clasp-1.3.7-x86) R 12206 12208 12208 0 -1 4202496 578 0 0 0 50 0 0 0 20 0 1 0 869245086 2310144 320 33554432000 134512640 136139019 4286583760 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/12208/statm: 564 320 184 398 0 164 0
[pid=12195/tid=12207] ppid=12193 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (python) S 12193 12195 11775 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869245086 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101521841 0 0 16781312 33554434 18446604460764452736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 578972
heavy processes:
[startup+6.30026 s]
/proc/loadavg: 1.30 0.41 0.14 3/471 12215
/proc/meminfo: memFree=30096764/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 9709 930 1 0 36 8 0 0 18 0 2 0 869244827 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12195/statm: 73370 7213 1870 364 0 8257 0
[pid=12206] ppid=12195 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/12206/stat : 12206 (python) S 12195 12195 11775 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 869245086 290033664 5714 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089718287 0 0 16781312 33554946 11831102838400844036 0 0 17 2 0 0 0
/proc/12206/statm: 70809 5714 375 364 0 5696 0
[pid=12208] ppid=12206 vsize=2924 CPUtime=3.7 cores=0,2,4,6
/proc/12208/stat : 12208 (clasp-1.3.7-x86) R 12206 12208 12208 0 -1 4202496 723 0 0 0 370 0 0 0 25 0 1 0 869245086 2994176 465 33554432000 134512640 136139019 4286583760 18446744073709551615 134599020 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/12208/statm: 731 465 184 398 0 331 0
[pid=12195/tid=12207] ppid=12193 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (python) S 12193 12195 11775 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869245086 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101521841 0 0 16781312 33554434 18446604460764452736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 579640
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+7.00113 s]
/proc/loadavg: 1.30 0.41 0.14 3/471 12215
/proc/meminfo: memFree=30096516/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 9709 930 1 0 36 8 0 0 18 0 2 0 869244827 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12195/statm: 73370 7213 1870 364 0 8257 0
[pid=12206] ppid=12195 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/12206/stat : 12206 (python) S 12195 12195 11775 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 869245086 290033664 5714 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089718287 0 0 16781312 33554946 11831102838400844036 0 0 17 2 0 0 0
/proc/12206/statm: 70809 5714 375 364 0 5696 0
[pid=12208] ppid=12206 vsize=3056 CPUtime=4.4 cores=0,2,4,6
/proc/12208/stat : 12208 (clasp-1.3.7-x86) R 12206 12208 12208 0 -1 4202496 759 0 0 0 440 0 0 0 25 0 1 0 869245086 3129344 501 33554432000 134512640 136139019 4286583760 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/12208/statm: 764 501 184 398 0 364 0
[pid=12195/tid=12207] ppid=12193 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (python) S 12193 12195 11775 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869245086 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101521841 0 0 16781312 33554434 18446604460764452736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 579772
[startup+7.40118 s]
/proc/loadavg: 1.30 0.41 0.14 3/471 12215
/proc/meminfo: memFree=30097508/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 9709 930 1 0 36 8 0 0 18 0 2 0 869244827 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12195/statm: 73370 7213 1870 364 0 8257 0
[pid=12206] ppid=12195 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/12206/stat : 12206 (python) S 12195 12195 11775 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 869245086 290033664 5714 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089718287 0 0 16781312 33554946 11831102838400844036 0 0 17 2 0 0 0
/proc/12206/statm: 70809 5714 375 364 0 5696 0
[pid=12208] ppid=12206 vsize=3056 CPUtime=4.8 cores=0,2,4,6
/proc/12208/stat : 12208 (clasp-1.3.7-x86) R 12206 12208 12208 0 -1 4202496 769 0 0 0 480 0 0 0 25 0 1 0 869245086 3129344 511 33554432000 134512640 136139019 4286583760 18446744073709551615 134742406 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/12208/statm: 764 511 184 398 0 364 0
[pid=12195/tid=12207] ppid=12193 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (python) S 12193 12195 11775 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869245086 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101521841 0 0 16781312 33554434 18446604460764452736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 579772
[startup+7.60115 s]
/proc/loadavg: 1.30 0.41 0.14 3/471 12215
/proc/meminfo: memFree=30097508/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 9709 930 1 0 36 8 0 0 18 0 2 0 869244827 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12195/statm: 73370 7213 1870 364 0 8257 0
[pid=12206] ppid=12195 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/12206/stat : 12206 (python) S 12195 12195 11775 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 869245086 290033664 5714 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089718287 0 0 16781312 33554946 11831102838400844036 0 0 17 2 0 0 0
/proc/12206/statm: 70809 5714 375 364 0 5696 0
[pid=12208] ppid=12206 vsize=3056 CPUtime=5 cores=0,2,4,6
/proc/12208/stat : 12208 (clasp-1.3.7-x86) R 12206 12208 12208 0 -1 4202496 771 0 0 0 500 0 0 0 25 0 1 0 869245086 3129344 513 33554432000 134512640 136139019 4286583760 18446744073709551615 134871008 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/12208/statm: 764 513 184 398 0 364 0
[pid=12195/tid=12207] ppid=12193 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (python) S 12193 12195 11775 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869245086 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101521841 0 0 16781312 33554434 18446604460764452736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 579772
[startup+7.70112 s]
/proc/loadavg: 1.30 0.41 0.14 3/471 12215
/proc/meminfo: memFree=30097508/32950928 swapFree=45617076/67111528
[pid=12195] ppid=12193 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/12195/stat : 12195 (python) S 12193 12195 11775 0 -1 4202496 9709 930 1 0 36 8 0 0 18 0 2 0 869244827 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12195/statm: 73370 7213 1870 364 0 8257 0
[pid=12206] ppid=12195 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/12206/stat : 12206 (python) S 12195 12195 11775 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 869245086 290033664 5714 33554432000 4194304 5683644 140733376027536 18446744073709551615 248089718287 0 0 16781312 33554946 11831102838400844036 0 0 17 2 0 0 0
/proc/12206/statm: 70809 5714 375 364 0 5696 0
[pid=12208] ppid=12206 vsize=3056 CPUtime=5.1 cores=0,2,4,6
/proc/12208/stat : 12208 (clasp-1.3.7-x86) R 12206 12208 12208 0 -1 4202496 771 0 0 0 510 0 0 0 25 0 1 0 869245086 3129344 513 33554432000 134512640 136139019 4286583760 18446744073709551615 134608217 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/12208/statm: 764 513 184 398 0 364 0
[pid=12195/tid=12207] ppid=12193 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/12195/task/12207/stat : 12207 (python) S 12193 12195 11775 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869245086 300523520 7213 33554432000 4194304 5683644 140733376027536 18446744073709551615 248101521841 0 0 16781312 33554434 18446604460764452736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 579772
Child status: 0
Real time (s): 7.73149
CPU time (s): 5.62414
CPU user time (s): 5.51416
CPU system time (s): 0.109983
CPU usage (%): 72.7433
Max. virtual memory (cumulated for all children) (KiB): 579772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.51416
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17032
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2232
involuntary context switches= 24
runsolver used 0.040993 second user time and 0.104984 second system time
The end