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-3482818-1307578287/watcher-3482818-1307578287 -o /tmp/evaluation-result-3482818-1307578287/solver-3482818-1307578287 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482818-1307578287.opb -seed 1586134773 -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.03 2.06 1.78 2/460 3844
/proc/meminfo: memFree=18815956/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=15764 CPUtime=0 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 845 0 0 0 0 0 0 0 17 0 1 0 869426704 16142336 728 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3844/statm: 3941 728 334 364 0 428 0
[startup+0.0205359 s]
/proc/loadavg: 2.03 2.06 1.78 2/460 3844
/proc/meminfo: memFree=18815956/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 869426704 16629760 922 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3844/statm: 4060 922 381 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+0.100534 s]
/proc/loadavg: 2.03 2.06 1.78 2/460 3844
/proc/meminfo: memFree=18815956/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 869426704 87674880 2382 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3844/statm: 21406 2383 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.30053 s]
/proc/loadavg: 2.03 2.06 1.78 2/460 3844
/proc/meminfo: memFree=18815956/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/3844/stat : 3844 (python) R 3842 3844 3014 0 -1 4202496 5357 928 1 0 11 6 0 0 17 0 1 0 869426704 126713856 3745 33554432000 4194304 5683644 140734908194352 18446744073709551615 255376994000 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3844/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700449 s]
/proc/loadavg: 2.03 2.06 1.78 2/460 3844
/proc/meminfo: memFree=18815956/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=286936 CPUtime=0.43 cores=0,2,4,6
/proc/3844/stat : 3844 (python) R 3842 3844 3014 0 -1 4202496 10197 928 1 0 30 13 0 0 16 0 1 0 869426704 293822464 8060 33554432000 4194304 5683644 140734908194352 18446744073709551615 46956902914717 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3844/statm: 71734 8060 1781 364 0 6627 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 286936
[startup+1.50032 s]
/proc/loadavg: 2.03 2.06 1.78 3/461 3849
/proc/meminfo: memFree=18778128/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=309832 CPUtime=1.23 cores=0,2,4,6
/proc/3844/stat : 3844 (python) R 3842 3844 3014 0 -1 4202496 20616 928 1 0 109 14 0 0 16 0 1 0 869426704 317267968 13805 33554432000 4194304 5683644 140734908194352 18446744073709551615 4531807 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/3844/statm: 77458 13805 1815 364 0 12351 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 309832
[startup+3.101 s]
/proc/loadavg: 2.03 2.06 1.78 3/461 3849
/proc/meminfo: memFree=18762380/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=323184 CPUtime=2.31 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 21677 928 1 0 216 15 0 0 20 0 2 0 869426704 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3844/statm: 80796 14637 1872 364 0 15683 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 323184
heavy processes:
[startup+6.30043 s]
/proc/loadavg: 2.27 2.11 1.80 3/464 3852
/proc/meminfo: memFree=18750444/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=323184 CPUtime=2.31 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 21677 928 1 0 216 15 0 0 20 0 2 0 869426704 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3844/statm: 80796 14637 1872 364 0 15683 0
[pid=3850] ppid=3844 vsize=312940 CPUtime=0.01 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 897 0 0 0 0 1 0 0 18 0 1 0 869426962 320450560 13135 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377321487 0 0 16781312 33554946 17801717127757922563 0 0 17 0 0 0 0
/proc/3850/statm: 78235 13135 374 364 0 13122 0
[pid=3852] ppid=3850 vsize=13340 CPUtime=3.71 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) R 3850 3852 3852 0 -1 4202496 4207 0 0 0 371 0 0 0 25 0 1 0 869426962 13660160 3063 33554432000 134512640 136139019 4289968224 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3852/statm: 3335 3063 184 398 0 2935 0
[pid=3844/tid=3851] ppid=3842 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 2 0 869426962 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 649464
[startup+12.7012 s]
/proc/loadavg: 2.25 2.10 1.80 3/464 3852
/proc/meminfo: memFree=18747148/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=323184 CPUtime=2.31 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 21677 928 1 0 216 15 0 0 20 0 2 0 869426704 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3844/statm: 80796 14637 1872 364 0 15683 0
[pid=3850] ppid=3844 vsize=312940 CPUtime=0.03 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 904 0 0 0 1 2 0 0 18 0 1 0 869426962 320450560 13136 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377321487 0 0 16781312 33554946 17801713348186702083 0 0 17 0 0 0 0
/proc/3850/statm: 78235 13136 375 364 0 13122 0
[pid=3852] ppid=3850 vsize=15516 CPUtime=10.11 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) R 3850 3852 3852 0 -1 4202496 4741 0 0 0 1011 0 0 0 25 0 1 0 869426962 15888384 3597 33554432000 134512640 136139019 4289968224 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3852/statm: 3879 3597 184 398 0 3479 0
[pid=3844/tid=3851] ppid=3842 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 2 0 869426962 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 651640
[startup+25.5009 s]
/proc/loadavg: 2.19 2.10 1.80 3/464 3852
/proc/meminfo: memFree=18737824/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=323184 CPUtime=2.31 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 21677 928 1 0 216 15 0 0 20 0 2 0 869426704 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3844/statm: 80796 14637 1872 364 0 15683 0
[pid=3850] ppid=3844 vsize=312940 CPUtime=0.07 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 908 0 0 0 4 3 0 0 18 0 1 0 869426962 320450560 13136 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377321487 0 0 16781312 33554946 72114768642583220 0 0 17 0 0 0 0
/proc/3850/statm: 78235 13136 375 364 0 13122 0
[pid=3852] ppid=3850 vsize=23476 CPUtime=22.91 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) R 3850 3852 3852 0 -1 4202496 6766 0 0 0 2291 0 0 0 25 0 1 0 869426962 24039424 5622 33554432000 134512640 136139019 4289968224 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3852/statm: 5869 5622 184 398 0 5469 0
[pid=3844/tid=3851] ppid=3842 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 2 0 869426962 330940416 14637 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 659600
[startup+51.1012 s]
/proc/loadavg: 2.12 2.09 1.81 3/464 3853
/proc/meminfo: memFree=18734952/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=333440 CPUtime=2.33 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 22581 928 1 0 218 15 0 0 20 0 3 0 869426704 341442560 14644 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3844/statm: 83360 14644 1875 364 0 18244 0
[pid=3850] ppid=3844 vsize=323184 CPUtime=0.19 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 1148 0 0 0 9 10 0 0 19 0 2 0 869426962 330940416 13177 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3850/statm: 80796 13177 411 364 0 15683 0
[pid=3852] ppid=3850 vsize=26596 CPUtime=48.17 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) T 3850 3852 3852 0 -1 4202496 7522 0 0 0 4817 0 0 0 25 0 1 0 869426962 27234304 6378 33554432000 134512640 136139019 4289968224 18446744073709551615 134608160 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3852/statm: 6649 6378 184 398 0 6249 0
[pid=3844/tid=3851] ppid=3842 vsize=333440 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 3 0 869426962 341442560 14644 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 683220
[startup+102.317 s]
/proc/loadavg: 2.05 2.07 1.82 3/490 3880
/proc/meminfo: memFree=17217720/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=333444 CPUtime=7.62 cores=0,2,4,6
/proc/3844/stat : 3844 (python) R 3842 3844 3014 0 -1 4202496 23191 928 1 0 746 16 0 0 25 0 3 0 869426704 341446656 14645 33554432000 4194304 5683644 140734908194352 18446744073709551615 4570176 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3844/statm: 83361 14645 1875 364 0 18245 0
[pid=3850] ppid=3844 vsize=323184 CPUtime=0.19 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 1148 0 0 0 9 10 0 0 19 0 2 0 869426962 330940416 13177 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3850/statm: 80796 13177 411 364 0 15683 0
[pid=3852] ppid=3850 vsize=26596 CPUtime=48.17 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) T 3850 3852 3852 0 -1 4202496 7522 0 0 0 4817 0 0 0 25 0 1 0 869426962 27234304 6378 33554432000 134512640 136139019 4289968224 18446744073709551615 134608160 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3852/statm: 6649 6378 184 398 0 6249 0
[pid=3850/tid=3854] ppid=3844 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3850/task/3854/stat : 3854 (python) S 3844 3844 3014 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869431781 330940416 13177 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604450049689472 0 0 -1 0 0 0 0
[pid=3855] ppid=3844 vsize=323196 CPUtime=0.18 cores=0,2,4,6
/proc/3855/stat : 3855 (python) S 3844 3844 3014 0 -1 4202560 1112 0 0 0 9 9 0 0 17 0 2 0 869431783 330952704 13162 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3855/statm: 80799 13162 396 364 0 15683 0
[pid=3857] ppid=3855 vsize=494396 CPUtime=46.22 cores=0,2,4,6
/proc/3857/stat : 3857 (scip-2.0.1.linu) T 3855 3857 3857 0 -1 4202496 121213 0 0 0 4571 51 0 0 25 0 1 0 869431784 506261504 118902 33554432000 4194304 13684479 140736156743376 18446744073709551615 5690176 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3857/statm: 123599 118902 661 2317 0 121277 0
[pid=3855/tid=3880] ppid=3844 vsize=323196 CPUtime=0 cores=0,2,4,6
/proc/3855/task/3880/stat : 3880 (python) S 3844 3844 3014 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869436407 330952704 13162 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604449196961984 0 0 -1 2 0 0 0
[pid=3844/tid=3851] ppid=3842 vsize=333444 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 3 0 869426962 341446656 14645 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3856] ppid=3842 vsize=333444 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3856/stat : 3856 (python) S 3842 3844 3014 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 3 0 869431784 341446656 14645 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1500816
[startup+162.302 s]
/proc/loadavg: 2.07 2.07 1.83 3/498 3890
/proc/meminfo: memFree=16764560/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=353952 CPUtime=9.01 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 24447 928 1 0 884 17 0 0 20 0 5 0 869426704 362446848 14656 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3844/statm: 88488 14656 1879 364 0 23366 0
[pid=3850] ppid=3844 vsize=323184 CPUtime=0.19 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 1148 0 0 0 9 10 0 0 19 0 2 0 869426962 330940416 13177 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3850/statm: 80796 13177 411 364 0 15683 0
[pid=3852] ppid=3850 vsize=26596 CPUtime=48.17 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) T 3850 3852 3852 0 -1 4202496 7522 0 0 0 4817 0 0 0 25 0 1 0 869426962 27234304 6378 33554432000 134512640 136139019 4289968224 18446744073709551615 134608160 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3852/statm: 6649 6378 184 398 0 6249 0
[pid=3850/tid=3854] ppid=3844 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3850/task/3854/stat : 3854 (python) S 3844 3844 3014 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869431781 330940416 13177 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604450049689472 0 0 -1 0 0 0 0
[pid=3855] ppid=3844 vsize=323196 CPUtime=0.18 cores=0,2,4,6
/proc/3855/stat : 3855 (python) S 3844 3844 3014 0 -1 4202560 1112 0 0 0 9 9 0 0 17 0 2 0 869431783 330952704 13162 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3855/statm: 80799 13162 396 364 0 15683 0
[pid=3857] ppid=3855 vsize=494396 CPUtime=46.22 cores=0,2,4,6
/proc/3857/stat : 3857 (scip-2.0.1.linu) T 3855 3857 3857 0 -1 4202496 121213 0 0 0 4571 51 0 0 25 0 1 0 869431784 506261504 118902 33554432000 4194304 13684479 140736156743376 18446744073709551615 5690176 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3857/statm: 123599 118902 661 2317 0 121277 0
################
# More data... #
################
/proc/3888/stat : 3888 (python) S 3844 3844 3014 0 -1 4202560 1176 0 0 0 18 21 0 0 15 0 2 0 869441978 351956992 13170 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3888/statm: 85927 13170 396 364 0 20805 0
[pid=3890] ppid=3888 vsize=625032 CPUtime=95.64 cores=0,2,4,6
/proc/3890/stat : 3890 (scip-2.0.1.linu) T 3888 3890 3890 0 -1 4202496 153740 0 0 0 9505 59 0 0 25 0 1 0 869441979 640032768 151428 33554432000 4194304 15243407 140735689292640 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3890/statm: 156258 151428 710 2698 0 153553 0
[pid=3888/tid=3892] ppid=3844 vsize=343708 CPUtime=0 cores=0,2,4,6
/proc/3888/task/3892/stat : 3892 (python) S 3844 3844 3014 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869447027 351956992 13170 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604446916821056 0 0 -1 6 0 0 0
[pid=3894] ppid=3844 vsize=353964 CPUtime=0.2 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3844 3844 3014 0 -1 4202560 1143 0 0 0 10 10 0 0 16 0 2 0 869451550 362459136 13174 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 88491 13174 396 364 0 23366 0
[pid=3896] ppid=3894 vsize=58916 CPUtime=46.23 cores=0,2,4,6
/proc/3896/stat : 3896 (wbo1.4b-fixed) T 3894 3896 3896 0 -1 4202496 15491 0 0 0 4608 15 0 0 25 0 1 0 869451551 60329984 13973 33554432000 134512640 135752315 4288035008 18446744073709551615 134611361 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/3896/statm: 14729 13973 146 303 0 14424 0
[pid=3894/tid=3899] ppid=3844 vsize=353964 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (python) S 3844 3844 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869456181 362459136 13174 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604452486972480 0 0 -1 0 0 0 0
[pid=3905] ppid=3844 vsize=364220 CPUtime=0.2 cores=0,2,4,6
/proc/3905/stat : 3905 (python) S 3844 3844 3014 0 -1 4202560 1146 0 0 0 12 8 0 0 17 0 2 0 869474660 372961280 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3905/statm: 91055 13178 396 364 0 25927 0
[pid=3907] ppid=3905 vsize=60144 CPUtime=46.62 cores=0,2,4,6
/proc/3907/stat : 3907 (wbo1.4a) T 3905 3907 3907 0 -1 4202496 15797 0 0 0 4647 15 0 0 25 0 1 0 869474660 61587456 14289 33554432000 134512640 135751879 4288054144 18446744073709551615 134616876 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3907/statm: 15036 14289 143 303 0 14731 0
[pid=3905/tid=3909] ppid=3844 vsize=364220 CPUtime=0 cores=0,2,4,6
/proc/3905/task/3909/stat : 3909 (python) S 3844 3844 3014 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869479328 372961280 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604443753613120 0 0 -1 0 0 0 0
[pid=3844/tid=3851] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 37 928 0 0 0 0 0 0 18 0 7 0 869426962 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3856] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3856/stat : 3856 (python) S 3842 3844 3014 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 7 0 869431784 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 4 0 0 0
[pid=3844/tid=3882] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3882/stat : 3882 (python) S 3842 3844 3014 0 -1 4202560 31 928 0 0 0 0 0 0 25 0 7 0 869437071 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3889] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3889/stat : 3889 (python) S 3842 3844 3014 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 7 0 869441978 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 0 0 0 0
[pid=3844/tid=3895] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3895/stat : 3895 (python) S 3842 3844 3014 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869451551 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 0 0 0 0
[pid=3844/tid=3906] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3906/stat : 3906 (python) S 3842 3844 3014 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869474660 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 864.74
Current children cumulated vsize (KiB) 4218664
[startup+862.302 s]
/proc/loadavg: 1.14 1.68 1.79 2/459 3943
/proc/meminfo: memFree=17442228/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=374464 CPUtime=9.18 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 26986 928 1 0 900 18 0 0 18 0 7 0 869426704 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3844/statm: 93616 14668 1883 364 0 28488 0
[pid=3850] ppid=3844 vsize=323184 CPUtime=0.9 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 1213 0 0 0 42 48 0 0 18 0 2 0 869426962 330940416 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3850/statm: 80796 13178 412 364 0 15683 0
[pid=3852] ppid=3850 vsize=45324 CPUtime=232.87 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) T 3850 3852 3852 0 -1 4202496 12176 0 0 0 23286 1 0 0 25 0 1 0 869426962 46411776 11032 33554432000 134512640 136139019 4289968224 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/3852/statm: 11331 11032 184 398 0 10931 0
[pid=3850/tid=3854] ppid=3844 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3850/task/3854/stat : 3854 (python) S 3844 3844 3014 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869431781 330940416 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604450049689472 0 0 -1 0 0 0 0
[pid=3855] ppid=3844 vsize=323196 CPUtime=1.48 cores=0,2,4,6
/proc/3855/stat : 3855 (python) S 3844 3844 3014 0 -1 4202560 1201 0 0 0 73 75 0 0 15 0 2 0 869431783 330952704 13162 33554432000 4194304 5683644 140734908194352 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3855/statm: 80799 13162 396 364 0 15683 0
[pid=3857] ppid=3855 vsize=872260 CPUtime=382.26 cores=0,2,4,6
/proc/3857/stat : 3857 (scip-2.0.1.linu) R 3855 3857 3857 0 -1 4202496 215543 0 0 0 38110 116 0 0 25 0 1 0 869431784 893194240 212768 33554432000 4194304 13684479 140736156743376 18446744073709551615 11816790 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3857/statm: 218065 212768 779 2317 0 215743 0
[pid=3855/tid=3880] ppid=3844 vsize=323196 CPUtime=0 cores=0,2,4,6
/proc/3855/task/3880/stat : 3880 (python) S 3844 3844 3014 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869436407 330952704 13162 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604449196961984 0 0 -1 2 0 0 0
[pid=3881] ppid=3844 vsize=333452 CPUtime=0.18 cores=0,2,4,6
/proc/3881/stat : 3881 (python) S 3844 3844 3014 0 -1 4202560 1110 0 0 0 9 9 0 0 17 0 2 0 869437071 341454848 13166 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3881/statm: 83363 13166 396 364 0 18244 0
[pid=3883] ppid=3881 vsize=140800 CPUtime=49 cores=0,2,4,6
/proc/3883/stat : 3883 (minion) T 3881 3883 3883 0 -1 4202496 39374 0 0 0 4895 5 0 0 25 0 1 0 869437071 144179200 27594 33554432000 134512640 165565024 4293022544 18446744073709551615 142852976 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/3883/statm: 35200 27594 346 7582 0 27615 0
[pid=3881/tid=3887] ppid=3844 vsize=333452 CPUtime=0 cores=0,2,4,6
/proc/3881/task/3887/stat : 3887 (python) S 3844 3844 3014 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869441976 341454848 13166 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604443839615232 0 0 -1 2 0 0 0
[pid=3888] ppid=3844 vsize=343708 CPUtime=0.39 cores=0,2,4,6
/proc/3888/stat : 3888 (python) S 3844 3844 3014 0 -1 4202560 1176 0 0 0 18 21 0 0 15 0 2 0 869441978 351956992 13170 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3888/statm: 85927 13170 396 364 0 20805 0
[pid=3890] ppid=3888 vsize=625032 CPUtime=95.64 cores=0,2,4,6
/proc/3890/stat : 3890 (scip-2.0.1.linu) T 3888 3890 3890 0 -1 4202496 153740 0 0 0 9505 59 0 0 25 0 1 0 869441979 640032768 151428 33554432000 4194304 15243407 140735689292640 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3890/statm: 156258 151428 710 2698 0 153553 0
[pid=3888/tid=3892] ppid=3844 vsize=343708 CPUtime=0 cores=0,2,4,6
/proc/3888/task/3892/stat : 3892 (python) S 3844 3844 3014 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869447027 351956992 13170 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604446916821056 0 0 -1 6 0 0 0
[pid=3894] ppid=3844 vsize=353964 CPUtime=0.2 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3844 3844 3014 0 -1 4202560 1143 0 0 0 10 10 0 0 16 0 2 0 869451550 362459136 13174 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 88491 13174 396 364 0 23366 0
[pid=3896] ppid=3894 vsize=58916 CPUtime=46.23 cores=0,2,4,6
/proc/3896/stat : 3896 (wbo1.4b-fixed) T 3894 3896 3896 0 -1 4202496 15491 0 0 0 4608 15 0 0 25 0 1 0 869451551 60329984 13973 33554432000 134512640 135752315 4288035008 18446744073709551615 134611361 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/3896/statm: 14729 13973 146 303 0 14424 0
[pid=3894/tid=3899] ppid=3844 vsize=353964 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (python) S 3844 3844 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869456181 362459136 13174 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604452486972480 0 0 -1 0 0 0 0
[pid=3905] ppid=3844 vsize=364220 CPUtime=0.2 cores=0,2,4,6
/proc/3905/stat : 3905 (python) S 3844 3844 3014 0 -1 4202560 1146 0 0 0 12 8 0 0 17 0 2 0 869474660 372961280 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3905/statm: 91055 13178 396 364 0 25927 0
[pid=3907] ppid=3905 vsize=60144 CPUtime=46.62 cores=0,2,4,6
/proc/3907/stat : 3907 (wbo1.4a) T 3905 3907 3907 0 -1 4202496 15797 0 0 0 4647 15 0 0 25 0 1 0 869474660 61587456 14289 33554432000 134512640 135751879 4288054144 18446744073709551615 134616876 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3907/statm: 15036 14289 143 303 0 14731 0
[pid=3905/tid=3909] ppid=3844 vsize=364220 CPUtime=0 cores=0,2,4,6
/proc/3905/task/3909/stat : 3909 (python) S 3844 3844 3014 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869479328 372961280 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604443753613120 0 0 -1 0 0 0 0
[pid=3844/tid=3851] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 37 928 0 0 0 0 0 0 18 0 7 0 869426962 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3856] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3856/stat : 3856 (python) S 3842 3844 3014 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 7 0 869431784 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 4 0 0 0
[pid=3844/tid=3882] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3882/stat : 3882 (python) S 3842 3844 3014 0 -1 4202560 31 928 0 0 0 0 0 0 25 0 7 0 869437071 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3889] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3889/stat : 3889 (python) S 3842 3844 3014 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 7 0 869441978 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 0 0 0 0
[pid=3844/tid=3895] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3895/stat : 3895 (python) S 3842 3844 3014 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869451551 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 0 0 0 0
[pid=3844/tid=3906] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3906/stat : 3906 (python) S 3842 3844 3014 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869474660 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 865.15
Current children cumulated vsize (KiB) 4218664
[startup+862.418 s]
/proc/loadavg: 1.14 1.68 1.79 2/459 3943
/proc/meminfo: memFree=17442228/32951124 swapFree=60787360/67111528
[pid=3844] ppid=3842 vsize=374464 CPUtime=9.18 cores=0,2,4,6
/proc/3844/stat : 3844 (python) S 3842 3844 3014 0 -1 4202496 26993 928 1 0 900 18 0 0 18 0 7 0 869426704 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389131583 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3844/statm: 93616 14668 1883 364 0 28488 0
[pid=3850] ppid=3844 vsize=323184 CPUtime=0.9 cores=0,2,4,6
/proc/3850/stat : 3850 (python) S 3844 3844 3014 0 -1 4202560 1213 0 0 0 42 48 0 0 18 0 2 0 869426962 330940416 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3850/statm: 80796 13178 412 364 0 15683 0
[pid=3852] ppid=3850 vsize=45324 CPUtime=232.87 cores=0,2,4,6
/proc/3852/stat : 3852 (clasp-1.3.7-x86) T 3850 3852 3852 0 -1 4202496 12176 0 0 0 23286 1 0 0 25 0 1 0 869426962 46411776 11032 33554432000 134512640 136139019 4289968224 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/3852/statm: 11331 11032 184 398 0 10931 0
[pid=3850/tid=3854] ppid=3844 vsize=323184 CPUtime=0 cores=0,2,4,6
/proc/3850/task/3854/stat : 3854 (python) S 3844 3844 3014 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869431781 330940416 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604450049689472 0 0 -1 0 0 0 0
[pid=3855] ppid=3844 vsize=0 CPUtime=383.86 cores=0,2,4,6
/proc/3855/stat : 3855 (python) R 3844 3844 3014 0 -1 4202564 1291 215554 0 0 73 76 38117 120 16 0 1 0 869431783 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3855/statm: 0 0 0 0 0 0 0
[pid=3881] ppid=3844 vsize=333452 CPUtime=0.18 cores=0,2,4,6
/proc/3881/stat : 3881 (python) S 3844 3844 3014 0 -1 4202560 1113 0 0 0 9 9 0 0 17 0 2 0 869437071 341454848 13166 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389131583 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3881/statm: 83363 13166 396 364 0 18244 0
[pid=3883] ppid=3881 vsize=0 CPUtime=49 cores=0,2,4,6
/proc/3883/stat : 3883 (minion) R 3881 3883 3883 0 -1 4203524 39374 0 0 0 4895 5 0 0 18 0 1 0 869437071 0 0 33554432000 0 0 0 0 0 0 0 16781312 8396802 18446744073709551615 0 0 17 0 0 0 0
/proc/3883/statm: 0 0 0 0 0 0 0
[pid=3881/tid=3887] ppid=3844 vsize=333452 CPUtime=0 cores=0,2,4,6
/proc/3881/task/3887/stat : 3887 (python) S 3844 3844 3014 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869441976 341454848 13166 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781824 33554434 18446604443839615232 0 0 -1 2 0 0 0
[pid=3888] ppid=3844 vsize=343708 CPUtime=0.39 cores=0,2,4,6
/proc/3888/stat : 3888 (python) S 3844 3844 3014 0 -1 4202560 1176 0 0 0 18 21 0 0 15 0 2 0 869441978 351956992 13170 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3888/statm: 85927 13170 396 364 0 20805 0
[pid=3890] ppid=3888 vsize=625032 CPUtime=95.64 cores=0,2,4,6
/proc/3890/stat : 3890 (scip-2.0.1.linu) T 3888 3890 3890 0 -1 4202496 153740 0 0 0 9505 59 0 0 25 0 1 0 869441979 640032768 151428 33554432000 4194304 15243407 140735689292640 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3890/statm: 156258 151428 710 2698 0 153553 0
[pid=3888/tid=3892] ppid=3844 vsize=343708 CPUtime=0 cores=0,2,4,6
/proc/3888/task/3892/stat : 3892 (python) S 3844 3844 3014 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869447027 351956992 13170 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604446916821056 0 0 -1 6 0 0 0
[pid=3894] ppid=3844 vsize=353964 CPUtime=0.2 cores=0,2,4,6
/proc/3894/stat : 3894 (python) S 3844 3844 3014 0 -1 4202560 1143 0 0 0 10 10 0 0 16 0 2 0 869451550 362459136 13174 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3894/statm: 88491 13174 396 364 0 23366 0
[pid=3896] ppid=3894 vsize=58916 CPUtime=46.23 cores=0,2,4,6
/proc/3896/stat : 3896 (wbo1.4b-fixed) T 3894 3896 3896 0 -1 4202496 15491 0 0 0 4608 15 0 0 25 0 1 0 869451551 60329984 13973 33554432000 134512640 135752315 4288035008 18446744073709551615 134611361 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/3896/statm: 14729 13973 146 303 0 14424 0
[pid=3894/tid=3899] ppid=3844 vsize=353964 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (python) S 3844 3844 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869456181 362459136 13174 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604452486972480 0 0 -1 0 0 0 0
[pid=3905] ppid=3844 vsize=364220 CPUtime=0.2 cores=0,2,4,6
/proc/3905/stat : 3905 (python) S 3844 3844 3014 0 -1 4202560 1146 0 0 0 12 8 0 0 17 0 2 0 869474660 372961280 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3905/statm: 91055 13178 396 364 0 25927 0
[pid=3907] ppid=3905 vsize=60144 CPUtime=46.62 cores=0,2,4,6
/proc/3907/stat : 3907 (wbo1.4a) T 3905 3907 3907 0 -1 4202496 15797 0 0 0 4647 15 0 0 25 0 1 0 869474660 61587456 14289 33554432000 134512640 135751879 4288054144 18446744073709551615 134616876 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3907/statm: 15036 14289 143 303 0 14731 0
[pid=3905/tid=3909] ppid=3844 vsize=364220 CPUtime=0 cores=0,2,4,6
/proc/3905/task/3909/stat : 3909 (python) S 3844 3844 3014 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869479328 372961280 13178 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554946 18446604443753613120 0 0 -1 0 0 0 0
[pid=3844/tid=3851] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3851/stat : 3851 (python) S 3842 3844 3014 0 -1 4202560 37 928 0 0 0 0 0 0 18 0 7 0 869426962 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3856] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3856/stat : 3856 (python) S 3842 3844 3014 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 7 0 869431784 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 4 0 0 0
[pid=3844/tid=3882] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3882/stat : 3882 (python) S 3842 3844 3014 0 -1 4202560 31 928 0 0 0 0 0 0 25 0 7 0 869437071 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
[pid=3844/tid=3889] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3889/stat : 3889 (python) S 3842 3844 3014 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 7 0 869441978 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 0 0 0 0
[pid=3844/tid=3895] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3895/stat : 3895 (python) S 3842 3844 3014 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869451551 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 0 0 0 0
[pid=3844/tid=3906] ppid=3842 vsize=374464 CPUtime=0 cores=0,2,4,6
/proc/3844/task/3906/stat : 3906 (python) S 3842 3844 3014 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869474660 383451136 14668 33554432000 4194304 5683644 140734908194352 18446744073709551615 255389125041 0 0 16781312 33554434 18446604449138058368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 865.27
Current children cumulated vsize (KiB) 2882408
Child status: 0
Real time (s): 862.492
CPU time (s): 865.494
CPU user time (s): 861.323
CPU system time (s): 4.17137
CPU usage (%): 100.348
Max. virtual memory (cumulated for all children) (KiB): 4218664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 861.323
system time used= 4.17136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494243
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= 4238
involuntary context switches= 2101
runsolver used 4.55931 second user time and 8.86465 second system time
The end