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-3481850-1307576359/watcher-3481850-1307576359 -o /tmp/evaluation-result-3481850-1307576359/solver-3481850-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481850-1307576359.opb -seed 10733940 -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: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2282/stat : 2282 (runsolver) S 2279 2282 2236 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 1 0 869237369 12079104 51 33554432000 4194304 5432328 140733474566384 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699977015 0 0 17 1 0 0 0
/proc/2282/statm: 2949 51 31 303 0 2643 0
[startup+0.0205829 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2282/stat : 2282 (runsolver) D 2279 2282 2236 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 1 0 869237369 12079104 54 33554432000 4194304 5432328 140733474566384 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2282/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100547 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/2282/stat : 2282 (python) D 2279 2282 2236 0 -1 4194304 47 0 0 0 0 0 0 0 17 0 1 0 869237369 1884160 1 33554432000 0 0 140735443863209 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/2282/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300512 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 506 0 6 0 0 0 0 0 17 0 1 0 869237369 15175680 419 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594862437 0 2147483391 4096 0 18446744071699215550 0 0 17 7 0 0 10
/proc/2282/statm: 3705 419 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.70044 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=15188 CPUtime=0 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 722 0 6 0 0 0 0 0 16 0 1 0 869237369 15552512 617 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594862516 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 16
/proc/2282/statm: 3797 617 322 364 0 284 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15188
[startup+1.5003 s]
/proc/loadavg: 0.72 0.17 0.06 1/447 2285
/proc/meminfo: memFree=32064020/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 1073 0 6 0 1 0 0 0 16 0 1 0 869237369 16789504 949 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 25
/proc/2282/statm: 4099 949 385 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10558 s]
/proc/loadavg: 0.72 0.17 0.06 2/447 2285
/proc/meminfo: memFree=32058324/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=18888 CPUtime=0.03 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 1281 0 7 0 2 1 0 0 15 0 1 0 869237369 19341312 1140 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594862437 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 32
/proc/2282/statm: 4722 1140 421 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18888
heavy processes:
[startup+6.30045 s]
/proc/loadavg: 0.75 0.19 0.06 1/447 2293
/proc/meminfo: memFree=32043868/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=111980 CPUtime=0.18 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 4626 919 35 9 8 10 0 0 16 0 1 0 869237369 114667520 3113 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594862437 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 54
/proc/2282/statm: 27995 3113 901 364 0 2174 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 111980
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.85 0.22 0.07 1/447 2293
/proc/meminfo: memFree=31993976/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=261412 CPUtime=0.53 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 8147 919 112 9 26 27 0 0 16 0 1 0 869237369 267685888 6352 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594862437 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 138
/proc/2282/statm: 65353 6352 1677 364 0 5069 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 261412
heavy processes:
[startup+25.5011 s]
/proc/loadavg: 1.10 0.30 0.10 4/453 2301
/proc/meminfo: memFree=31941112/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=293300 CPUtime=0.63 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 9561 919 115 9 35 28 0 0 18 0 2 0 869237369 300339200 7180 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 139
/proc/2282/statm: 73325 7180 1870 364 0 8212 0
[pid=2294] ppid=2282 vsize=283056 CPUtime=0.03 cores=1,3,5,7
/proc/2294/stat : 2294 (python) S 2282 2282 2236 0 -1 4202560 913 0 0 0 1 2 0 0 15 0 1 0 869238694 289849344 5682 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594886671 0 0 16781312 33554946 695040736306921472 0 0 17 7 0 0 0
/proc/2294/statm: 70764 5682 376 364 0 5651 0
[pid=2300] ppid=2294 vsize=29604 CPUtime=12.23 cores=1,3,5,7
/proc/2300/stat : 2300 (scip-2.0.1.linu) R 2294 2300 2300 0 -1 4202496 6608 0 0 0 1193 30 0 0 25 0 1 0 869238695 30314496 5232 33554432000 4194304 13684479 140734015791472 18446744073709551615 7430208 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2300/statm: 7401 5232 803 2317 0 5079 0
[pid=2282/tid=2296] ppid=2279 vsize=293300 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2296/stat : 2296 (python) S 2279 2282 2236 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 869238694 300339200 7180 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 605960
heavy processes:
[startup+51.1006 s]
/proc/loadavg: 1.41 0.44 0.15 5/453 2302
/proc/meminfo: memFree=31941520/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=293300 CPUtime=0.63 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 9561 919 115 9 35 28 0 0 18 0 2 0 869237369 300339200 7180 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 139
/proc/2282/statm: 73325 7180 1870 364 0 8212 0
[pid=2294] ppid=2282 vsize=283056 CPUtime=0.13 cores=1,3,5,7
/proc/2294/stat : 2294 (python) S 2282 2282 2236 0 -1 4202560 924 0 0 0 6 7 0 0 16 0 1 0 869238694 289849344 5682 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594886671 0 0 16781312 33554946 5623458817330129710 0 0 17 3 0 0 0
/proc/2294/statm: 70764 5682 376 364 0 5651 0
[pid=2300] ppid=2294 vsize=29916 CPUtime=37.83 cores=1,3,5,7
/proc/2300/stat : 2300 (scip-2.0.1.linu) R 2294 2300 2300 0 -1 4202496 6657 0 0 0 3677 106 0 0 25 0 1 0 869238695 30633984 5281 33554432000 4194304 13684479 140734015791472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2300/statm: 7479 5281 805 2317 0 5157 0
[pid=2282/tid=2296] ppid=2279 vsize=293300 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2296/stat : 2296 (python) S 2279 2282 2236 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 869238694 300339200 7180 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.59
Current children cumulated vsize (KiB) 606272
heavy processes:
[startup+102.318 s]
/proc/loadavg: 1.74 0.68 0.25 4/461 2311
/proc/meminfo: memFree=31896736/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=304056 CPUtime=0.66 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 10388 919 115 9 37 29 0 0 20 0 3 0 869237369 311353344 7311 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 139
/proc/2282/statm: 76014 7311 1873 364 0 10898 0
[pid=2294] ppid=2282 vsize=293300 CPUtime=0.16 cores=1,3,5,7
/proc/2294/stat : 2294 (python) S 2282 2282 2236 0 -1 4202560 1085 0 0 0 7 9 0 0 16 0 2 0 869238694 300339200 5718 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2294/statm: 73325 5718 407 364 0 8212 0
[pid=2300] ppid=2294 vsize=29916 CPUtime=47.13 cores=1,3,5,7
/proc/2300/stat : 2300 (scip-2.0.1.linu) T 2294 2300 2300 0 -1 4202496 6669 0 0 0 4566 147 0 0 25 0 1 0 869238695 30633984 5293 33554432000 4194304 13684479 140734015791472 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/2300/statm: 7479 5293 813 2317 0 5157 0
[pid=2294/tid=2308] ppid=2282 vsize=293300 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (python) S 2282 2282 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869243409 300339200 5718 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465333236992 0 0 -1 7 0 0 0
[pid=2309] ppid=2282 vsize=293812 CPUtime=0.16 cores=1,3,5,7
/proc/2309/stat : 2309 (python) S 2282 2282 2236 0 -1 4202560 953 0 0 0 8 8 0 0 15 0 1 0 869243412 300863488 5807 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594886726 0 0 16781312 33554946 5623753486446373678 0 0 17 7 0 0 0
/proc/2309/statm: 73453 5807 373 364 0 8337 0
[pid=2311] ppid=2309 vsize=31236 CPUtime=41.88 cores=1,3,5,7
/proc/2311/stat : 2311 (scip-2.0.1.linu) R 2309 2311 2311 0 -1 4202496 16431 0 0 0 4168 20 0 0 25 0 1 0 869243412 31985664 5343 33554432000 4194304 15243407 140734772254960 18446744073709551615 8095908 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2311/statm: 7809 5343 936 2698 0 5104 0
[pid=2282/tid=2296] ppid=2279 vsize=304056 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2296/stat : 2296 (python) S 2279 2282 2236 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 3 0 869238694 311353344 7311 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 1 0 0 0
[pid=2282/tid=2310] ppid=2279 vsize=304056 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2310/stat : 2310 (python) S 2279 2282 2236 0 -1 4202560 27 919 0 9 0 0 0 0 20 0 3 0 869243412 311353344 7311 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (KiB) 952320
[startup+162.301 s]
/proc/loadavg: 2.04 0.96 0.37 4/477 2329
/proc/meminfo: memFree=31826692/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=324748 CPUtime=0.71 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 12248 919 115 9 42 29 0 0 20 0 5 0 869237369 332541952 7352 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 139
/proc/2282/statm: 81187 7352 1877 364 0 16065 0
[pid=2294] ppid=2282 vsize=293300 CPUtime=0.16 cores=1,3,5,7
/proc/2294/stat : 2294 (python) S 2282 2282 2236 0 -1 4202560 1085 0 0 0 7 9 0 0 16 0 2 0 869238694 300339200 5718 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2294/statm: 73325 5718 407 364 0 8212 0
[pid=2300] ppid=2294 vsize=29916 CPUtime=47.13 cores=1,3,5,7
/proc/2300/stat : 2300 (scip-2.0.1.linu) T 2294 2300 2300 0 -1 4202496 6669 0 0 0 4566 147 0 0 25 0 1 0 869238695 30633984 5293 33554432000 4194304 13684479 140734015791472 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/2300/statm: 7479 5293 813 2317 0 5157 0
[pid=2294/tid=2308] ppid=2282 vsize=293300 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (python) S 2282 2282 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869243409 300339200 5718 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465333236992 0 0 -1 7 0 0 0
[pid=2309] ppid=2282 vsize=293812 CPUtime=0.18 cores=1,3,5,7
/proc/2309/stat : 2309 (python) S 2282 2282 2236 0 -1 4202560 1116 0 0 0 9 9 0 0 17 0 2 0 869243412 300863488 5832 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/2309/statm: 73453 5832 397 364 0 8337 0
[pid=2311] ppid=2309 vsize=31208 CPUtime=46.18 cores=1,3,5,7
/proc/2311/stat : 2311 (scip-2.0.1.linu) T 2309 2311 2311 0 -1 4202496 19424 0 0 0 4594 24 0 0 25 0 1 0 869243412 31956992 5368 33554432000 4194304 15243407 140734772254960 18446744073709551615 7128793 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2311/statm: 7802 5368 945 2698 0 5097 0
[pid=2309/tid=2313] ppid=2282 vsize=293812 CPUtime=0 cores=1,3,5,7
/proc/2309/task/2313/stat : 2313 (python) S 2282 2282 2236 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869248031 300863488 5832 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 1 0 0 0
[pid=2314] ppid=2282 vsize=303848 CPUtime=0.17 cores=1,3,5,7
/proc/2314/stat : 2314 (python) S 2282 2282 2236 0 -1 4202560 1158 0 0 0 8 9 0 0 16 0 2 0 869248034 311140352 5792 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2314/statm: 75962 5792 403 364 0 10843 0
[pid=2316] ppid=2314 vsize=2256 CPUtime=47.95 cores=1,3,5,7
/proc/2316/stat : 2316 (clasp-1.3.7-x86) T 2314 2316 2316 0 -1 4202496 587 0 0 0 4795 0 0 0 25 0 1 0 869248034 2310144 324 33554432000 134512640 136139019 4289271328 18446744073709551615 134874996 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/2316/statm: 564 324 184 398 0 164 0
[pid=2314/tid=2322] ppid=2282 vsize=303848 CPUtime=0 cores=1,3,5,7
/proc/2314/task/2322/stat : 2322 (python) S 2282 2282 2236 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869252829 311140352 5792 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604460003611008 0 0 -1 7 0 0 0
[pid=2323] ppid=2282 vsize=314504 CPUtime=0.03 cores=1,3,5,7
/proc/2323/stat : 2323 (python) S 2282 2282 2236 0 -1 4202560 1010 0 0 0 1 2 0 0 15 0 1 0 869252832 322052096 5850 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594886726 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/2323/statm: 78626 5850 379 364 0 13504 0
[pid=2325] ppid=2323 vsize=30120 CPUtime=7.65 cores=1,3,5,7
################
# More data... #
################
[pid=2282/tid=2310] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2310/stat : 2310 (python) S 2279 2282 2236 0 -1 4202560 27 919 0 9 0 0 0 0 20 0 7 0 869243412 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
[pid=2282/tid=2315] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2315/stat : 2315 (python) S 2279 2282 2236 0 -1 4202560 31 919 0 9 0 0 0 0 18 0 7 0 869248034 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
[pid=2282/tid=2324] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2324/stat : 2324 (python) S 2279 2282 2236 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869252832 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
[pid=2282/tid=2335] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2335/stat : 2335 (python) S 2279 2282 2236 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 7 0 869262317 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 5 0 0 0
[pid=2282/tid=2381] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2381/stat : 2381 (python) S 2279 2282 2236 0 -1 4202560 33 919 0 9 0 0 0 0 20 0 7 0 869266985 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 287.62
Current children cumulated vsize (KiB) 19512832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+296.901 s]
/proc/loadavg: 2.02 1.36 0.59 5/543 2400
/proc/meminfo: memFree=29966784/32950928 swapFree=34366004/67111528
[pid=2282] ppid=2279 vsize=345424 CPUtime=0.79 cores=1,3,5,7
/proc/2282/stat : 2282 (python) S 2279 2282 2236 0 -1 4202496 14017 919 115 9 49 30 0 0 20 0 7 0 869237369 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 139
/proc/2282/statm: 86356 7405 1881 364 0 21228 0
[pid=2294] ppid=2282 vsize=293300 CPUtime=0.16 cores=1,3,5,7
/proc/2294/stat : 2294 (python) S 2282 2282 2236 0 -1 4202560 1085 0 0 0 7 9 0 0 16 0 2 0 869238694 300339200 5718 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2294/statm: 73325 5718 407 364 0 8212 0
[pid=2300] ppid=2294 vsize=29916 CPUtime=47.13 cores=1,3,5,7
/proc/2300/stat : 2300 (scip-2.0.1.linu) T 2294 2300 2300 0 -1 4202496 6669 0 0 0 4566 147 0 0 25 0 1 0 869238695 30633984 5293 33554432000 4194304 13684479 140734015791472 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/2300/statm: 7479 5293 813 2317 0 5157 0
[pid=2294/tid=2308] ppid=2282 vsize=293300 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (python) S 2282 2282 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869243409 300339200 5718 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465333236992 0 0 -1 7 0 0 0
[pid=2309] ppid=2282 vsize=293812 CPUtime=0.18 cores=1,3,5,7
/proc/2309/stat : 2309 (python) S 2282 2282 2236 0 -1 4202560 1116 0 0 0 9 9 0 0 17 0 2 0 869243412 300863488 5832 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/2309/statm: 73453 5832 397 364 0 8337 0
[pid=2311] ppid=2309 vsize=31208 CPUtime=46.18 cores=1,3,5,7
/proc/2311/stat : 2311 (scip-2.0.1.linu) T 2309 2311 2311 0 -1 4202496 19424 0 0 0 4594 24 0 0 25 0 1 0 869243412 31956992 5368 33554432000 4194304 15243407 140734772254960 18446744073709551615 7128793 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2311/statm: 7802 5368 945 2698 0 5097 0
[pid=2309/tid=2313] ppid=2282 vsize=293812 CPUtime=0 cores=1,3,5,7
/proc/2309/task/2313/stat : 2313 (python) S 2282 2282 2236 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869248031 300863488 5832 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 1 0 0 0
[pid=2314] ppid=2282 vsize=303848 CPUtime=0.35 cores=1,3,5,7
/proc/2314/stat : 2314 (python) S 2282 2282 2236 0 -1 4202560 1176 0 0 0 17 18 0 0 15 0 2 0 869248034 311140352 5792 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2314/statm: 75962 5792 403 364 0 10843 0
[pid=2316] ppid=2314 vsize=2256 CPUtime=94.12 cores=1,3,5,7
/proc/2316/stat : 2316 (clasp-1.3.7-x86) T 2314 2316 2316 0 -1 4202496 589 0 0 0 9412 0 0 0 25 0 1 0 869248034 2310144 326 33554432000 134512640 136139019 4289271328 18446744073709551615 134640601 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/2316/statm: 564 326 184 398 0 164 0
[pid=2314/tid=2322] ppid=2282 vsize=303848 CPUtime=0 cores=1,3,5,7
/proc/2314/task/2322/stat : 2322 (python) S 2282 2282 2236 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869252829 311140352 5792 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604460003611008 0 0 -1 7 0 0 0
[pid=2323] ppid=2282 vsize=314504 CPUtime=0.2 cores=1,3,5,7
/proc/2323/stat : 2323 (python) S 2282 2282 2236 0 -1 4202560 1190 0 0 0 9 11 0 0 16 0 2 0 869252832 322052096 5875 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2323/statm: 78626 5875 403 364 0 13504 0
[pid=2325] ppid=2323 vsize=157744 CPUtime=48.56 cores=1,3,5,7
/proc/2325/stat : 2325 (wbo1.4a) T 2323 2325 2325 0 -1 4202496 39253 0 0 0 4751 105 0 0 25 0 1 0 869252832 161529856 38975 33554432000 134512640 135751879 4290966048 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/2325/statm: 39436 38975 146 303 0 39131 0
[pid=2323/tid=2331] ppid=2282 vsize=314504 CPUtime=0 cores=1,3,5,7
/proc/2323/task/2331/stat : 2331 (python) S 2282 2282 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869257694 322052096 5875 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465333236096 0 0 -1 5 0 0 0
[pid=2334] ppid=2282 vsize=324924 CPUtime=0.19 cores=1,3,5,7
/proc/2334/stat : 2334 (python) S 2282 2282 2236 0 -1 4202560 1152 0 0 0 9 10 0 0 17 0 2 0 869262317 332722176 5914 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/2334/statm: 81231 5914 397 364 0 16106 0
[pid=2336] ppid=2334 vsize=8541600 CPUtime=48.47 cores=1,3,5,7
/proc/2336/stat : 2336 (java) T 2334 2336 2336 0 -1 4202496 126555 0 116 0 4829 18 0 0 18 0 19 0 869262317 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 8
/proc/2336/statm: 2135400 102236 2236 9 0 2126141 0
[pid=2336/tid=2337] ppid=2334 vsize=8541600 CPUtime=45.98 cores=1,3,5,7
/proc/2336/task/2337/stat : 2337 (java) T 2334 2336 2336 0 -1 4202560 68871 0 59 0 4589 9 0 0 25 0 19 0 869262327 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 46912505637074 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 11
[pid=2336/tid=2338] ppid=2334 vsize=8541600 CPUtime=0.14 cores=1,3,5,7
/proc/2336/task/2338/stat : 2338 (java) T 2334 2336 2336 0 -1 4202560 7048 0 0 0 13 1 0 0 15 0 19 0 869262330 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2339] ppid=2334 vsize=8541600 CPUtime=0.13 cores=1,3,5,7
/proc/2336/task/2339/stat : 2339 (java) T 2334 2336 2336 0 -1 4202560 5926 0 0 0 13 0 0 0 15 0 19 0 869262330 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2336/tid=2340] ppid=2334 vsize=8541600 CPUtime=0.14 cores=1,3,5,7
/proc/2336/task/2340/stat : 2340 (java) T 2334 2336 2336 0 -1 4202560 7425 0 0 0 13 1 0 0 15 0 19 0 869262330 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2336/tid=2341] ppid=2334 vsize=8541600 CPUtime=0.13 cores=1,3,5,7
/proc/2336/task/2341/stat : 2341 (java) T 2334 2336 2336 0 -1 4202560 5697 0 0 0 13 0 0 0 15 0 19 0 869262330 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2336/tid=2342] ppid=2334 vsize=8541600 CPUtime=0.12 cores=1,3,5,7
/proc/2336/task/2342/stat : 2342 (java) T 2334 2336 2336 0 -1 4202560 6496 0 0 0 12 0 0 0 15 0 19 0 869262330 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2336/tid=2343] ppid=2334 vsize=8541600 CPUtime=0.13 cores=1,3,5,7
/proc/2336/task/2343/stat : 2343 (java) T 2334 2336 2336 0 -1 4202560 4762 0 0 0 13 0 0 0 15 0 19 0 869262330 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2336/tid=2344] ppid=2334 vsize=8541600 CPUtime=0.11 cores=1,3,5,7
/proc/2336/task/2344/stat : 2344 (java) T 2334 2336 2336 0 -1 4202560 4948 0 0 0 11 0 0 0 15 0 19 0 869262331 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2345] ppid=2334 vsize=8541600 CPUtime=0.11 cores=1,3,5,7
/proc/2336/task/2345/stat : 2345 (java) T 2334 2336 2336 0 -1 4202560 5099 0 0 0 11 0 0 0 15 0 19 0 869262331 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2336/tid=2346] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2346/stat : 2346 (java) T 2334 2336 2336 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 869262334 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2336/tid=2347] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2347/stat : 2347 (java) T 2334 2336 2336 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869262335 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2348] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2348/stat : 2348 (java) T 2334 2336 2336 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869262335 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2349] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2349/stat : 2349 (java) T 2334 2336 2336 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869262341 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2350] ppid=2334 vsize=8541600 CPUtime=0.71 cores=1,3,5,7
/proc/2336/task/2350/stat : 2350 (java) T 2334 2336 2336 0 -1 4202560 5280 0 0 0 71 0 0 0 15 0 19 0 869262341 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2351] ppid=2334 vsize=8541600 CPUtime=0.63 cores=1,3,5,7
/proc/2336/task/2351/stat : 2351 (java) T 2334 2336 2336 0 -1 4202560 3498 0 1 0 63 0 0 0 15 0 19 0 869262341 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2336/tid=2352] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2352/stat : 2352 (java) T 2334 2336 2336 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869262341 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2336/tid=2353] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2353/stat : 2353 (java) T 2334 2336 2336 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869262341 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2336/tid=2354] ppid=2334 vsize=8541600 CPUtime=0 cores=1,3,5,7
/proc/2336/task/2354/stat : 2354 (java) T 2334 2336 2336 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869262363 8746598400 102236 33554432000 1073741824 1073778376 140734025742384 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2334/tid=2378] ppid=2282 vsize=324924 CPUtime=0 cores=1,3,5,7
/proc/2334/task/2378/stat : 2378 (python) S 2282 2282 2236 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869266982 332722176 5914 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554946 18446604456525187008 0 0 -1 7 0 0 0
[pid=2379] ppid=2282 vsize=335180 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (python) S 2282 2282 2236 0 -1 4202560 828 0 0 0 0 0 0 0 15 0 1 0 869266985 343224320 5869 33554432000 4194304 5683644 140735443856576 18446744073709551615 235594886726 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/2379/statm: 83795 5869 349 364 0 18667 0
[pid=2382] ppid=2379 vsize=8539116 CPUtime=1.29 cores=1,3,5,7
/proc/2382/stat : 2382 (java) S 2379 2382 2382 0 -1 4202496 29779 0 1 0 125 4 0 0 21 0 19 0 869266985 8744054784 27978 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2382/statm: 2134779 27980 2216 9 0 2125520 0
[pid=2382/tid=2383] ppid=2379 vsize=8539116 CPUtime=0.76 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (java) R 2379 2382 2382 0 -1 4202560 24737 0 1 0 73 3 0 0 19 0 19 0 869266986 8744054784 28609 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 46912505565482 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869266986 8744054784 28610 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 1 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28610 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2386] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2386/stat : 2386 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28613 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2387] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2387/stat : 2387 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28614 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2388] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2388/stat : 2388 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28615 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2389] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2389/stat : 2389 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28615 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2390] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2390/stat : 2390 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28617 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2391] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2391/stat : 2391 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266986 8744054784 28619 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2392] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2392/stat : 2392 (java) S 2379 2382 2382 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869266987 8744054784 28620 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606683136 0 0 0 16800975 18446604470587624448 0 0 -1 1 0 0 0
[pid=2382/tid=2393] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2393/stat : 2393 (java) S 2379 2382 2382 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869266988 8744054784 28621 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 1 0 0 0
[pid=2382/tid=2394] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2394/stat : 2394 (java) S 2379 2382 2382 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869266988 8744054784 28622 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2395] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2395/stat : 2395 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266990 8744054784 28624 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606690225 0 4 0 16800975 18446604470587624448 0 0 -1 1 0 0 0
[pid=2382/tid=2396] ppid=2379 vsize=8539116 CPUtime=0.23 cores=1,3,5,7
/proc/2382/task/2396/stat : 2396 (java) S 2379 2382 2382 0 -1 4202560 1643 0 0 0 23 0 0 0 25 0 19 0 869266990 8744054784 28626 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2397] ppid=2379 vsize=8539116 CPUtime=0.3 cores=1,3,5,7
/proc/2382/task/2397/stat : 2397 (java) R 2379 2382 2382 0 -1 4202560 2630 0 0 0 30 0 0 0 23 0 19 0 869266990 8744054784 28627 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 46972911749209 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2382/tid=2398] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2398/stat : 2398 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869266990 8744054784 28628 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606682521 0 4 0 16800975 18446604470587624448 0 0 -1 1 0 0 0
[pid=2382/tid=2399] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2399/stat : 2399 (java) S 2379 2382 2382 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869266990 8744054784 28629 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606683136 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2382/tid=2400] ppid=2379 vsize=8539116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2400/stat : 2400 (java) S 2379 2382 2382 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869267007 8744054784 28630 33554432000 1073741824 1073778376 140735840035248 18446744073709551615 235606683136 0 4 0 16800975 18446604470587624448 0 0 -1 3 0 0 0
[pid=2282/tid=2296] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2296/stat : 2296 (python) S 2279 2282 2236 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 7 0 869238694 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 1 0 0 0
[pid=2282/tid=2310] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2310/stat : 2310 (python) S 2279 2282 2236 0 -1 4202560 27 919 0 9 0 0 0 0 20 0 7 0 869243412 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
[pid=2282/tid=2315] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2315/stat : 2315 (python) S 2279 2282 2236 0 -1 4202560 31 919 0 9 0 0 0 0 18 0 7 0 869248034 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
[pid=2282/tid=2324] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2324/stat : 2324 (python) S 2279 2282 2236 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869252832 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 7 0 0 0
[pid=2282/tid=2335] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2335/stat : 2335 (python) S 2279 2282 2236 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 7 0 869262317 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 5 0 0 0
[pid=2282/tid=2381] ppid=2279 vsize=345424 CPUtime=0 cores=1,3,5,7
/proc/2282/task/2381/stat : 2381 (python) S 2279 2282 2236 0 -1 4202560 33 919 0 9 0 0 0 0 20 0 7 0 869266985 353714176 7405 33554432000 4194304 5683644 140735443856576 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455403320448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 287.62
Current children cumulated vsize (KiB) 19512832
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2282 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=497924
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=309952
# CPU time returned by wait4() is 0.807876
# while last known CPU time is 287.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 296.986
CPU time (s): 287.62
CPU user time (s): 283.77
CPU system time (s): 3.85
CPU usage (%): 96.8463
Max. virtual memory (cumulated for all children) (KiB): 19512832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.497924
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14939
page faults= 124
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23857
involuntary context switches= 78
runsolver used 1.49877 second user time and 3.57246 second system time
The end