runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3317126-1304267410/watcher-3317126-1304267410 -o /tmp/evaluation-result-3317126-1304267410/solver-3317126-1304267410 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317126-1304267410.cnf -seed 2121985107 -budget 4800 -cores 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.69 2.39 0.86 5/205 21754
/proc/meminfo: memFree=28812172/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/21754/stat : 21754 (python) R 21752 21754 21633 0 -1 4202496 792 0 0 0 0 0 0 0 24 0 1 0 538338734 15749120 679 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21754/statm: 3845 679 322 364 0 332 0
[startup+0.038693 s]
/proc/loadavg: 6.69 2.39 0.86 5/205 21754
/proc/meminfo: memFree=28812172/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 1259 0 0 0 1 0 0 0 24 0 1 0 538338734 19337216 1112 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/21754/statm: 4721 1112 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100658 s]
/proc/loadavg: 6.69 2.39 0.86 5/205 21754
/proc/meminfo: memFree=28812172/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=87708 CPUtime=0.05 cores=0,2,4,6
/proc/21754/stat : 21754 (python) R 21752 21754 21633 0 -1 4202496 2639 0 0 0 4 1 0 0 24 0 1 0 538338734 89812992 2354 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905729024 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/21754/statm: 21927 2354 717 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87708
[startup+0.300674 s]
/proc/loadavg: 6.69 2.39 0.86 5/205 21754
/proc/meminfo: memFree=28812172/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=135752 CPUtime=0.18 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 5962 931 1 0 13 5 0 0 17 0 1 0 538338734 139010048 4151 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/21754/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752
[startup+0.707589 s]
/proc/loadavg: 6.69 2.39 0.86 5/205 21754
/proc/meminfo: memFree=28812172/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=280596 CPUtime=0.4 cores=0,2,4,6
/proc/21754/stat : 21754 (python) R 21752 21754 21633 0 -1 4202496 9788 931 1 0 30 10 0 0 16 0 1 0 538338734 287330304 7471 33554432000 4194304 5683644 140735787735472 18446744073709551615 5007992 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21754/statm: 70149 7471 1761 364 0 6073 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 280596
[startup+1.50039 s]
/proc/loadavg: 6.69 2.39 0.86 6/206 21759
/proc/meminfo: memFree=28786568/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=280752 CPUtime=1.2 cores=0,2,4,6
/proc/21754/stat : 21754 (python) R 21752 21754 21633 0 -1 4202496 11245 931 1 0 109 11 0 0 17 0 1 0 538338734 287490048 7643 33554432000 4194304 5683644 140735787735472 18446744073709551615 4603010 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21754/statm: 70188 7643 1868 364 0 6109 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 280752
[startup+3.1011 s]
/proc/loadavg: 6.55 2.44 0.88 9/218 21771
/proc/meminfo: memFree=28710052/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 538338885 287502336 6129 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920488155377271041 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6129 354 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=1.57 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 157 0 0 0 24 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134546146 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=0 cores=0,2,4,6
/proc/21763/stat : 21763 (python) S 21754 21754 21633 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 538338888 298156032 6149 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 4267200783402926079 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6149 348 364 0 8707 0
[pid=21765] ppid=21763 vsize=452900 CPUtime=1.55 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202496 1166 0 0 0 155 0 0 0 25 0 1 0 538338888 463769600 900 33554432000 134512640 135008748 4288957120 18446744073709551615 134527280 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21765/statm: 113225 900 46 122 0 112125 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 538338891 308658176 6153 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 4271848419053502724 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6153 348 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=1.51 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5232 0 0 0 151 0 0 0 25 0 1 0 538338892 274866176 4968 33554432000 134512640 135204385 4292404928 18446744073709551615 134547589 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4968 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 1 0 538338894 319299584 6174 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 1035523353869254916 0 0 17 2 0 0 0
/proc/21769/statm: 77954 6174 348 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=1.48 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 148 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 2765404
[startup+6.30052 s]
/proc/loadavg: 6.55 2.44 0.88 9/218 21771
/proc/meminfo: memFree=28708812/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 1 0 538338885 287502336 6152 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920488155377271041 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6152 377 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=4.77 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 477 0 0 0 25 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134536762 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=0 cores=0,2,4,6
/proc/21763/stat : 21763 (python) S 21754 21754 21633 0 -1 4202560 902 0 0 0 0 0 0 0 18 0 1 0 538338888 298156032 6172 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 4267200783402893572 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6172 371 364 0 8707 0
[pid=21765] ppid=21763 vsize=452900 CPUtime=4.72 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202496 1166 0 0 0 472 0 0 0 25 0 1 0 538338888 463769600 900 33554432000 134512640 135008748 4288957120 18446744073709551615 134529176 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21765/statm: 113225 900 46 122 0 112125 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 889 0 0 0 0 0 0 0 18 0 1 0 538338891 308658176 6176 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 4271848419053502724 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6176 371 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=4.68 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5233 0 0 0 468 0 0 0 25 0 1 0 538338892 274866176 4969 33554432000 134512640 135204385 4292404928 18446744073709551615 134546082 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4969 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 930 0 0 0 0 0 0 0 18 0 1 0 538338894 319299584 6197 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 1035523353869254916 0 0 17 2 0 0 0
/proc/21769/statm: 77954 6197 371 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=4.67 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 467 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134537510 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.13
Current children cumulated vsize (KiB) 2765404
[startup+12.7014 s]
/proc/loadavg: 6.78 2.62 0.96 9/218 21771
/proc/meminfo: memFree=28708152/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 1 0 538338885 287502336 6152 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920813056768311553 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6152 377 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=11.17 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 1117 0 0 0 25 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134536731 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=0.01 cores=0,2,4,6
/proc/21763/stat : 21763 (python) S 21754 21754 21633 0 -1 4202560 904 0 0 0 0 1 0 0 18 0 1 0 538338888 298156032 6172 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6172 371 364 0 8707 0
[pid=21765] ppid=21763 vsize=452900 CPUtime=11.11 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202496 1166 0 0 0 1111 0 0 0 25 0 1 0 538338888 463769600 900 33554432000 134512640 135008748 4288957120 18446744073709551615 134527542 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21765/statm: 113225 900 46 122 0 112125 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0.01 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 891 0 0 0 0 1 0 0 18 0 1 0 538338891 308658176 6176 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6176 371 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=11.03 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5233 0 0 0 1103 0 0 0 25 0 1 0 538338892 274866176 4969 33554432000 134512640 135204385 4292404928 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4969 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0.01 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 934 0 0 0 1 0 0 0 18 0 1 0 538338894 319299584 6197 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 2 0 0 0
/proc/21769/statm: 77954 6197 371 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=11.06 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 1106 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 45.69
Current children cumulated vsize (KiB) 2765404
Solver just ended. Dumping a history of the last processes samples
[startup+15.9008 s]
/proc/loadavg: 6.78 2.62 0.96 9/218 21772
/proc/meminfo: memFree=28708280/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 1 0 538338885 287502336 6152 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920813056768311553 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6152 377 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=14.37 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 1437 0 0 0 25 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134536952 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=0.01 cores=0,2,4,6
/proc/21763/stat : 21763 (python) S 21754 21754 21633 0 -1 4202560 904 0 0 0 0 1 0 0 18 0 1 0 538338888 298156032 6172 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6172 371 364 0 8707 0
[pid=21765] ppid=21763 vsize=452900 CPUtime=14.31 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202496 1166 0 0 0 1431 0 0 0 25 0 1 0 538338888 463769600 900 33554432000 134512640 135008748 4288957120 18446744073709551615 134527111 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21765/statm: 113225 900 46 122 0 112125 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0.01 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 891 0 0 0 0 1 0 0 18 0 1 0 538338891 308658176 6176 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6176 371 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=14.21 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5233 0 0 0 1421 0 0 0 25 0 1 0 538338892 274866176 4969 33554432000 134512640 135204385 4292404928 18446744073709551615 134537083 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4969 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0.01 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 934 0 0 0 1 0 0 0 18 0 1 0 538338894 319299584 6197 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 2 0 0 0
/proc/21769/statm: 77954 6197 371 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=14.26 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 1426 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 58.47
Current children cumulated vsize (KiB) 2765404
[startup+19.1012 s]
/proc/loadavg: 6.87 2.71 0.99 9/218 21772
/proc/meminfo: memFree=28708156/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0.01 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 894 0 0 0 1 0 0 0 18 0 1 0 538338885 287502336 6152 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920813056768311553 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6152 377 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=17.57 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 1757 0 0 0 25 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134546131 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=0.01 cores=0,2,4,6
/proc/21763/stat : 21763 (python) S 21754 21754 21633 0 -1 4202560 907 0 0 0 0 1 0 0 18 0 1 0 538338888 298156032 6172 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6172 371 364 0 8707 0
[pid=21765] ppid=21763 vsize=452900 CPUtime=17.49 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202496 1166 0 0 0 1749 0 0 0 25 0 1 0 538338888 463769600 900 33554432000 134512640 135008748 4288957120 18446744073709551615 134527468 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/21765/statm: 113225 900 46 122 0 112125 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0.02 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 893 0 0 0 1 1 0 0 18 0 1 0 538338891 308658176 6176 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6176 371 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=17.39 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5233 0 0 0 1739 0 0 0 25 0 1 0 538338892 274866176 4969 33554432000 134512640 135204385 4292404928 18446744073709551615 134537013 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4969 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0.02 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 936 0 0 0 1 1 0 0 18 0 1 0 538338894 319299584 6197 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 2 0 0 0
/proc/21769/statm: 77954 6197 371 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=17.46 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 1746 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134537573 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 71.26
Current children cumulated vsize (KiB) 2765404
[startup+20.7009 s]
/proc/loadavg: 6.87 2.71 0.99 11/218 21772
/proc/meminfo: memFree=28711132/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0.01 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 894 0 0 0 1 0 0 0 18 0 1 0 538338885 287502336 6152 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920813056768311553 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6152 377 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=19.17 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 1917 0 0 0 25 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134545979 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=1.43 cores=0,2,4,6
/proc/21763/stat : 21763 (python) R 21754 21754 21633 0 -1 4202560 927 0 0 0 123 20 0 0 17 0 1 0 538338888 298156032 6173 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 0 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6173 372 364 0 8707 0
[pid=21765] ppid=21763 vsize=0 CPUtime=17.68 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202500 1182 0 0 0 1768 0 0 0 25 0 1 0 538338888 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21765/statm: 0 0 0 0 0 0 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0.02 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 893 0 0 0 1 1 0 0 18 0 1 0 538338891 308658176 6176 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6176 371 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=18.98 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5233 0 0 0 1898 0 0 0 25 0 1 0 538338892 274866176 4969 33554432000 134512640 135204385 4292404928 18446744073709551615 134537435 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4969 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0.02 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 936 0 0 0 1 1 0 0 18 0 1 0 538338894 319299584 6197 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 0 0 0 0
/proc/21769/statm: 77954 6197 371 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=19.06 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 1906 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134546099 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 77.66
Current children cumulated vsize (KiB) 2312504
[startup+21.1009 s]
/proc/loadavg: 6.87 2.71 0.99 10/218 21772
/proc/meminfo: memFree=28711132/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=322060 CPUtime=1.29 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21752 21754 21633 0 -1 4202496 13981 931 1 0 118 11 0 0 22 0 5 0 538338734 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21754/statm: 80515 7711 1881 364 0 16424 0
[pid=21760] ppid=21754 vsize=280764 CPUtime=0.01 cores=0,2,4,6
/proc/21760/stat : 21760 (python) S 21754 21754 21633 0 -1 4202560 894 0 0 0 1 0 0 0 18 0 1 0 538338885 287502336 6152 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751055 0 0 16781312 514 2920813056768311553 0 0 17 6 0 0 0
/proc/21760/statm: 70191 6152 377 364 0 6109 0
[pid=21762] ppid=21760 vsize=268424 CPUtime=19.57 cores=0,2,4,6
/proc/21762/stat : 21762 (hybridGM3) R 21760 21762 21762 0 -1 4202496 5233 0 0 0 1957 0 0 0 25 0 1 0 538338886 274866176 4971 33554432000 134512640 135204385 4290360352 18446744073709551615 134536866 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21762/statm: 67106 4971 64 169 0 66936 0
[pid=21763] ppid=21754 vsize=291168 CPUtime=1.83 cores=0,2,4,6
/proc/21763/stat : 21763 (python) R 21754 21754 21633 0 -1 4202560 927 0 0 0 158 25 0 0 17 0 1 0 538338888 298156032 6173 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 0 0 0 17 2 0 0 0
/proc/21763/statm: 72792 6173 372 364 0 8707 0
[pid=21765] ppid=21763 vsize=0 CPUtime=17.68 cores=0,2,4,6
/proc/21765/stat : 21765 (TNM) R 21763 21765 21765 0 -1 4202500 1182 0 0 0 1768 0 0 0 25 0 1 0 538338888 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/21765/statm: 0 0 0 0 0 0 0
[pid=21766] ppid=21754 vsize=301424 CPUtime=0.02 cores=0,2,4,6
/proc/21766/stat : 21766 (python) S 21754 21754 21633 0 -1 4202560 893 0 0 0 1 1 0 0 18 0 1 0 538338891 308658176 6176 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 4 0 0 0
/proc/21766/statm: 75356 6176 371 364 0 11268 0
[pid=21768] ppid=21766 vsize=268424 CPUtime=19.37 cores=0,2,4,6
/proc/21768/stat : 21768 (hybridGM3) R 21766 21768 21768 0 -1 4202496 5233 0 0 0 1937 0 0 0 25 0 1 0 538338892 274866176 4969 33554432000 134512640 135204385 4292404928 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/21768/statm: 67106 4969 64 169 0 66936 0
[pid=21769] ppid=21754 vsize=311816 CPUtime=0.02 cores=0,2,4,6
/proc/21769/stat : 21769 (python) S 21754 21754 21633 0 -1 4202560 936 0 0 0 1 1 0 0 18 0 1 0 538338894 319299584 6197 33554432000 4194304 5683644 140735787735472 18446744073709551615 218905751110 0 0 16781312 514 2920813056768311556 0 0 17 0 0 0 0
/proc/21769/statm: 77954 6197 371 364 0 13863 0
[pid=21771] ppid=21769 vsize=268424 CPUtime=19.46 cores=0,2,4,6
/proc/21771/stat : 21771 (hybridGM3) R 21769 21771 21771 0 -1 4202496 5231 0 0 0 1946 0 0 0 25 0 1 0 538338895 274866176 4969 33554432000 134512640 135204385 4294556640 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21771/statm: 67106 4969 64 169 0 66936 0
[pid=21754/tid=21761] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (python) S 21752 21754 21633 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 538338885 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 0 0 0 0
[pid=21754/tid=21764] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (python) S 21752 21754 21633 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 538338888 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21767] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (python) S 21752 21754 21633 0 -1 4202560 22 931 0 0 0 0 0 0 20 0 5 0 538338891 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
[pid=21754/tid=21770] ppid=21752 vsize=322060 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (python) S 21752 21754 21633 0 -1 4202560 30 931 0 0 0 0 0 0 22 0 5 0 538338894 329789440 7711 33554432000 4194304 5683644 140735787735472 18446744073709551615 218917554609 0 0 16781312 2 18446604453911610304 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 79.25
Current children cumulated vsize (KiB) 2312504
[startup+21.5008 s]
/proc/loadavg: 6.87 2.71 0.99 10/218 21772
/proc/meminfo: memFree=28711132/32951124 swapFree=67111356/67111528
[pid=21754] ppid=21752 vsize=311756 CPUtime=80.89 cores=0,2,4,6
/proc/21754/stat : 21754 (python) R 21752 21754 21633 0 -1 4202496 16346 22028 1 0 119 12 7921 37 17 0 1 0 538338734 319238144 7699 33554432000 4194304 5683644 140735787735472 18446744073709551615 4617124 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/21754/statm: 77939 7699 1873 364 0 13863 0
Current children cumulated CPU time (s) 80.89
Current children cumulated vsize (KiB) 311756
Child status: 0
Real time (s): 21.5143
CPU time (s): 80.9197
CPU user time (s): 80.4168
CPU system time (s): 0.502923
CPU usage (%): 376.12
Max. virtual memory (cumulated for all children) (KiB): 2765404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.4168
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40949
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= 3086
involuntary context switches= 548
runsolver used 0.040993 second user time and 0.090986 second system time
The end