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-3482821-1307578180/watcher-3482821-1307578180 -o /tmp/evaluation-result-3482821-1307578180/solver-3482821-1307578180 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482821-1307578180.opb -seed 202694231 -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: 3.32 2.39 2.03 3/576 3635
/proc/meminfo: memFree=15364980/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 795 0 0 0 0 0 0 0 17 0 1 0 869416722 15749120 681 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/3635/statm: 3845 681 322 364 0 332 0
[startup+0.078848 s]
/proc/loadavg: 3.32 2.39 2.03 3/576 3635
/proc/meminfo: memFree=15364980/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/3635/stat : 3635 (python) R 3633 3635 2587 0 -1 4202496 2392 0 0 0 4 1 0 0 17 0 1 0 869416722 86597632 2120 33554432000 4194304 5683644 140734921812288 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3635/statm: 21142 2121 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.100849 s]
/proc/loadavg: 3.32 2.39 2.03 3/576 3635
/proc/meminfo: memFree=15364980/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/3635/stat : 3635 (python) R 3633 3635 2587 0 -1 4202496 3170 929 1 0 5 2 0 0 18 0 1 0 869416722 98430976 2483 33554432000 4194304 5683644 140734921812288 18446744073709551615 5170927 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3635/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300846 s]
/proc/loadavg: 3.32 2.39 2.03 3/576 3635
/proc/meminfo: memFree=15364980/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=179988 CPUtime=0.22 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 6275 929 1 0 17 5 0 0 17 0 1 0 869416722 184307712 4581 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/3635/statm: 44997 4581 1244 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 179988
[startup+0.700748 s]
/proc/loadavg: 3.32 2.39 2.03 3/576 3635
/proc/meminfo: memFree=15364980/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=292000 CPUtime=0.57 cores=0,2,4,6
/proc/3635/stat : 3635 (python) R 3633 3635 2587 0 -1 4202496 11402 929 1 0 49 8 0 0 17 0 1 0 869416722 299008000 9263 33554432000 4194304 5683644 140734921812288 18446744073709551615 47051950991724 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3635/statm: 73000 9264 1781 364 0 7893 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 292000
[startup+1.50055 s]
/proc/loadavg: 3.22 2.38 2.03 3/577 3640
/proc/meminfo: memFree=15328384/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=308260 CPUtime=1.34 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 15649 929 1 0 125 9 0 0 20 0 2 0 869416722 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3635/statm: 77065 10906 1872 364 0 11952 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 308260
[startup+3.10032 s]
/proc/loadavg: 3.22 2.38 2.03 3/580 3643
/proc/meminfo: memFree=15318104/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=308260 CPUtime=1.34 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 15649 929 1 0 125 9 0 0 20 0 2 0 869416722 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3635/statm: 77065 10906 1872 364 0 11952 0
[pid=3641] ppid=3635 vsize=298016 CPUtime=0 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 869416868 305168384 9381 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570255 0 0 16781312 33554946 1918448336482828546 0 0 17 4 0 0 0
/proc/3641/statm: 74504 9381 351 364 0 9391 0
[pid=3643] ppid=3641 vsize=7344 CPUtime=1.6 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) R 3641 3643 3643 0 -1 4202496 2257 0 0 0 160 0 0 0 25 0 1 0 869416868 7520256 1559 33554432000 134512640 136139019 4293858464 18446744073709551615 134608326 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/3643/statm: 1836 1559 184 398 0 1436 0
[pid=3635/tid=3642] ppid=3633 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869416868 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 613620
[startup+6.30076 s]
/proc/loadavg: 3.20 2.39 2.04 3/580 3643
/proc/meminfo: memFree=15317116/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=308260 CPUtime=1.34 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 15649 929 1 0 125 9 0 0 20 0 2 0 869416722 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3635/statm: 77065 10906 1872 364 0 11952 0
[pid=3641] ppid=3635 vsize=298016 CPUtime=0.01 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 891 0 0 0 0 1 0 0 18 0 1 0 869416868 305168384 9405 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570255 0 0 16781312 33554946 17265972253103718658 0 0 17 6 0 0 0
/proc/3641/statm: 74504 9405 375 364 0 9391 0
[pid=3643] ppid=3641 vsize=8664 CPUtime=4.8 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) R 3641 3643 3643 0 -1 4202496 2609 0 0 0 480 0 0 0 25 0 1 0 869416868 8871936 1911 33554432000 134512640 136139019 4293858464 18446744073709551615 134608923 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/3643/statm: 2166 1911 184 398 0 1766 0
[pid=3635/tid=3642] ppid=3633 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869416868 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 614940
[startup+18.0567 s]
/proc/loadavg: 3.20 2.39 2.04 3/580 3643
/proc/meminfo: memFree=15317116/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=308260 CPUtime=1.34 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 15649 929 1 0 125 9 0 0 20 0 2 0 869416722 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3635/statm: 77065 10906 1872 364 0 11952 0
[pid=3641] ppid=3635 vsize=298016 CPUtime=0.06 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 894 0 0 0 3 3 0 0 18 0 1 0 869416868 305168384 9405 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570255 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/3641/statm: 74504 9405 375 364 0 9391 0
[pid=3643] ppid=3641 vsize=10920 CPUtime=16.56 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) R 3641 3643 3643 0 -1 4202496 3173 0 0 0 1656 0 0 0 25 0 1 0 869416868 11182080 2475 33554432000 134512640 136139019 4293858464 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/3643/statm: 2730 2475 184 398 0 2330 0
[pid=3635/tid=3642] ppid=3633 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869416868 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.96
Current children cumulated vsize (KiB) 617196
[startup+25.5005 s]
/proc/loadavg: 3.52 2.50 2.08 3/580 3645
/proc/meminfo: memFree=15311276/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=308260 CPUtime=1.34 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 15649 929 1 0 125 9 0 0 20 0 2 0 869416722 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3635/statm: 77065 10906 1872 364 0 11952 0
[pid=3641] ppid=3635 vsize=298016 CPUtime=0.1 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 898 0 0 0 5 5 0 0 18 0 1 0 869416868 305168384 9405 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570255 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/3641/statm: 74504 9405 375 364 0 9391 0
[pid=3643] ppid=3641 vsize=12156 CPUtime=24 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) R 3641 3643 3643 0 -1 4202496 3456 0 0 0 2400 0 0 0 25 0 1 0 869416868 12447744 2758 33554432000 134512640 136139019 4293858464 18446744073709551615 134608372 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/3643/statm: 3039 2758 184 398 0 2639 0
[pid=3635/tid=3642] ppid=3633 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869416868 315658240 10906 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 618432
[startup+51.1011 s]
/proc/loadavg: 3.27 2.55 2.11 3/581 3646
/proc/meminfo: memFree=15308668/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=308264 CPUtime=2.74 cores=0,2,4,6
/proc/3635/stat : 3635 (python) R 3633 3635 2587 0 -1 4202496 16265 929 1 0 265 9 0 0 20 0 2 0 869416722 315662336 10908 33554432000 4194304 5683644 140734921812288 18446744073709551615 47051784505476 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3635/statm: 77066 10908 1873 364 0 11953 0
[pid=3641] ppid=3635 vsize=308260 CPUtime=0.22 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 1137 0 0 0 11 11 0 0 19 0 2 0 869416868 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3641/statm: 77065 9446 411 364 0 11952 0
[pid=3643] ppid=3641 vsize=14276 CPUtime=48.2 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) T 3641 3643 3643 0 -1 4202496 3983 0 0 0 4820 0 0 0 25 0 1 0 869416868 14618624 3285 33554432000 134512640 136139019 4293858464 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3643/statm: 3569 3285 184 398 0 3169 0
[pid=3641/tid=3646] ppid=3635 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3641/task/3646/stat : 3646 (python) S 3635 3635 2587 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869421692 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604448221243456 0 0 -1 6 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=308264 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869416868 315662336 10908 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 630800
[startup+102.301 s]
/proc/loadavg: 2.59 2.47 2.10 3/584 3651
/proc/meminfo: memFree=15226880/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=328772 CPUtime=4.59 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 17506 929 1 0 449 10 0 0 20 0 4 0 869416722 336662528 10919 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3635/statm: 82193 10919 1877 364 0 17074 0
[pid=3641] ppid=3635 vsize=308260 CPUtime=0.22 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 1137 0 0 0 11 11 0 0 19 0 2 0 869416868 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3641/statm: 77065 9446 411 364 0 11952 0
[pid=3643] ppid=3641 vsize=14276 CPUtime=48.2 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) T 3641 3643 3643 0 -1 4202496 3983 0 0 0 4820 0 0 0 25 0 1 0 869416868 14618624 3285 33554432000 134512640 136139019 4293858464 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3643/statm: 3569 3285 184 398 0 3169 0
[pid=3641/tid=3646] ppid=3635 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3641/task/3646/stat : 3646 (python) S 3635 3635 2587 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869421692 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604448221243456 0 0 -1 6 0 0 0
[pid=3647] ppid=3635 vsize=308272 CPUtime=0.22 cores=0,2,4,6
/proc/3647/stat : 3647 (python) S 3635 3635 2587 0 -1 4202560 1116 0 0 0 10 12 0 0 17 0 2 0 869422014 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3647/statm: 77068 9431 396 364 0 11952 0
[pid=3649] ppid=3647 vsize=107976 CPUtime=49.18 cores=0,2,4,6
/proc/3649/stat : 3649 (minion) T 3647 3649 3649 0 -1 4202496 23283 0 0 0 4916 2 0 0 25 0 1 0 869422015 110567424 19572 33554432000 134512640 165565024 4291300704 18446744073709551615 158624697 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/3649/statm: 26994 19572 346 7582 0 19409 0
[pid=3635/tid=3642] ppid=3633 vsize=328772 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 4 0 869416868 336662528 10919 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=328772 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (python) S 3633 3635 2587 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 4 0 869422014 336662528 10919 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 1067556
Solver just ended. Dumping a history of the last processes samples
[startup+113.921 s]
/proc/loadavg: 2.50 2.46 2.10 3/588 3655
/proc/meminfo: memFree=15200312/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=328772 CPUtime=4.59 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 17506 929 1 0 449 10 0 0 20 0 4 0 869416722 336662528 10919 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3635/statm: 82193 10919 1877 364 0 17074 0
[pid=3641] ppid=3635 vsize=308260 CPUtime=0.22 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 1137 0 0 0 11 11 0 0 19 0 2 0 869416868 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3641/statm: 77065 9446 411 364 0 11952 0
[pid=3643] ppid=3641 vsize=14276 CPUtime=48.2 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) T 3641 3643 3643 0 -1 4202496 3983 0 0 0 4820 0 0 0 25 0 1 0 869416868 14618624 3285 33554432000 134512640 136139019 4293858464 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
################
# More data... #
################
[pid=3649] ppid=3647 vsize=107976 CPUtime=49.18 cores=0,2,4,6
/proc/3649/stat : 3649 (minion) T 3647 3649 3649 0 -1 4202496 23283 0 0 0 4916 2 0 0 25 0 1 0 869422015 110567424 19572 33554432000 134512640 165565024 4291300704 18446744073709551615 158624697 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/3649/statm: 26994 19572 346 7582 0 19409 0
[pid=3647/tid=3652] ppid=3635 vsize=308272 CPUtime=0 cores=0,2,4,6
/proc/3647/task/3652/stat : 3652 (python) S 3635 3635 2587 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869426934 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604441324793920 0 0 -1 6 0 0 0
[pid=3653] ppid=3635 vsize=318528 CPUtime=0.22 cores=0,2,4,6
/proc/3653/stat : 3653 (python) S 3635 3635 2587 0 -1 4202560 1114 0 0 0 11 11 0 0 17 0 2 0 869426937 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3653/statm: 79632 9435 396 364 0 14513 0
[pid=3655] ppid=3653 vsize=48024 CPUtime=46.11 cores=0,2,4,6
/proc/3655/stat : 3655 (wbo1.4b-fixed) T 3653 3655 3655 0 -1 4202496 12144 0 0 0 4595 16 0 0 25 0 1 0 869426937 49176576 11272 33554432000 134512640 135752315 4289429008 18446744073709551615 134606848 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3655/statm: 12006 11272 147 303 0 11701 0
[pid=3653/tid=3659] ppid=3635 vsize=318528 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3659/stat : 3659 (python) S 3635 3635 2587 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869431551 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604447888127232 0 0 -1 2 0 0 0
[pid=3660] ppid=3635 vsize=328784 CPUtime=0.05 cores=0,2,4,6
/proc/3660/stat : 3660 (python) R 3635 3635 2587 0 -1 4202560 965 0 0 0 2 3 0 0 15 0 1 0 869431554 336674816 9414 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970593415 0 0 16781312 33554946 0 0 0 17 0 0 0 0
/proc/3660/statm: 82196 9414 372 364 0 17074 0
[pid=3662] ppid=3660 vsize=267360 CPUtime=12.16 cores=0,2,4,6
/proc/3662/stat : 3662 (scip-2.0.1.linu) R 3660 3662 3662 0 -1 4202496 64585 0 0 0 1195 21 0 0 25 0 1 0 869431554 273776640 63575 33554432000 4194304 13684479 140735867429296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3662/statm: 66840 63575 761 2317 0 64518 0
[pid=3635/tid=3642] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869416868 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (python) S 3633 3635 2587 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 5 0 869422014 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 4 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (python) S 3633 3635 2587 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869426937 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 2 0 0 0
[pid=3635/tid=3661] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3661/stat : 3661 (python) S 3633 3635 2587 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 5 0 869431554 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 2040508
[startup+161.301 s]
/proc/loadavg: 2.21 2.39 2.09 3/595 3662
/proc/meminfo: memFree=14848080/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=339028 CPUtime=4.62 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 18451 929 1 0 451 11 0 0 20 0 5 0 869416722 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3635/statm: 84757 10925 1879 364 0 19635 0
[pid=3641] ppid=3635 vsize=308260 CPUtime=0.22 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 1137 0 0 0 11 11 0 0 19 0 2 0 869416868 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3641/statm: 77065 9446 411 364 0 11952 0
[pid=3643] ppid=3641 vsize=14276 CPUtime=48.2 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) T 3641 3643 3643 0 -1 4202496 3983 0 0 0 4820 0 0 0 25 0 1 0 869416868 14618624 3285 33554432000 134512640 136139019 4293858464 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3643/statm: 3569 3285 184 398 0 3169 0
[pid=3641/tid=3646] ppid=3635 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3641/task/3646/stat : 3646 (python) S 3635 3635 2587 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869421692 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604448221243456 0 0 -1 6 0 0 0
[pid=3647] ppid=3635 vsize=308272 CPUtime=0.22 cores=0,2,4,6
/proc/3647/stat : 3647 (python) S 3635 3635 2587 0 -1 4202560 1116 0 0 0 10 12 0 0 17 0 2 0 869422014 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3647/statm: 77068 9431 396 364 0 11952 0
[pid=3649] ppid=3647 vsize=107976 CPUtime=49.18 cores=0,2,4,6
/proc/3649/stat : 3649 (minion) T 3647 3649 3649 0 -1 4202496 23283 0 0 0 4916 2 0 0 25 0 1 0 869422015 110567424 19572 33554432000 134512640 165565024 4291300704 18446744073709551615 158624697 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/3649/statm: 26994 19572 346 7582 0 19409 0
[pid=3647/tid=3652] ppid=3635 vsize=308272 CPUtime=0 cores=0,2,4,6
/proc/3647/task/3652/stat : 3652 (python) S 3635 3635 2587 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869426934 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604441324793920 0 0 -1 6 0 0 0
[pid=3653] ppid=3635 vsize=318528 CPUtime=0.22 cores=0,2,4,6
/proc/3653/stat : 3653 (python) S 3635 3635 2587 0 -1 4202560 1114 0 0 0 11 11 0 0 17 0 2 0 869426937 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3653/statm: 79632 9435 396 364 0 14513 0
[pid=3655] ppid=3653 vsize=48024 CPUtime=46.11 cores=0,2,4,6
/proc/3655/stat : 3655 (wbo1.4b-fixed) T 3653 3655 3655 0 -1 4202496 12144 0 0 0 4595 16 0 0 25 0 1 0 869426937 49176576 11272 33554432000 134512640 135752315 4289429008 18446744073709551615 134606848 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3655/statm: 12006 11272 147 303 0 11701 0
[pid=3653/tid=3659] ppid=3635 vsize=318528 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3659/stat : 3659 (python) S 3635 3635 2587 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869431551 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604447888127232 0 0 -1 2 0 0 0
[pid=3660] ppid=3635 vsize=328784 CPUtime=0.06 cores=0,2,4,6
/proc/3660/stat : 3660 (python) S 3635 3635 2587 0 -1 4202560 965 0 0 0 2 4 0 0 15 0 1 0 869431554 336674816 9414 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570310 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/3660/statm: 82196 9414 372 364 0 17074 0
[pid=3662] ppid=3660 vsize=267360 CPUtime=12.97 cores=0,2,4,6
/proc/3662/stat : 3662 (scip-2.0.1.linu) R 3660 3662 3662 0 -1 4202496 64598 0 0 0 1275 22 0 0 25 0 1 0 869431554 273776640 63588 33554432000 4194304 13684479 140735867429296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3662/statm: 66840 63588 761 2317 0 64518 0
[pid=3635/tid=3642] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869416868 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (python) S 3633 3635 2587 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 5 0 869422014 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 4 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (python) S 3633 3635 2587 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869426937 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 2 0 0 0
[pid=3635/tid=3661] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3661/stat : 3661 (python) S 3633 3635 2587 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 5 0 869431554 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 2040508
[startup+161.701 s]
/proc/loadavg: 2.21 2.39 2.09 3/595 3662
/proc/meminfo: memFree=14848080/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=339028 CPUtime=4.62 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 18451 929 1 0 451 11 0 0 20 0 5 0 869416722 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3635/statm: 84757 10925 1879 364 0 19635 0
[pid=3641] ppid=3635 vsize=308260 CPUtime=0.22 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 1137 0 0 0 11 11 0 0 19 0 2 0 869416868 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3641/statm: 77065 9446 411 364 0 11952 0
[pid=3643] ppid=3641 vsize=14276 CPUtime=48.2 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) T 3641 3643 3643 0 -1 4202496 3983 0 0 0 4820 0 0 0 25 0 1 0 869416868 14618624 3285 33554432000 134512640 136139019 4293858464 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3643/statm: 3569 3285 184 398 0 3169 0
[pid=3641/tid=3646] ppid=3635 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3641/task/3646/stat : 3646 (python) S 3635 3635 2587 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869421692 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604448221243456 0 0 -1 6 0 0 0
[pid=3647] ppid=3635 vsize=308272 CPUtime=0.22 cores=0,2,4,6
/proc/3647/stat : 3647 (python) S 3635 3635 2587 0 -1 4202560 1116 0 0 0 10 12 0 0 17 0 2 0 869422014 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3647/statm: 77068 9431 396 364 0 11952 0
[pid=3649] ppid=3647 vsize=107976 CPUtime=49.18 cores=0,2,4,6
/proc/3649/stat : 3649 (minion) T 3647 3649 3649 0 -1 4202496 23283 0 0 0 4916 2 0 0 25 0 1 0 869422015 110567424 19572 33554432000 134512640 165565024 4291300704 18446744073709551615 158624697 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/3649/statm: 26994 19572 346 7582 0 19409 0
[pid=3647/tid=3652] ppid=3635 vsize=308272 CPUtime=0 cores=0,2,4,6
/proc/3647/task/3652/stat : 3652 (python) S 3635 3635 2587 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869426934 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604441324793920 0 0 -1 6 0 0 0
[pid=3653] ppid=3635 vsize=318528 CPUtime=0.22 cores=0,2,4,6
/proc/3653/stat : 3653 (python) S 3635 3635 2587 0 -1 4202560 1114 0 0 0 11 11 0 0 17 0 2 0 869426937 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3653/statm: 79632 9435 396 364 0 14513 0
[pid=3655] ppid=3653 vsize=48024 CPUtime=46.11 cores=0,2,4,6
/proc/3655/stat : 3655 (wbo1.4b-fixed) T 3653 3655 3655 0 -1 4202496 12144 0 0 0 4595 16 0 0 25 0 1 0 869426937 49176576 11272 33554432000 134512640 135752315 4289429008 18446744073709551615 134606848 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3655/statm: 12006 11272 147 303 0 11701 0
[pid=3653/tid=3659] ppid=3635 vsize=318528 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3659/stat : 3659 (python) S 3635 3635 2587 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869431551 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604447888127232 0 0 -1 2 0 0 0
[pid=3660] ppid=3635 vsize=328784 CPUtime=0.06 cores=0,2,4,6
/proc/3660/stat : 3660 (python) S 3635 3635 2587 0 -1 4202560 965 0 0 0 2 4 0 0 15 0 1 0 869431554 336674816 9414 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570310 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/3660/statm: 82196 9414 372 364 0 17074 0
[pid=3662] ppid=3660 vsize=267360 CPUtime=13.37 cores=0,2,4,6
/proc/3662/stat : 3662 (scip-2.0.1.linu) R 3660 3662 3662 0 -1 4202496 64598 0 0 0 1315 22 0 0 25 0 1 0 869431554 273776640 63588 33554432000 4194304 13684479 140735867429296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3662/statm: 66840 63588 761 2317 0 64518 0
[pid=3635/tid=3642] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869416868 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (python) S 3633 3635 2587 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 5 0 869422014 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 4 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (python) S 3633 3635 2587 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869426937 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 2 0 0 0
[pid=3635/tid=3661] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3661/stat : 3661 (python) S 3633 3635 2587 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 5 0 869431554 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 2040508
[startup+161.801 s]
/proc/loadavg: 2.21 2.39 2.09 3/595 3662
/proc/meminfo: memFree=14848080/32951132 swapFree=45426552/67111528
[pid=3635] ppid=3633 vsize=339028 CPUtime=4.62 cores=0,2,4,6
/proc/3635/stat : 3635 (python) S 3633 3635 2587 0 -1 4202496 18451 929 1 0 451 11 0 0 20 0 5 0 869416722 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3635/statm: 84757 10925 1879 364 0 19635 0
[pid=3641] ppid=3635 vsize=308260 CPUtime=0.22 cores=0,2,4,6
/proc/3641/stat : 3641 (python) S 3635 3635 2587 0 -1 4202560 1137 0 0 0 11 11 0 0 19 0 2 0 869416868 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3641/statm: 77065 9446 411 364 0 11952 0
[pid=3643] ppid=3641 vsize=14276 CPUtime=48.2 cores=0,2,4,6
/proc/3643/stat : 3643 (clasp-1.3.7-x86) T 3641 3643 3643 0 -1 4202496 3983 0 0 0 4820 0 0 0 25 0 1 0 869416868 14618624 3285 33554432000 134512640 136139019 4293858464 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3643/statm: 3569 3285 184 398 0 3169 0
[pid=3641/tid=3646] ppid=3635 vsize=308260 CPUtime=0 cores=0,2,4,6
/proc/3641/task/3646/stat : 3646 (python) S 3635 3635 2587 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869421692 315658240 9446 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604448221243456 0 0 -1 6 0 0 0
[pid=3647] ppid=3635 vsize=308272 CPUtime=0.22 cores=0,2,4,6
/proc/3647/stat : 3647 (python) S 3635 3635 2587 0 -1 4202560 1116 0 0 0 10 12 0 0 17 0 2 0 869422014 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3647/statm: 77068 9431 396 364 0 11952 0
[pid=3649] ppid=3647 vsize=107976 CPUtime=49.18 cores=0,2,4,6
/proc/3649/stat : 3649 (minion) T 3647 3649 3649 0 -1 4202496 23283 0 0 0 4916 2 0 0 25 0 1 0 869422015 110567424 19572 33554432000 134512640 165565024 4291300704 18446744073709551615 158624697 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/3649/statm: 26994 19572 346 7582 0 19409 0
[pid=3647/tid=3652] ppid=3635 vsize=308272 CPUtime=0 cores=0,2,4,6
/proc/3647/task/3652/stat : 3652 (python) S 3635 3635 2587 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869426934 315670528 9431 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604441324793920 0 0 -1 6 0 0 0
[pid=3653] ppid=3635 vsize=318528 CPUtime=0.22 cores=0,2,4,6
/proc/3653/stat : 3653 (python) S 3635 3635 2587 0 -1 4202560 1114 0 0 0 11 11 0 0 17 0 2 0 869426937 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3653/statm: 79632 9435 396 364 0 14513 0
[pid=3655] ppid=3653 vsize=48024 CPUtime=46.11 cores=0,2,4,6
/proc/3655/stat : 3655 (wbo1.4b-fixed) T 3653 3655 3655 0 -1 4202496 12144 0 0 0 4595 16 0 0 25 0 1 0 869426937 49176576 11272 33554432000 134512640 135752315 4289429008 18446744073709551615 134606848 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3655/statm: 12006 11272 147 303 0 11701 0
[pid=3653/tid=3659] ppid=3635 vsize=318528 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3659/stat : 3659 (python) S 3635 3635 2587 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869431551 326172672 9435 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554946 18446604447888127232 0 0 -1 2 0 0 0
[pid=3660] ppid=3635 vsize=328784 CPUtime=0.07 cores=0,2,4,6
/proc/3660/stat : 3660 (python) S 3635 3635 2587 0 -1 4202560 975 0 0 0 3 4 0 0 16 0 1 0 869431554 336674816 9414 33554432000 4194304 5683644 140734921812288 18446744073709551615 242970570310 0 0 16781312 33554946 4211322185140142080 0 0 17 6 0 0 0
/proc/3660/statm: 82196 9414 372 364 0 17074 0
[pid=3662] ppid=3660 vsize=0 CPUtime=13.46 cores=0,2,4,6
/proc/3662/stat : 3662 (scip-2.0.1.linu) R 3660 3662 3662 0 -1 4202500 64789 0 0 0 1324 22 0 0 18 0 1 0 869431554 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/3662/statm: 0 0 0 0 0 0 0
[pid=3635/tid=3642] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (python) S 3633 3635 2587 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869416868 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 6 0 0 0
[pid=3635/tid=3648] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (python) S 3633 3635 2587 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 5 0 869422014 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 4 0 0 0
[pid=3635/tid=3654] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3654/stat : 3654 (python) S 3633 3635 2587 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869426937 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 2 0 0 0
[pid=3635/tid=3661] ppid=3633 vsize=339028 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3661/stat : 3661 (python) S 3633 3635 2587 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 5 0 869431554 347164672 10925 33554432000 4194304 5683644 140734921812288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604440590193856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1773148
Child status: 0
Real time (s): 161.847
CPU time (s): 162.429
CPU user time (s): 161.464
CPU system time (s): 0.964853
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 2040508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.464
system time used= 0.964853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134150
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= 1347
involuntary context switches= 797
runsolver used 0.889864 second user time and 1.9707 second system time
The end