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-3482805-1307578198/watcher-3482805-1307578198 -o /tmp/evaluation-result-3482805-1307578198/solver-3482805-1307578198 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482805-1307578198.opb -seed 1300517719 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.05 1.74 2/488 15911
/proc/meminfo: memFree=22273688/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 850235513 16629760 870 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338044613 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15911/statm: 4060 870 368 364 0 547 0
[startup+0.111545 s]
/proc/loadavg: 2.12 2.05 1.74 2/488 15911
/proc/meminfo: memFree=22273688/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 850235513 98430976 2483 33554432000 4194304 5683644 140735171889072 18446744073709551615 5177920 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15911/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200521 s]
/proc/loadavg: 2.12 2.05 1.74 2/488 15911
/proc/meminfo: memFree=22273688/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 5358 930 1 0 11 3 0 0 17 0 1 0 850235513 126709760 3744 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338381824 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/15911/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300503 s]
/proc/loadavg: 2.12 2.05 1.74 2/488 15911
/proc/meminfo: memFree=22273688/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=184596 CPUtime=0.23 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 6344 930 1 0 17 6 0 0 17 0 1 0 850235513 189026304 4646 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338381824 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15911/statm: 46149 4646 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184596
[startup+0.700424 s]
/proc/loadavg: 2.12 2.05 1.74 2/488 15911
/proc/meminfo: memFree=22273688/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=293440 CPUtime=0.6 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 11740 930 1 0 50 10 0 0 17 0 1 0 850235513 300482560 9601 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338044613 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15911/statm: 73360 9601 1781 364 0 8253 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 293440
[startup+1.50027 s]
/proc/loadavg: 2.12 2.05 1.74 3/489 15916
/proc/meminfo: memFree=22228420/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=304896 CPUtime=1.4 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 18536 930 1 0 129 11 0 0 18 0 1 0 850235513 312213504 12571 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338051039 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/15911/statm: 76224 12571 1815 364 0 11117 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 304896
[startup+3.10095 s]
/proc/loadavg: 2.11 2.05 1.74 3/492 15919
/proc/meminfo: memFree=22218228/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=317672 CPUtime=2.04 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 19452 930 1 0 193 11 0 0 20 0 2 0 850235513 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15911/statm: 79418 13259 1872 364 0 14305 0
[pid=15917] ppid=15911 vsize=307428 CPUtime=0 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 702 0 0 0 0 0 0 0 19 0 1 0 850235727 314806272 11731 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338403855 0 0 16781312 33554946 4525748778010902789 0 0 17 3 0 0 0
/proc/15917/statm: 76857 11731 348 364 0 11744 0
[pid=15919] ppid=15917 vsize=9192 CPUtime=0.95 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) R 15917 15919 15919 0 -1 4202496 2961 0 0 0 95 0 0 0 23 0 1 0 850235727 9412608 2013 33554432000 134512640 136139019 4287067712 18446744073709551615 134883632 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/15919/statm: 2298 2013 184 398 0 1898 0
[pid=15911/tid=15918] ppid=15909 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 850235727 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 634292
[startup+6.30031 s]
/proc/loadavg: 2.11 2.05 1.74 3/492 15919
/proc/meminfo: memFree=22212108/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=317672 CPUtime=2.04 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 19452 930 1 0 193 11 0 0 20 0 2 0 850235513 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15911/statm: 79418 13259 1872 364 0 14305 0
[pid=15917] ppid=15911 vsize=307428 CPUtime=0.01 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 888 0 0 0 1 0 0 0 18 0 1 0 850235727 314806272 11757 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338403855 0 0 16781312 33554946 4525755581239099653 0 0 17 7 0 0 0
/proc/15917/statm: 76857 11757 374 364 0 11744 0
[pid=15919] ppid=15917 vsize=12664 CPUtime=4.15 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) R 15917 15919 15919 0 -1 4202496 3870 0 0 0 415 0 0 0 25 0 1 0 850235727 12967936 2922 33554432000 134512640 136139019 4287067712 18446744073709551615 134883483 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/15919/statm: 3166 2922 184 398 0 2766 0
[pid=15911/tid=15918] ppid=15909 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 850235727 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 637764
[startup+12.701 s]
/proc/loadavg: 2.10 2.05 1.74 3/495 15922
/proc/meminfo: memFree=21966536/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=317672 CPUtime=2.04 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 19452 930 1 0 193 11 0 0 20 0 2 0 850235513 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15911/statm: 79418 13259 1872 364 0 14305 0
[pid=15917] ppid=15911 vsize=307428 CPUtime=0.03 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 892 0 0 0 2 1 0 0 18 0 1 0 850235727 314806272 11758 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338403855 0 0 16781312 33554946 5623753486446373686 0 0 17 7 0 0 0
/proc/15917/statm: 76857 11758 375 364 0 11744 0
[pid=15919] ppid=15917 vsize=15600 CPUtime=10.55 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) R 15917 15919 15919 0 -1 4202496 4569 0 0 0 1055 0 0 0 25 0 1 0 850235727 15974400 3621 33554432000 134512640 136139019 4287067712 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/15919/statm: 3900 3621 184 398 0 3500 0
[pid=15911/tid=15918] ppid=15909 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 850235727 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 640700
[startup+25.5005 s]
/proc/loadavg: 2.08 2.05 1.74 3/495 15923
/proc/meminfo: memFree=21963304/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=317672 CPUtime=2.04 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 19452 930 1 0 193 11 0 0 20 0 2 0 850235513 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15911/statm: 79418 13259 1872 364 0 14305 0
[pid=15917] ppid=15911 vsize=307428 CPUtime=0.08 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 897 0 0 0 4 4 0 0 18 0 1 0 850235727 314806272 11758 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338403855 0 0 16781312 33554946 5623753486446373686 0 0 17 7 0 0 0
/proc/15917/statm: 76857 11758 375 364 0 11744 0
[pid=15919] ppid=15917 vsize=19572 CPUtime=23.34 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) R 15917 15919 15919 0 -1 4202496 5574 0 0 0 2334 0 0 0 25 0 1 0 850235727 20041728 4626 33554432000 134512640 136139019 4287067712 18446744073709551615 134883115 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/15919/statm: 4893 4626 184 398 0 4493 0
[pid=15911/tid=15918] ppid=15909 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 850235727 325296128 13259 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 644672
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 1.75 3/496 15924
/proc/meminfo: memFree=21957700/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=317676 CPUtime=3.8 cores=1,3,5,7
/proc/15911/stat : 15911 (python) R 15909 15911 15040 0 -1 4202496 20088 930 1 0 368 12 0 0 20 0 2 0 850235513 325300224 13261 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338074996 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15911/statm: 79419 13261 1873 364 0 14306 0
[pid=15917] ppid=15911 vsize=317672 CPUtime=0.17 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 1130 0 0 0 8 9 0 0 19 0 2 0 850235727 325296128 11799 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15917/statm: 79418 11799 411 364 0 14305 0
[pid=15919] ppid=15917 vsize=25140 CPUtime=47.19 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) T 15917 15919 15919 0 -1 4202496 6968 0 0 0 4718 1 0 0 25 0 1 0 850235727 25743360 6020 33554432000 134512640 136139019 4287067712 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/15919/statm: 6285 6020 184 398 0 5885 0
[pid=15917/tid=15924] ppid=15911 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15917/task/15924/stat : 15924 (python) S 15911 15911 15040 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 850240447 325296128 11799 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604457378805056 0 0 -1 5 0 0 0
[pid=15911/tid=15918] ppid=15909 vsize=317676 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 850235727 325300224 13261 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 660488
[startup+102.301 s]
/proc/loadavg: 2.02 2.03 1.76 3/500 15930
/proc/meminfo: memFree=21851504/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=327928 CPUtime=7.22 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 20410 930 1 0 709 13 0 0 25 0 3 0 850235513 335798272 13266 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15911/statm: 81982 13266 1875 364 0 16866 0
[pid=15917] ppid=15911 vsize=317672 CPUtime=0.17 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 1130 0 0 0 8 9 0 0 19 0 2 0 850235727 325296128 11799 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15917/statm: 79418 11799 411 364 0 14305 0
[pid=15919] ppid=15917 vsize=25140 CPUtime=47.19 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) T 15917 15919 15919 0 -1 4202496 6968 0 0 0 4718 1 0 0 25 0 1 0 850235727 25743360 6020 33554432000 134512640 136139019 4287067712 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/15919/statm: 6285 6020 184 398 0 5885 0
[pid=15917/tid=15924] ppid=15911 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15917/task/15924/stat : 15924 (python) S 15911 15911 15040 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 850240447 325296128 11799 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604457378805056 0 0 -1 5 0 0 0
[pid=15926] ppid=15911 vsize=317684 CPUtime=0.16 cores=1,3,5,7
/proc/15926/stat : 15926 (python) S 15911 15911 15040 0 -1 4202560 952 0 0 0 6 10 0 0 15 0 1 0 850240964 325308416 11759 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338403910 0 0 16781312 33554946 5623753486446373686 0 0 17 7 0 0 0
/proc/15926/statm: 79421 11759 372 364 0 14305 0
[pid=15928] ppid=15926 vsize=130292 CPUtime=47.76 cores=1,3,5,7
/proc/15928/stat : 15928 (minion) R 15926 15928 15928 0 -1 4202496 31600 0 0 0 4773 3 0 0 25 0 1 0 850240965 133419008 25165 33554432000 134512640 165565024 4286994976 18446744073709551615 142424548 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/15928/statm: 32573 25165 346 7582 0 24988 0
[pid=15911/tid=15918] ppid=15909 vsize=327928 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 3 0 850235727 335798272 13266 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=15927] ppid=15909 vsize=327928 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15927/stat : 15927 (python) S 15909 15911 15040 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 3 0 850240965 335798272 13266 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 1118716
[startup+162.301 s]
/proc/loadavg: 2.42 2.12 1.80 2/482 16220
/proc/meminfo: memFree=21302756/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=348440 CPUtime=7.27 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 22204 930 1 0 713 14 0 0 20 0 5 0 850235513 356802560 13278 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15911/statm: 87110 13278 1879 364 0 21988 0
[pid=15917] ppid=15911 vsize=317672 CPUtime=0.17 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 1130 0 0 0 8 9 0 0 19 0 2 0 850235727 325296128 11799 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15917/statm: 79418 11799 411 364 0 14305 0
[pid=15919] ppid=15917 vsize=25140 CPUtime=47.19 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) T 15917 15919 15919 0 -1 4202496 6968 0 0 0 4718 1 0 0 25 0 1 0 850235727 25743360 6020 33554432000 134512640 136139019 4287067712 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/15919/statm: 6285 6020 184 398 0 5885 0
[pid=15917/tid=15924] ppid=15911 vsize=317672 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/16102/statm: 135063 127390 869 2698 0 132358 0
[pid=16100/tid=16256] ppid=15911 vsize=338196 CPUtime=0 cores=1,3,5,7
/proc/16100/task/16256/stat : 16256 (python) S 15911 15911 15040 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850255257 346312704 11792 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604469177875136 0 0 -1 5 0 0 0
[pid=16262] ppid=15911 vsize=348452 CPUtime=0.18 cores=1,3,5,7
/proc/16262/stat : 16262 (python) S 15911 15911 15040 0 -1 4202560 1149 0 0 0 9 9 0 0 17 0 2 0 850259780 356814848 11796 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16262/statm: 87113 11796 396 364 0 21988 0
[pid=16264] ppid=16262 vsize=59292 CPUtime=46.51 cores=1,3,5,7
/proc/16264/stat : 16264 (wbo1.4b-fixed) T 16262 16264 16264 0 -1 4202496 15275 0 0 0 4632 19 0 0 25 0 1 0 850259781 60715008 14072 33554432000 134512640 135752315 4288764928 18446744073709551615 134611324 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/16264/statm: 14823 14072 146 303 0 14518 0
[pid=16262/tid=16271] ppid=15911 vsize=348452 CPUtime=0 cores=1,3,5,7
/proc/16262/task/16271/stat : 16271 (python) S 15911 15911 15040 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850264433 356814848 11796 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604462756271104 0 0 -1 1 0 0 0
[pid=16344] ppid=15911 vsize=358708 CPUtime=0.18 cores=1,3,5,7
/proc/16344/stat : 16344 (python) S 15911 15911 15040 0 -1 4202560 1128 0 0 0 9 9 0 0 17 0 2 0 850282985 367316992 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16344/statm: 89677 11800 396 364 0 24549 0
[pid=16346] ppid=16344 vsize=57244 CPUtime=46.45 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.4a) T 16344 16346 16346 0 -1 4202496 14766 0 0 0 4626 19 0 0 25 0 1 0 850282986 58617856 13575 33554432000 134512640 135751879 4289423184 18446744073709551615 134620446 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/16346/statm: 14311 13575 143 303 0 14006 0
[pid=16344/tid=16351] ppid=15911 vsize=358708 CPUtime=0 cores=1,3,5,7
/proc/16344/task/16351/stat : 16351 (python) S 15911 15911 15040 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850287634 367316992 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458380513664 0 0 -1 7 0 0 0
[pid=16460] ppid=15911 vsize=368964 CPUtime=0.36 cores=1,3,5,7
/proc/16460/stat : 16460 (python) S 15911 15911 15040 0 -1 4202560 1183 0 0 0 17 19 0 0 16 0 2 0 850333773 377819136 11804 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16460/statm: 92241 11804 396 364 0 27110 0
[pid=16462] ppid=16460 vsize=137588 CPUtime=93.05 cores=1,3,5,7
/proc/16462/stat : 16462 (bsolo_pb10) T 16460 16462 16462 0 -1 4202496 33332 0 0 0 9276 29 0 0 25 0 1 0 850333773 140890112 31868 33554432000 134512640 137138936 4290506480 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/16462/statm: 34397 31868 191 642 0 33753 0
[pid=16460/tid=16466] ppid=15911 vsize=368964 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (python) S 15911 15911 15040 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850343079 377819136 11804 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458722976832 0 0 -1 7 0 0 0
[pid=15911/tid=15918] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 8 0 850235727 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=15927] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15927/stat : 15927 (python) S 15909 15911 15040 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 8 0 850240965 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=15933] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15933/stat : 15933 (python) S 15909 15911 15040 0 -1 4202560 42 930 0 0 0 0 0 0 18 0 8 0 850245841 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=16101] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16101/stat : 16101 (python) S 15909 15911 15040 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 8 0 850250569 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=16263] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16263/stat : 16263 (python) S 15909 15911 15040 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 850259780 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=16345] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16345/stat : 16345 (python) S 15909 15911 15040 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 850282986 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=16461] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16461/stat : 16461 (python) S 15909 15911 15040 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 850333773 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1462.99
Current children cumulated vsize (KiB) 4306316
[startup+1457.7 s]
/proc/loadavg: 1.04 1.29 1.63 2/522 16476
/proc/meminfo: memFree=10409612/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=379208 CPUtime=7.46 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 25656 930 1 0 731 15 0 0 18 0 8 0 850235513 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/15911/statm: 94802 13296 1885 364 0 29671 0
[pid=15917] ppid=15911 vsize=317672 CPUtime=0.89 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 1202 0 0 0 43 46 0 0 18 0 2 0 850235727 325296128 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15917/statm: 79418 11800 412 364 0 14305 0
[pid=15919] ppid=15917 vsize=46076 CPUtime=228.91 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) T 15917 15919 15919 0 -1 4202496 12160 0 0 0 22889 2 0 0 25 0 1 0 850235727 47181824 11212 33554432000 134512640 136139019 4287067712 18446744073709551615 134608550 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/15919/statm: 11519 11212 184 398 0 11119 0
[pid=15917/tid=15924] ppid=15911 vsize=317672 CPUtime=0 cores=1,3,5,7
/proc/15917/task/15924/stat : 15924 (python) S 15911 15911 15040 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 850240447 325296128 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604457378805056 0 0 -1 5 0 0 0
[pid=15926] ppid=15911 vsize=317684 CPUtime=0.18 cores=1,3,5,7
/proc/15926/stat : 15926 (python) S 15911 15911 15040 0 -1 4202560 1113 0 0 0 7 11 0 0 16 0 2 0 850240964 325308416 11784 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15926/statm: 79421 11784 396 364 0 14305 0
[pid=15928] ppid=15926 vsize=130292 CPUtime=48.71 cores=1,3,5,7
/proc/15928/stat : 15928 (minion) T 15926 15928 15928 0 -1 4202496 31600 0 0 0 4868 3 0 0 25 0 1 0 850240965 133419008 25165 33554432000 134512640 165565024 4286994976 18446744073709551615 142853003 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/15928/statm: 32573 25165 346 7582 0 24988 0
[pid=15926/tid=15931] ppid=15911 vsize=317684 CPUtime=0 cores=1,3,5,7
/proc/15926/task/15931/stat : 15931 (python) S 15911 15911 15040 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850245838 325308416 11784 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604468864431168 0 0 -1 7 0 0 0
[pid=15932] ppid=15911 vsize=327940 CPUtime=3.64 cores=1,3,5,7
/proc/15932/stat : 15932 (python) S 15911 15911 15040 0 -1 4202560 1216 0 0 0 168 196 0 0 16 0 2 0 850245841 335810560 11797 33554432000 4194304 5683644 140735171889072 18446744073709551615 270338403910 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15932/statm: 81985 11797 405 364 0 16866 0
[pid=15934] ppid=15932 vsize=549604 CPUtime=890.54 cores=1,3,5,7
/proc/15934/stat : 15934 (scip-2.0.1.linu) R 15932 15934 15934 0 -1 4202496 147965 0 0 0 88441 613 0 0 18 0 1 0 850245841 562794496 133222 33554432000 4194304 13684479 140736056268544 18446744073709551615 4517889 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15934/statm: 137401 133222 817 2317 0 135079 0
[pid=15932/tid=16098] ppid=15911 vsize=327940 CPUtime=0 cores=1,3,5,7
/proc/15932/task/16098/stat : 16098 (python) S 15911 15911 15040 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 850250566 335810560 11797 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465614740352 0 0 -1 5 0 0 0
[pid=16100] ppid=15911 vsize=338196 CPUtime=0.39 cores=1,3,5,7
/proc/16100/stat : 16100 (python) S 15911 15911 15040 0 -1 4202560 1167 0 0 0 18 21 0 0 15 0 2 0 850250569 346312704 11792 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16100/statm: 84549 11792 396 364 0 19427 0
[pid=16102] ppid=16100 vsize=540252 CPUtime=95.73 cores=1,3,5,7
/proc/16102/stat : 16102 (scip-2.0.1.linu) T 16100 16102 16102 0 -1 4202496 170394 0 0 0 9459 114 0 0 25 0 1 0 850250569 553218048 127390 33554432000 4194304 15243407 140734477115824 18446744073709551615 8115157 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16102/statm: 135063 127390 869 2698 0 132358 0
[pid=16100/tid=16256] ppid=15911 vsize=338196 CPUtime=0 cores=1,3,5,7
/proc/16100/task/16256/stat : 16256 (python) S 15911 15911 15040 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850255257 346312704 11792 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604469177875136 0 0 -1 5 0 0 0
[pid=16262] ppid=15911 vsize=348452 CPUtime=0.18 cores=1,3,5,7
/proc/16262/stat : 16262 (python) S 15911 15911 15040 0 -1 4202560 1149 0 0 0 9 9 0 0 17 0 2 0 850259780 356814848 11796 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16262/statm: 87113 11796 396 364 0 21988 0
[pid=16264] ppid=16262 vsize=59292 CPUtime=46.51 cores=1,3,5,7
/proc/16264/stat : 16264 (wbo1.4b-fixed) T 16262 16264 16264 0 -1 4202496 15275 0 0 0 4632 19 0 0 25 0 1 0 850259781 60715008 14072 33554432000 134512640 135752315 4288764928 18446744073709551615 134611324 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/16264/statm: 14823 14072 146 303 0 14518 0
[pid=16262/tid=16271] ppid=15911 vsize=348452 CPUtime=0 cores=1,3,5,7
/proc/16262/task/16271/stat : 16271 (python) S 15911 15911 15040 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850264433 356814848 11796 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604462756271104 0 0 -1 1 0 0 0
[pid=16344] ppid=15911 vsize=358708 CPUtime=0.18 cores=1,3,5,7
/proc/16344/stat : 16344 (python) S 15911 15911 15040 0 -1 4202560 1128 0 0 0 9 9 0 0 17 0 2 0 850282985 367316992 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16344/statm: 89677 11800 396 364 0 24549 0
[pid=16346] ppid=16344 vsize=57244 CPUtime=46.45 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.4a) T 16344 16346 16346 0 -1 4202496 14766 0 0 0 4626 19 0 0 25 0 1 0 850282986 58617856 13575 33554432000 134512640 135751879 4289423184 18446744073709551615 134620446 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/16346/statm: 14311 13575 143 303 0 14006 0
[pid=16344/tid=16351] ppid=15911 vsize=358708 CPUtime=0 cores=1,3,5,7
/proc/16344/task/16351/stat : 16351 (python) S 15911 15911 15040 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850287634 367316992 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458380513664 0 0 -1 7 0 0 0
[pid=16460] ppid=15911 vsize=368964 CPUtime=0.36 cores=1,3,5,7
/proc/16460/stat : 16460 (python) S 15911 15911 15040 0 -1 4202560 1183 0 0 0 17 19 0 0 16 0 2 0 850333773 377819136 11804 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16460/statm: 92241 11804 396 364 0 27110 0
[pid=16462] ppid=16460 vsize=137588 CPUtime=93.05 cores=1,3,5,7
/proc/16462/stat : 16462 (bsolo_pb10) T 16460 16462 16462 0 -1 4202496 33332 0 0 0 9276 29 0 0 25 0 1 0 850333773 140890112 31868 33554432000 134512640 137138936 4290506480 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/16462/statm: 34397 31868 191 642 0 33753 0
[pid=16460/tid=16466] ppid=15911 vsize=368964 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (python) S 15911 15911 15040 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850343079 377819136 11804 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458722976832 0 0 -1 7 0 0 0
[pid=15911/tid=15918] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 8 0 850235727 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=15927] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15927/stat : 15927 (python) S 15909 15911 15040 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 8 0 850240965 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=15933] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/15933/stat : 15933 (python) S 15909 15911 15040 0 -1 4202560 42 930 0 0 0 0 0 0 18 0 8 0 850245841 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=16101] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16101/stat : 16101 (python) S 15909 15911 15040 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 8 0 850250569 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=16263] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16263/stat : 16263 (python) S 15909 15911 15040 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 850259780 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=16345] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16345/stat : 16345 (python) S 15909 15911 15040 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 850282986 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=16461] ppid=15909 vsize=379208 CPUtime=0 cores=1,3,5,7
/proc/15911/task/16461/stat : 16461 (python) S 15909 15911 15040 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 850333773 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1463.18
Current children cumulated vsize (KiB) 4277172
[startup+1457.8 s]
/proc/loadavg: 1.04 1.29 1.63 2/514 16476
/proc/meminfo: memFree=11378452/32951124 swapFree=50923800/67111528
[pid=15911] ppid=15909 vsize=379208 CPUtime=199.26 cores=1,3,5,7
/proc/15911/stat : 15911 (python) S 15909 15911 15040 0 -1 4202496 25669 221698 1 0 731 15 18997 183 17 0 8 0 850235513 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350213951 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/15911/statm: 94802 13296 1885 364 0 29671 0
[pid=15917] ppid=15911 vsize=317672 CPUtime=0.89 cores=1,3,5,7
/proc/15917/stat : 15917 (python) S 15911 15911 15040 0 -1 4202560 1205 0 0 0 43 46 0 0 18 0 2 0 850235727 325296128 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350213951 0 0 16781824 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/15917/statm: 79418 11800 412 364 0 14305 0
[pid=15919] ppid=15917 vsize=0 CPUtime=228.91 cores=1,3,5,7
/proc/15919/stat : 15919 (clasp-1.3.7-x86) R 15917 15919 15919 0 -1 4203524 12160 0 0 0 22889 2 0 0 18 0 1 0 850235727 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 5 0 0 0
/proc/15919/statm: 0 0 0 0 0 0 0
[pid=15932] ppid=15911 vsize=0 CPUtime=894.27 cores=1,3,5,7
/proc/15932/stat : 15932 (python) Z 15911 15911 15040 0 -1 4202588 1302 147976 0 0 168 196 88448 615 15 0 1 0 850245841 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15932/statm: 0 0 0 0 0 0 0
[pid=16344] ppid=15911 vsize=358708 CPUtime=0.18 cores=1,3,5,7
/proc/16344/stat : 16344 (python) S 15911 15911 15040 0 -1 4202560 1128 0 0 0 9 9 0 0 17 0 2 0 850282985 367316992 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16344/statm: 89677 11800 396 364 0 24549 0
[pid=16346] ppid=16344 vsize=57244 CPUtime=46.45 cores=1,3,5,7
/proc/16346/stat : 16346 (wbo1.4a) T 16344 16346 16346 0 -1 4202496 14766 0 0 0 4626 19 0 0 25 0 1 0 850282986 58617856 13575 33554432000 134512640 135751879 4289423184 18446744073709551615 134620446 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/16346/statm: 14311 13575 143 303 0 14006 0
[pid=16344/tid=16351] ppid=15911 vsize=358708 CPUtime=0 cores=1,3,5,7
/proc/16344/task/16351/stat : 16351 (python) S 15911 15911 15040 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850287634 367316992 11800 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781824 33554434 18446604458380513664 0 0 -1 7 0 0 0
[pid=16460] ppid=15911 vsize=368964 CPUtime=0.36 cores=1,3,5,7
/proc/16460/stat : 16460 (python) S 15911 15911 15040 0 -1 4202560 1183 0 0 0 17 19 0 0 16 0 2 0 850333773 377819136 11804 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16460/statm: 92241 11804 396 364 0 27110 0
[pid=16462] ppid=16460 vsize=137588 CPUtime=93.05 cores=1,3,5,7
/proc/16462/stat : 16462 (bsolo_pb10) T 16460 16462 16462 0 -1 4202496 33332 0 0 0 9276 29 0 0 25 0 1 0 850333773 140890112 31868 33554432000 134512640 137138936 4290506480 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/16462/statm: 34397 31868 191 642 0 33753 0
[pid=16460/tid=16466] ppid=15911 vsize=368964 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (python) S 15911 15911 15040 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850343079 377819136 11804 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458722976832 0 0 -1 7 0 0 0
[pid=15911/tid=15918] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/15918/stat : 15918 (python) S 15909 15911 15040 0 -1 4202560 33 235069 0 0 0 0 41930 233 18 0 8 0 850235727 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=15927] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/15927/stat : 15927 (python) S 15909 15911 15040 0 -1 4202560 26 235069 0 0 0 0 41930 233 25 0 8 0 850240965 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=15933] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/15933/stat : 15933 (python) S 15909 15911 15040 0 -1 4202560 42 235069 0 0 0 0 41930 233 18 0 8 0 850245841 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=16101] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/16101/stat : 16101 (python) S 15909 15911 15040 0 -1 4202560 31 235069 0 0 0 0 41930 233 18 0 8 0 850250569 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=16263] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/16263/stat : 16263 (python) S 15909 15911 15040 0 -1 4202560 28 235069 0 0 0 0 41930 233 20 0 8 0 850259780 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 5 0 0 0
[pid=15911/tid=16345] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/16345/stat : 16345 (python) S 15909 15911 15040 0 -1 4202560 26 235069 0 0 0 0 41930 233 20 0 8 0 850282986 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 7 0 0 0
[pid=15911/tid=16461] ppid=15909 vsize=379208 CPUtime=421.63 cores=1,3,5,7
/proc/15911/task/16461/stat : 16461 (python) S 15909 15911 15040 0 -1 4202560 31 235069 0 0 0 0 41930 233 20 0 8 0 850333773 388308992 13296 33554432000 4194304 5683644 140735171889072 18446744073709551615 270350207409 0 0 16781312 33554434 18446604469177873344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1463.37
Current children cumulated vsize (KiB) 1619384
Child status: 0
Real time (s): 1457.85
CPU time (s): 1463.52
CPU user time (s): 1452.11
CPU system time (s): 11.4133
CPU usage (%): 100.389
Max. virtual memory (cumulated for all children) (KiB): 4309572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1452.11
system time used= 11.4133
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466981
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3082
involuntary context switches= 3623
runsolver used 8.35773 second user time and 19.514 second system time
The end