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-3482666-1307576498/watcher-3482666-1307576498 -o /tmp/evaluation-result-3482666-1307576498/solver-3482666-1307576498 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482666-1307576498.opb -seed 1938912779 -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: 4.11 1.62 0.60 3/529 2811
/proc/meminfo: memFree=17259040/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2811/stat : 2811 (runsolver) S 2809 2811 2587 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 869248661 12079104 53 33554432000 4194304 5432328 140737310042816 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699109054 0 0 17 2 0 0 0
/proc/2811/statm: 2949 53 34 303 0 2643 0
[startup+0.0707111 s]
/proc/loadavg: 4.11 1.62 0.60 3/529 2811
/proc/meminfo: memFree=17259040/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/2811/stat : 2811 (python) S 2809 2811 2587 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 869248661 15441920 545 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/2811/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100663 s]
/proc/loadavg: 4.11 1.62 0.60 3/529 2811
/proc/meminfo: memFree=17259040/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/2811/stat : 2811 (python) R 2809 2811 2587 0 -1 4202496 1051 0 0 0 0 0 0 0 20 0 1 0 869248661 16629760 922 33554432000 4194304 5683644 140737345869440 18446744073709551615 4867330 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2811/statm: 4060 922 381 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+0.300712 s]
/proc/loadavg: 4.11 1.62 0.60 3/529 2811
/proc/meminfo: memFree=17259040/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=123584 CPUtime=0.14 cores=0,2,4,6
/proc/2811/stat : 2811 (python) R 2809 2811 2587 0 -1 4202496 5295 928 1 0 10 4 0 0 17 0 1 0 869248661 126550016 3696 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970546021 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2811/statm: 30896 3696 986 364 0 2728 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123584
[startup+0.700597 s]
/proc/loadavg: 4.11 1.62 0.60 3/529 2811
/proc/meminfo: memFree=17259040/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=247964 CPUtime=0.35 cores=0,2,4,6
/proc/2811/stat : 2811 (python) R 2809 2811 2587 0 -1 4202496 8018 928 1 0 26 9 0 0 16 0 1 0 869248661 253915136 6149 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970550016 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2811/statm: 61991 6151 1613 364 0 4995 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 247964
[startup+1.50048 s]
/proc/loadavg: 3.94 1.63 0.60 4/531 2822
/proc/meminfo: memFree=17134148/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=336492 CPUtime=1.15 cores=0,2,4,6
/proc/2811/stat : 2811 (python) R 2809 2811 2587 0 -1 4202496 22412 928 1 0 101 14 0 0 16 0 1 0 869248661 344567808 20273 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970211013 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2811/statm: 84123 20273 1781 364 0 19016 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 336492
[startup+3.10118 s]
/proc/loadavg: 3.94 1.63 0.60 4/531 2822
/proc/meminfo: memFree=17065576/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=385000 CPUtime=2.75 cores=0,2,4,6
/proc/2811/stat : 2811 (python) R 2809 2811 2587 0 -1 4202496 34206 928 1 0 259 16 0 0 18 0 1 0 869248661 394240000 32067 33554432000 4194304 5683644 140737345869440 18446744073709551615 4602370 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2811/statm: 96250 32067 1781 364 0 31143 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 385000
[startup+20.1892 s]
/proc/loadavg: 4.70 1.91 0.71 8/571 2870
/proc/meminfo: memFree=15941240/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=542288 CPUtime=18.63 cores=0,2,4,6
/proc/2811/stat : 2811 (python) S 2809 2811 2587 0 -1 4202496 112682 928 1 0 1834 29 0 0 20 0 2 0 869248661 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2811/statm: 135572 69413 1872 364 0 70459 0
[pid=2843] ppid=2811 vsize=532044 CPUtime=0.01 cores=0,2,4,6
/proc/2843/stat : 2843 (python) S 2811 2811 2587 0 -1 4202560 755 0 0 0 0 1 0 0 18 0 1 0 869250558 544813056 67888 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970570255 0 0 16781312 33554946 5447612793123471619 0 0 17 0 0 0 0
/proc/2843/statm: 133011 67888 351 364 0 67898 0
[pid=2845] ppid=2843 vsize=8538696 CPUtime=1.73 cores=0,2,4,6
/proc/2845/stat : 2845 (java) S 2843 2845 2845 0 -1 4202496 52171 0 1 0 166 7 0 0 20 0 18 0 869250559 8743624704 50297 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2845/statm: 2134674 50299 2222 9 0 2125415 0
[pid=2845/tid=2846] ppid=2843 vsize=8538696 CPUtime=1.16 cores=0,2,4,6
/proc/2845/task/2846/stat : 2846 (java) R 2843 2845 2845 0 -1 4202560 44201 0 1 0 111 5 0 0 18 0 18 0 869250562 8743624704 52053 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 46912505579467 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2845/tid=2847] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2847/stat : 2847 (java) S 2843 2845 2845 0 -1 4202560 1387 0 0 0 1 0 0 0 16 0 18 0 869250562 8743624704 52056 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2848] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2848/stat : 2848 (java) S 2843 2845 2845 0 -1 4202560 966 0 0 0 1 0 0 0 16 0 18 0 869250562 8743624704 52059 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2849] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2849/stat : 2849 (java) S 2843 2845 2845 0 -1 4202560 946 0 0 0 1 0 0 0 16 0 18 0 869250562 8743624704 52062 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2850] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2850/stat : 2850 (java) S 2843 2845 2845 0 -1 4202560 309 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 52065 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2859] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2859/stat : 2859 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 52069 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2860] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2860/stat : 2860 (java) S 2843 2845 2845 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 52072 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2861] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2861/stat : 2861 (java) S 2843 2845 2845 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 52075 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2862] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2862/stat : 2862 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 52078 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2863] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2863/stat : 2863 (java) S 2843 2845 2845 0 -1 4202560 70 0 0 0 0 0 0 0 17 0 18 0 869250563 8743624704 52081 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 0 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2864] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2864/stat : 2864 (java) S 2843 2845 2845 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869250564 8743624704 52084 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2865] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2865/stat : 2865 (java) S 2843 2845 2845 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869250564 8743624704 52087 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2866] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2866/stat : 2866 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8743624704 52090 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982373809 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2867] ppid=2843 vsize=8538696 CPUtime=0.24 cores=0,2,4,6
/proc/2845/task/2867/stat : 2867 (java) S 2843 2845 2845 0 -1 4202560 1964 0 0 0 24 0 0 0 25 0 18 0 869250566 8743624704 52091 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2868] ppid=2843 vsize=8538696 CPUtime=0.25 cores=0,2,4,6
/proc/2845/task/2868/stat : 2868 (java) S 2843 2845 2845 0 -1 4202560 2707 0 0 0 25 0 0 0 17 0 18 0 869250566 8743624704 52093 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2869] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2869/stat : 2869 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8743624704 52096 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2870] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2870/stat : 2870 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869250566 8743624704 52099 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2811/tid=2844] ppid=2809 vsize=542288 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2844/stat : 2844 (python) S 2809 2811 2587 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 2 0 869250559 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982373809 0 0 16781312 33554434 18446604446773856256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20.37
Current children cumulated vsize (KiB) 9613028
[startup+20.2212 s]
/proc/loadavg: 4.70 1.91 0.71 8/571 2870
/proc/meminfo: memFree=15941240/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=542288 CPUtime=18.63 cores=0,2,4,6
/proc/2811/stat : 2811 (python) S 2809 2811 2587 0 -1 4202496 112682 928 1 0 1834 29 0 0 20 0 2 0 869248661 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2811/statm: 135572 69413 1872 364 0 70459 0
[pid=2843] ppid=2811 vsize=532044 CPUtime=0.01 cores=0,2,4,6
/proc/2843/stat : 2843 (python) S 2811 2811 2587 0 -1 4202560 755 0 0 0 0 1 0 0 18 0 1 0 869250558 544813056 67888 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970570255 0 0 16781312 33554946 5447612793123471619 0 0 17 0 0 0 0
/proc/2843/statm: 133011 67888 351 364 0 67898 0
[pid=2845] ppid=2843 vsize=8538696 CPUtime=1.75 cores=0,2,4,6
/proc/2845/stat : 2845 (java) S 2843 2845 2845 0 -1 4202496 55307 0 1 0 168 7 0 0 20 0 18 0 869250559 8743624704 53432 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2845/statm: 2134674 53434 2222 9 0 2125415 0
[pid=2845/tid=2846] ppid=2843 vsize=8538696 CPUtime=1.17 cores=0,2,4,6
/proc/2845/task/2846/stat : 2846 (java) R 2843 2845 2845 0 -1 4202560 45584 0 1 0 112 5 0 0 18 0 18 0 869250562 8743624704 53436 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 46912505631342 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2845/tid=2847] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2847/stat : 2847 (java) S 2843 2845 2845 0 -1 4202560 1387 0 0 0 1 0 0 0 16 0 18 0 869250562 8743624704 53439 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2848] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2848/stat : 2848 (java) S 2843 2845 2845 0 -1 4202560 966 0 0 0 1 0 0 0 16 0 18 0 869250562 8743624704 53441 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2849] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2849/stat : 2849 (java) S 2843 2845 2845 0 -1 4202560 946 0 0 0 1 0 0 0 16 0 18 0 869250562 8743624704 53444 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2850] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2850/stat : 2850 (java) S 2843 2845 2845 0 -1 4202560 309 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 53447 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2859] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2859/stat : 2859 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 53450 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2860] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2860/stat : 2860 (java) S 2843 2845 2845 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 53453 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2861] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2861/stat : 2861 (java) S 2843 2845 2845 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 53455 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2862] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2862/stat : 2862 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 869250562 8743624704 53458 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2863] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2863/stat : 2863 (java) S 2843 2845 2845 0 -1 4202560 70 0 0 0 0 0 0 0 17 0 18 0 869250563 8743624704 53461 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 0 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2864] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2864/stat : 2864 (java) S 2843 2845 2845 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869250564 8743624704 53464 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2865] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2865/stat : 2865 (java) S 2843 2845 2845 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869250564 8743624704 53466 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2866] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2866/stat : 2866 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8743624704 53469 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982373809 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2867] ppid=2843 vsize=8538696 CPUtime=0.24 cores=0,2,4,6
/proc/2845/task/2867/stat : 2867 (java) S 2843 2845 2845 0 -1 4202560 1964 0 0 0 24 0 0 0 25 0 18 0 869250566 8743624704 53472 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2868] ppid=2843 vsize=8538696 CPUtime=0.25 cores=0,2,4,6
/proc/2845/task/2868/stat : 2868 (java) S 2843 2845 2845 0 -1 4202560 2707 0 0 0 25 0 0 0 17 0 18 0 869250566 8743624704 53475 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2869] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2869/stat : 2869 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8743624704 53477 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2870] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2870/stat : 2870 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869250566 8743624704 53480 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2811/tid=2844] ppid=2809 vsize=542288 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2844/stat : 2844 (python) S 2809 2811 2587 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 2 0 869250559 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982373809 0 0 16781312 33554434 18446604446773856256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 9613028
Solver just ended. Dumping a history of the last processes samples
[startup+23.2016 s]
/proc/loadavg: 5.21 2.06 0.77 3/571 2870
/proc/meminfo: memFree=15452552/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=542288 CPUtime=18.63 cores=0,2,4,6
/proc/2811/stat : 2811 (python) S 2809 2811 2587 0 -1 4202496 112682 928 1 0 1834 29 0 0 20 0 2 0 869248661 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2811/statm: 135572 69413 1872 364 0 70459 0
[pid=2843] ppid=2811 vsize=532044 CPUtime=0.03 cores=0,2,4,6
/proc/2843/stat : 2843 (python) S 2811 2811 2587 0 -1 4202560 887 0 0 0 1 2 0 0 18 0 1 0 869250558 544813056 67912 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970570255 0 0 16781312 33554946 8055242950700925187 0 0 17 0 0 0 0
/proc/2843/statm: 133011 67912 375 364 0 67898 0
[pid=2845] ppid=2843 vsize=8538696 CPUtime=5.11 cores=0,2,4,6
/proc/2845/stat : 2845 (java) S 2843 2845 2845 0 -1 4202496 165382 0 1 0 489 22 0 0 20 0 18 0 869250559 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2845/statm: 2134674 163394 2224 9 0 2125415 0
[pid=2845/tid=2846] ppid=2843 vsize=8538696 CPUtime=3.95 cores=0,2,4,6
/proc/2845/task/2846/stat : 2846 (java) R 2843 2845 2845 0 -1 4202560 123551 0 1 0 379 16 0 0 22 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 46912505506882 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2845/tid=2847] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2847/stat : 2847 (java) S 2843 2845 2845 0 -1 4202560 1387 0 0 0 1 0 0 0 15 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2848] ppid=2843 vsize=8538696 CPUtime=0.11 cores=0,2,4,6
/proc/2845/task/2848/stat : 2848 (java) S 2843 2845 2845 0 -1 4202560 7049 0 0 0 11 0 0 0 16 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2849] ppid=2843 vsize=8538696 CPUtime=0.04 cores=0,2,4,6
/proc/2845/task/2849/stat : 2849 (java) S 2843 2845 2845 0 -1 4202560 3177 0 0 0 4 0 0 0 15 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2850] ppid=2843 vsize=8538696 CPUtime=0.06 cores=0,2,4,6
/proc/2845/task/2850/stat : 2850 (java) S 2843 2845 2845 0 -1 4202560 3625 0 0 0 6 0 0 0 16 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2859] ppid=2843 vsize=8538696 CPUtime=0.04 cores=0,2,4,6
/proc/2845/task/2859/stat : 2859 (java) S 2843 2845 2845 0 -1 4202560 2500 0 0 0 4 0 0 0 16 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2860] ppid=2843 vsize=8538696 CPUtime=0.16 cores=0,2,4,6
/proc/2845/task/2860/stat : 2860 (java) S 2843 2845 2845 0 -1 4202560 9595 0 0 0 15 1 0 0 16 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2861] ppid=2843 vsize=8538696 CPUtime=0.12 cores=0,2,4,6
/proc/2845/task/2861/stat : 2861 (java) S 2843 2845 2845 0 -1 4202560 7332 0 0 0 12 0 0 0 16 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2862] ppid=2843 vsize=8538696 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2862/stat : 2862 (java) S 2843 2845 2845 0 -1 4202560 645 0 0 0 1 0 0 0 15 0 18 0 869250562 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2863] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2863/stat : 2863 (java) S 2843 2845 2845 0 -1 4202560 477 0 0 0 0 0 0 0 15 0 18 0 869250563 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 0 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2864] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2864/stat : 2864 (java) S 2843 2845 2845 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869250564 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2865] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2865/stat : 2865 (java) S 2843 2845 2845 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869250564 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2866] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2866/stat : 2866 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982373809 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2867] ppid=2843 vsize=8538696 CPUtime=0.25 cores=0,2,4,6
/proc/2845/task/2867/stat : 2867 (java) S 2843 2845 2845 0 -1 4202560 1966 0 0 0 25 0 0 0 17 0 18 0 869250566 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2868] ppid=2843 vsize=8538696 CPUtime=0.25 cores=0,2,4,6
/proc/2845/task/2868/stat : 2868 (java) S 2843 2845 2845 0 -1 4202560 2707 0 0 0 25 0 0 0 17 0 18 0 869250566 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2869] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2869/stat : 2869 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2870] ppid=2843 vsize=8538696 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2870/stat : 2870 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869250566 8743624704 163394 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2811/tid=2844] ppid=2809 vsize=542288 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2844/stat : 2844 (python) S 2809 2811 2587 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 2 0 869250559 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982373809 0 0 16781312 33554434 18446604446773856256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 9613028
[startup+24.0015 s]
/proc/loadavg: 5.21 2.06 0.77 3/572 2872
/proc/meminfo: memFree=15195864/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=542288 CPUtime=18.63 cores=0,2,4,6
/proc/2811/stat : 2811 (python) S 2809 2811 2587 0 -1 4202496 112682 928 1 0 1834 29 0 0 20 0 2 0 869248661 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2811/statm: 135572 69413 1872 364 0 70459 0
[pid=2843] ppid=2811 vsize=532044 CPUtime=0.03 cores=0,2,4,6
/proc/2843/stat : 2843 (python) S 2811 2811 2587 0 -1 4202560 887 0 0 0 1 2 0 0 18 0 1 0 869250558 544813056 67912 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970570255 0 0 16781312 33554946 8055242950700925187 0 0 17 0 0 0 0
/proc/2843/statm: 133011 67912 375 364 0 67898 0
[pid=2845] ppid=2843 vsize=8540928 CPUtime=6.18 cores=0,2,4,6
/proc/2845/stat : 2845 (java) S 2843 2845 2845 0 -1 4202496 170704 0 1 0 595 23 0 0 20 0 18 0 869250559 8745910272 166984 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2845/statm: 2135232 166986 2232 9 0 2125973 0
[pid=2845/tid=2846] ppid=2843 vsize=8540928 CPUtime=4.76 cores=0,2,4,6
/proc/2845/task/2846/stat : 2846 (java) R 2843 2845 2845 0 -1 4202560 124930 0 1 0 459 17 0 0 25 0 18 0 869250562 8745910272 166989 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 46912505543451 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2845/tid=2847] ppid=2843 vsize=8540928 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2847/stat : 2847 (java) S 2843 2845 2845 0 -1 4202560 1387 0 0 0 1 0 0 0 15 0 18 0 869250562 8745910272 166992 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2848] ppid=2843 vsize=8540928 CPUtime=0.11 cores=0,2,4,6
/proc/2845/task/2848/stat : 2848 (java) S 2843 2845 2845 0 -1 4202560 7049 0 0 0 11 0 0 0 16 0 18 0 869250562 8745910272 166994 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2849] ppid=2843 vsize=8540928 CPUtime=0.04 cores=0,2,4,6
/proc/2845/task/2849/stat : 2849 (java) S 2843 2845 2845 0 -1 4202560 3177 0 0 0 4 0 0 0 15 0 18 0 869250562 8745910272 166994 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2850] ppid=2843 vsize=8540928 CPUtime=0.06 cores=0,2,4,6
/proc/2845/task/2850/stat : 2850 (java) S 2843 2845 2845 0 -1 4202560 3625 0 0 0 6 0 0 0 16 0 18 0 869250562 8745910272 166994 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2859] ppid=2843 vsize=8540928 CPUtime=0.04 cores=0,2,4,6
/proc/2845/task/2859/stat : 2859 (java) S 2843 2845 2845 0 -1 4202560 2500 0 0 0 4 0 0 0 16 0 18 0 869250562 8745910272 166997 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2860] ppid=2843 vsize=8540928 CPUtime=0.16 cores=0,2,4,6
/proc/2845/task/2860/stat : 2860 (java) S 2843 2845 2845 0 -1 4202560 9595 0 0 0 15 1 0 0 16 0 18 0 869250562 8745910272 166998 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2861] ppid=2843 vsize=8540928 CPUtime=0.12 cores=0,2,4,6
/proc/2845/task/2861/stat : 2861 (java) S 2843 2845 2845 0 -1 4202560 7332 0 0 0 12 0 0 0 16 0 18 0 869250562 8745910272 167000 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2862] ppid=2843 vsize=8540928 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2862/stat : 2862 (java) S 2843 2845 2845 0 -1 4202560 645 0 0 0 1 0 0 0 15 0 18 0 869250562 8745910272 167003 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2863] ppid=2843 vsize=8540928 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2863/stat : 2863 (java) S 2843 2845 2845 0 -1 4202560 477 0 0 0 0 0 0 0 15 0 18 0 869250563 8745910272 167005 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 0 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2864] ppid=2843 vsize=8540928 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2864/stat : 2864 (java) S 2843 2845 2845 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869250564 8745910272 167005 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2865] ppid=2843 vsize=8540928 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2865/stat : 2865 (java) S 2843 2845 2845 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869250564 8745910272 167005 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2866] ppid=2843 vsize=8540928 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2866/stat : 2866 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8745910272 167007 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982373809 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2867] ppid=2843 vsize=8540928 CPUtime=0.42 cores=0,2,4,6
/proc/2845/task/2867/stat : 2867 (java) R 2843 2845 2845 0 -1 4202560 5540 0 0 0 42 0 0 0 16 0 18 0 869250566 8745910272 167010 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 47149394914944 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2845/tid=2868] ppid=2843 vsize=8540928 CPUtime=0.34 cores=0,2,4,6
/proc/2845/task/2868/stat : 2868 (java) S 2843 2845 2845 0 -1 4202560 3081 0 0 0 34 0 0 0 16 0 18 0 869250566 8745910272 167013 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2869] ppid=2843 vsize=8540928 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2869/stat : 2869 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869250566 8745910272 167015 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2870] ppid=2843 vsize=8540928 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2870/stat : 2870 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869250566 8745910272 167015 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2811/tid=2844] ppid=2809 vsize=542288 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2844/stat : 2844 (python) S 2809 2811 2587 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 2 0 869250559 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982373809 0 0 16781312 33554434 18446604446773856256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.84
Current children cumulated vsize (KiB) 9615260
[startup+24.8014 s]
/proc/loadavg: 5.21 2.06 0.77 5/547 2875
/proc/meminfo: memFree=16222164/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=542288 CPUtime=18.63 cores=0,2,4,6
/proc/2811/stat : 2811 (python) S 2809 2811 2587 0 -1 4202496 112682 928 1 0 1834 29 0 0 20 0 2 0 869248661 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2811/statm: 135572 69413 1872 364 0 70459 0
[pid=2843] ppid=2811 vsize=532044 CPUtime=0.03 cores=0,2,4,6
/proc/2843/stat : 2843 (python) S 2811 2811 2587 0 -1 4202560 887 0 0 0 1 2 0 0 18 0 1 0 869250558 544813056 67912 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970570255 0 0 16781312 33554946 3188819677463707648 0 0 17 0 0 0 0
/proc/2843/statm: 133011 67912 375 364 0 67898 0
[pid=2845] ppid=2843 vsize=8546092 CPUtime=7.87 cores=0,2,4,6
/proc/2845/stat : 2845 (java) S 2843 2845 2845 0 -1 4202496 228859 0 1 0 756 31 0 0 20 0 19 0 869250559 8751198208 224834 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2845/statm: 2136523 224836 2245 9 0 2127264 0
[pid=2845/tid=2846] ppid=2843 vsize=8546092 CPUtime=5.56 cores=0,2,4,6
/proc/2845/task/2846/stat : 2846 (java) R 2843 2845 2845 0 -1 4202560 181491 0 1 0 531 25 0 0 18 0 19 0 869250562 8751198208 224837 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 46912505949194 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2845/tid=2847] ppid=2843 vsize=8546092 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2847/stat : 2847 (java) S 2843 2845 2845 0 -1 4202560 1387 0 0 0 1 0 0 0 15 0 19 0 869250562 8751198208 224838 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2848] ppid=2843 vsize=8546092 CPUtime=0.11 cores=0,2,4,6
/proc/2845/task/2848/stat : 2848 (java) S 2843 2845 2845 0 -1 4202560 7049 0 0 0 11 0 0 0 16 0 19 0 869250562 8751198208 224838 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2849] ppid=2843 vsize=8546092 CPUtime=0.04 cores=0,2,4,6
/proc/2845/task/2849/stat : 2849 (java) S 2843 2845 2845 0 -1 4202560 3177 0 0 0 4 0 0 0 15 0 19 0 869250562 8751198208 224839 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2850] ppid=2843 vsize=8546092 CPUtime=0.06 cores=0,2,4,6
/proc/2845/task/2850/stat : 2850 (java) S 2843 2845 2845 0 -1 4202560 3625 0 0 0 6 0 0 0 16 0 19 0 869250562 8751198208 224839 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2859] ppid=2843 vsize=8546092 CPUtime=0.04 cores=0,2,4,6
/proc/2845/task/2859/stat : 2859 (java) S 2843 2845 2845 0 -1 4202560 2500 0 0 0 4 0 0 0 16 0 19 0 869250562 8751198208 224839 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2860] ppid=2843 vsize=8546092 CPUtime=0.16 cores=0,2,4,6
/proc/2845/task/2860/stat : 2860 (java) S 2843 2845 2845 0 -1 4202560 9595 0 0 0 15 1 0 0 16 0 19 0 869250562 8751198208 224840 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2861] ppid=2843 vsize=8546092 CPUtime=0.12 cores=0,2,4,6
/proc/2845/task/2861/stat : 2861 (java) S 2843 2845 2845 0 -1 4202560 7332 0 0 0 12 0 0 0 16 0 19 0 869250562 8751198208 224842 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2862] ppid=2843 vsize=8546092 CPUtime=0.01 cores=0,2,4,6
/proc/2845/task/2862/stat : 2862 (java) S 2843 2845 2845 0 -1 4202560 645 0 0 0 1 0 0 0 15 0 19 0 869250562 8751198208 224842 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2863] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2863/stat : 2863 (java) S 2843 2845 2845 0 -1 4202560 478 0 0 0 0 0 0 0 15 0 19 0 869250563 8751198208 224842 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 0 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2864] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2864/stat : 2864 (java) S 2843 2845 2845 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869250564 8751198208 224842 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2865] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2865/stat : 2865 (java) S 2843 2845 2845 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869250564 8751198208 224842 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2866] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2866/stat : 2866 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869250566 8751198208 224842 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982373809 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2867] ppid=2843 vsize=8546092 CPUtime=0.87 cores=0,2,4,6
/proc/2845/task/2867/stat : 2867 (java) S 2843 2845 2845 0 -1 4202560 5866 0 0 0 87 0 0 0 15 0 19 0 869250566 8751198208 224843 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2868] ppid=2843 vsize=8546092 CPUtime=0.77 cores=0,2,4,6
/proc/2845/task/2868/stat : 2868 (java) S 2843 2845 2845 0 -1 4202560 4339 0 0 0 77 0 0 0 15 0 19 0 869250566 8751198208 224845 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2845/tid=2869] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2869/stat : 2869 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869250566 8751198208 224845 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366105 0 4 0 16800975 18446604444908574016 0 0 -1 4 0 0 0
[pid=2845/tid=2870] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2870/stat : 2870 (java) S 2843 2845 2845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869250566 8751198208 224845 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 4 0 16800975 18446604444908574016 0 0 -1 0 0 0 0
[pid=2845/tid=2875] ppid=2843 vsize=8546092 CPUtime=0 cores=0,2,4,6
/proc/2845/task/2875/stat : 2875 (java) S 2843 2845 2845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869251071 8751198208 224848 33554432000 1073741824 1073778376 140734908304144 18446744073709551615 242982366720 0 4 0 16800975 18446604444908574016 0 0 -1 6 0 0 0
[pid=2811/tid=2844] ppid=2809 vsize=542288 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2844/stat : 2844 (python) S 2809 2811 2587 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 2 0 869250559 555302912 69413 33554432000 4194304 5683644 140737345869440 18446744073709551615 242982373809 0 0 16781312 33554434 18446604446773856256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.53
Current children cumulated vsize (KiB) 9620424
[startup+25.0014 s]
/proc/loadavg: 5.21 2.06 0.77 5/547 2875
/proc/meminfo: memFree=16222164/32951132 swapFree=45426552/67111528
[pid=2811] ppid=2809 vsize=517628 CPUtime=26.83 cores=0,2,4,6
/proc/2811/stat : 2811 (python) R 2809 2811 2587 0 -1 4202496 128971 236680 1 1 1836 30 778 39 17 0 1 0 869248661 530051072 63252 33554432000 4194304 5683644 140737345869440 18446744073709551615 242970205623 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/2811/statm: 129407 63252 1870 364 0 64300 0
Current children cumulated CPU time (s) 26.83
Current children cumulated vsize (KiB) 517628
Child status: 0
Real time (s): 25.0416
CPU time (s): 26.8889
CPU user time (s): 26.164
CPU system time (s): 0.724889
CPU usage (%): 107.377
Max. virtual memory (cumulated for all children) (KiB): 9621452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.164
system time used= 0.724889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377156
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7142
involuntary context switches= 328
runsolver used 0.049992 second user time and 0.114982 second system time
The end