runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3377211-1305451360/watcher-3377211-1305451360 -o /tmp/evaluation-result-3377211-1305451360/solver-3377211-1305451360 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3377211-1305451360.cnf -seed 718033468 -budget 2400
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.60 3.20 3.74 5/358 25874
/proc/meminfo: memFree=25015240/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=6240 CPUtime=0 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4194304 96 0 2 0 0 0 0 0 18 0 1 0 735366726 6389760 51 33554432000 4194304 5683644 140735696286160 18446744073709551615 251362623111 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/25874/statm: 1560 51 40 364 0 42 0
[startup+0.0867581 s]
/proc/loadavg: 1.60 3.20 3.74 5/358 25874
/proc/meminfo: memFree=25015240/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=16400 CPUtime=0.02 cores=5,7
/proc/25874/stat : 25874 (python) R 25872 25874 24847 0 -1 4202496 1154 0 6 0 1 1 0 0 17 0 1 0 735366726 16793600 1027 33554432000 4194304 5683644 140735696286160 18446744073709551615 4570857 0 0 16781312 2 0 0 0 17 5 0 0 2
/proc/25874/statm: 4099 1028 413 364 0 586 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400
[startup+0.100751 s]
/proc/loadavg: 1.60 3.20 3.74 5/358 25874
/proc/meminfo: memFree=25015240/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=16812 CPUtime=0.02 cores=5,7
/proc/25874/stat : 25874 (python) R 25872 25874 24847 0 -1 4202496 1222 0 6 0 1 1 0 0 17 0 1 0 735366726 17215488 1086 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367544832 0 2147483391 16781312 2 0 0 0 17 5 0 0 2
/proc/25874/statm: 4203 1086 417 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16812
[startup+0.300732 s]
/proc/loadavg: 1.60 3.20 3.74 5/358 25874
/proc/meminfo: memFree=25015240/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=50012 CPUtime=0.08 cores=5,7
/proc/25874/stat : 25874 (python) R 25872 25874 24847 0 -1 4202496 1938 0 15 0 3 5 0 0 16 0 1 0 735366726 51212288 1717 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367590023 0 0 16781312 2 0 0 0 17 5 0 0 4
/proc/25874/statm: 12503 1717 476 364 0 1203 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50012
[startup+0.700624 s]
/proc/loadavg: 1.60 3.20 3.74 5/358 25874
/proc/meminfo: memFree=25015240/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=115428 CPUtime=0.2 cores=5,7
/proc/25874/stat : 25874 (python) R 25872 25874 24847 0 -1 4202496 3563 0 29 0 7 13 0 0 16 0 1 0 735366726 118198272 3235 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367542629 0 0 16781312 2 0 0 0 17 5 0 0 9
/proc/25874/statm: 28857 3235 889 364 0 2358 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 115428
[startup+1.50053 s]
/proc/loadavg: 1.79 3.21 3.74 2/371 25906
/proc/meminfo: memFree=24927840/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=187740 CPUtime=0.5 cores=5,7
/proc/25874/stat : 25874 (python) D 25872 25874 24847 0 -1 4202496 6717 926 54 8 19 31 0 0 17 0 1 0 735366726 192245760 4827 33554432000 4194304 5683644 140735696286160 18446744073709551615 251362627267 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 18
/proc/25874/statm: 46935 4827 1349 364 0 3723 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 187740
[startup+3.1002 s]
/proc/loadavg: 1.79 3.21 3.74 4/371 25906
/proc/meminfo: memFree=24869296/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=291468 CPUtime=1.64 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 11726 926 98 8 122 42 0 0 17 0 2 0 735366726 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 27
/proc/25874/statm: 72867 7732 1869 364 0 8785 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 291468
heavy processes:
[startup+6.30062 s]
/proc/loadavg: 1.79 3.21 3.74 5/377 25912
/proc/meminfo: memFree=24760888/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=291468 CPUtime=1.64 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 11726 926 98 8 122 42 0 0 17 0 2 0 735366726 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 27
/proc/25874/statm: 72867 7732 1869 364 0 8785 0
[pid=25907] ppid=25874 vsize=281224 CPUtime=0 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 1 0 735367029 287973376 6213 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566863 0 0 16781312 514 1307224496842703110 0 0 17 7 0 0 0
/proc/25907/statm: 70306 6213 354 364 0 6224 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=3.26 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) R 25907 25909 25909 0 -1 4202496 772 0 0 0 326 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134525278 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25874/tid=25908] ppid=25872 vsize=291468 CPUtime=0 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 926 0 8 0 0 0 0 18 0 2 0 735367029 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 1591368
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 2.35 3.28 3.75 6/380 25915
/proc/meminfo: memFree=24729332/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=291468 CPUtime=1.64 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 11726 926 98 8 122 42 0 0 17 0 2 0 735366726 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 27
/proc/25874/statm: 72867 7732 1869 364 0 8785 0
[pid=25907] ppid=25874 vsize=281224 CPUtime=0 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 973 0 0 0 0 0 0 0 15 0 1 0 735367029 287973376 6241 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566863 0 0 16781312 514 1307224496842703110 0 0 17 7 0 0 0
/proc/25907/statm: 70306 6241 382 364 0 6224 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=9.66 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) R 25907 25909 25909 0 -1 4202496 772 0 0 0 966 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134545619 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25874/tid=25908] ppid=25872 vsize=291468 CPUtime=0 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 926 0 8 0 0 0 0 18 0 2 0 735367029 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.3
Current children cumulated vsize (KiB) 1591368
[startup+25.5011 s]
/proc/loadavg: 2.60 3.31 3.76 5/383 25919
/proc/meminfo: memFree=24696980/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=291468 CPUtime=1.64 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 11726 926 98 8 122 42 0 0 17 0 2 0 735366726 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 27
/proc/25874/statm: 72867 7732 1869 364 0 8785 0
[pid=25907] ppid=25874 vsize=281224 CPUtime=0.05 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 986 0 0 0 2 3 0 0 15 0 1 0 735367029 287973376 6241 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566863 0 0 16781312 514 15588524014887207174 0 0 17 7 0 0 0
/proc/25907/statm: 70306 6241 382 364 0 6224 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=22.46 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) R 25907 25909 25909 0 -1 4202496 772 0 0 0 2246 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134544252 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25874/tid=25908] ppid=25872 vsize=291468 CPUtime=0 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 926 0 8 0 0 0 0 18 0 2 0 735367029 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 1591368
[startup+51.1003 s]
/proc/loadavg: 3.08 3.36 3.76 6/383 25919
/proc/meminfo: memFree=24697148/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=291468 CPUtime=1.64 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 11726 926 98 8 122 42 0 0 17 0 2 0 735366726 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 27
/proc/25874/statm: 72867 7732 1869 364 0 8785 0
[pid=25907] ppid=25874 vsize=281224 CPUtime=0.12 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 998 0 0 0 7 5 0 0 15 0 1 0 735367029 287973376 6241 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566863 0 0 16781312 514 15588524014887207174 0 0 17 7 0 0 0
/proc/25907/statm: 70306 6241 382 364 0 6224 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=48.06 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) R 25907 25909 25909 0 -1 4202496 772 0 0 0 4806 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524734 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25874/tid=25908] ppid=25872 vsize=291468 CPUtime=0 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 926 0 8 0 0 0 0 18 0 2 0 735367029 298463232 7732 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (KiB) 1591368
[startup+102.314 s]
/proc/loadavg: 3.63 3.47 3.77 5/387 25925
/proc/meminfo: memFree=24690788/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=301724 CPUtime=1.65 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 12625 926 98 8 123 42 0 0 20 0 3 0 735366726 308965376 7764 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 75431 7764 1880 364 0 11346 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25923] ppid=25874 vsize=291480 CPUtime=0 cores=5,7
/proc/25923/stat : 25923 (python) S 25874 25874 24847 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 1 0 735376761 298475520 6228 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 2539345473265697029 0 0 17 7 0 0 0
/proc/25923/statm: 72870 6228 348 364 0 8785 0
[pid=25925] ppid=25923 vsize=1018676 CPUtime=1.94 cores=5,7
/proc/25925/stat : 25925 (gnovelty+2) R 25923 25925 25925 0 -1 4202496 771 0 0 0 194 0 0 0 25 0 1 0 735376762 1043124224 508 33554432000 134512640 135663704 4289265184 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25925/statm: 254669 508 113 282 0 254385 0
[pid=25874/tid=25908] ppid=25872 vsize=301724 CPUtime=0 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 926 0 8 0 0 0 0 18 0 3 0 735367029 308965376 7764 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=301724 CPUtime=0 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 926 0 8 0 0 0 0 20 0 3 0 735376762 308965376 7764 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 2922024
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 3.69 3.48 3.77 6/395 25933
/proc/meminfo: memFree=24647420/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=301724 CPUtime=1.65 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 12625 926 98 8 123 42 0 0 20 0 3 0 735366726 308965376 7764 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 75431 7764 1880 364 0 11346 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25923] ppid=25874 vsize=291480 CPUtime=0.03 cores=5,7
/proc/25923/stat : 25923 (python) S 25874 25874 24847 0 -1 4202560 902 0 0 0 1 2 0 0 18 0 1 0 735376761 298475520 6251 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 15588524014887207173 0 0 17 7 0 0 0
/proc/25923/statm: 72870 6251 371 364 0 8785 0
[pid=25925] ppid=25923 vsize=1018676 CPUtime=14.73 cores=5,7
/proc/25925/stat : 25925 (gnovelty+2) R 25923 25925 25925 0 -1 4202496 771 0 0 0 1473 0 0 0 25 0 1 0 735376762 1043124224 508 33554432000 134512640 135663704 4289265184 18446744073709551615 134525286 0 0 16781312 0 0 0 0 17 5 0 0 0
################
# More data... #
################
[pid=25874] ppid=25872 vsize=312588 CPUtime=22.96 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 13503 2838 98 8 124 42 2126 4 20 0 4 0 735366726 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 78147 7905 1882 364 0 14059 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25939] ppid=25874 vsize=302344 CPUtime=0.01 cores=5,7
/proc/25939/stat : 25939 (python) S 25874 25874 24847 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 735378889 309600256 6390 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 4498238412968395015 0 0 17 5 0 0 0
/proc/25939/statm: 75586 6390 370 364 0 11498 0
[pid=25941] ppid=25939 vsize=419584 CPUtime=6.24 cores=5,7
/proc/25941/stat : 25941 (adaptg2wsat2009) R 25939 25941 25941 0 -1 4202496 1471 0 0 0 624 0 0 0 25 0 1 0 735378889 429654016 1205 33554432000 134512640 135107411 4294743616 18446744073709551615 134531582 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25941/statm: 104896 1205 59 146 0 103772 0
[pid=25874/tid=25908] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 2838 0 8 0 0 2126 4 18 0 4 0 735367029 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 2838 0 8 0 0 2126 4 20 0 4 0 735376762 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
[pid=25874/tid=25940] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25940/stat : 25940 (python) S 25872 25874 24847 0 -1 4202560 27 2838 0 8 0 0 2126 4 20 0 4 0 735378889 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 126.79
Current children cumulated vsize (KiB) 2344660
[startup+134.301 s]
/proc/loadavg: 3.77 3.52 3.78 5/400 25942
/proc/meminfo: memFree=24602492/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=312588 CPUtime=22.96 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 13503 2838 98 8 124 42 2126 4 20 0 4 0 735366726 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 78147 7905 1882 364 0 14059 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25939] ppid=25874 vsize=302344 CPUtime=0.03 cores=5,7
/proc/25939/stat : 25939 (python) S 25874 25874 24847 0 -1 4202560 918 0 0 0 1 2 0 0 18 0 1 0 735378889 309600256 6390 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 14615764087561224455 0 0 17 5 0 0 0
/proc/25939/statm: 75586 6390 370 364 0 11498 0
[pid=25941] ppid=25939 vsize=419584 CPUtime=12.63 cores=5,7
/proc/25941/stat : 25941 (adaptg2wsat2009) R 25939 25941 25941 0 -1 4202496 1471 0 0 0 1263 0 0 0 25 0 1 0 735378889 429654016 1205 33554432000 134512640 135107411 4294743616 18446744073709551615 134531582 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25941/statm: 104896 1205 59 146 0 103772 0
[pid=25874/tid=25908] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 2838 0 8 0 0 2126 4 18 0 4 0 735367029 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 2838 0 8 0 0 2126 4 20 0 4 0 735376762 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
[pid=25874/tid=25940] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25940/stat : 25940 (python) S 25872 25874 24847 0 -1 4202560 27 2838 0 8 0 0 2126 4 20 0 4 0 735378889 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 133.2
Current children cumulated vsize (KiB) 2344660
[startup+135.901 s]
/proc/loadavg: 3.77 3.52 3.78 6/400 25942
/proc/meminfo: memFree=24602364/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=312588 CPUtime=22.96 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 13503 2838 98 8 124 42 2126 4 20 0 4 0 735366726 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 78147 7905 1882 364 0 14059 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25939] ppid=25874 vsize=302344 CPUtime=0.03 cores=5,7
/proc/25939/stat : 25939 (python) S 25874 25874 24847 0 -1 4202560 918 0 0 0 1 2 0 0 18 0 1 0 735378889 309600256 6390 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 14615764087561224455 0 0 17 5 0 0 0
/proc/25939/statm: 75586 6390 370 364 0 11498 0
[pid=25941] ppid=25939 vsize=419584 CPUtime=14.22 cores=5,7
/proc/25941/stat : 25941 (adaptg2wsat2009) R 25939 25941 25941 0 -1 4202496 1471 0 0 0 1422 0 0 0 25 0 1 0 735378889 429654016 1205 33554432000 134512640 135107411 4294743616 18446744073709551615 134531613 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25941/statm: 104896 1205 59 146 0 103772 0
[pid=25874/tid=25908] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 2838 0 8 0 0 2126 4 18 0 4 0 735367029 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 2838 0 8 0 0 2126 4 20 0 4 0 735376762 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
[pid=25874/tid=25940] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25940/stat : 25940 (python) S 25872 25874 24847 0 -1 4202560 27 2838 0 8 0 0 2126 4 20 0 4 0 735378889 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 134.79
Current children cumulated vsize (KiB) 2344660
[startup+137.514 s]
/proc/loadavg: 3.79 3.52 3.78 5/400 25942
/proc/meminfo: memFree=24602364/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=312588 CPUtime=22.96 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 13503 2838 98 8 124 42 2126 4 20 0 4 0 735366726 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 78147 7905 1882 364 0 14059 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25939] ppid=25874 vsize=302344 CPUtime=0.03 cores=5,7
/proc/25939/stat : 25939 (python) S 25874 25874 24847 0 -1 4202560 918 0 0 0 1 2 0 0 18 0 1 0 735378889 309600256 6390 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 14615764087561224455 0 0 17 5 0 0 0
/proc/25939/statm: 75586 6390 370 364 0 11498 0
[pid=25941] ppid=25939 vsize=419584 CPUtime=15.84 cores=5,7
/proc/25941/stat : 25941 (adaptg2wsat2009) R 25939 25941 25941 0 -1 4202496 1471 0 0 0 1584 0 0 0 25 0 1 0 735378889 429654016 1205 33554432000 134512640 135107411 4294743616 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25941/statm: 104896 1205 59 146 0 103772 0
[pid=25874/tid=25908] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 2838 0 8 0 0 2126 4 18 0 4 0 735367029 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 2838 0 8 0 0 2126 4 20 0 4 0 735376762 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
[pid=25874/tid=25940] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25940/stat : 25940 (python) S 25872 25874 24847 0 -1 4202560 27 2838 0 8 0 0 2126 4 20 0 4 0 735378889 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 136.41
Current children cumulated vsize (KiB) 2344660
[startup+138.301 s]
/proc/loadavg: 3.79 3.52 3.78 5/400 25942
/proc/meminfo: memFree=24602364/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=312588 CPUtime=22.96 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 13503 2838 98 8 124 42 2126 4 20 0 4 0 735366726 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 78147 7905 1882 364 0 14059 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25939] ppid=25874 vsize=302344 CPUtime=0.04 cores=5,7
/proc/25939/stat : 25939 (python) S 25874 25874 24847 0 -1 4202560 921 0 0 0 2 2 0 0 18 0 1 0 735378889 309600256 6390 33554432000 4194304 5683644 140735696286160 18446744073709551615 251367566918 0 0 16781312 514 14615764087561224455 0 0 17 5 0 0 0
/proc/25939/statm: 75586 6390 370 364 0 11498 0
[pid=25941] ppid=25939 vsize=419584 CPUtime=16.61 cores=5,7
/proc/25941/stat : 25941 (adaptg2wsat2009) R 25939 25941 25941 0 -1 4202496 1471 0 0 0 1661 0 0 0 25 0 1 0 735378889 429654016 1205 33554432000 134512640 135107411 4294743616 18446744073709551615 134531246 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25941/statm: 104896 1205 59 146 0 103772 0
[pid=25874/tid=25908] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 2838 0 8 0 0 2126 4 18 0 4 0 735367029 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 2838 0 8 0 0 2126 4 20 0 4 0 735376762 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
[pid=25874/tid=25940] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25940/stat : 25940 (python) S 25872 25874 24847 0 -1 4202560 27 2838 0 8 0 0 2126 4 20 0 4 0 735378889 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 137.19
Current children cumulated vsize (KiB) 2344660
[startup+138.701 s]
/proc/loadavg: 3.79 3.52 3.78 5/400 25942
/proc/meminfo: memFree=24602364/32950928 swapFree=38710892/67111528
[pid=25874] ppid=25872 vsize=312588 CPUtime=22.96 cores=5,7
/proc/25874/stat : 25874 (python) S 25872 25874 24847 0 -1 4202496 13503 2838 98 8 124 42 2126 4 20 0 4 0 735366726 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 27
/proc/25874/statm: 78147 7905 1882 364 0 14059 0
[pid=25907] ppid=25874 vsize=291468 CPUtime=0.27 cores=5,7
/proc/25907/stat : 25907 (python) S 25874 25874 24847 0 -1 4202560 1158 0 0 0 14 13 0 0 17 0 2 0 735367029 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25907/statm: 72867 6279 415 364 0 8785 0
[pid=25909] ppid=25907 vsize=1018676 CPUtime=97.31 cores=5,7
/proc/25909/stat : 25909 (gnovelty+2) T 25907 25909 25909 0 -1 4202496 772 0 0 0 9731 0 0 0 25 0 1 0 735367029 1043124224 508 33554432000 134512640 135663704 4290322176 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25909/statm: 254669 508 113 282 0 254385 0
[pid=25907/tid=25922] ppid=25874 vsize=291468 CPUtime=0 cores=5,7
/proc/25907/task/25922/stat : 25922 (python) S 25874 25874 24847 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 735376760 298463232 6279 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 514 18446604440332153280 0 0 -1 7 0 0 0
[pid=25939] ppid=25874 vsize=302344 CPUtime=0.12 cores=5,7
/proc/25939/stat : 25939 (python) R 25874 25874 24847 0 -1 4202560 930 0 0 0 8 4 0 0 18 0 1 0 735378889 309600256 6390 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379376959 0 0 16781312 514 0 0 0 17 5 0 0 0
/proc/25939/statm: 75586 6390 370 364 0 11498 0
[pid=25941] ppid=25939 vsize=0 CPUtime=16.93 cores=5,7
/proc/25941/stat : 25941 (adaptg2wsat2009) R 25939 25941 25941 0 -1 4202500 1484 0 0 0 1693 0 0 0 25 0 1 0 735378889 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/25941/statm: 0 0 0 0 0 0 0
[pid=25874/tid=25908] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25908/stat : 25908 (python) S 25872 25874 24847 0 -1 4202560 25 2838 0 8 0 0 2126 4 18 0 4 0 735367029 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 7 0 0 0
[pid=25874/tid=25924] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25924/stat : 25924 (python) S 25872 25874 24847 0 -1 4202560 26 2838 0 8 0 0 2126 4 20 0 4 0 735376762 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
[pid=25874/tid=25940] ppid=25872 vsize=312588 CPUtime=21.3 cores=5,7
/proc/25874/task/25940/stat : 25940 (python) S 25872 25874 24847 0 -1 4202560 27 2838 0 8 0 0 2126 4 20 0 4 0 735378889 320090112 7905 33554432000 4194304 5683644 140735696286160 18446744073709551615 251379370417 0 0 16781312 2 18446604469589853376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 137.59
Current children cumulated vsize (KiB) 1925076
Child status: 0
Real time (s): 138.728
CPU time (s): 137.676
CPU user time (s): 137.013
CPU system time (s): 0.662899
CPU usage (%): 99.2416
Max. virtual memory (cumulated for all children) (KiB): 2922028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.013
system time used= 0.662899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25905
page faults= 106
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43117
involuntary context switches= 412
runsolver used 0.491925 second user time and 1.20582 second system time
The end