runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3317061-1304267282/watcher-3317061-1304267282 -o /tmp/evaluation-result-3317061-1304267282/solver-3317061-1304267282 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317061-1304267282.cnf -seed 2030877504 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 0.16 0.03 0.01 4/176 16950
/proc/meminfo: memFree=30671044/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=11800 CPUtime=0 cores=0,2,4,6
/proc/16950/stat : 16950 (runsolver) R 16946 16950 16913 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538326355 12083200 54 33554432000 4194304 5434984 140734429895632 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 4 0 0 0
/proc/16950/statm: 2950 54 34 303 0 2644 0

[startup+0.03158 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 16950
/proc/meminfo: memFree=30671044/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/16950/stat : 16950 (python) D 16946 16950 16913 0 -1 4194304 193 0 2 0 0 0 0 0 20 0 1 0 538326355 14594048 130 33554432000 4194304 5683644 140735242242336 18446744073709551615 5398816 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/16950/statm: 3563 130 102 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252

[startup+0.100556 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 16950
/proc/meminfo: memFree=30671044/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 644 0 6 0 0 0 0 0 20 0 1 0 538326355 15441920 545 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 2
/proc/16950/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080

[startup+0.30055 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 16950
/proc/meminfo: memFree=30671044/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=15784 CPUtime=0 cores=0,2,4,6
/proc/16950/stat : 16950 (python) R 16946 16950 16913 0 -1 4202496 906 0 6 0 0 0 0 0 16 0 1 0 538326355 16162816 792 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244009669 0 0 16781312 2 0 0 0 17 4 0 0 3
/proc/16950/statm: 3946 793 346 364 0 433 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15784

[startup+0.700451 s]
/proc/loadavg: 0.16 0.03 0.01 4/176 16950
/proc/meminfo: memFree=30671044/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 1112 0 6 0 1 0 0 0 15 0 1 0 538326355 16793600 985 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 4
/proc/16950/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+1.50032 s]
/proc/loadavg: 0.16 0.03 0.01 2/178 16952
/proc/meminfo: memFree=30663316/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=16540 CPUtime=0.02 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 1185 0 6 0 2 0 0 0 15 0 1 0 538326355 16936960 1050 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 5
/proc/16950/statm: 4135 1050 417 364 0 622 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16540

[startup+3.10098 s]
/proc/loadavg: 0.16 0.03 0.01 2/178 16952
/proc/meminfo: memFree=30659040/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=29792 CPUtime=0.06 cores=0,2,4,6
/proc/16950/stat : 16950 (python) D 16946 16950 16913 0 -1 4202496 1445 0 11 0 5 1 0 0 16 0 1 0 538326355 30507008 1296 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244346880 0 0 16781312 2 0 0 0 17 4 0 0 11
/proc/16950/statm: 7448 1296 443 364 0 818 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29792
heavy processes:

[startup+6.30042 s]
/proc/loadavg: 0.15 0.03 0.01 3/178 16952
/proc/meminfo: memFree=30656728/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=43624 CPUtime=0.08 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 1864 0 16 0 5 3 0 0 16 0 1 0 538326355 44670976 1654 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244344677 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 20
/proc/16950/statm: 10906 1654 467 364 0 1171 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43624
heavy processes:

[startup+12.7003 s]
/proc/loadavg: 0.21 0.05 0.02 2/178 16961
/proc/meminfo: memFree=30627464/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=135756 CPUtime=0.36 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 5967 925 42 9 23 13 0 0 16 0 1 0 538326355 139014144 4172 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244344756 0 2147483391 16781312 2 18446744071699945619 0 0 17 2 0 0 63
/proc/16950/statm: 33939 4172 1032 364 0 3125 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 135756
heavy processes:

Solver just ended. Dumping a history of the last processes samples

[startup+19.1002 s]
/proc/loadavg: 0.20 0.05 0.01 2/178 16961
/proc/meminfo: memFree=30597120/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=257000 CPUtime=0.55 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 8431 925 104 9 36 19 0 0 16 0 1 0 538326355 263168000 6397 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244344677 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 139
/proc/16950/statm: 64250 6397 1648 364 0 5129 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 257000

[startup+20.7009 s]
/proc/loadavg: 0.26 0.06 0.02 2/178 16961
/proc/meminfo: memFree=30591616/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=290160 CPUtime=1.01 cores=0,2,4,6
/proc/16950/stat : 16950 (python) R 16946 16950 16913 0 -1 4202496 10591 925 111 9 81 20 0 0 17 0 2 0 538326355 297123840 7421 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244039783 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 164
/proc/16950/statm: 72540 7422 1874 364 0 8458 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 290160

[startup+22.3005 s]
/proc/loadavg: 0.26 0.06 0.02 7/190 16973
/proc/meminfo: memFree=30502028/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=321028 CPUtime=1.1 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 12859 925 111 9 89 21 0 0 20 0 5 0 538326355 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 164
/proc/16950/statm: 80257 7453 1881 364 0 16166 0
[pid=16962] ppid=16950 vsize=279344 CPUtime=0 cores=0,2,4,6
/proc/16962/stat : 16962 (python) S 16950 16950 16913 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 538328425 286048256 5774 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368911 0 0 16781312 514 4186681897633415428 0 0 17 2 0 0 0
/proc/16962/statm: 69836 5774 354 364 0 5754 0
[pid=16964] ppid=16962 vsize=268424 CPUtime=1.56 cores=0,2,4,6
/proc/16964/stat : 16964 (hybridGM3) R 16962 16964 16964 0 -1 4202496 4992 0 0 0 156 0 0 0 20 0 1 0 538328428 274866176 4729 33554432000 134512640 135204385 4290301680 18446744073709551615 134537224 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/16964/statm: 67106 4729 64 169 0 66936 0
[pid=16965] ppid=16950 vsize=290172 CPUtime=0 cores=0,2,4,6
/proc/16965/stat : 16965 (python) S 16950 16950 16913 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 538328428 297136128 5900 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4139780030127407103 0 0 17 6 0 0 0
/proc/16965/statm: 72543 5900 348 364 0 8458 0
[pid=16967] ppid=16965 vsize=451844 CPUtime=1.56 cores=0,2,4,6
/proc/16967/stat : 16967 (TNM) R 16965 16967 16967 0 -1 4202496 763 0 0 0 156 0 0 0 24 0 1 0 538328428 462688256 498 33554432000 134512640 135008748 4289439168 18446744073709551615 134535642 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16967/statm: 112961 498 46 122 0 111861 0
[pid=16968] ppid=16950 vsize=300096 CPUtime=0 cores=0,2,4,6
/proc/16968/stat : 16968 (python) S 16950 16950 16913 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 538328431 307298304 5804 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4139783878418071812 0 0 17 6 0 0 0
/proc/16968/statm: 75024 5804 348 364 0 10936 0
[pid=16970] ppid=16968 vsize=268428 CPUtime=1.51 cores=0,2,4,6
/proc/16970/stat : 16970 (hybridGM3) R 16968 16970 16970 0 -1 4202496 4993 0 0 0 151 0 0 0 25 0 1 0 538328432 274870272 4728 33554432000 134512640 135204385 4291839616 18446744073709551615 134537013 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/16970/statm: 67107 4728 64 169 0 66937 0
[pid=16971] ppid=16950 vsize=310784 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (python) S 16950 16950 16913 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 538328434 318242816 5916 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4189289664336593156 0 0 17 2 0 0 0
/proc/16971/statm: 77696 5916 348 364 0 13605 0
[pid=16973] ppid=16971 vsize=268420 CPUtime=1.5 cores=0,2,4,6
/proc/16973/stat : 16973 (hybridGM3) R 16971 16973 16973 0 -1 4202496 4992 0 0 0 150 0 0 0 25 0 1 0 538328435 274862080 4728 33554432000 134512640 135204385 4292793472 18446744073709551615 134536863 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16973/statm: 67105 4728 64 169 0 66935 0
[pid=16950/tid=16963] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16963/stat : 16963 (python) S 16946 16950 16913 0 -1 4202560 26 925 0 9 0 0 0 0 17 0 5 0 538328425 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 0 0 0 0
[pid=16950/tid=16966] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16966/stat : 16966 (python) S 16946 16950 16913 0 -1 4202560 25 925 0 9 0 0 0 0 19 0 5 0 538328428 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 6 0 0 0
[pid=16950/tid=16969] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16969/stat : 16969 (python) S 16946 16950 16913 0 -1 4202560 25 925 0 9 0 0 0 0 20 0 5 0 538328431 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 6 0 0 0
[pid=16950/tid=16972] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16972/stat : 16972 (python) S 16946 16950 16913 0 -1 4202560 24 925 0 9 0 0 0 0 20 0 5 0 538328434 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 2758540

[startup+23.1074 s]
/proc/loadavg: 0.26 0.06 0.02 10/202 16985
/proc/meminfo: memFree=30469188/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=321028 CPUtime=1.1 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 12859 925 111 9 89 21 0 0 20 0 5 0 538326355 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 164
/proc/16950/statm: 80257 7453 1881 364 0 16166 0
[pid=16962] ppid=16950 vsize=279344 CPUtime=0 cores=0,2,4,6
/proc/16962/stat : 16962 (python) S 16950 16950 16913 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 538328425 286048256 5774 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368911 0 0 16781312 514 4186681897633415428 0 0 17 2 0 0 0
/proc/16962/statm: 69836 5774 354 364 0 5754 0
[pid=16964] ppid=16962 vsize=268424 CPUtime=2.36 cores=0,2,4,6
/proc/16964/stat : 16964 (hybridGM3) R 16962 16964 16964 0 -1 4202496 4992 0 0 0 236 0 0 0 21 0 1 0 538328428 274866176 4729 33554432000 134512640 135204385 4290301680 18446744073709551615 134659386 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/16964/statm: 67106 4729 64 169 0 66936 0
[pid=16965] ppid=16950 vsize=290172 CPUtime=0 cores=0,2,4,6
/proc/16965/stat : 16965 (python) S 16950 16950 16913 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 538328428 297136128 5900 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4139780030127374596 0 0 17 6 0 0 0
/proc/16965/statm: 72543 5900 348 364 0 8458 0
[pid=16967] ppid=16965 vsize=455676 CPUtime=2.37 cores=0,2,4,6
/proc/16967/stat : 16967 (TNM) R 16965 16967 16967 0 -1 4202496 764 0 0 0 237 0 0 0 25 0 1 0 538328428 466612224 499 33554432000 134512640 135008748 4289439168 18446744073709551615 134529155 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16967/statm: 113919 499 46 122 0 112819 0
[pid=16968] ppid=16950 vsize=300096 CPUtime=0 cores=0,2,4,6
/proc/16968/stat : 16968 (python) S 16950 16950 16913 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 538328431 307298304 5804 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4139783878418071812 0 0 17 6 0 0 0
/proc/16968/statm: 75024 5804 348 364 0 10936 0
[pid=16970] ppid=16968 vsize=268428 CPUtime=2.32 cores=0,2,4,6
/proc/16970/stat : 16970 (hybridGM3) R 16968 16970 16970 0 -1 4202496 4993 0 0 0 232 0 0 0 25 0 1 0 538328432 274870272 4728 33554432000 134512640 135204385 4291839616 18446744073709551615 134537342 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/16970/statm: 67107 4728 64 169 0 66937 0
[pid=16971] ppid=16950 vsize=310784 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (python) S 16950 16950 16913 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 538328434 318242816 5916 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4189289664336593156 0 0 17 2 0 0 0
/proc/16971/statm: 77696 5916 348 364 0 13605 0
[pid=16973] ppid=16971 vsize=268420 CPUtime=2.31 cores=0,2,4,6
/proc/16973/stat : 16973 (hybridGM3) R 16971 16973 16973 0 -1 4202496 4992 0 0 0 231 0 0 0 25 0 1 0 538328435 274862080 4728 33554432000 134512640 135204385 4292793472 18446744073709551615 134537020 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16973/statm: 67105 4728 64 169 0 66935 0
[pid=16950/tid=16963] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16963/stat : 16963 (python) S 16946 16950 16913 0 -1 4202560 26 925 0 9 0 0 0 0 17 0 5 0 538328425 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 0 0 0 0
[pid=16950/tid=16966] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16966/stat : 16966 (python) S 16946 16950 16913 0 -1 4202560 25 925 0 9 0 0 0 0 19 0 5 0 538328428 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 6 0 0 0
[pid=16950/tid=16969] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16969/stat : 16969 (python) S 16946 16950 16913 0 -1 4202560 25 925 0 9 0 0 0 0 20 0 5 0 538328431 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 6 0 0 0
[pid=16950/tid=16972] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16972/stat : 16972 (python) S 16946 16950 16913 0 -1 4202560 24 925 0 9 0 0 0 0 20 0 5 0 538328434 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.46
Current children cumulated vsize (KiB) 2762372

[startup+23.5013 s]
/proc/loadavg: 0.26 0.06 0.02 10/202 16985
/proc/meminfo: memFree=30469188/32951124 swapFree=67111364/67111528
[pid=16950] ppid=16946 vsize=321028 CPUtime=1.1 cores=0,2,4,6
/proc/16950/stat : 16950 (python) S 16946 16950 16913 0 -1 4202496 12859 925 111 9 89 21 0 0 20 0 5 0 538326355 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 164
/proc/16950/statm: 80257 7453 1881 364 0 16166 0
[pid=16962] ppid=16950 vsize=279344 CPUtime=0 cores=0,2,4,6
/proc/16962/stat : 16962 (python) S 16950 16950 16913 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 538328425 286048256 5774 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368911 0 0 16781312 514 4186681897633415428 0 0 17 2 0 0 0
/proc/16962/statm: 69836 5774 354 364 0 5754 0
[pid=16964] ppid=16962 vsize=268424 CPUtime=2.76 cores=0,2,4,6
/proc/16964/stat : 16964 (hybridGM3) R 16962 16964 16964 0 -1 4202496 4992 0 0 0 276 0 0 0 23 0 1 0 538328428 274866176 4729 33554432000 134512640 135204385 4290301680 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/16964/statm: 67106 4729 64 169 0 66936 0
[pid=16965] ppid=16950 vsize=290172 CPUtime=0 cores=0,2,4,6
/proc/16965/stat : 16965 (python) R 16950 16950 16913 0 -1 4202560 734 0 0 0 0 0 0 0 15 0 1 0 538328428 297136128 5900 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/16965/statm: 72543 5900 348 364 0 8458 0
[pid=16967] ppid=16965 vsize=455680 CPUtime=2.76 cores=0,2,4,6
/proc/16967/stat : 16967 (TNM) R 16965 16967 16967 0 -1 4202496 769 0 0 0 276 0 0 0 25 0 1 0 538328428 466616320 504 33554432000 134512640 135008748 4289439168 18446744073709551615 134597310 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16967/statm: 113920 504 50 122 0 112820 0
[pid=16968] ppid=16950 vsize=300096 CPUtime=0 cores=0,2,4,6
/proc/16968/stat : 16968 (python) S 16950 16950 16913 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 538328431 307298304 5804 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4139783878418071812 0 0 17 6 0 0 0
/proc/16968/statm: 75024 5804 348 364 0 10936 0
[pid=16970] ppid=16968 vsize=268428 CPUtime=2.71 cores=0,2,4,6
/proc/16970/stat : 16970 (hybridGM3) R 16968 16970 16970 0 -1 4202496 4993 0 0 0 271 0 0 0 25 0 1 0 538328432 274870272 4728 33554432000 134512640 135204385 4291839616 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/16970/statm: 67107 4728 64 169 0 66937 0
[pid=16971] ppid=16950 vsize=310784 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (python) S 16950 16950 16913 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 538328434 318242816 5916 33554432000 4194304 5683644 140735242242336 18446744073709551615 228244368966 0 0 16781312 514 4189289664336593156 0 0 17 2 0 0 0
/proc/16971/statm: 77696 5916 348 364 0 13605 0
[pid=16973] ppid=16971 vsize=268420 CPUtime=2.7 cores=0,2,4,6
/proc/16973/stat : 16973 (hybridGM3) R 16971 16973 16973 0 -1 4202496 4992 0 0 0 270 0 0 0 25 0 1 0 538328435 274862080 4728 33554432000 134512640 135204385 4292793472 18446744073709551615 134545960 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16973/statm: 67105 4728 64 169 0 66935 0
[pid=16950/tid=16963] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16963/stat : 16963 (python) S 16946 16950 16913 0 -1 4202560 26 925 0 9 0 0 0 0 17 0 5 0 538328425 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 0 0 0 0
[pid=16950/tid=16966] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16966/stat : 16966 (python) S 16946 16950 16913 0 -1 4202560 25 925 0 9 0 0 0 0 19 0 5 0 538328428 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 6 0 0 0
[pid=16950/tid=16969] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16969/stat : 16969 (python) S 16946 16950 16913 0 -1 4202560 25 925 0 9 0 0 0 0 20 0 5 0 538328431 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 6 0 0 0
[pid=16950/tid=16972] ppid=16946 vsize=321028 CPUtime=0 cores=0,2,4,6
/proc/16950/task/16972/stat : 16972 (python) S 16946 16950 16913 0 -1 4202560 24 925 0 9 0 0 0 0 20 0 5 0 538328434 328732672 7453 33554432000 4194304 5683644 140735242242336 18446744073709551615 228256172465 0 0 16781312 2 18446604453869398720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 2762376

Child status: 0
Real time (s): 23.5327
CPU time (s): 12.1382
CPU user time (s): 11.8822
CPU system time (s): 0.255961
CPU usage (%): 51.58
Max. virtual memory (cumulated for all children) (KiB): 2762376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8822
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37747
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21270
involuntary context switches= 129

runsolver used 0.036994 second user time and 0.095985 second system time

The end