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-3482430-1307576449/watcher-3482430-1307576449 -o /tmp/evaluation-result-3482430-1307576449/solver-3482430-1307576449 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482430-1307576449.opb -seed 1360058803 -budget 1800
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.24 0.38 0.13 1/464 12204
/proc/meminfo: memFree=30138748/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=14252 CPUtime=0 cores=1,3,5,7
/proc/12204/stat : 12204 (python) R 12202 12204 11775 0 -1 4194304 193 0 0 0 0 0 0 0 22 0 1 0 869245015 14594048 128 33554432000 4194304 5683644 140735999727504 18446744073709551615 4274768 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12204/statm: 3563 145 117 364 0 50 0
[startup+0.0244089 s]
/proc/loadavg: 1.24 0.38 0.13 1/464 12204
/proc/meminfo: memFree=30138748/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 650 0 0 0 0 0 0 0 22 0 1 0 869245015 15441920 545 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12204/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100441 s]
/proc/loadavg: 1.24 0.38 0.13 1/464 12204
/proc/meminfo: memFree=30138748/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 904 0 0 0 0 0 0 0 22 0 1 0 869245015 16158720 784 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12204/statm: 3945 784 346 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780
[startup+0.30136 s]
/proc/loadavg: 1.24 0.38 0.13 1/464 12204
/proc/meminfo: memFree=30138748/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=85364 CPUtime=0.06 cores=1,3,5,7
/proc/12204/stat : 12204 (python) D 12202 12204 11775 0 -1 4202496 2586 0 0 0 4 2 0 0 17 0 1 0 869245015 87412736 2310 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089703991 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/12204/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85364
[startup+0.700289 s]
/proc/loadavg: 1.24 0.38 0.13 1/464 12204
/proc/meminfo: memFree=30138748/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=85368 CPUtime=0.06 cores=1,3,5,7
/proc/12204/stat : 12204 (python) D 12202 12204 11775 0 -1 4202496 2594 0 0 0 4 2 0 0 17 0 1 0 869245015 87416832 2316 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089703991 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 48
/proc/12204/statm: 21342 2316 714 364 0 1559 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85368
[startup+1.50715 s]
/proc/loadavg: 1.24 0.38 0.13 3/468 12212
/proc/meminfo: memFree=30114536/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=277992 CPUtime=0.37 cores=1,3,5,7
/proc/12204/stat : 12204 (python) R 12202 12204 11775 0 -1 4202496 8935 931 1 0 28 9 0 0 15 0 1 0 869245015 284663808 6854 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089694132 0 0 16781312 2 0 0 0 17 7 0 0 51
/proc/12204/statm: 69498 6854 1740 364 0 5463 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 277992
[startup+3.10092 s]
/proc/loadavg: 1.24 0.38 0.13 3/471 12215
/proc/meminfo: memFree=30099756/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 9710 931 1 0 36 10 0 0 18 0 2 0 869245015 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 51
/proc/12204/statm: 73370 7213 1870 364 0 8257 0
[pid=12213] ppid=12204 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869245173 290033664 5691 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718287 0 0 16781312 33554946 4502503246773846276 0 0 17 7 0 0 0
/proc/12213/statm: 70809 5691 352 364 0 5696 0
[pid=12215] ppid=12213 vsize=2520 CPUtime=1.51 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) R 12213 12215 12215 0 -1 4202496 623 0 0 0 151 0 0 0 24 0 1 0 869245173 2580480 365 33554432000 134512640 136139019 4289033216 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12215/statm: 630 365 184 398 0 230 0
[pid=12204/tid=12214] ppid=12202 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869245173 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 579236
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 1.30 0.41 0.14 3/471 12215
/proc/meminfo: memFree=30099368/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 9710 931 1 0 36 10 0 0 18 0 2 0 869245015 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 51
/proc/12204/statm: 73370 7213 1870 364 0 8257 0
[pid=12213] ppid=12204 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 885 0 0 0 0 1 0 0 18 0 1 0 869245173 290033664 5714 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718287 0 0 16781312 33554946 4502492663974428932 0 0 17 5 0 0 0
/proc/12213/statm: 70809 5714 375 364 0 5696 0
[pid=12215] ppid=12213 vsize=2784 CPUtime=4.71 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) R 12213 12215 12215 0 -1 4202496 706 0 0 0 471 0 0 0 25 0 1 0 869245173 2850816 448 33554432000 134512640 136139019 4289033216 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12215/statm: 696 448 184 398 0 296 0
[pid=12204/tid=12214] ppid=12202 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869245173 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 579500
[startup+12.7012 s]
/proc/loadavg: 1.28 0.42 0.14 3/464 12308
/proc/meminfo: memFree=30207672/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 9710 931 1 0 36 10 0 0 18 0 2 0 869245015 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 51
/proc/12204/statm: 73370 7213 1870 364 0 8257 0
[pid=12213] ppid=12204 vsize=283236 CPUtime=0.03 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 890 0 0 0 1 2 0 0 18 0 1 0 869245173 290033664 5715 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718287 0 0 16781312 33554946 5623606151888251664 0 0 17 5 0 0 0
/proc/12213/statm: 70809 5715 376 364 0 5696 0
[pid=12215] ppid=12213 vsize=3328 CPUtime=11.11 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) R 12213 12215 12215 0 -1 4202496 842 0 0 0 1111 0 0 0 25 0 1 0 869245173 3407872 584 33554432000 134512640 136139019 4289033216 18446744073709551615 134608169 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12215/statm: 832 584 184 398 0 432 0
[pid=12204/tid=12214] ppid=12202 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869245173 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 580044
[startup+25.501 s]
/proc/loadavg: 1.44 0.49 0.17 3/471 12321
/proc/meminfo: memFree=30095872/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=293480 CPUtime=0.46 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 9710 931 1 0 36 10 0 0 18 0 2 0 869245015 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 51
/proc/12204/statm: 73370 7213 1870 364 0 8257 0
[pid=12213] ppid=12204 vsize=283236 CPUtime=0.08 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 899 0 0 0 4 4 0 0 18 0 1 0 869245173 290033664 5715 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718287 0 0 16781312 33554946 5623606151888251664 0 0 17 5 0 0 0
/proc/12213/statm: 70809 5715 376 364 0 5696 0
[pid=12215] ppid=12213 vsize=4008 CPUtime=23.91 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) R 12213 12215 12215 0 -1 4202496 1012 0 0 0 2391 0 0 0 25 0 1 0 869245173 4104192 754 33554432000 134512640 136139019 4289033216 18446744073709551615 134598561 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12215/statm: 1002 754 184 398 0 602 0
[pid=12204/tid=12214] ppid=12202 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869245173 300523520 7213 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (KiB) 580724
[startup+51.1004 s]
/proc/loadavg: 1.63 0.61 0.22 3/475 12360
/proc/meminfo: memFree=30055748/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=304196 CPUtime=0.63 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 10640 931 1 0 53 10 0 0 20 0 3 0 869245015 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 51
/proc/12204/statm: 76049 7346 1873 364 0 10933 0
[pid=12213] ppid=12204 vsize=293480 CPUtime=0.17 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869245173 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12213/statm: 73370 5756 412 364 0 8257 0
[pid=12215] ppid=12213 vsize=5096 CPUtime=48.17 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) T 12213 12215 12215 0 -1 4202496 1256 0 0 0 4817 0 0 0 25 0 1 0 869245173 5218304 998 33554432000 134512640 136139019 4289033216 18446744073709551615 134883407 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/12215/statm: 1274 998 184 398 0 874 0
[pid=12213/tid=12357] ppid=12204 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12213/task/12357/stat : 12357 (python) S 12204 12204 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869249991 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554946 18446604454671051648 0 0 -1 7 0 0 0
[pid=12358] ppid=12204 vsize=293952 CPUtime=0 cores=1,3,5,7
/proc/12358/stat : 12358 (python) S 12204 12204 11775 0 -1 4202560 771 0 0 0 0 0 0 0 18 0 1 0 869250008 301006848 5818 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718342 0 0 16781312 33554946 5504605428593426693 0 0 17 5 0 0 0
/proc/12358/statm: 73488 5818 349 364 0 8372 0
[pid=12360] ppid=12358 vsize=65288 CPUtime=1.14 cores=1,3,5,7
/proc/12360/stat : 12360 (minion) R 12358 12360 12360 0 -1 4202496 9427 0 0 0 114 0 0 0 24 0 1 0 869250009 66854912 9061 33554432000 134512640 165565024 4288896000 18446744073709551615 142764896 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/12360/statm: 16322 9061 346 7582 0 8737 0
[pid=12204/tid=12214] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869245173 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
[pid=12204/tid=12359] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12359/stat : 12359 (python) S 12202 12204 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869250009 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (KiB) 962012
############
# WARNING:
# current cumulated CPU time (49.03 s) is less than in the last sample (54.92 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (5.89 s) to the 'lost time'.
[startup+55.9006 s]
/proc/loadavg: 1.66 0.64 0.23 3/475 12361
/proc/meminfo: memFree=30055620/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=304196 CPUtime=0.63 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 10640 931 1 0 53 10 0 0 20 0 3 0 869245015 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 51
/proc/12204/statm: 76049 7346 1873 364 0 10933 0
[pid=12213] ppid=12204 vsize=293480 CPUtime=0.17 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869245173 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12213/statm: 73370 5756 412 364 0 8257 0
[pid=12215] ppid=12213 vsize=5096 CPUtime=48.17 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) T 12213 12215 12215 0 -1 4202496 1256 0 0 0 4817 0 0 0 25 0 1 0 869245173 5218304 998 33554432000 134512640 136139019 4289033216 18446744073709551615 134883407 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/12215/statm: 1274 998 184 398 0 874 0
[pid=12213/tid=12357] ppid=12204 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12213/task/12357/stat : 12357 (python) S 12204 12204 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869249991 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554946 18446604454671051648 0 0 -1 7 0 0 0
[pid=12358] ppid=12204 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/12358/stat : 12358 (python) S 12204 12204 11775 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 869250008 301006848 5842 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718342 0 0 16781312 33554946 5504610719993135365 0 0 17 5 0 0 0
/proc/12358/statm: 73488 5842 373 364 0 8372 0
[pid=12360] ppid=12358 vsize=65288 CPUtime=5.94 cores=1,3,5,7
/proc/12360/stat : 12360 (minion) R 12358 12360 12360 0 -1 4202496 9427 0 0 0 594 0 0 0 25 0 1 0 869250009 66854912 9061 33554432000 134512640 165565024 4288896000 18446744073709551615 142764880 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/12360/statm: 16322 9061 346 7582 0 8737 0
[pid=12204/tid=12214] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869245173 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
[pid=12204/tid=12359] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12359/stat : 12359 (python) S 12202 12204 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869250009 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.92
Current children cumulated vsize (KiB) 962012
[startup+56.0005 s]
/proc/loadavg: 1.66 0.64 0.23 3/468 12362
/proc/meminfo: memFree=30099572/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=0 CPUtime=49.03 cores=1,3,5,7
/proc/12204/stat : 12204 (python) Z 12202 12204 11775 0 -1 4202524 15062 4502 1 0 55 10 4827 11 17 0 1 0 869245015 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 51
/proc/12204/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+54.3009 s]
/proc/loadavg: 1.66 0.64 0.23 3/475 12361
/proc/meminfo: memFree=30055868/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=304196 CPUtime=0.63 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 10640 931 1 0 53 10 0 0 20 0 3 0 869245015 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 51
/proc/12204/statm: 76049 7346 1873 364 0 10933 0
[pid=12213] ppid=12204 vsize=293480 CPUtime=0.17 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869245173 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12213/statm: 73370 5756 412 364 0 8257 0
[pid=12215] ppid=12213 vsize=5096 CPUtime=48.17 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) T 12213 12215 12215 0 -1 4202496 1256 0 0 0 4817 0 0 0 25 0 1 0 869245173 5218304 998 33554432000 134512640 136139019 4289033216 18446744073709551615 134883407 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/12215/statm: 1274 998 184 398 0 874 0
[pid=12213/tid=12357] ppid=12204 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12213/task/12357/stat : 12357 (python) S 12204 12204 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869249991 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554946 18446604454671051648 0 0 -1 7 0 0 0
[pid=12358] ppid=12204 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/12358/stat : 12358 (python) S 12204 12204 11775 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 869250008 301006848 5842 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718342 0 0 16781312 33554946 5504610719993135365 0 0 17 5 0 0 0
/proc/12358/statm: 73488 5842 373 364 0 8372 0
[pid=12360] ppid=12358 vsize=65288 CPUtime=4.34 cores=1,3,5,7
/proc/12360/stat : 12360 (minion) R 12358 12360 12360 0 -1 4202496 9427 0 0 0 434 0 0 0 25 0 1 0 869250009 66854912 9061 33554432000 134512640 165565024 4288896000 18446744073709551615 142424531 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/12360/statm: 16322 9061 346 7582 0 8737 0
[pid=12204/tid=12214] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869245173 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
[pid=12204/tid=12359] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12359/stat : 12359 (python) S 12202 12204 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869250009 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 53.32
Current children cumulated vsize (KiB) 962012
[startup+55.1007 s]
/proc/loadavg: 1.66 0.64 0.23 3/475 12361
/proc/meminfo: memFree=30055620/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=304196 CPUtime=0.63 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 10640 931 1 0 53 10 0 0 20 0 3 0 869245015 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 51
/proc/12204/statm: 76049 7346 1873 364 0 10933 0
[pid=12213] ppid=12204 vsize=293480 CPUtime=0.17 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869245173 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12213/statm: 73370 5756 412 364 0 8257 0
[pid=12215] ppid=12213 vsize=5096 CPUtime=48.17 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) T 12213 12215 12215 0 -1 4202496 1256 0 0 0 4817 0 0 0 25 0 1 0 869245173 5218304 998 33554432000 134512640 136139019 4289033216 18446744073709551615 134883407 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/12215/statm: 1274 998 184 398 0 874 0
[pid=12213/tid=12357] ppid=12204 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12213/task/12357/stat : 12357 (python) S 12204 12204 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869249991 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554946 18446604454671051648 0 0 -1 7 0 0 0
[pid=12358] ppid=12204 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/12358/stat : 12358 (python) S 12204 12204 11775 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 869250008 301006848 5842 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718342 0 0 16781312 33554946 5504610719993135365 0 0 17 5 0 0 0
/proc/12358/statm: 73488 5842 373 364 0 8372 0
[pid=12360] ppid=12358 vsize=65288 CPUtime=5.14 cores=1,3,5,7
/proc/12360/stat : 12360 (minion) R 12358 12360 12360 0 -1 4202496 9427 0 0 0 514 0 0 0 25 0 1 0 869250009 66854912 9061 33554432000 134512640 165565024 4288896000 18446744073709551615 142765084 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/12360/statm: 16322 9061 346 7582 0 8737 0
[pid=12204/tid=12214] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869245173 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
[pid=12204/tid=12359] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12359/stat : 12359 (python) S 12202 12204 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869250009 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.12
Current children cumulated vsize (KiB) 962012
[startup+55.5007 s]
/proc/loadavg: 1.66 0.64 0.23 3/475 12361
/proc/meminfo: memFree=30055620/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=304196 CPUtime=0.63 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 10640 931 1 0 53 10 0 0 20 0 3 0 869245015 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 51
/proc/12204/statm: 76049 7346 1873 364 0 10933 0
[pid=12213] ppid=12204 vsize=293480 CPUtime=0.17 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869245173 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12213/statm: 73370 5756 412 364 0 8257 0
[pid=12215] ppid=12213 vsize=5096 CPUtime=48.17 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) T 12213 12215 12215 0 -1 4202496 1256 0 0 0 4817 0 0 0 25 0 1 0 869245173 5218304 998 33554432000 134512640 136139019 4289033216 18446744073709551615 134883407 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/12215/statm: 1274 998 184 398 0 874 0
[pid=12213/tid=12357] ppid=12204 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12213/task/12357/stat : 12357 (python) S 12204 12204 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869249991 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554946 18446604454671051648 0 0 -1 7 0 0 0
[pid=12358] ppid=12204 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/12358/stat : 12358 (python) S 12204 12204 11775 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 869250008 301006848 5842 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718342 0 0 16781312 33554946 5504610719993135365 0 0 17 5 0 0 0
/proc/12358/statm: 73488 5842 373 364 0 8372 0
[pid=12360] ppid=12358 vsize=65288 CPUtime=5.54 cores=1,3,5,7
/proc/12360/stat : 12360 (minion) R 12358 12360 12360 0 -1 4202496 9427 0 0 0 554 0 0 0 25 0 1 0 869250009 66854912 9061 33554432000 134512640 165565024 4288896000 18446744073709551615 142764899 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/12360/statm: 16322 9061 346 7582 0 8737 0
[pid=12204/tid=12214] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869245173 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
[pid=12204/tid=12359] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12359/stat : 12359 (python) S 12202 12204 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869250009 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.52
Current children cumulated vsize (KiB) 962012
[startup+55.9006 s]
/proc/loadavg: 1.66 0.64 0.23 3/475 12361
/proc/meminfo: memFree=30055620/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=304196 CPUtime=0.63 cores=1,3,5,7
/proc/12204/stat : 12204 (python) S 12202 12204 11775 0 -1 4202496 10640 931 1 0 53 10 0 0 20 0 3 0 869245015 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 51
/proc/12204/statm: 76049 7346 1873 364 0 10933 0
[pid=12213] ppid=12204 vsize=293480 CPUtime=0.17 cores=1,3,5,7
/proc/12213/stat : 12213 (python) S 12204 12204 11775 0 -1 4202560 1135 0 0 0 8 9 0 0 19 0 2 0 869245173 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12213/statm: 73370 5756 412 364 0 8257 0
[pid=12215] ppid=12213 vsize=5096 CPUtime=48.17 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp-1.3.7-x86) T 12213 12215 12215 0 -1 4202496 1256 0 0 0 4817 0 0 0 25 0 1 0 869245173 5218304 998 33554432000 134512640 136139019 4289033216 18446744073709551615 134883407 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/12215/statm: 1274 998 184 398 0 874 0
[pid=12213/tid=12357] ppid=12204 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/12213/task/12357/stat : 12357 (python) S 12204 12204 11775 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869249991 300523520 5756 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554946 18446604454671051648 0 0 -1 7 0 0 0
[pid=12358] ppid=12204 vsize=293952 CPUtime=0.01 cores=1,3,5,7
/proc/12358/stat : 12358 (python) S 12204 12204 11775 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 869250008 301006848 5842 33554432000 4194304 5683644 140735999727504 18446744073709551615 248089718342 0 0 16781312 33554946 5504610719993135365 0 0 17 5 0 0 0
/proc/12358/statm: 73488 5842 373 364 0 8372 0
[pid=12360] ppid=12358 vsize=65288 CPUtime=5.94 cores=1,3,5,7
/proc/12360/stat : 12360 (minion) R 12358 12360 12360 0 -1 4202496 9427 0 0 0 594 0 0 0 25 0 1 0 869250009 66854912 9061 33554432000 134512640 165565024 4288896000 18446744073709551615 142764880 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/12360/statm: 16322 9061 346 7582 0 8737 0
[pid=12204/tid=12214] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12214/stat : 12214 (python) S 12202 12204 11775 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 869245173 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 5 0 0 0
[pid=12204/tid=12359] ppid=12202 vsize=304196 CPUtime=0 cores=1,3,5,7
/proc/12204/task/12359/stat : 12359 (python) S 12202 12204 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869250009 311496704 7346 33554432000 4194304 5683644 140735999727504 18446744073709551615 248101521841 0 0 16781312 33554434 18446604459632371008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.92
Current children cumulated vsize (KiB) 962012
[startup+56.0005 s]
/proc/loadavg: 1.66 0.64 0.23 3/468 12362
/proc/meminfo: memFree=30099572/32950928 swapFree=45617076/67111528
[pid=12204] ppid=12202 vsize=0 CPUtime=49.03 cores=1,3,5,7
/proc/12204/stat : 12204 (python) Z 12202 12204 11775 0 -1 4202524 15062 4502 1 0 55 10 4827 11 17 0 1 0 869245015 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 51
/proc/12204/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 5.89
# lost CPU user time (s): 5.9
# lost CPU system time (s): -0.00999999
Real time (s): 56.0184
CPU time (s): 54.9395
CPU user time (s): 54.7256
CPU system time (s): 0.213965
CPU usage (%): 98.0741
Max. virtual memory (cumulated for all children) (KiB): 962016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.8256
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19564
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= 1604
involuntary context switches= 645
runsolver used 0.266959 second user time and 0.581911 second system time
The end