runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731001-1338715978/watcher-3731001-1338715978 -o /tmp/evaluation-result-3731001-1338715978/solver-3731001-1338715978 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3731001-1338715978.opb -seed 1763669847 -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.87 3.09 2.47 3/183 4783
/proc/meminfo: memFree=31009720/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4783/stat : 4783 (python) R 4781 4783 2614 0 -1 4202496 740 0 0 0 0 0 0 0 20 0 1 0 337722759 15749120 617 33554432000 4194304 5683644 140736774207440 140736774161656 240565175184 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 3845 617 331 364 0 287 0
[startup+0.0971631 s]
/proc/loadavg: 2.87 3.09 2.47 3/183 4783
/proc/meminfo: memFree=31009720/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=92396 CPUtime=0.05 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 3069 0 1 0 4 1 0 0 20 0 1 0 337722759 94613504 2527 33554432000 4194304 5683644 140736774207440 140736774159912 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 23099 2527 816 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 92396
[startup+0.10024 s]
/proc/loadavg: 2.87 3.09 2.47 3/183 4783
/proc/meminfo: memFree=31009720/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=92392 CPUtime=0.06 cores=0,2,4,6
/proc/4783/stat : 4783 (python) R 4781 4783 2614 0 -1 4202496 3219 505 1 0 5 1 0 0 20 0 1 0 337722759 94609408 2540 33554432000 4194304 5683644 140736774207440 140736774159912 5177563 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4783/statm: 23098 2540 816 364 0 1620 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92392
[startup+0.300231 s]
/proc/loadavg: 2.87 3.09 2.47 3/183 4783
/proc/meminfo: memFree=31009720/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=160348 CPUtime=0.2 cores=0,2,4,6
/proc/4783/stat : 4783 (python) R 4781 4783 2614 0 -1 4202496 6428 1010 1 0 16 4 0 0 20 0 1 0 337722759 164196352 4243 33554432000 4194304 5683644 140736774207440 140736774093688 240556010791 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 40087 4243 1186 364 0 3256 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 160348
[startup+0.700203 s]
/proc/loadavg: 2.87 3.09 2.47 3/183 4783
/proc/meminfo: memFree=31009720/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=287584 CPUtime=0.54 cores=0,2,4,6
/proc/4783/stat : 4783 (python) R 4781 4783 2614 0 -1 4202496 11531 1010 1 0 47 7 0 0 20 0 1 0 337722759 294486016 8564 33554432000 4194304 5683644 140736774207440 140736774200936 139909587358627 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 71896 8564 1811 364 0 7125 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 287584
[startup+1.50012 s]
/proc/loadavg: 2.87 3.09 2.47 3/184 4788
/proc/meminfo: memFree=30981176/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=364536 CPUtime=0.91 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 13207 1010 1 0 84 7 0 0 20 0 2 0 337722759 373284864 8995 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 91134 8995 1901 364 0 26357 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 364536
[startup+3.10028 s]
/proc/loadavg: 2.87 3.09 2.47 3/187 4791
/proc/meminfo: memFree=30972588/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=364536 CPUtime=0.91 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 13207 1010 1 0 84 7 0 0 20 0 2 0 337722759 373284864 8995 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 91134 8995 1901 364 0 26357 0
[pid=4789] ppid=4783 vsize=288756 CPUtime=0 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 1 0 337722867 295686144 7428 33554432000 4194304 5683644 140736774207440 140736774198528 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 72189 7428 340 364 0 7412 0
[pid=4791] ppid=4789 vsize=5828 CPUtime=2.01 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) R 4789 4791 4791 0 -1 4202496 1572 0 0 0 200 1 0 0 20 0 1 0 337722867 5967872 1198 33554432000 134512640 136139019 4286824688 4286823552 134608891 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/4791/statm: 1457 1198 182 398 0 1057 0
[pid=4783/tid=4790] ppid=4781 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337722867 373284864 8995 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 659120
[startup+6.30028 s]
/proc/loadavg: 2.88 3.09 2.48 3/187 4791
/proc/meminfo: memFree=30974200/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=364536 CPUtime=0.91 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 13207 1010 1 0 84 7 0 0 20 0 2 0 337722759 373284864 8995 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 91134 8995 1901 364 0 26357 0
[pid=4789] ppid=4783 vsize=288756 CPUtime=0 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 880 0 0 0 0 0 0 0 20 0 1 0 337722867 295686144 7451 33554432000 4194304 5683644 140736774207440 140736774198528 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 72189 7451 363 364 0 7412 0
[pid=4791] ppid=4789 vsize=6752 CPUtime=5.21 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) R 4789 4791 4791 0 -1 4202496 1809 0 0 0 520 1 0 0 20 0 1 0 337722867 6914048 1435 33554432000 134512640 136139019 4286824688 4286823552 134875847 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/4791/statm: 1688 1435 182 398 0 1288 0
[pid=4783/tid=4790] ppid=4781 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337722867 373284864 8995 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 660044
[startup+12.7063 s]
/proc/loadavg: 2.81 3.07 2.47 3/187 4791
/proc/meminfo: memFree=30972612/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=364536 CPUtime=0.91 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 13207 1010 1 0 84 7 0 0 20 0 2 0 337722759 373284864 8995 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 91134 8995 1901 364 0 26357 0
[pid=4789] ppid=4783 vsize=288756 CPUtime=0.01 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 889 0 0 0 0 1 0 0 20 0 1 0 337722867 295686144 7451 33554432000 4194304 5683644 140736774207440 140736774198528 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 72189 7451 363 364 0 7412 0
[pid=4791] ppid=4789 vsize=8340 CPUtime=11.61 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) R 4789 4791 4791 0 -1 4202496 2211 0 0 0 1160 1 0 0 20 0 1 0 337722867 8540160 1837 33554432000 134512640 136139019 4286824688 4286823668 134883826 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4791/statm: 2085 1837 182 398 0 1685 0
[pid=4783/tid=4790] ppid=4781 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337722867 373284864 8995 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 661632
[startup+25.5003 s]
/proc/loadavg: 2.71 3.04 2.47 3/187 4791
/proc/meminfo: memFree=30969748/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=364536 CPUtime=0.91 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 13207 1010 1 0 84 7 0 0 20 0 2 0 337722759 373284864 8995 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 91134 8995 1901 364 0 26357 0
[pid=4789] ppid=4783 vsize=288756 CPUtime=0.03 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 895 0 0 0 1 2 0 0 20 0 1 0 337722867 295686144 7451 33554432000 4194304 5683644 140736774207440 140736774198528 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 72189 7451 363 364 0 7412 0
[pid=4791] ppid=4789 vsize=11020 CPUtime=24.4 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) R 4789 4791 4791 0 -1 4202496 2879 0 0 0 2439 1 0 0 20 0 1 0 337722867 11284480 2505 33554432000 134512640 136139019 4286824688 4286823552 134608269 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4791/statm: 2755 2505 182 398 0 2355 0
[pid=4783/tid=4790] ppid=4781 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337722867 373284864 8995 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 664312
[startup+51.1005 s]
/proc/loadavg: 2.46 2.95 2.46 3/195 4799
/proc/meminfo: memFree=29937008/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=440328 CPUtime=2.64 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 14232 1010 1 0 256 8 0 0 20 0 3 0 337722759 450895872 9004 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 110082 9004 1904 364 0 45302 0
[pid=4789] ppid=4783 vsize=364536 CPUtime=0.08 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 1131 0 0 0 4 4 0 0 20 0 2 0 337722867 373284864 7491 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 91134 7491 396 364 0 26357 0
[pid=4791] ppid=4789 vsize=12920 CPUtime=47.1 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) T 4789 4791 4791 0 -1 4202496 3339 0 0 0 4709 1 0 0 20 0 1 0 337722867 13230080 2965 33554432000 134512640 136139019 4286824688 4286823552 134608169 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4791/statm: 3230 2965 182 398 0 2830 0
[pid=4789/tid=4796] ppid=4783 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4789/task/4796/stat : 4796 (python) S 4783 4783 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337727580 373284864 7491 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4797] ppid=4783 vsize=364548 CPUtime=0 cores=0,2,4,6
/proc/4797/stat : 4797 (python) S 4783 4783 2614 0 -1 4202560 775 0 0 0 0 0 0 0 20 0 1 0 337727753 373297152 7429 33554432000 4194304 5683644 140736774207440 140736774198528 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/4797/statm: 91137 7429 335 364 0 26357 0
[pid=4799] ppid=4797 vsize=439528 CPUtime=1.16 cores=0,2,4,6
/proc/4799/stat : 4799 (minion) R 4797 4799 4799 0 -1 4202496 97194 0 0 0 101 15 0 0 20 0 1 0 337727753 450076672 102581 33554432000 134512640 165565024 4292889408 4292886656 159737071 0 0 16781312 8396802 0 0 0 17 0 0 0 0 0 0
/proc/4799/statm: 109882 102581 354 7582 0 102297 0
[pid=4783/tid=4790] ppid=4781 vsize=440328 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 3 0 337722867 450895872 9004 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4783/tid=4798] ppid=4781 vsize=440328 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4798/stat : 4798 (python) S 4781 4783 2614 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 3 0 337727753 450895872 9004 33554432000 4194304 5683644 140736774207440 139909564527152 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 1621860
[startup+102.301 s]
/proc/loadavg: 2.20 2.80 2.43 3/203 4807
/proc/meminfo: memFree=29240932/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=516120 CPUtime=2.67 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 15135 1010 1 0 259 8 0 0 20 0 4 0 337722759 528506880 9012 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4783/statm: 129030 9012 1906 364 0 64247 0
[pid=4789] ppid=4783 vsize=364536 CPUtime=0.08 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 1131 0 0 0 4 4 0 0 20 0 2 0 337722867 373284864 7491 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 91134 7491 396 364 0 26357 0
[pid=4791] ppid=4789 vsize=12920 CPUtime=47.1 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) T 4789 4791 4791 0 -1 4202496 3339 0 0 0 4709 1 0 0 20 0 1 0 337722867 13230080 2965 33554432000 134512640 136139019 4286824688 4286823552 134608169 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4791/statm: 3230 2965 182 398 0 2830 0
[pid=4789/tid=4796] ppid=4783 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4789/task/4796/stat : 4796 (python) S 4783 4783 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337727580 373284864 7491 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4797] ppid=4783 vsize=364548 CPUtime=0.08 cores=0,2,4,6
/proc/4797/stat : 4797 (python) S 4783 4783 2614 0 -1 4202560 1083 0 0 0 4 4 0 0 20 0 2 0 337727753 373297152 7478 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4797/statm: 91137 7478 383 364 0 26357 0
[pid=4799] ppid=4797 vsize=439528 CPUtime=47.64 cores=0,2,4,6
/proc/4799/stat : 4799 (minion) T 4797 4799 4799 0 -1 4202496 97194 0 0 0 4749 15 0 0 20 0 1 0 337727753 450076672 102581 33554432000 134512640 165565024 4292889408 4292886656 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4799/statm: 109882 102581 354 7582 0 102297 0
[pid=4797/tid=4804] ppid=4783 vsize=364548 CPUtime=0 cores=0,2,4,6
/proc/4797/task/4804/stat : 4804 (python) S 4783 4783 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337732518 373297152 7478 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4805] ppid=4783 vsize=440340 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (python) S 4783 4783 2614 0 -1 4202560 914 0 0 0 0 0 0 0 20 0 1 0 337732521 450908160 7458 33554432000 4194304 5683644 140736774207440 140736774198528 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/4805/statm: 110085 7458 358 364 0 45302 0
[pid=4807] ppid=4805 vsize=25532 CPUtime=4.67 cores=0,2,4,6
/proc/4807/stat : 4807 (wbo1.4b-fixed) R 4805 4807 4807 0 -1 4202496 6426 0 0 0 462 5 0 0 20 0 1 0 337732521 26144768 5908 33554432000 134512640 135752315 4294924704 4294922780 135270849 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/4807/statm: 6383 5908 147 303 0 6078 0
[pid=4783/tid=4790] ppid=4781 vsize=516120 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 4 0 337722867 528506880 9012 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4783/tid=4798] ppid=4781 vsize=516120 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4798/stat : 4798 (python) S 4781 4783 2614 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 4 0 337727753 528506880 9012 33554432000 4194304 5683644 140736774207440 139909564527152 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=28071472/32873844 swapFree=7116/7116
[pid=4783] ppid=4781 vsize=895080 CPUtime=2.86 cores=0,2,4,6
/proc/4783/stat : 4783 (python) S 4781 4783 2614 0 -1 4202496 19904 1010 1 0 276 10 0 0 20 0 9 0 337722759 916561920 9560 33554432000 4194304 5683644 140736774207440 140736774202272 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4783/statm: 223770 9560 1916 364 0 158972 0
[pid=4789] ppid=4783 vsize=364536 CPUtime=0.42 cores=0,2,4,6
/proc/4789/stat : 4789 (python) S 4783 4783 2614 0 -1 4202560 1201 0 0 0 24 18 0 0 20 0 2 0 337722867 373284864 7492 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4789/statm: 91134 7492 397 364 0 26357 0
[pid=4791] ppid=4789 vsize=24676 CPUtime=229.62 cores=0,2,4,6
/proc/4791/stat : 4791 (clasp-1.3.7-x86) T 4789 4791 4791 0 -1 4202496 6265 0 0 0 22960 2 0 0 20 0 1 0 337722867 25268224 5873 33554432000 134512640 136139019 4286824688 4286823664 134883863 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4791/statm: 6169 5873 182 398 0 5769 0
[pid=4789/tid=4796] ppid=4783 vsize=364536 CPUtime=0 cores=0,2,4,6
/proc/4789/task/4796/stat : 4796 (python) S 4783 4783 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337727580 373284864 7492 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4797] ppid=4783 vsize=364548 CPUtime=0.08 cores=0,2,4,6
/proc/4797/stat : 4797 (python) S 4783 4783 2614 0 -1 4202560 1083 0 0 0 4 4 0 0 20 0 2 0 337727753 373297152 7478 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4797/statm: 91137 7478 383 364 0 26357 0
[pid=4799] ppid=4797 vsize=439528 CPUtime=47.64 cores=0,2,4,6
/proc/4799/stat : 4799 (minion) T 4797 4799 4799 0 -1 4202496 97194 0 0 0 4749 15 0 0 20 0 1 0 337727753 450076672 102581 33554432000 134512640 165565024 4292889408 4292886656 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4799/statm: 109882 102581 354 7582 0 102297 0
[pid=4797/tid=4804] ppid=4783 vsize=364548 CPUtime=0 cores=0,2,4,6
/proc/4797/task/4804/stat : 4804 (python) S 4783 4783 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337732518 373297152 7478 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4805] ppid=4783 vsize=440340 CPUtime=0.08 cores=0,2,4,6
/proc/4805/stat : 4805 (python) S 4783 4783 2614 0 -1 4202560 1101 0 0 0 5 3 0 0 20 0 2 0 337732521 450908160 7484 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4805/statm: 110085 7484 383 364 0 45302 0
[pid=4807] ppid=4805 vsize=143596 CPUtime=49.72 cores=0,2,4,6
/proc/4807/stat : 4807 (wbo1.4b-fixed) T 4805 4807 4807 0 -1 4202496 35894 0 0 0 4945 27 0 0 20 0 1 0 337732521 147042304 35376 33554432000 134512640 135752315 4294924704 4294922704 134611384 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/4807/statm: 35899 35376 147 303 0 35594 0
[pid=4805/tid=4811] ppid=4783 vsize=440340 CPUtime=0 cores=0,2,4,6
/proc/4805/task/4811/stat : 4811 (python) S 4783 4783 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337737495 450908160 7484 33554432000 4194304 5683644 140736774207440 139909564527152 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4812] ppid=4783 vsize=516132 CPUtime=0.07 cores=0,2,4,6
/proc/4812/stat : 4812 (python) S 4783 4783 2614 0 -1 4202560 1100 0 0 0 3 4 0 0 20 0 2 0 337737498 528519168 7490 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4812/statm: 129033 7490 383 364 0 64247 0
[pid=4814] ppid=4812 vsize=121648 CPUtime=47.67 cores=0,2,4,6
/proc/4814/stat : 4814 (scip-2.0.1.linu) T 4812 4814 4814 0 -1 4202496 29538 0 0 0 4755 12 0 0 20 0 1 0 337737498 124567552 27899 33554432000 4194304 13684479 140735287783552 140735287775416 7390479 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/4814/statm: 30412 27899 761 2317 0 28090 0
[pid=4812/tid=4818] ppid=4783 vsize=516132 CPUtime=0 cores=0,2,4,6
/proc/4812/task/4818/stat : 4818 (python) S 4783 4783 2614 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 337742267 528519168 7490 33554432000 4194304 5683644 140736774207440 139909554037296 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4820] ppid=4783 vsize=591924 CPUtime=0.07 cores=0,2,4,6
/proc/4820/stat : 4820 (python) S 4783 4783 2614 0 -1 4202560 1112 0 0 0 4 3 0 0 20 0 2 0 337746786 606130176 7496 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4820/statm: 147981 7496 383 364 0 83192 0
[pid=4822] ppid=4820 vsize=143268 CPUtime=49.46 cores=0,2,4,6
/proc/4822/stat : 4822 (wbo1.4a) T 4820 4822 4822 0 -1 4202496 35804 0 0 0 4920 26 0 0 20 0 1 0 337746786 146706432 35281 33554432000 134512640 135751879 4290406736 4290404904 134517414 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/4822/statm: 35817 35281 143 303 0 35512 0
[pid=4820/tid=4823] ppid=4783 vsize=591924 CPUtime=0 cores=0,2,4,6
/proc/4820/task/4823/stat : 4823 (python) S 4783 4783 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337751734 606130176 7496 33554432000 4194304 5683644 140736774207440 139909543547440 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4824] ppid=4783 vsize=667716 CPUtime=0.08 cores=0,2,4,6
/proc/4824/stat : 4824 (python) S 4783 4783 2614 0 -1 4202560 1136 0 0 0 5 3 0 0 20 0 2 0 337751737 683741184 7502 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4824/statm: 166929 7502 383 364 0 102137 0
[pid=4826] ppid=4824 vsize=9624972 CPUtime=49.69 cores=0,2,4,6
/proc/4826/stat : 4826 (java) T 4824 4826 4826 0 -1 4202496 14151 0 1 0 4959 10 0 0 20 0 19 0 337751737 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140735284202928 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4826/statm: 2406243 50924 2277 9 0 2396937 0
[pid=4826/tid=4827] ppid=4824 vsize=9624972 CPUtime=47.25 cores=0,2,4,6
/proc/4826/task/4827/stat : 4827 (java) T 4824 4826 4826 0 -1 4202560 2568 0 1 0 4723 2 0 0 20 0 19 0 337751738 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140676024254736 140675896643138 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4828] ppid=4824 vsize=9624972 CPUtime=0.04 cores=0,2,4,6
/proc/4826/task/4828/stat : 4828 (java) T 4824 4826 4826 0 -1 4202560 99 0 0 0 4 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675868179240 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4829] ppid=4824 vsize=9624972 CPUtime=0.05 cores=0,2,4,6
/proc/4826/task/4829/stat : 4829 (java) T 4824 4826 4826 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675867126440 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4830] ppid=4824 vsize=9624972 CPUtime=0.05 cores=0,2,4,6
/proc/4826/task/4830/stat : 4830 (java) T 4824 4826 4826 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675866074152 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4831] ppid=4824 vsize=9624972 CPUtime=0.06 cores=0,2,4,6
/proc/4826/task/4831/stat : 4831 (java) T 4824 4826 4826 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675865021352 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=4826/tid=4832] ppid=4824 vsize=9624972 CPUtime=0.06 cores=0,2,4,6
/proc/4826/task/4832/stat : 4832 (java) T 4824 4826 4826 0 -1 4202560 96 0 0 0 6 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675863968040 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4833] ppid=4824 vsize=9624972 CPUtime=0.05 cores=0,2,4,6
/proc/4826/task/4833/stat : 4833 (java) T 4824 4826 4826 0 -1 4202560 84 0 0 0 5 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675862915240 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4834] ppid=4824 vsize=9624972 CPUtime=0.06 cores=0,2,4,6
/proc/4826/task/4834/stat : 4834 (java) T 4824 4826 4826 0 -1 4202560 153 0 0 0 6 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675861862952 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=4826/tid=4835] ppid=4824 vsize=9624972 CPUtime=0.06 cores=0,2,4,6
/proc/4826/task/4835/stat : 4835 (java) T 4824 4826 4826 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 19 0 337751739 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675860810152 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4836] ppid=4824 vsize=9624972 CPUtime=0.65 cores=0,2,4,6
/proc/4826/task/4836/stat : 4836 (java) T 4824 4826 4826 0 -1 4202560 43 0 0 0 65 0 0 0 20 0 19 0 337751741 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675848399592 240568547241 0 0 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4837] ppid=4824 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4826/task/4837/stat : 4837 (java) T 4824 4826 4826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337751741 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675847345656 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4838] ppid=4824 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4826/task/4838/stat : 4838 (java) T 4824 4826 4826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337751741 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675846293256 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4839] ppid=4824 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4826/task/4839/stat : 4839 (java) T 4824 4826 4826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337751744 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675845241744 240568555296 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4840] ppid=4824 vsize=9624972 CPUtime=0.59 cores=0,2,4,6
/proc/4826/task/4840/stat : 4840 (java) T 4824 4826 4826 0 -1 4202560 3866 0 0 0 57 2 0 0 20 0 19 0 337751744 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675844188344 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4826/tid=4841] ppid=4824 vsize=9624972 CPUtime=0.5 cores=0,2,4,6
/proc/4826/task/4841/stat : 4841 (java) T 4824 4826 4826 0 -1 4202560 5747 0 0 0 48 2 0 0 20 0 19 0 337751744 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675843135544 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=4826/tid=4842] ppid=4824 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4826/task/4842/stat : 4842 (java) T 4824 4826 4826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337751744 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675842083448 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=4826/tid=4843] ppid=4824 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4826/task/4843/stat : 4843 (java) T 4824 4826 4826 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337751744 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675841030856 240568547241 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=4826/tid=4844] ppid=4824 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4826/task/4844/stat : 4844 (java) T 4824 4826 4826 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337751789 9855971328 50924 33554432000 1073741824 1073778376 140735284211792 140675839976872 240568547241 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=4824/tid=4845] ppid=4783 vsize=667716 CPUtime=0 cores=0,2,4,6
/proc/4824/task/4845/stat : 4845 (python) S 4783 4783 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337756564 683741184 7502 33554432000 4194304 5683644 140736774207440 139909533057584 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4846] ppid=4783 vsize=743508 CPUtime=0.09 cores=0,2,4,6
/proc/4846/stat : 4846 (python) S 4783 4783 2614 0 -1 4202560 1127 0 0 0 5 4 0 0 20 0 2 0 337756566 761352192 7508 33554432000 4194304 5683644 140736774207440 140736774199088 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4846/statm: 185877 7508 383 364 0 121082 0
[pid=4848] ppid=4846 vsize=155476 CPUtime=47.93 cores=0,2,4,6
/proc/4848/stat : 4848 (scip-2.0.1.linu) T 4846 4848 4848 0 -1 4202496 45783 0 0 0 4778 15 0 0 20 0 1 0 337756567 159207424 34214 33554432000 4194304 15243407 140735975536208 140735975530920 8108299 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/4848/statm: 38869 34214 904 2698 0 36164 0
[pid=4846/tid=4849] ppid=4783 vsize=743508 CPUtime=0 cores=0,2,4,6
/proc/4846/task/4849/stat : 4849 (python) S 4783 4783 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337761362 761352192 7508 33554432000 4194304 5683644 140736774207440 139909522567728 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4858] ppid=4783 vsize=819300 CPUtime=0 cores=0,2,4,6
/proc/4858/stat : 4858 (python) S 4783 4783 2614 0 -1 4202560 860 0 0 0 0 0 0 0 20 0 1 0 337775108 838963200 7465 33554432000 4194304 5683644 140736774207440 140736774198528 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 6 0 0 0 0 0
/proc/4858/statm: 204825 7465 335 364 0 140027 0
[pid=4860] ppid=4858 vsize=9624972 CPUtime=1.21 cores=0,2,4,6
/proc/4860/stat : 4860 (java) S 4858 4860 4860 0 -1 4202496 9150 0 1 0 118 3 0 0 20 0 19 0 337775108 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 140734660627344 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4860/statm: 2406243 26717 2244 9 0 2396937 0
[pid=4860/tid=4861] ppid=4858 vsize=9624972 CPUtime=0.59 cores=0,2,4,6
/proc/4860/task/4861/stat : 4861 (java) R 4858 4860 4860 0 -1 4202560 2470 0 1 0 57 2 0 0 20 0 19 0 337775110 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941167263312 139940990495499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4860/tid=4862] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4862/stat : 4862 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941128755752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4863] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4863/stat : 4863 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941127702952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4860/tid=4864] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4864/stat : 4864 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941126650152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4860/tid=4865] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4865/stat : 4865 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941125597352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4860/tid=4866] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4866/stat : 4866 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941124545576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4867] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4867/stat : 4867 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941123492776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4860/tid=4868] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4868/stat : 4868 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941122439976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4869] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4869/stat : 4869 (java) S 4858 4860 4860 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337775111 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941121387176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4870] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4870/stat : 4870 (java) S 4858 4860 4860 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337775112 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139941108976104 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4871] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4871/stat : 4871 (java) S 4858 4860 4860 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337775113 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940990018808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4872] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4872/stat : 4872 (java) S 4858 4860 4860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337775113 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940988965896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4873] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4873/stat : 4873 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775115 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940987914384 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4874] ppid=4858 vsize=9624972 CPUtime=0.32 cores=0,2,4,6
/proc/4860/task/4874/stat : 4874 (java) R 4858 4860 4860 0 -1 4202560 2652 0 0 0 32 0 0 0 20 0 19 0 337775115 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940986862552 139941170788545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4875] ppid=4858 vsize=9624972 CPUtime=0.27 cores=0,2,4,6
/proc/4860/task/4875/stat : 4875 (java) R 4858 4860 4860 0 -1 4202560 2593 0 0 0 27 0 0 0 20 0 19 0 337775115 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940985803672 139941173646791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4860/tid=4876] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4876/stat : 4876 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775115 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940984757112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4860/tid=4877] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4877/stat : 4877 (java) S 4858 4860 4860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337775115 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940983704520 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4860/tid=4878] ppid=4858 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/4860/task/4878/stat : 4878 (java) S 4858 4860 4860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337775163 9855971328 26717 33554432000 1073741824 1073778376 140734660636208 139940982650024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4790] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4790/stat : 4790 (python) S 4781 4783 2614 0 -1 4202560 33 1010 0 0 0 0 0 0 20 0 9 0 337722867 916561920 9560 33554432000 4194304 5683644 140736774207440 139909575017008 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4783/tid=4798] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4798/stat : 4798 (python) S 4781 4783 2614 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 9 0 337727753 916561920 9560 33554432000 4194304 5683644 140736774207440 139909564527152 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4806] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4806/stat : 4806 (python) S 4781 4783 2614 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 9 0 337732521 916561920 9560 33554432000 4194304 5683644 140736774207440 139909554037296 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4813] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4813/stat : 4813 (python) S 4781 4783 2614 0 -1 4202560 20 1010 0 0 0 0 0 0 20 0 9 0 337737498 916561920 9560 33554432000 4194304 5683644 140736774207440 139909543547440 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4821] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4821/stat : 4821 (python) S 4781 4783 2614 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 9 0 337746786 916561920 9560 33554432000 4194304 5683644 140736774207440 139909533057584 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4825] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4825/stat : 4825 (python) S 4781 4783 2614 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 9 0 337751737 916561920 9560 33554432000 4194304 5683644 140736774207440 139909522567728 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4847] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4847/stat : 4847 (python) S 4781 4783 2614 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 9 0 337756566 916561920 9560 33554432000 4194304 5683644 140736774207440 139909512077872 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4783/tid=4859] ppid=4781 vsize=895080 CPUtime=0 cores=0,2,4,6
/proc/4783/task/4859/stat : 4859 (python) S 4781 4783 2614 0 -1 4202560 20 1010 0 0 0 0 0 0 20 0 9 0 337775108 916561920 9560 33554432000 4194304 5683644 140736774207440 139909029421616 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 526.69
Current children cumulated vsize (KiB) 25681220
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4783 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=763579
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=102984
# CPU time returned by wait4() is 2.86656
# while last known CPU time is 526.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 524.178
CPU time (s): 526.69
CPU user time (s): 525.1
CPU system time (s): 1.59
CPU usage (%): 100.479
Max. virtual memory (cumulated for all children) (KiB): 25681220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.76358
system time used= 0.102984
maximum resident set size= 38240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1037
involuntary context switches= 19
runsolver used 2.17367 second user time and 5.38318 second system time
The end