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-3481469-1307577858/watcher-3481469-1307577858 -o /tmp/evaluation-result-3481469-1307577858/solver-3481469-1307577858 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481469-1307577858.opb -seed 515914967 -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: 2.07 2.10 1.65 3/709 24499
/proc/meminfo: memFree=18697984/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/24499/stat : 24499 (python) R 24496 24499 22387 0 -1 4202496 902 0 0 0 0 0 0 0 25 0 1 0 948016577 16154624 782 33554432000 4194304 5683644 140735948258496 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24499/statm: 3944 782 345 364 0 431 0
[startup+0.046845 s]
/proc/loadavg: 2.07 2.10 1.65 3/709 24499
/proc/meminfo: memFree=18697984/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/24499/stat : 24499 (python) R 24496 24499 22387 0 -1 4202496 1288 0 0 0 2 0 0 0 25 0 1 0 948016577 19341312 1140 33554432000 4194304 5683644 140735948258496 18446744073709551615 4865422 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24499/statm: 4722 1140 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100837 s]
/proc/loadavg: 2.07 2.10 1.65 3/709 24499
/proc/meminfo: memFree=18697984/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=87832 CPUtime=0.06 cores=1,3,5,7
/proc/24499/stat : 24499 (python) R 24496 24499 22387 0 -1 4202496 2685 0 0 0 5 1 0 0 25 0 1 0 948016577 89939968 2400 33554432000 4194304 5683644 140735948258496 18446744073709551615 4617711 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24499/statm: 21958 2405 733 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87832
[startup+0.3008 s]
/proc/loadavg: 2.07 2.10 1.65 3/709 24499
/proc/meminfo: memFree=18697984/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/24499/stat : 24499 (python) R 24496 24499 22387 0 -1 4202496 5359 930 1 0 11 6 0 0 25 0 1 0 948016577 126713856 3746 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905390085 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24499/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700727 s]
/proc/loadavg: 2.07 2.10 1.65 3/709 24499
/proc/meminfo: memFree=18697984/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=282672 CPUtime=0.4 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 9247 930 1 0 29 11 0 0 25 0 1 0 948016577 289456128 6978 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414159 0 0 16781312 2 972453674682941440 0 0 17 5 0 0 0
/proc/24499/statm: 70668 6978 1777 364 0 5561 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282672
[startup+1.50058 s]
/proc/loadavg: 2.07 2.10 1.65 3/711 24506
/proc/meminfo: memFree=18670320/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=302812 CPUtime=1.53 cores=1,3,5,7
/proc/24499/stat : 24499 (python) R 24496 24499 22387 0 -1 4202496 15985 1581 1 0 77 36 30 10 18 0 1 0 948016577 310079488 11997 33554432000 4194304 5683644 140735948258496 18446744073709551615 47680649536992 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24499/statm: 75703 11997 1782 364 0 10596 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 302812
[startup+3.10029 s]
/proc/loadavg: 2.07 2.10 1.65 3/710 24507
/proc/meminfo: memFree=18654456/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=311964 CPUtime=2.52 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 20620 1581 1 0 175 37 30 10 19 0 2 0 948016577 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24499/statm: 77991 11830 1871 364 0 12878 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 311964
[startup+6.30071 s]
/proc/loadavg: 2.06 2.10 1.65 3/713 24511
/proc/meminfo: memFree=18336992/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=311964 CPUtime=2.52 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 20620 1581 1 0 175 37 30 10 19 0 2 0 948016577 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24499/statm: 77991 11830 1871 364 0 12878 0
[pid=24508] ppid=24499 vsize=301720 CPUtime=0.01 cores=1,3,5,7
/proc/24508/stat : 24508 (python) S 24499 24499 22387 0 -1 4202560 876 0 0 0 0 1 0 0 15 0 1 0 948016826 308961280 10297 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414159 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/24508/statm: 75430 10297 342 364 0 10317 0
[pid=24511] ppid=24508 vsize=461336 CPUtime=3.79 cores=1,3,5,7
/proc/24511/stat : 24511 (scip-2.0.1.linu) R 24508 24511 24511 0 -1 4202496 113827 0 0 0 349 30 0 0 25 0 1 0 948016827 472408064 110435 33554432000 4194304 13684479 140735816294896 18446744073709551615 5325124 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24511/statm: 115334 110435 710 2317 0 113012 0
[pid=24499/tid=24509] ppid=24496 vsize=311964 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24509/stat : 24509 (python) S 24496 24499 22387 0 -1 4202560 25 1581 0 0 0 0 30 10 19 0 2 0 948016827 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 1075020
[startup+12.7005 s]
/proc/loadavg: 2.06 2.10 1.65 3/713 24511
/proc/meminfo: memFree=18146512/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=311964 CPUtime=2.52 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 20620 1581 1 0 175 37 30 10 19 0 2 0 948016577 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24499/statm: 77991 11830 1871 364 0 12878 0
[pid=24508] ppid=24499 vsize=301720 CPUtime=0.03 cores=1,3,5,7
/proc/24508/stat : 24508 (python) S 24499 24499 22387 0 -1 4202560 879 0 0 0 1 2 0 0 15 0 1 0 948016826 308961280 10297 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414159 0 0 16781312 33554946 5623753486446373725 0 0 17 7 0 0 0
/proc/24508/statm: 75430 10297 342 364 0 10317 0
[pid=24511] ppid=24508 vsize=523708 CPUtime=10.19 cores=1,3,5,7
/proc/24511/stat : 24511 (scip-2.0.1.linu) R 24508 24511 24511 0 -1 4202496 131660 0 0 0 975 44 0 0 25 0 1 0 948016827 536276992 126946 33554432000 4194304 13684479 140735816294896 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24511/statm: 130927 126946 784 2317 0 128605 0
[pid=24499/tid=24509] ppid=24496 vsize=311964 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24509/stat : 24509 (python) S 24496 24499 22387 0 -1 4202560 25 1581 0 0 0 0 30 10 19 0 2 0 948016827 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 1137392
[startup+25.5013 s]
/proc/loadavg: 2.04 2.09 1.66 3/713 24511
/proc/meminfo: memFree=18123056/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=311964 CPUtime=2.52 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 20620 1581 1 0 175 37 30 10 19 0 2 0 948016577 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24499/statm: 77991 11830 1871 364 0 12878 0
[pid=24508] ppid=24499 vsize=301720 CPUtime=0.09 cores=1,3,5,7
/proc/24508/stat : 24508 (python) S 24499 24499 22387 0 -1 4202560 885 0 0 0 4 5 0 0 15 0 1 0 948016826 308961280 10297 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414159 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/24508/statm: 75430 10297 342 364 0 10317 0
[pid=24511] ppid=24508 vsize=547996 CPUtime=22.98 cores=1,3,5,7
/proc/24511/stat : 24511 (scip-2.0.1.linu) R 24508 24511 24511 0 -1 4202496 138160 0 0 0 2039 259 0 0 19 0 1 0 948016827 561147904 133049 33554432000 4194304 13684479 140735816294896 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24511/statm: 136999 133049 811 2317 0 134677 0
[pid=24499/tid=24509] ppid=24496 vsize=311964 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24509/stat : 24509 (python) S 24496 24499 22387 0 -1 4202560 25 1581 0 0 0 0 30 10 19 0 2 0 948016827 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1161680
[startup+51.1006 s]
/proc/loadavg: 2.14 2.11 1.68 3/735 24536
/proc/meminfo: memFree=17939436/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=311964 CPUtime=2.52 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 20620 1581 1 0 175 37 30 10 19 0 2 0 948016577 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24499/statm: 77991 11830 1871 364 0 12878 0
[pid=24508] ppid=24499 vsize=301720 CPUtime=0.2 cores=1,3,5,7
/proc/24508/stat : 24508 (python) S 24499 24499 22387 0 -1 4202560 904 0 0 0 8 12 0 0 15 0 1 0 948016826 308961280 10297 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414159 0 0 16781312 33554946 5623753486446373725 0 0 17 7 0 0 0
/proc/24508/statm: 75430 10297 342 364 0 10317 0
[pid=24511] ppid=24508 vsize=550980 CPUtime=48.58 cores=1,3,5,7
/proc/24511/stat : 24511 (scip-2.0.1.linu) R 24508 24511 24511 0 -1 4202496 138972 0 0 0 4581 277 0 0 25 0 1 0 948016827 564203520 133848 33554432000 4194304 13684479 140735816294896 18446744073709551615 6457242 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24511/statm: 137745 133848 798 2317 0 135423 0
[pid=24499/tid=24509] ppid=24496 vsize=311964 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24509/stat : 24509 (python) S 24496 24499 22387 0 -1 4202560 25 1581 0 0 0 0 30 10 19 0 2 0 948016827 319451136 11830 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.3
Current children cumulated vsize (KiB) 1164664
[startup+102.321 s]
/proc/loadavg: 2.06 2.09 1.69 5/764 24566
/proc/meminfo: memFree=17729492/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=332476 CPUtime=2.57 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 22406 1581 1 0 179 38 30 10 20 0 4 0 948016577 340455424 11843 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24499/statm: 83119 11843 1876 364 0 18000 0
[pid=24508] ppid=24499 vsize=311964 CPUtime=0.23 cores=1,3,5,7
/proc/24508/stat : 24508 (python) S 24499 24499 22387 0 -1 4202560 1104 0 0 0 9 14 0 0 16 0 2 0 948016826 319451136 10365 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24508/statm: 77991 10365 405 364 0 12878 0
[pid=24511] ppid=24508 vsize=560736 CPUtime=49.32 cores=1,3,5,7
/proc/24511/stat : 24511 (scip-2.0.1.linu) T 24508 24511 24511 0 -1 4202496 139133 0 0 0 4655 277 0 0 25 0 1 0 948016827 574193664 134008 33554432000 4194304 13684479 140735816294896 18446744073709551615 4542349 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24511/statm: 140184 134008 797 2317 0 137862 0
[pid=24508/tid=24537] ppid=24499 vsize=311964 CPUtime=0 cores=1,3,5,7
/proc/24508/task/24537/stat : 24537 (python) S 24499 24499 22387 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948021762 319451136 10365 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470949993216 0 0 -1 7 0 0 0
[pid=24538] ppid=24499 vsize=311976 CPUtime=0.24 cores=1,3,5,7
/proc/24538/stat : 24538 (python) S 24499 24499 22387 0 -1 4202560 1191 0 0 0 11 13 0 0 17 0 2 0 948021764 319463424 10356 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24538/statm: 77994 10356 396 364 0 12878 0
[pid=24540] ppid=24538 vsize=108764 CPUtime=50.02 cores=1,3,5,7
/proc/24540/stat : 24540 (wbo1.4a) T 24538 24540 24540 0 -1 4202496 29720 0 0 0 4982 20 0 0 25 0 1 0 948021765 111374336 26560 33554432000 134512640 135751879 4294251744 18446744073709551615 134518799 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/24540/statm: 27191 26560 146 303 0 26886 0
[pid=24538/tid=24546] ppid=24499 vsize=311976 CPUtime=0 cores=1,3,5,7
/proc/24538/task/24546/stat : 24546 (python) S 24499 24499 22387 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948026768 319463424 10356 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604463634004736 0 0 -1 7 0 0 0
[pid=24547] ppid=24499 vsize=322232 CPUtime=0 cores=1,3,5,7
/proc/24547/stat : 24547 (python) S 24499 24499 22387 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 948026771 329965568 10289 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414214 0 0 16781312 33554946 5625815590439452935 0 0 17 5 0 0 0
/proc/24547/statm: 80558 10289 326 364 0 15439 0
[pid=24549] ppid=24547 vsize=8542936 CPUtime=0.73 cores=1,3,5,7
/proc/24549/stat : 24549 (java) S 24547 24549 24549 0 -1 4202496 13350 0 1 0 70 3 0 0 17 0 18 0 948026771 8747966464 11615 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 2135734 11615 2217 9 0 2126475 0
[pid=24549/tid=24550] ppid=24547 vsize=8542936 CPUtime=0.36 cores=1,3,5,7
/proc/24549/task/24550/stat : 24550 (java) R 24547 24549 24549 0 -1 4202560 6131 0 1 0 35 1 0 0 25 0 18 0 948026772 8747966464 11615 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24549/tid=24551] ppid=24547 vsize=8542936 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24551/stat : 24551 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948026773 8747966464 11616 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 1 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=8542936 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24552/stat : 24552 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948026773 8747966464 11616 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=8542936 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24553/stat : 24553 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948026773 8747966464 11616 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=8542936 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24554/stat : 24554 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948026773 8747966464 11617 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=8542936 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24555/stat : 24555 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948026773 8747966464 11617 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24556/stat : 24556 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948026773 8748273664 11618 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=8543840 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948026773 8748892160 11621 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=8543840 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24558/stat : 24558 (java) S 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948026773 8748892160 11621 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=8543840 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24559/stat : 24559 (java) S 24547 24549 24549 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 948026774 8748892160 11621 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210624 0 0 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=8543840 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24560/stat : 24560 (java) S 24547 24549 24549 0 -1 4202560 17 0 0 0 0 0 0 0 24 0 18 0 948026774 8748892160 11623 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=24499/tid=24548] ppid=24496 vsize=352988 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24548/stat : 24548 (python) S 24496 24499 22387 0 -1 4202560 32 1581 0 0 0 0 30 10 20 0 6 0 948026771 361459712 11855 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
[pid=24499/tid=24571] ppid=24496 vsize=352988 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24571/stat : 24571 (python) S 24496 24499 22387 0 -1 4202560 26 1581 0 0 0 0 30 10 20 0 6 0 948031639 361459712 11855 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 1 0 0 0
[pid=24499/tid=24685] ppid=24496 vsize=352988 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24685/stat : 24685 (python) S 24496 24499 22387 0 -1 4202560 29 1581 0 0 0 0 30 10 20 0 6 0 948045848 361459712 11855 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 587.34
Current children cumulated vsize (KiB) 11811152
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+617.002 s]
/proc/loadavg: 2.05 2.08 1.84 7/846 24836
/proc/meminfo: memFree=12005020/32950928 swapFree=61542368/67111528
[pid=24499] ppid=24496 vsize=363244 CPUtime=2.69 cores=1,3,5,7
/proc/24499/stat : 24499 (python) S 24496 24499 22387 0 -1 4202496 25321 1581 1 0 190 39 30 10 20 0 7 0 948016577 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24499/statm: 90811 11861 1882 364 0 25683 0
[pid=24508] ppid=24499 vsize=311964 CPUtime=1.51 cores=1,3,5,7
/proc/24508/stat : 24508 (python) S 24499 24499 22387 0 -1 4202560 1190 0 0 0 66 85 0 0 15 0 2 0 948016826 319451136 10366 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24508/statm: 77991 10366 406 364 0 12878 0
[pid=24511] ppid=24508 vsize=573744 CPUtime=326.46 cores=1,3,5,7
/proc/24511/stat : 24511 (scip-2.0.1.linu) T 24508 24511 24511 0 -1 4202496 181679 0 0 0 32225 421 0 0 25 0 1 0 948016827 587513856 139409 33554432000 4194304 13684479 140735816294896 18446744073709551615 7268042 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24511/statm: 143436 139409 831 2317 0 141114 0
[pid=24508/tid=24537] ppid=24499 vsize=311964 CPUtime=0 cores=1,3,5,7
/proc/24508/task/24537/stat : 24537 (python) S 24499 24499 22387 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 948021762 319451136 10366 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470949993216 0 0 -1 1 0 0 0
[pid=24538] ppid=24499 vsize=311976 CPUtime=0.24 cores=1,3,5,7
/proc/24538/stat : 24538 (python) S 24499 24499 22387 0 -1 4202560 1191 0 0 0 11 13 0 0 17 0 2 0 948021764 319463424 10356 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24538/statm: 77994 10356 396 364 0 12878 0
[pid=24540] ppid=24538 vsize=108764 CPUtime=50.02 cores=1,3,5,7
/proc/24540/stat : 24540 (wbo1.4a) T 24538 24540 24540 0 -1 4202496 29720 0 0 0 4982 20 0 0 25 0 1 0 948021765 111374336 26560 33554432000 134512640 135751879 4294251744 18446744073709551615 134518799 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/24540/statm: 27191 26560 146 303 0 26886 0
[pid=24538/tid=24546] ppid=24499 vsize=311976 CPUtime=0 cores=1,3,5,7
/proc/24538/task/24546/stat : 24546 (python) S 24499 24499 22387 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948026768 319463424 10356 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604463634004736 0 0 -1 7 0 0 0
[pid=24547] ppid=24499 vsize=322232 CPUtime=0.21 cores=1,3,5,7
/proc/24547/stat : 24547 (python) S 24499 24499 22387 0 -1 4202560 1206 0 0 0 10 11 0 0 17 0 2 0 948026771 329965568 10360 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/24547/statm: 80558 10360 396 364 0 15439 0
[pid=24549] ppid=24547 vsize=8544780 CPUtime=51.08 cores=1,3,5,7
/proc/24549/stat : 24549 (java) T 24547 24549 24549 0 -1 4202496 718484 0 1 0 5032 76 0 0 15 0 19 0 948026771 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 2136195 714499 2250 9 0 2126936 0
[pid=24549/tid=24550] ppid=24547 vsize=8544780 CPUtime=48.2 cores=1,3,5,7
/proc/24549/task/24550/stat : 24550 (java) T 24547 24549 24549 0 -1 4202560 615851 0 1 0 4756 64 0 0 25 0 19 0 948026772 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 46912505613990 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24551] ppid=24547 vsize=8544780 CPUtime=0.18 cores=1,3,5,7
/proc/24549/task/24551/stat : 24551 (java) T 24547 24549 24549 0 -1 4202560 14451 0 0 0 17 1 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24552] ppid=24547 vsize=8544780 CPUtime=0.14 cores=1,3,5,7
/proc/24549/task/24552/stat : 24552 (java) T 24547 24549 24549 0 -1 4202560 11940 0 0 0 13 1 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24549/tid=24553] ppid=24547 vsize=8544780 CPUtime=0.13 cores=1,3,5,7
/proc/24549/task/24553/stat : 24553 (java) T 24547 24549 24549 0 -1 4202560 9929 0 0 0 12 1 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24549/tid=24554] ppid=24547 vsize=8544780 CPUtime=0.22 cores=1,3,5,7
/proc/24549/task/24554/stat : 24554 (java) T 24547 24549 24549 0 -1 4202560 17629 0 0 0 21 1 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24549/tid=24555] ppid=24547 vsize=8544780 CPUtime=0.07 cores=1,3,5,7
/proc/24549/task/24555/stat : 24555 (java) T 24547 24549 24549 0 -1 4202560 7008 0 0 0 7 0 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24556] ppid=24547 vsize=8544780 CPUtime=0.2 cores=1,3,5,7
/proc/24549/task/24556/stat : 24556 (java) T 24547 24549 24549 0 -1 4202560 16335 0 0 0 19 1 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24557] ppid=24547 vsize=8544780 CPUtime=0.11 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (java) T 24547 24549 24549 0 -1 4202560 10349 0 0 0 11 0 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24549/tid=24558] ppid=24547 vsize=8544780 CPUtime=0.03 cores=1,3,5,7
/proc/24549/task/24558/stat : 24558 (java) T 24547 24549 24549 0 -1 4202560 2570 0 0 0 3 0 0 0 15 0 19 0 948026773 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24549/tid=24559] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24559/stat : 24559 (java) T 24547 24549 24549 0 -1 4202560 1272 0 0 0 0 0 0 0 15 0 19 0 948026774 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24549/tid=24560] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24560/stat : 24560 (java) T 24547 24549 24549 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948026774 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24549/tid=24561] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24561/stat : 24561 (java) T 24547 24549 24549 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948026774 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24562/stat : 24562 (java) T 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948026776 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24563] ppid=24547 vsize=8544780 CPUtime=0.92 cores=1,3,5,7
/proc/24549/task/24563/stat : 24563 (java) T 24547 24549 24549 0 -1 4202560 2983 0 0 0 92 0 0 0 15 0 19 0 948026776 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24549/tid=24564] ppid=24547 vsize=8544780 CPUtime=0.76 cores=1,3,5,7
/proc/24549/task/24564/stat : 24564 (java) T 24547 24549 24549 0 -1 4202560 6769 0 0 0 75 1 0 0 15 0 19 0 948026776 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24549/tid=24565] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24565/stat : 24565 (java) T 24547 24549 24549 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948026776 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24549/tid=24566] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24566/stat : 24566 (java) T 24547 24549 24549 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 948026776 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24549/tid=24567] ppid=24547 vsize=8544780 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24567/stat : 24567 (java) T 24547 24549 24549 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948026846 8749854720 714499 33554432000 1073741824 1073778376 140733642858208 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24547/tid=24569] ppid=24499 vsize=322232 CPUtime=0 cores=1,3,5,7
/proc/24547/task/24569/stat : 24569 (python) S 24499 24499 22387 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948031636 329965568 10360 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466676892992 0 0 -1 3 0 0 0
[pid=24570] ppid=24499 vsize=332488 CPUtime=0.4 cores=1,3,5,7
/proc/24570/stat : 24570 (python) S 24499 24499 22387 0 -1 4202560 1203 0 0 0 19 21 0 0 16 0 2 0 948031639 340467712 10358 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24570/statm: 83122 10358 390 364 0 18000 0
[pid=24572] ppid=24570 vsize=48152 CPUtime=93.52 cores=1,3,5,7
/proc/24572/stat : 24572 (clasp-1.3.7-x86) T 24570 24572 24572 0 -1 4202496 13126 0 0 0 9350 2 0 0 25 0 1 0 948031639 49307648 11793 33554432000 134512640 136139019 4291275808 18446744073709551615 134599831 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/24572/statm: 12038 11793 187 398 0 11638 0
[pid=24570/tid=24678] ppid=24499 vsize=332488 CPUtime=0 cores=1,3,5,7
/proc/24570/task/24678/stat : 24678 (python) S 24499 24499 22387 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948040992 340467712 10358 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470126528448 0 0 -1 7 0 0 0
[pid=24684] ppid=24499 vsize=342744 CPUtime=0.44 cores=1,3,5,7
/proc/24684/stat : 24684 (python) S 24499 24499 22387 0 -1 4202560 1196 0 0 0 21 23 0 0 17 0 2 0 948045848 350969856 10362 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/24684/statm: 85686 10362 390 364 0 20561 0
[pid=24686] ppid=24684 vsize=562480 CPUtime=94.7 cores=1,3,5,7
/proc/24686/stat : 24686 (scip-2.0.1.linu) T 24684 24686 24686 0 -1 4202496 187091 0 0 0 9187 283 0 0 25 0 1 0 948045849 575979520 136215 33554432000 4194304 15243407 140734791970320 18446744073709551615 8149732 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/24686/statm: 140620 136215 957 2698 0 137915 0
[pid=24684/tid=24775] ppid=24499 vsize=342744 CPUtime=0 cores=1,3,5,7
/proc/24684/task/24775/stat : 24775 (python) S 24499 24499 22387 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 948055319 350969856 10362 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554946 18446604459312697536 0 0 -1 5 0 0 0
[pid=24816] ppid=24499 vsize=353000 CPUtime=0 cores=1,3,5,7
/proc/24816/stat : 24816 (python) S 24499 24499 22387 0 -1 4202560 803 0 0 0 0 0 0 0 15 0 1 0 948078183 361472000 10294 33554432000 4194304 5683644 140735948258496 18446744073709551615 260905414214 0 0 16781312 33554946 1995624157148086272 0 0 17 1 0 0 0
/proc/24816/statm: 88250 10294 319 364 0 23122 0
[pid=24818] ppid=24816 vsize=8609356 CPUtime=2.12 cores=1,3,5,7
/proc/24818/stat : 24818 (java) S 24816 24818 24818 0 -1 4202496 40533 0 1 0 207 5 0 0 17 0 19 0 948078183 8815980544 37215 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24818/statm: 2152339 37215 2233 9 0 2143080 0
[pid=24818/tid=24819] ppid=24816 vsize=8609356 CPUtime=0.96 cores=1,3,5,7
/proc/24818/task/24819/stat : 24819 (java) R 24816 24818 24818 0 -1 4202560 29293 0 1 0 93 3 0 0 19 0 19 0 948078184 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 46912505824339 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24818/tid=24820] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24820/stat : 24820 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24821] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24821/stat : 24821 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24822] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24822/stat : 24822 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24823] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24823/stat : 24823 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24824] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24824/stat : 24824 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24825] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24825/stat : 24825 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24826] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24826/stat : 24826 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24827] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24827/stat : 24827 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948078185 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24828] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24828/stat : 24828 (java) S 24816 24818 24818 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 948078186 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210624 0 0 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24829] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24829/stat : 24829 (java) S 24816 24818 24818 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 948078186 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24830] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24830/stat : 24830 (java) S 24816 24818 24818 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 948078186 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24831] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24831/stat : 24831 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 948078189 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917217713 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24832] ppid=24816 vsize=8609356 CPUtime=0.57 cores=1,3,5,7
/proc/24818/task/24832/stat : 24832 (java) R 24816 24818 24818 0 -1 4202560 5722 0 0 0 57 0 0 0 16 0 19 0 948078189 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 47786100260617 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24818/tid=24833] ppid=24816 vsize=8609356 CPUtime=0.58 cores=1,3,5,7
/proc/24818/task/24833/stat : 24833 (java) R 24816 24818 24818 0 -1 4202560 4173 0 0 0 58 0 0 0 16 0 19 0 948078189 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 47786101489034 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24818/tid=24834] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24834/stat : 24834 (java) S 24816 24818 24818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948078189 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210009 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24818/tid=24835] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24835/stat : 24835 (java) R 24816 24818 24818 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 948078189 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24818/tid=24836] ppid=24816 vsize=8609356 CPUtime=0 cores=1,3,5,7
/proc/24818/task/24836/stat : 24836 (java) S 24816 24818 24818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948078258 8815980544 37270 33554432000 1073741824 1073778376 140734580240768 18446744073709551615 260917210624 0 4 0 16800975 18446604465128566976 0 0 -1 5 0 0 0
[pid=24499/tid=24509] ppid=24496 vsize=363244 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24509/stat : 24509 (python) S 24496 24499 22387 0 -1 4202560 36 1581 0 0 0 0 30 10 18 0 7 0 948016827 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
[pid=24499/tid=24539] ppid=24496 vsize=363244 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24539/stat : 24539 (python) S 24496 24499 22387 0 -1 4202560 27 1581 0 0 0 0 30 10 20 0 7 0 948021765 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
[pid=24499/tid=24548] ppid=24496 vsize=363244 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24548/stat : 24548 (python) S 24496 24499 22387 0 -1 4202560 32 1581 0 0 0 0 30 10 20 0 7 0 948026771 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 5 0 0 0
[pid=24499/tid=24571] ppid=24496 vsize=363244 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24571/stat : 24571 (python) S 24496 24499 22387 0 -1 4202560 26 1581 0 0 0 0 30 10 20 0 7 0 948031639 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 1 0 0 0
[pid=24499/tid=24685] ppid=24496 vsize=363244 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24685/stat : 24685 (python) S 24496 24499 22387 0 -1 4202560 29 1581 0 0 0 0 30 10 20 0 7 0 948045848 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 1 0 0 0
[pid=24499/tid=24817] ppid=24496 vsize=363244 CPUtime=0.4 cores=1,3,5,7
/proc/24499/task/24817/stat : 24817 (python) S 24496 24499 22387 0 -1 4202560 29 1581 0 0 0 0 30 10 20 0 7 0 948078183 371961856 11861 33554432000 4194304 5683644 140735948258496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884113216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 623.39
Current children cumulated vsize (KiB) 20784924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24499 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=210663
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=503923
# CPU time returned by wait4() is 2.71459
# while last known CPU time is 623.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 617.13
CPU time (s): 623.39
CPU user time (s): 613.3
CPU system time (s): 10.09
CPU usage (%): 101.014
Max. virtual memory (cumulated for all children) (KiB): 20784924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.21066
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26905
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= 32341
involuntary context switches= 30
runsolver used 4.91625 second user time and 11.0033 second system time
The end