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-3482688-1307576510/watcher-3482688-1307576510 -o /tmp/evaluation-result-3482688-1307576510/solver-3482688-1307576510 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482688-1307576510.opb -seed 1746409190 -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.68 0.66 0.24 2/467 12423
/proc/meminfo: memFree=30121608/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/12423/stat : 12423 (python) R 12421 12423 11775 0 -1 4202496 808 0 0 0 0 0 0 0 17 0 1 0 869250886 15749120 693 33554432000 4194304 5683644 140735731271488 18446744073709551615 248089697936 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12423/statm: 3845 694 333 364 0 332 0
[startup+0.040798 s]
/proc/loadavg: 1.68 0.66 0.24 2/467 12423
/proc/meminfo: memFree=30121608/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/12423/stat : 12423 (python) R 12421 12423 11775 0 -1 4202496 1283 0 0 0 1 0 0 0 17 0 1 0 869250886 19341312 1135 33554432000 4194304 5683644 140735731271488 18446744073709551615 248089359045 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12423/statm: 4722 1135 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100724 s]
/proc/loadavg: 1.68 0.66 0.24 2/467 12423
/proc/meminfo: memFree=30121608/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=94064 CPUtime=0.06 cores=1,3,5,7
/proc/12423/stat : 12423 (python) S 12421 12423 11775 0 -1 4202496 2796 0 1 0 5 1 0 0 17 0 1 0 869250886 96321536 2468 33554432000 4194304 5683644 140735731271488 18446744073709551615 248089698048 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/12423/statm: 23516 2468 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.300692 s]
/proc/loadavg: 1.68 0.66 0.24 2/467 12423
/proc/meminfo: memFree=30121608/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=175628 CPUtime=0.21 cores=1,3,5,7
/proc/12423/stat : 12423 (python) S 12421 12423 11775 0 -1 4202496 6246 931 1 0 16 5 0 0 17 0 1 0 869250886 179843072 4555 33554432000 4194304 5683644 140735731271488 18446744073709551615 248084774535 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12423/statm: 43907 4555 1236 364 0 3534 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 175628
[startup+0.700614 s]
/proc/loadavg: 1.68 0.66 0.24 2/467 12423
/proc/meminfo: memFree=30121608/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=293116 CPUtime=0.42 cores=1,3,5,7
/proc/12423/stat : 12423 (python) S 12421 12423 11775 0 -1 4202496 9640 931 1 0 34 8 0 0 19 0 2 0 869250886 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12423/statm: 73279 7148 1870 364 0 8166 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293116
[startup+1.50147 s]
/proc/loadavg: 1.68 0.66 0.24 4/489 12450
/proc/meminfo: memFree=30065268/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=293116 CPUtime=0.42 cores=1,3,5,7
/proc/12423/stat : 12423 (python) S 12421 12423 11775 0 -1 4202496 9640 931 1 0 34 8 0 0 19 0 2 0 869250886 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12423/statm: 73279 7148 1870 364 0 8166 0
[pid=12429] ppid=12423 vsize=282872 CPUtime=0 cores=1,3,5,7
/proc/12429/stat : 12429 (python) S 12423 12423 11775 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 869250939 289660928 5626 33554432000 4194304 5683644 140735731271488 18446744073709551615 248089718287 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/12429/statm: 70718 5626 352 364 0 5605 0
[pid=12431] ppid=12429 vsize=8537688 CPUtime=1.11 cores=1,3,5,7
/proc/12431/stat : 12431 (java) S 12429 12431 12431 0 -1 4202496 9757 0 114 0 108 3 0 0 19 0 19 0 869250940 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8
/proc/12431/statm: 2134422 7909 2240 9 0 2125163 0
[pid=12431/tid=12432] ppid=12429 vsize=8537688 CPUtime=0.73 cores=1,3,5,7
/proc/12431/task/12432/stat : 12432 (java) R 12429 12431 12431 0 -1 4202560 4323 0 57 0 72 1 0 0 25 0 19 0 869250949 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 46912505663820 0 4 0 16800975 0 0 0 -1 3 0 0 11
[pid=12431/tid=12433] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12433/stat : 12433 (java) S 12429 12431 12431 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12431 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12431 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12441/stat : 12441 (java) S 12429 12431 12431 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 869250952 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12442/stat : 12442 (java) S 12429 12431 12431 0 -1 4202560 349 0 0 0 0 0 0 0 17 0 19 0 869250955 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 0 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12443/stat : 12443 (java) S 12429 12431 12431 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 869250956 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12444/stat : 12444 (java) S 12429 12431 12431 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869250956 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12445/stat : 12445 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869250962 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101521841 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=8537688 CPUtime=0.16 cores=1,3,5,7
/proc/12431/task/12446/stat : 12446 (java) S 12429 12431 12431 0 -1 4202560 913 0 0 0 16 0 0 0 23 0 19 0 869250962 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=8537688 CPUtime=0.18 cores=1,3,5,7
/proc/12431/task/12447/stat : 12447 (java) S 12429 12431 12431 0 -1 4202560 2501 0 1 0 18 0 0 0 23 0 19 0 869250962 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12448/stat : 12448 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869250962 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12449/stat : 12449 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869250962 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12450/stat : 12450 (java) S 12429 12431 12431 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869250979 8742592512 7909 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12423/tid=12430] ppid=12421 vsize=293116 CPUtime=0 cores=1,3,5,7
/proc/12423/task/12430/stat : 12430 (python) S 12421 12423 11775 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869250939 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9113676
Solver just ended. Dumping a history of the last processes samples
[startup+2.30133 s]
/proc/loadavg: 1.68 0.66 0.24 3/489 12450
/proc/meminfo: memFree=30053304/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=293116 CPUtime=0.42 cores=1,3,5,7
/proc/12423/stat : 12423 (python) S 12421 12423 11775 0 -1 4202496 9640 931 1 0 34 8 0 0 19 0 2 0 869250886 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12423/statm: 73279 7148 1870 364 0 8166 0
[pid=12429] ppid=12423 vsize=282872 CPUtime=0 cores=1,3,5,7
/proc/12429/stat : 12429 (python) S 12423 12423 11775 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 869250939 289660928 5626 33554432000 4194304 5683644 140735731271488 18446744073709551615 248089718287 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/12429/statm: 70718 5626 352 364 0 5605 0
[pid=12431] ppid=12429 vsize=8537688 CPUtime=1.95 cores=1,3,5,7
/proc/12431/stat : 12431 (java) S 12429 12431 12431 0 -1 4202496 11039 0 114 0 192 3 0 0 19 0 19 0 869250940 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8
/proc/12431/statm: 2134422 9189 2240 9 0 2125163 0
[pid=12431/tid=12432] ppid=12429 vsize=8537688 CPUtime=1.5 cores=1,3,5,7
/proc/12431/task/12432/stat : 12432 (java) R 12429 12431 12431 0 -1 4202560 4325 0 57 0 149 1 0 0 25 0 19 0 869250949 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 46912505366496 0 4 0 16800975 0 0 0 -1 3 0 0 11
[pid=12431/tid=12433] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12433/stat : 12433 (java) S 12429 12431 12431 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12431 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12431 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12431 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12431 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12431 0 -1 4202560 125 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12441/stat : 12441 (java) S 12429 12431 12431 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/12431/task/12442/stat : 12442 (java) S 12429 12431 12431 0 -1 4202560 762 0 0 0 2 0 0 0 15 0 19 0 869250955 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 0 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12443/stat : 12443 (java) S 12429 12431 12431 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 869250956 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12444/stat : 12444 (java) S 12429 12431 12431 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869250956 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12445/stat : 12445 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101521841 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=8537688 CPUtime=0.18 cores=1,3,5,7
/proc/12431/task/12446/stat : 12446 (java) S 12429 12431 12431 0 -1 4202560 916 0 0 0 18 0 0 0 15 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=8537688 CPUtime=0.2 cores=1,3,5,7
/proc/12431/task/12447/stat : 12447 (java) S 12429 12431 12431 0 -1 4202560 2505 0 1 0 20 0 0 0 15 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12448/stat : 12448 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12449/stat : 12449 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12450/stat : 12450 (java) S 12429 12431 12431 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869250979 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12423/tid=12430] ppid=12421 vsize=293116 CPUtime=0 cores=1,3,5,7
/proc/12423/task/12430/stat : 12430 (python) S 12421 12423 11775 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869250939 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9113676
[startup+2.50129 s]
/proc/loadavg: 1.68 0.66 0.24 3/489 12450
/proc/meminfo: memFree=30053304/32950928 swapFree=45617076/67111528
[pid=12423] ppid=12421 vsize=293116 CPUtime=0.42 cores=1,3,5,7
/proc/12423/stat : 12423 (python) S 12421 12423 11775 0 -1 4202496 9640 931 1 0 34 8 0 0 19 0 2 0 869250886 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12423/statm: 73279 7148 1870 364 0 8166 0
[pid=12429] ppid=12423 vsize=282872 CPUtime=0 cores=1,3,5,7
/proc/12429/stat : 12429 (python) S 12423 12423 11775 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 869250939 289660928 5626 33554432000 4194304 5683644 140735731271488 18446744073709551615 248089718287 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/12429/statm: 70718 5626 352 364 0 5605 0
[pid=12431] ppid=12429 vsize=8537688 CPUtime=2.15 cores=1,3,5,7
/proc/12431/stat : 12431 (java) S 12429 12431 12431 0 -1 4202496 11039 0 114 0 212 3 0 0 19 0 19 0 869250940 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8
/proc/12431/statm: 2134422 9189 2240 9 0 2125163 0
[pid=12431/tid=12432] ppid=12429 vsize=8537688 CPUtime=1.7 cores=1,3,5,7
/proc/12431/task/12432/stat : 12432 (java) R 12429 12431 12431 0 -1 4202560 4325 0 57 0 169 1 0 0 25 0 19 0 869250949 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 46912505663875 0 4 0 16800975 0 0 0 -1 3 0 0 11
[pid=12431/tid=12433] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12433/stat : 12433 (java) S 12429 12431 12431 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12431 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12431 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12431 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12431 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12431 0 -1 4202560 125 0 0 0 0 0 0 0 16 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12441/stat : 12441 (java) S 12429 12431 12431 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 19 0 869250952 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 3 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/12431/task/12442/stat : 12442 (java) S 12429 12431 12431 0 -1 4202560 762 0 0 0 2 0 0 0 15 0 19 0 869250955 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 0 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12443/stat : 12443 (java) S 12429 12431 12431 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 869250956 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12444/stat : 12444 (java) S 12429 12431 12431 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869250956 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12445/stat : 12445 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101521841 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=8537688 CPUtime=0.18 cores=1,3,5,7
/proc/12431/task/12446/stat : 12446 (java) S 12429 12431 12431 0 -1 4202560 916 0 0 0 18 0 0 0 15 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=8537688 CPUtime=0.2 cores=1,3,5,7
/proc/12431/task/12447/stat : 12447 (java) S 12429 12431 12431 0 -1 4202560 2505 0 1 0 20 0 0 0 15 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12448/stat : 12448 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514137 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12449/stat : 12449 (java) S 12429 12431 12431 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869250962 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 4 0 16800975 18446604455231493120 0 0 -1 1 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/12431/task/12450/stat : 12450 (java) S 12429 12431 12431 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869250979 8742592512 9189 33554432000 1073741824 1073778376 140733886107136 18446744073709551615 248101514752 0 4 0 16800975 18446604455231493120 0 0 -1 7 0 0 0
[pid=12423/tid=12430] ppid=12421 vsize=293116 CPUtime=0 cores=1,3,5,7
/proc/12423/task/12430/stat : 12430 (python) S 12421 12423 11775 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 2 0 869250939 300150784 7148 33554432000 4194304 5683644 140735731271488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9113676
Child status: 0
Real time (s): 2.56129
CPU time (s): 2.66159
CPU user time (s): 2.52562
CPU system time (s): 0.135979
CPU usage (%): 103.916
Max. virtual memory (cumulated for all children) (KiB): 9113676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.52562
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27167
page faults= 115
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1840
involuntary context switches= 110
runsolver used 0.017997 second user time and 0.035994 second system time
The end