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-3482334-1307576542/watcher-3482334-1307576542 -o /tmp/evaluation-result-3482334-1307576542/solver-3482334-1307576542 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482334-1307576542.opb -seed 469437541 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.65 1.09 0.41 3/449 15732
/proc/meminfo: memFree=24437048/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=16248 CPUtime=0 cores=0,2,4,6
/proc/15732/stat : 15732 (python) R 15730 15732 15040 0 -1 4202496 1002 0 0 0 0 0 0 0 19 0 1 0 850069960 16637952 874 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338383616 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15732/statm: 4062 877 372 364 0 549 0
[startup+0.0871439 s]
/proc/loadavg: 2.65 1.09 0.41 3/449 15732
/proc/meminfo: memFree=24437048/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=89940 CPUtime=0.07 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 2718 0 1 0 5 2 0 0 19 0 1 0 850069960 92098560 2428 33554432000 4194304 5683644 140733533439120 18446744073709551615 270333460103 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15732/statm: 23001 2461 782 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 89940
[startup+0.107178 s]
/proc/loadavg: 2.65 1.09 0.41 3/449 15732
/proc/meminfo: memFree=24437048/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/15732/stat : 15732 (python) R 15730 15732 15040 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 850069960 98435072 2483 33554432000 4194304 5683644 140733533439120 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15732/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301123 s]
/proc/loadavg: 2.65 1.09 0.41 3/449 15732
/proc/meminfo: memFree=24437048/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 6688 930 1 0 17 6 0 0 17 0 1 0 850069960 207867904 4971 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15732/statm: 50749 4971 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.701016 s]
/proc/loadavg: 2.65 1.09 0.41 3/449 15732
/proc/meminfo: memFree=24437048/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=285272 CPUtime=0.39 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 9893 930 1 0 29 10 0 0 18 0 1 0 850069960 292118528 7623 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338403855 0 0 16781312 2 2877221801593667584 0 0 17 6 0 0 0
/proc/15732/statm: 71318 7623 1777 364 0 6211 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 285272
[startup+1.50088 s]
/proc/loadavg: 2.65 1.09 0.41 3/450 15738
/proc/meminfo: memFree=24403400/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=302516 CPUtime=1.38 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 15279 1433 1 0 105 11 20 2 21 0 2 0 850069960 309776384 9470 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15732/statm: 75629 9470 1873 364 0 10516 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 302516
[startup+3.10157 s]
/proc/loadavg: 2.65 1.09 0.41 5/470 15758
/proc/meminfo: memFree=24342860/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=302516 CPUtime=1.38 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 15279 1433 1 0 105 11 20 2 21 0 2 0 850069960 309776384 9470 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15732/statm: 75629 9470 1873 364 0 10516 0
[pid=15739] ppid=15732 vsize=292272 CPUtime=0 cores=0,2,4,6
/proc/15739/stat : 15739 (python) S 15732 15732 15040 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 850070109 299286528 7911 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338403855 0 0 16781312 33554946 4235364389860901122 0 0 17 0 0 0 0
/proc/15739/statm: 73068 7911 318 364 0 7955 0
[pid=15741] ppid=15739 vsize=8612476 CPUtime=2.88 cores=0,2,4,6
/proc/15741/stat : 15741 (java) S 15739 15741 15741 0 -1 4202496 37961 0 1 0 282 6 0 0 21 0 19 0 850070109 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15741/statm: 2153119 33630 2228 9 0 2143860 0
[pid=15741/tid=15742] ppid=15739 vsize=8612476 CPUtime=1.46 cores=0,2,4,6
/proc/15741/task/15742/stat : 15742 (java) R 15739 15741 15741 0 -1 4202560 26244 0 1 0 143 3 0 0 19 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 46912506038740 0 4 0 16800975 0 0 0 -1 4 0 0 12
[pid=15741/tid=15743] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15743/stat : 15743 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15744] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15744/stat : 15744 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15745] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15745/stat : 15745 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15746] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15746/stat : 15746 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15747] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15747/stat : 15747 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15748] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15748/stat : 15748 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15749] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15749/stat : 15749 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15750] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15750/stat : 15750 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070110 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15751] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15751/stat : 15751 (java) S 15739 15741 15741 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 850070111 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 0 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15752] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15752/stat : 15752 (java) S 15739 15741 15741 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850070112 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15753] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15753/stat : 15753 (java) S 15739 15741 15741 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850070112 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15754] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15754/stat : 15754 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070114 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350207409 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15755] ppid=15739 vsize=8612476 CPUtime=0.7 cores=0,2,4,6
/proc/15741/task/15755/stat : 15755 (java) S 15739 15741 15741 0 -1 4202560 4917 0 0 0 70 0 0 0 22 0 19 0 850070114 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 0 0 0 0
[pid=15741/tid=15756] ppid=15739 vsize=8612476 CPUtime=0.69 cores=0,2,4,6
/proc/15741/task/15756/stat : 15756 (java) S 15739 15741 15741 0 -1 4202560 5410 0 0 0 68 1 0 0 15 0 19 0 850070114 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 2 0 0 0
[pid=15741/tid=15757] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15757/stat : 15757 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070114 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15758] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15758/stat : 15758 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850070114 8819175424 33630 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15732/tid=15740] ppid=15730 vsize=302516 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15740/stat : 15740 (python) S 15730 15732 15040 0 -1 4202560 27 1433 0 0 0 0 20 2 21 0 2 0 850070109 309776384 9470 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9207264
[startup+6.30097 s]
/proc/loadavg: 2.84 1.16 0.43 3/471 15759
/proc/meminfo: memFree=24218504/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=302516 CPUtime=1.38 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 15279 1433 1 0 105 11 20 2 21 0 2 0 850069960 309776384 9470 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15732/statm: 75629 9470 1873 364 0 10516 0
[pid=15739] ppid=15732 vsize=292272 CPUtime=0.01 cores=0,2,4,6
/proc/15739/stat : 15739 (python) S 15732 15732 15040 0 -1 4202560 872 0 0 0 1 0 0 0 15 0 1 0 850070109 299286528 7935 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338403855 0 0 16781312 33554946 4235355318889971970 0 0 17 0 0 0 0
/proc/15739/statm: 73068 7935 342 364 0 7955 0
[pid=15741] ppid=15739 vsize=8612476 CPUtime=6.37 cores=0,2,4,6
/proc/15741/stat : 15741 (java) S 15739 15741 15741 0 -1 4202496 53244 0 1 0 630 7 0 0 21 0 19 0 850070109 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15741/statm: 2153119 47751 2243 9 0 2143860 0
[pid=15741/tid=15742] ppid=15739 vsize=8612476 CPUtime=4.63 cores=0,2,4,6
/proc/15741/task/15742/stat : 15742 (java) R 15739 15741 15741 0 -1 4202560 35366 0 1 0 459 4 0 0 22 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 46912506038589 0 4 0 16800975 0 0 0 -1 4 0 0 12
[pid=15741/tid=15743] ppid=15739 vsize=8612476 CPUtime=0.01 cores=0,2,4,6
/proc/15741/task/15743/stat : 15743 (java) S 15739 15741 15741 0 -1 4202560 987 0 0 0 1 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 2 0 0 0
[pid=15741/tid=15744] ppid=15739 vsize=8612476 CPUtime=0.02 cores=0,2,4,6
/proc/15741/task/15744/stat : 15744 (java) S 15739 15741 15741 0 -1 4202560 1213 0 0 0 2 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15745] ppid=15739 vsize=8612476 CPUtime=0.01 cores=0,2,4,6
/proc/15741/task/15745/stat : 15745 (java) S 15739 15741 15741 0 -1 4202560 1256 0 0 0 1 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15746] ppid=15739 vsize=8612476 CPUtime=0.01 cores=0,2,4,6
/proc/15741/task/15746/stat : 15746 (java) S 15739 15741 15741 0 -1 4202560 1276 0 0 0 1 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 0 0 0 0
[pid=15741/tid=15747] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15747/stat : 15747 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 0 0 0 0
[pid=15741/tid=15748] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15748/stat : 15748 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15749] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15749/stat : 15749 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15750] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15750/stat : 15750 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850070110 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15751] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15751/stat : 15751 (java) S 15739 15741 15741 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 850070111 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 0 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15752] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15752/stat : 15752 (java) S 15739 15741 15741 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850070112 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15753] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15753/stat : 15753 (java) S 15739 15741 15741 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850070112 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 4
[pid=15741/tid=15754] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15754/stat : 15754 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070114 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350207409 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15755] ppid=15739 vsize=8612476 CPUtime=0.81 cores=0,2,4,6
/proc/15741/task/15755/stat : 15755 (java) S 15739 15741 15741 0 -1 4202560 4931 0 0 0 81 0 0 0 16 0 19 0 850070114 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 4 0 0 0
[pid=15741/tid=15756] ppid=15739 vsize=8612476 CPUtime=0.83 cores=0,2,4,6
/proc/15741/task/15756/stat : 15756 (java) S 15739 15741 15741 0 -1 4202560 6820 0 0 0 81 2 0 0 15 0 19 0 850070114 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 2 0 0 0
[pid=15741/tid=15757] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15757/stat : 15757 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850070114 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15741/tid=15758] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15758/stat : 15758 (java) S 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850070114 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 4 0 16800975 18446604447142644416 0 0 -1 2 0 0 0
[pid=15741/tid=15759] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15759/stat : 15759 (java) S 15739 15741 15741 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850070185 8819175424 47751 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 4 0 16800975 18446604447142644416 0 0 -1 6 0 0 0
[pid=15732/tid=15740] ppid=15730 vsize=302516 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15740/stat : 15740 (python) S 15730 15732 15040 0 -1 4202560 27 1433 0 0 0 0 20 2 21 0 2 0 850070109 309776384 9470 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 9207264
[startup+12.7017 s]
/proc/loadavg: 2.77 1.17 0.44 3/471 15759
/proc/meminfo: memFree=24170300/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=302516 CPUtime=1.38 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 15279 1433 1 0 105 11 20 2 21 0 2 0 850069960 309776384 9470 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15732/statm: 75629 9470 1873 364 0 10516 0
[pid=15739] ppid=15732 vsize=292272 CPUtime=0.03 cores=0,2,4,6
/proc/15739/stat : 15739 (python) S 15732 15732 15040 0 -1 4202560 979 0 0 0 1 2 0 0 15 0 1 0 850070109 299286528 7940 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338403855 0 0 16781312 33554946 72114768642583343 0 0 17 0 0 0 0
/proc/15739/statm: 73068 7940 347 364 0 7955 0
[pid=15741] ppid=15739 vsize=8612476 CPUtime=13.03 cores=0,2,4,6
/proc/15741/stat : 15741 (java) S 15739 15741 15741 0 -1 4202496 65395 0 1 0 1295 8 0 0 21 0 19 0 850070109 8819175424 59657 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15741/statm: 2153119 59657 2243 9 0 2143860 0
[pid=15741/tid=15742] ppid=15739 vsize=8612476 CPUtime=10.96 cores=0,2,4,6
/proc/15741/task/15742/stat : 15742 (java) R 15739 15741 15741 0 -1 4202560 35371 0 1 0 1092 4 0 0 25 0 19 0 850070110 8819175424 59657 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 46912506107565 0 4 0 16800975 0 0 0 -1 4 0 0 12
[pid=15741/tid=15743] ppid=15739 vsize=8612476 CPUtime=0.02 cores=0,2,4,6
/proc/15741/task/15743/stat : 15743 (java) S 15739 15741 15741 0 -1 4202560 1690 0 0 0 2 0 0 0 16 0 19 0 850070110 8819175424 59657 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 2 0 0 0
[pid=15741/tid=15744] ppid=15739 vsize=8612476 CPUtime=0.04 cores=0,2,4,6
/proc/15741/task/15744/stat : 15744 (java) S 15739 15741 15741 0 -1 4202560 2993 0 0 0 4 0 0 0 15 0 19 0 850070110 8819175424 59657 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 4 0 0 0
[pid=15741/tid=15745] ppid=15739 vsize=8612476 CPUtime=0.06 cores=0,2,4,6
/proc/15741/task/15745/stat : 15745 (java) S 15739 15741 15741 0 -1 4202560 2827 0 0 0 6 0 0 0 16 0 19 0 850070110 8819175424 59657 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 4 0 0 0
[pid=15741/tid=15746] ppid=15739 vsize=8612476 CPUtime=0.04 cores=0,2,4,6
/proc/15741/task/15746/stat : 15746 (java) S 15739 15741 15741 0 -1 4202560 1621 0 0 0 4 0 0 0 15 0 19 0 850070110 8819175424 59657 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446604447142644416 0 0 -1 0 0 0 0
[pid=15741/tid=15747] ppid=15739 vsize=8612476 CPUtime=0.03 cores=0,2,4,6
################
# More data... #
################
[pid=15920] ppid=15732 vsize=364064 CPUtime=0.18 cores=0,2,4,6
/proc/15920/stat : 15920 (python) S 15732 15732 15040 0 -1 4202560 1239 0 0 0 9 9 0 0 17 0 2 0 850236113 372801536 8018 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15920/statm: 91016 8018 396 364 0 25882 0
[pid=15922] ppid=15920 vsize=261556 CPUtime=47.91 cores=0,2,4,6
/proc/15922/stat : 15922 (minion) T 15920 15922 15922 0 -1 4202496 91156 0 0 0 4779 12 0 0 25 0 1 0 850236113 267833344 57990 33554432000 134512640 165565024 4290914944 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/15922/statm: 65389 57990 359 7582 0 57804 0
[pid=15920/tid=15925] ppid=15732 vsize=364064 CPUtime=0 cores=0,2,4,6
/proc/15920/task/15925/stat : 15925 (python) S 15732 15732 15040 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850240905 372801536 8018 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604453322032448 0 0 -1 6 0 0 0
[pid=15732/tid=15740] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15740/stat : 15740 (python) S 15730 15732 15040 0 -1 4202560 27 1433 0 0 0 0 20 2 21 0 9 0 850070109 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 2 0 0 0
[pid=15732/tid=15763] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15763/stat : 15763 (python) S 15730 15732 15040 0 -1 4202560 45 1433 0 0 0 0 20 2 18 0 9 0 850074499 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 0 0 0 0
[pid=15732/tid=15771] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15771/stat : 15771 (python) S 15730 15732 15040 0 -1 4202560 35 1433 0 0 0 0 20 2 18 0 9 0 850079362 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 0 0 0 0
[pid=15732/tid=15778] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15778/stat : 15778 (python) S 15730 15732 15040 0 -1 4202560 41 1433 0 0 0 0 20 2 18 0 9 0 850084184 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15794] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15794/stat : 15794 (python) S 15730 15732 15040 0 -1 4202560 29 1433 0 0 0 0 20 2 20 0 9 0 850116146 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15816] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15816/stat : 15816 (python) S 15730 15732 15040 0 -1 4202560 30 1433 0 0 0 0 20 2 20 0 9 0 850166398 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15845] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15845/stat : 15845 (python) S 15730 15732 15040 0 -1 4202560 31 1433 0 0 0 0 20 2 20 0 9 0 850226262 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15921] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15921/stat : 15921 (python) S 15730 15732 15040 0 -1 4202560 27 1433 0 0 0 0 20 2 23 0 9 0 850236113 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12962324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.3 s]
/proc/loadavg: 2.01 2.03 1.77 3/504 15935
/proc/meminfo: memFree=21447564/32951124 swapFree=50923800/67111528
[pid=15732] ppid=15730 vsize=374308 CPUtime=3.77 cores=0,2,4,6
/proc/15732/stat : 15732 (python) S 15730 15732 15040 0 -1 4202496 22762 1433 1 0 341 14 20 2 18 0 9 0 850069960 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15732/statm: 93577 9513 1888 364 0 28443 0
[pid=15739] ppid=15732 vsize=302516 CPUtime=0.16 cores=0,2,4,6
/proc/15739/stat : 15739 (python) S 15732 15732 15040 0 -1 4202560 1168 0 0 0 7 9 0 0 16 0 2 0 850070109 309776384 8008 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15739/statm: 75629 8008 410 364 0 10516 0
[pid=15741] ppid=15739 vsize=8612476 CPUtime=46.04 cores=0,2,4,6
/proc/15741/stat : 15741 (java) T 15739 15741 15741 0 -1 4202496 106263 0 1 0 4588 16 0 0 18 0 19 0 850070109 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/15741/statm: 2153119 89968 2243 9 0 2143860 0
[pid=15741/tid=15742] ppid=15739 vsize=8612476 CPUtime=43.46 cores=0,2,4,6
/proc/15741/task/15742/stat : 15742 (java) T 15739 15741 15741 0 -1 4202560 35391 0 1 0 4342 4 0 0 25 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 46912506107537 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 12
[pid=15741/tid=15743] ppid=15739 vsize=8612476 CPUtime=0.06 cores=0,2,4,6
/proc/15741/task/15743/stat : 15743 (java) T 15739 15741 15741 0 -1 4202560 3609 0 0 0 6 0 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15741/tid=15744] ppid=15739 vsize=8612476 CPUtime=0.08 cores=0,2,4,6
/proc/15741/task/15744/stat : 15744 (java) T 15739 15741 15741 0 -1 4202560 6285 0 0 0 8 0 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15741/tid=15745] ppid=15739 vsize=8612476 CPUtime=0.13 cores=0,2,4,6
/proc/15741/task/15745/stat : 15745 (java) T 15739 15741 15741 0 -1 4202560 12160 0 0 0 12 1 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15741/tid=15746] ppid=15739 vsize=8612476 CPUtime=0.11 cores=0,2,4,6
/proc/15741/task/15746/stat : 15746 (java) T 15739 15741 15741 0 -1 4202560 9556 0 0 0 10 1 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15741/tid=15747] ppid=15739 vsize=8612476 CPUtime=0.07 cores=0,2,4,6
/proc/15741/task/15747/stat : 15747 (java) T 15739 15741 15741 0 -1 4202560 5840 0 0 0 7 0 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15741/tid=15748] ppid=15739 vsize=8612476 CPUtime=0.11 cores=0,2,4,6
/proc/15741/task/15748/stat : 15748 (java) T 15739 15741 15741 0 -1 4202560 11135 0 0 0 10 1 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15741/tid=15749] ppid=15739 vsize=8612476 CPUtime=0.03 cores=0,2,4,6
/proc/15741/task/15749/stat : 15749 (java) T 15739 15741 15741 0 -1 4202560 3328 0 0 0 3 0 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15741/tid=15750] ppid=15739 vsize=8612476 CPUtime=0.09 cores=0,2,4,6
/proc/15741/task/15750/stat : 15750 (java) T 15739 15741 15741 0 -1 4202560 5659 0 0 0 9 0 0 0 15 0 19 0 850070110 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15741/tid=15751] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15751/stat : 15751 (java) T 15739 15741 15741 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 850070111 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15741/tid=15752] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15752/stat : 15752 (java) T 15739 15741 15741 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850070112 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15741/tid=15753] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15753/stat : 15753 (java) T 15739 15741 15741 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850070112 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=15741/tid=15754] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15754/stat : 15754 (java) T 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850070114 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350207409 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15741/tid=15755] ppid=15739 vsize=8612476 CPUtime=0.81 cores=0,2,4,6
/proc/15741/task/15755/stat : 15755 (java) T 15739 15741 15741 0 -1 4202560 4931 0 0 0 81 0 0 0 15 0 19 0 850070114 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15741/tid=15756] ppid=15739 vsize=8612476 CPUtime=0.96 cores=0,2,4,6
/proc/15741/task/15756/stat : 15756 (java) T 15739 15741 15741 0 -1 4202560 6952 0 0 0 94 2 0 0 15 0 19 0 850070114 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15741/tid=15757] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15757/stat : 15757 (java) T 15739 15741 15741 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850070114 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350199705 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15741/tid=15758] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15758/stat : 15758 (java) T 15739 15741 15741 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850070114 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15741/tid=15759] ppid=15739 vsize=8612476 CPUtime=0 cores=0,2,4,6
/proc/15741/task/15759/stat : 15759 (java) T 15739 15741 15741 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850070185 8819175424 89968 33554432000 1073741824 1073778376 140734910526912 18446744073709551615 270350200320 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15739/tid=15761] ppid=15732 vsize=302516 CPUtime=0 cores=0,2,4,6
/proc/15739/task/15761/stat : 15761 (python) S 15732 15732 15040 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850074497 309776384 8008 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604447142643520 0 0 -1 6 0 0 0
[pid=15762] ppid=15732 vsize=302528 CPUtime=4 cores=0,2,4,6
/proc/15762/stat : 15762 (python) S 15732 15732 15040 0 -1 4202560 1234 0 0 0 208 192 0 0 15 0 2 0 850074499 309788672 7988 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15762/statm: 75632 7988 390 364 0 10516 0
[pid=15764] ppid=15762 vsize=303684 CPUtime=1054.92 cores=0,2,4,6
/proc/15764/stat : 15764 (scip-2.0.1.linu) T 15762 15764 15764 0 -1 4202496 80007 0 0 0 105267 225 0 0 25 0 1 0 850074499 310972416 73059 33554432000 4194304 13684479 140733797980000 18446744073709551615 4413038 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/15764/statm: 75921 73059 874 2317 0 73599 0
[pid=15762/tid=15769] ppid=15732 vsize=302528 CPUtime=0 cores=0,2,4,6
/proc/15762/task/15769/stat : 15769 (python) S 15732 15732 15040 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 850079359 309788672 7988 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604446284289152 0 0 -1 4 0 0 0
[pid=15770] ppid=15732 vsize=312784 CPUtime=1.07 cores=0,2,4,6
/proc/15770/stat : 15770 (python) S 15732 15732 15040 0 -1 4202560 1205 0 0 0 53 54 0 0 18 0 2 0 850079362 320290816 7992 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15770/statm: 78196 7992 390 364 0 13077 0
[pid=15772] ppid=15770 vsize=58688 CPUtime=275.03 cores=0,2,4,6
/proc/15772/stat : 15772 (clasp-1.3.7-x86) T 15770 15772 15772 0 -1 4202496 15148 0 0 0 27501 2 0 0 25 0 1 0 850079362 60096512 14364 33554432000 134512640 136139019 4292171792 18446744073709551615 134634747 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/15772/statm: 14672 14364 183 398 0 14272 0
[pid=15770/tid=15776] ppid=15732 vsize=312784 CPUtime=0 cores=0,2,4,6
/proc/15770/task/15776/stat : 15776 (python) S 15732 15732 15040 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 850084181 320290816 7992 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604445448671552 0 0 -1 4 0 0 0
[pid=15777] ppid=15732 vsize=323040 CPUtime=0.68 cores=0,2,4,6
/proc/15777/stat : 15777 (python) S 15732 15732 15040 0 -1 4202560 1229 0 0 0 36 32 0 0 15 0 2 0 850084184 330792960 7996 33554432000 4194304 5683644 140733533439120 18446744073709551615 270338403910 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15777/statm: 80760 7996 390 364 0 15638 0
[pid=15779] ppid=15777 vsize=251408 CPUtime=175.47 cores=0,2,4,6
/proc/15779/stat : 15779 (scip-2.0.1.linu) R 15777 15779 15779 0 -1 4202496 92925 0 0 0 17510 37 0 0 25 0 1 0 850084184 257441792 58768 33554432000 4194304 15243407 140735686673856 18446744073709551615 7128952 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15779/statm: 62852 58768 964 2698 0 60147 0
[pid=15777/tid=15781] ppid=15732 vsize=323040 CPUtime=0 cores=0,2,4,6
/proc/15777/task/15781/stat : 15781 (python) S 15732 15732 15040 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850088932 330792960 7996 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604440278879104 0 0 -1 0 0 0 0
[pid=15793] ppid=15732 vsize=333296 CPUtime=0.34 cores=0,2,4,6
/proc/15793/stat : 15793 (python) S 15732 15732 15040 0 -1 4202560 1187 0 0 0 17 17 0 0 16 0 2 0 850116146 341295104 8000 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15793/statm: 83324 8000 390 364 0 18199 0
[pid=15795] ppid=15793 vsize=280076 CPUtime=92.43 cores=0,2,4,6
/proc/15795/stat : 15795 (bsolo_pb10) T 15793 15795 15795 0 -1 4202496 68784 0 0 0 9225 18 0 0 25 0 1 0 850116146 286797824 67549 33554432000 134512640 137138936 4291800000 18446744073709551615 134542342 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/15795/statm: 70019 67549 190 642 0 69375 0
[pid=15793/tid=15799] ppid=15732 vsize=333296 CPUtime=0 cores=0,2,4,6
/proc/15793/task/15799/stat : 15799 (python) S 15732 15732 15040 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 850125395 341295104 8000 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604442946440064 0 0 -1 6 0 0 0
[pid=15815] ppid=15732 vsize=343552 CPUtime=0.18 cores=0,2,4,6
/proc/15815/stat : 15815 (python) S 15732 15732 15040 0 -1 4202560 1177 0 0 0 9 9 0 0 17 0 2 0 850166397 351797248 8004 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15815/statm: 85888 8004 390 364 0 20760 0
[pid=15817] ppid=15815 vsize=81884 CPUtime=47.47 cores=0,2,4,6
/proc/15817/stat : 15817 (bsolo_pb10) T 15815 15817 15817 0 -1 4202496 19207 0 0 0 4740 7 0 0 25 0 1 0 850166398 83849216 17977 33554432000 134512640 137138936 4289512336 18446744073709551615 134542528 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/15817/statm: 20471 17977 192 642 0 19827 0
[pid=15815/tid=15819] ppid=15732 vsize=343552 CPUtime=0 cores=0,2,4,6
/proc/15815/task/15819/stat : 15819 (python) S 15732 15732 15040 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850171148 351797248 8004 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604443455231104 0 0 -1 6 0 0 0
[pid=15844] ppid=15732 vsize=353808 CPUtime=0.2 cores=0,2,4,6
/proc/15844/stat : 15844 (python) S 15732 15732 15040 0 -1 4202560 1188 0 0 0 9 11 0 0 16 0 2 0 850226261 362299392 8008 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15844/statm: 88452 8008 390 364 0 23321 0
[pid=15846] ppid=15844 vsize=102656 CPUtime=50.16 cores=0,2,4,6
/proc/15846/stat : 15846 (wbo1.4a) T 15844 15846 15846 0 -1 4202496 25756 0 0 0 5004 12 0 0 25 0 1 0 850226262 105119744 25115 33554432000 134512640 135751879 4290437280 18446744073709551615 134611210 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15846/statm: 25664 25115 143 303 0 25359 0
[pid=15844/tid=15848] ppid=15732 vsize=353808 CPUtime=0 cores=0,2,4,6
/proc/15844/task/15848/stat : 15848 (python) S 15732 15732 15040 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850231282 362299392 8008 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604450712859584 0 0 -1 0 0 0 0
[pid=15920] ppid=15732 vsize=364064 CPUtime=0.18 cores=0,2,4,6
/proc/15920/stat : 15920 (python) S 15732 15732 15040 0 -1 4202560 1239 0 0 0 9 9 0 0 17 0 2 0 850236113 372801536 8018 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15920/statm: 91016 8018 396 364 0 25882 0
[pid=15922] ppid=15920 vsize=261556 CPUtime=47.91 cores=0,2,4,6
/proc/15922/stat : 15922 (minion) T 15920 15922 15922 0 -1 4202496 91156 0 0 0 4779 12 0 0 25 0 1 0 850236113 267833344 57990 33554432000 134512640 165565024 4290914944 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/15922/statm: 65389 57990 359 7582 0 57804 0
[pid=15920/tid=15925] ppid=15732 vsize=364064 CPUtime=0 cores=0,2,4,6
/proc/15920/task/15925/stat : 15925 (python) S 15732 15732 15040 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850240905 372801536 8018 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554946 18446604453322032448 0 0 -1 6 0 0 0
[pid=15732/tid=15740] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15740/stat : 15740 (python) S 15730 15732 15040 0 -1 4202560 27 1433 0 0 0 0 20 2 21 0 9 0 850070109 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 2 0 0 0
[pid=15732/tid=15763] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15763/stat : 15763 (python) S 15730 15732 15040 0 -1 4202560 45 1433 0 0 0 0 20 2 18 0 9 0 850074499 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 0 0 0 0
[pid=15732/tid=15771] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15771/stat : 15771 (python) S 15730 15732 15040 0 -1 4202560 35 1433 0 0 0 0 20 2 18 0 9 0 850079362 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 0 0 0 0
[pid=15732/tid=15778] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15778/stat : 15778 (python) S 15730 15732 15040 0 -1 4202560 41 1433 0 0 0 0 20 2 18 0 9 0 850084184 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15794] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15794/stat : 15794 (python) S 15730 15732 15040 0 -1 4202560 29 1433 0 0 0 0 20 2 20 0 9 0 850116146 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15816] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15816/stat : 15816 (python) S 15730 15732 15040 0 -1 4202560 30 1433 0 0 0 0 20 2 20 0 9 0 850166398 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15845] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15845/stat : 15845 (python) S 15730 15732 15040 0 -1 4202560 31 1433 0 0 0 0 20 2 20 0 9 0 850226262 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 4 0 0 0
[pid=15732/tid=15921] ppid=15730 vsize=374308 CPUtime=0.22 cores=0,2,4,6
/proc/15732/task/15921/stat : 15921 (python) S 15730 15732 15040 0 -1 4202560 27 1433 0 0 0 0 20 2 23 0 9 0 850236113 383291392 9513 33554432000 4194304 5683644 140733533439120 18446744073709551615 270350207409 0 0 16781312 33554434 18446604453904987200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12962324
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15732 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=626448
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=167974
# CPU time returned by wait4() is 3.79442
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.37
CPU time (s): 1800.01
CPU user time (s): 1793.23
CPU system time (s): 6.78
CPU usage (%): 100.482
Max. virtual memory (cumulated for all children) (KiB): 12977424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.62645
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24199
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= 13176
involuntary context switches= 55
runsolver used 14.0889 second user time and 28.6786 second system time
The end