0.40/0.50 c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.40/0.50 c INFO: solving HOME/instance-3385787-1305574699.cnf
0.40/0.51 c INFO: computing task features
0.40/0.55 c INFO: computed variable-clause graph statistics
0.40/0.55 c INFO: computed clause balance statistics
0.60/0.76 c INFO: computed variable balance statistics
0.70/0.85 c INFO: computed small-clause counts
0.70/0.85 c INFO: computed Horn-clause counts
0.70/0.86 c INFO: computed variable graph statistics
0.70/0.86 c INFO: collected features for HOME/instance-3385787-1305574699.cnf in 0.35 s
0.70/0.89 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.54)
0.80/0.92 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.09)
0.80/0.95 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.04)
0.80/0.98 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.03)
1.08/1.03 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.03)
1.64/1.27 c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.09)
2.22/1.40 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.02)
2.72/1.63 c INFO: running FH@0 for 97 with 4998 remaining (b = 0.02)
581.71/106.47 c INFO: running adaptg2wsat2009++@0 for 97 with 4894 remaining (b = 0.01)
620.82/113.31 c INFO: running adaptg2wsat2009++@0 for 97 with 4887 remaining (b = 0.01)
720.91/131.48 c INFO: running march_hi@0 for 2134 with 4869 remaining (b = 0.28)
751.02/137.45 c INFO: running march_hi@0 for 2134 with 4863 remaining (b = 0.27)
962.51/178.88 c INFO: running march_hi@0 for 388 with 4821 remaining (b = 0.09)
1056.94/197.49 c INFO: running march_hi@0 for 485 with 4803 remaining (b = 0.09)
1061.88/198.54 c INFO: running march_hi@0 for 388 with 4801 remaining (b = 0.06)
1392.63/260.90 c INFO: running march_hi@0 for 388 with 4739 remaining (b = 0.05)
1438.30/269.18 c INFO: running hybridGM3@0 for 194 with 4731 remaining (b = 0.02)
2542.05/457.83 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3385787-1305574699/watcher-3385787-1305574699 -o /tmp/evaluation-result-3385787-1305574699/solver-3385787-1305574699 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385787-1305574699.cnf -seed 111733970 -budget 40000 -cores 8
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 10.76 10.69 10.64 5/484 7191
/proc/meminfo: memFree=21307584/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=15772 CPUtime=0 cores=0-7
/proc/7191/stat : 7191 (python) R 7189 7191 5798 0 -1 4202496 889 0 0 0 0 0 0 0 25 0 1 0 669066983 16150528 771 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476355781 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7191/statm: 3943 772 343 364 0 430 0
[startup+0.032111 s]
/proc/loadavg: 10.76 10.69 10.64 5/484 7191
/proc/meminfo: memFree=21307584/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=18880 CPUtime=0.01 cores=0-7
/proc/7191/stat : 7191 (python) R 7189 7191 5798 0 -1 4202496 1271 0 0 0 1 0 0 0 25 0 1 0 669066983 19333120 1124 33554432000 4194304 5683644 140733519252304 18446744073709551615 4297429 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7191/statm: 4720 1124 421 364 0 689 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18880
[startup+0.101095 s]
/proc/loadavg: 10.76 10.69 10.64 5/484 7191
/proc/meminfo: memFree=21307584/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=99372 CPUtime=0.07 cores=0-7
/proc/7191/stat : 7191 (python) R 7189 7191 5798 0 -1 4202496 2886 0 0 0 6 1 0 0 17 0 1 0 669066983 101756928 2583 33554432000 4194304 5683644 140733519252304 18446744073709551615 4864850 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7191/statm: 24843 2583 831 364 0 1694 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 99372
[startup+0.30106 s]
/proc/loadavg: 10.76 10.69 10.64 5/484 7191
/proc/meminfo: memFree=21307584/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=135896 CPUtime=0.24 cores=0-7
/proc/7191/stat : 7191 (python) R 7189 7191 5798 0 -1 4202496 6053 936 1 0 18 6 0 0 18 0 1 0 669066983 139157504 4190 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476694672 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7191/statm: 33974 4190 1032 364 0 3160 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 135896
[startup+0.700979 s]
/proc/loadavg: 10.76 10.69 10.64 5/484 7191
/proc/meminfo: memFree=21307584/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=279552 CPUtime=0.6 cores=0-7
/proc/7191/stat : 7191 (python) R 7189 7191 5798 0 -1 4202496 9754 936 1 0 52 8 0 0 17 0 1 0 669066983 286261248 7273 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476354469 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7191/statm: 69888 7273 1826 364 0 5812 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 279552
[startup+1.50077 s]
/proc/loadavg: 10.46 10.63 10.62 9/496 7207
/proc/meminfo: memFree=21269272/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=351080 CPUtime=0.98 cores=0-7
/proc/7191/stat : 7191 (python) R 7189 7191 5798 0 -1 4202496 15243 936 1 0 88 10 0 0 25 0 8 0 669066983 359505920 7309 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7191/statm: 87770 7309 1887 364 0 23670 0
[pid=7197] ppid=7191 vsize=278700 CPUtime=0 cores=0-7
/proc/7197/stat : 7197 (python) S 7191 7191 5798 0 -1 4202560 738 0 0 0 0 0 0 0 19 0 1 0 669067073 285388800 5614 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715023 0 0 16781312 514 13503521218942205951 0 0 17 1 0 0 0
/proc/7197/statm: 69675 5614 354 364 0 5593 0
[pid=7199] ppid=7197 vsize=1017932 CPUtime=0.59 cores=0-7
/proc/7199/stat : 7199 (gnovelty+2) R 7197 7199 7199 0 -1 4202496 512 0 0 0 59 0 0 0 22 0 1 0 669067073 1042362368 247 33554432000 134512640 135663704 4286872816 18446744073709551615 134524916 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/7199/statm: 254483 247 113 282 0 254199 0
[pid=7200] ppid=7191 vsize=289352 CPUtime=0 cores=0-7
/proc/7200/stat : 7200 (python) S 7191 7191 5798 0 -1 4202560 739 0 0 0 0 0 0 0 20 0 1 0 669067076 296296448 5696 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 16506084339625230335 0 0 17 0 0 0 0
/proc/7200/statm: 72338 5696 348 364 0 8253 0
[pid=7202] ppid=7200 vsize=1017932 CPUtime=0.51 cores=0-7
/proc/7202/stat : 7202 (gnovelty+2) R 7200 7202 7202 0 -1 4202496 512 0 0 0 51 0 0 0 23 0 1 0 669067076 1042362368 247 33554432000 134512640 135663704 4290816544 18446744073709551615 134525136 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7202/statm: 254483 247 113 282 0 254199 0
[pid=7203] ppid=7191 vsize=299272 CPUtime=0 cores=0-7
/proc/7203/stat : 7203 (python) S 7191 7191 5798 0 -1 4202560 715 0 0 0 0 0 0 0 22 0 1 0 669067079 306454528 5606 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11715335430911033343 0 0 17 1 0 0 0
/proc/7203/statm: 74818 5606 344 364 0 10730 0
[pid=7205] ppid=7203 vsize=416652 CPUtime=0.41 cores=0-7
/proc/7205/stat : 7205 (adaptg2wsat2009) R 7203 7205 7205 0 -1 4202496 568 0 0 0 41 0 0 0 25 0 1 0 669067081 426651648 302 33554432000 134512640 135107411 4287048320 18446744073709551615 134523331 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7205/statm: 104163 302 49 146 0 103039 0
[pid=7206] ppid=7191 vsize=310068 CPUtime=0 cores=0-7
/proc/7206/stat : 7206 (python) S 7191 7191 5798 0 -1 4202560 732 0 0 0 0 0 0 0 23 0 1 0 669067082 317509632 5734 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11167472151412342783 0 0 17 7 0 0 0
/proc/7206/statm: 77517 5734 344 364 0 13426 0
[pid=7191/tid=7198] ppid=7189 vsize=351080 CPUtime=0 cores=0-7
/proc/7191/task/7198/stat : 7198 (python) S 7189 7191 5798 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 8 0 669067073 359505920 7309 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7201] ppid=7189 vsize=351080 CPUtime=0 cores=0-7
/proc/7191/task/7201/stat : 7201 (python) S 7189 7191 5798 0 -1 4202560 21 936 0 0 0 0 0 0 21 0 8 0 669067076 359505920 7309 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 0 0 0 0
[pid=7191/tid=7204] ppid=7189 vsize=351080 CPUtime=0 cores=0-7
/proc/7191/task/7204/stat : 7204 (python) S 7189 7191 5798 0 -1 4202560 22 936 0 0 0 0 0 0 22 0 8 0 669067079 359505920 7309 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 1 0 0 0
[pid=7191/tid=7207] ppid=7189 vsize=351080 CPUtime=0 cores=0-7
/proc/7191/task/7207/stat : 7207 (python) S 7189 7191 5798 0 -1 4202560 24 936 0 0 0 0 0 0 23 0 8 0 669067082 359505920 7309 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 3980988
[startup+3.10146 s]
/proc/loadavg: 10.46 10.63 10.62 13/509 7220
/proc/meminfo: memFree=21245360/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=361336 CPUtime=1.01 cores=0-7
/proc/7191/stat : 7191 (python) S 7189 7191 5798 0 -1 4202496 16166 936 1 0 91 10 0 0 25 0 9 0 669066983 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7191/statm: 90334 7317 1891 364 0 26231 0
[pid=7197] ppid=7191 vsize=278700 CPUtime=0 cores=0-7
/proc/7197/stat : 7197 (python) S 7191 7191 5798 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 669067073 285388800 5614 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715023 0 0 16781312 514 13503521218942173442 0 0 17 1 0 0 0
/proc/7197/statm: 69675 5614 354 364 0 5593 0
[pid=7199] ppid=7197 vsize=1017932 CPUtime=2.19 cores=0-7
/proc/7199/stat : 7199 (gnovelty+2) R 7197 7199 7199 0 -1 4202496 512 0 0 0 219 0 0 0 25 0 1 0 669067073 1042362368 247 33554432000 134512640 135663704 4286872816 18446744073709551615 134525213 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/7199/statm: 254483 247 113 282 0 254199 0
[pid=7200] ppid=7191 vsize=289352 CPUtime=0 cores=0-7
/proc/7200/stat : 7200 (python) S 7191 7191 5798 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 669067076 296296448 5696 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 16506084339625197827 0 0 17 0 0 0 0
/proc/7200/statm: 72338 5696 348 364 0 8253 0
[pid=7202] ppid=7200 vsize=1017932 CPUtime=1.31 cores=0-7
/proc/7202/stat : 7202 (gnovelty+2) R 7200 7202 7202 0 -1 4202496 512 0 0 0 131 0 0 0 25 0 1 0 669067076 1042362368 247 33554432000 134512640 135663704 4290816544 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7202/statm: 254483 247 113 282 0 254199 0
[pid=7203] ppid=7191 vsize=299272 CPUtime=0 cores=0-7
/proc/7203/stat : 7203 (python) S 7191 7191 5798 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 669067079 306454528 5610 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11715335430911000833 0 0 17 1 0 0 0
/proc/7203/statm: 74818 5610 348 364 0 10730 0
[pid=7205] ppid=7203 vsize=416788 CPUtime=1.97 cores=0-7
/proc/7205/stat : 7205 (adaptg2wsat2009) R 7203 7205 7205 0 -1 4202496 628 0 0 0 197 0 0 0 25 0 1 0 669067081 426790912 362 33554432000 134512640 135107411 4287048320 18446744073709551615 134531942 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7205/statm: 104197 362 59 146 0 103073 0
[pid=7206] ppid=7191 vsize=310068 CPUtime=0 cores=0-7
/proc/7206/stat : 7206 (python) S 7191 7191 5798 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 1 0 669067082 317509632 5738 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11167472151412310276 0 0 17 7 0 0 0
/proc/7206/statm: 77517 5738 348 364 0 13426 0
[pid=7208] ppid=7206 vsize=416788 CPUtime=2.05 cores=0-7
/proc/7208/stat : 7208 (adaptg2wsat2009) R 7206 7208 7208 0 -1 4202496 629 0 0 0 205 0 0 0 25 0 1 0 669067085 426790912 364 33554432000 134512640 135107411 4293953648 18446744073709551615 134532242 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/7208/statm: 104197 364 59 146 0 103073 0
[pid=7209] ppid=7191 vsize=320324 CPUtime=0 cores=0-7
/proc/7209/stat : 7209 (python) S 7191 7191 5798 0 -1 4202560 759 0 0 0 0 0 0 0 18 0 1 0 669067087 328011776 5742 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11715331582620336127 0 0 17 2 0 0 0
/proc/7209/statm: 80081 5742 348 364 0 15987 0
[pid=7211] ppid=7209 vsize=416788 CPUtime=0.98 cores=0-7
/proc/7211/stat : 7211 (adaptg2wsat2009) R 7209 7211 7211 0 -1 4202496 631 0 0 0 98 0 0 0 25 0 1 0 669067100 426790912 363 33554432000 134512640 135107411 4294530240 18446744073709551615 134532313 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/7211/statm: 104197 363 59 146 0 103073 0
[pid=7212] ppid=7191 vsize=330580 CPUtime=0 cores=0-7
/proc/7212/stat : 7212 (python) S 7191 7191 5798 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 669067111 338513920 5746 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 5607400651869880579 0 0 17 2 0 0 0
/proc/7212/statm: 82645 5746 348 364 0 18548 0
[pid=7214] ppid=7212 vsize=2364 CPUtime=0.84 cores=0-7
/proc/7214/stat : 7214 (march_hi) R 7212 7214 7214 0 -1 4202496 1261 0 0 0 84 0 0 0 25 0 1 0 669067113 2420736 406 33554432000 4194304 4955518 140734129656752 18446744073709551615 4297472 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7214/statm: 591 406 106 186 0 404 0
[pid=7215] ppid=7191 vsize=340836 CPUtime=0 cores=0-7
/proc/7215/stat : 7215 (python) S 7191 7191 5798 0 -1 4202560 771 0 0 0 0 0 0 0 18 0 1 0 669067124 349016064 5766 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 16753198753334132993 0 0 17 1 0 0 0
/proc/7215/statm: 85209 5766 348 364 0 21109 0
[pid=7220] ppid=7215 vsize=1017932 CPUtime=0.72 cores=0-7
/proc/7220/stat : 7220 (gnovelty+2) R 7215 7220 7220 0 -1 4202496 513 0 0 0 72 0 0 0 25 0 1 0 669067155 1042362368 248 33554432000 134512640 135663704 4287576224 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7220/statm: 254483 248 113 282 0 254199 0
[pid=7217] ppid=7191 vsize=351092 CPUtime=0 cores=0-7
/proc/7217/stat : 7217 (python) S 7191 7191 5798 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 669067147 359518208 5776 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 10871619410901073919 0 0 17 2 0 0 0
/proc/7217/statm: 87773 5776 354 364 0 23670 0
[pid=7219] ppid=7217 vsize=245448 CPUtime=0.67 cores=0-7
/proc/7219/stat : 7219 (FH) R 7217 7219 7219 0 -1 4202496 531 0 0 0 67 0 0 0 25 0 1 0 669067147 251338752 256 33554432000 134512640 134936988 4294232816 18446744073709551615 134523622 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/7219/statm: 61362 256 37 104 0 60866 0
[pid=7191/tid=7198] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7198/stat : 7198 (python) S 7189 7191 5798 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 9 0 669067073 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7201] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7201/stat : 7201 (python) S 7189 7191 5798 0 -1 4202560 21 936 0 0 0 0 0 0 21 0 9 0 669067076 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 0 0 0 0
[pid=7191/tid=7204] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7204/stat : 7204 (python) S 7189 7191 5798 0 -1 4202560 22 936 0 0 0 0 0 0 22 0 9 0 669067079 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 1 0 0 0
[pid=7191/tid=7207] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7207/stat : 7207 (python) S 7189 7191 5798 0 -1 4202560 24 936 0 0 0 0 0 0 23 0 9 0 669067082 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 7 0 0 0
[pid=7191/tid=7210] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7210/stat : 7210 (python) S 7189 7191 5798 0 -1 4202560 20 936 0 0 0 0 0 0 25 0 9 0 669067087 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7213] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7213/stat : 7213 (python) S 7189 7191 5798 0 -1 4202560 26 936 0 0 0 0 0 0 25 0 9 0 669067111 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7216] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7216/stat : 7216 (python) S 7189 7191 5798 0 -1 4202560 24 936 0 0 0 0 0 0 24 0 9 0 669067124 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 5 0 0 0
[pid=7191/tid=7218] ppid=7189 vsize=361336 CPUtime=0 cores=0-7
/proc/7191/task/7218/stat : 7218 (python) S 7189 7191 5798 0 -1 4202560 31 936 0 0 0 0 0 0 25 0 9 0 669067147 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 7433532
[startup+6.30085 s]
/proc/loadavg: 10.46 10.63 10.62 13/509 7220
/proc/meminfo: memFree=21243748/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=361336 CPUtime=1.01 cores=0-7
/proc/7191/stat : 7191 (python) S 7189 7191 5798 0 -1 4202496 16166 936 1 0 91 10 0 0 25 0 9 0 669066983 370008064 7317 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488521675 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7191/statm: 90334 7317 1891 364 0 26231 0
[pid=7197] ppid=7191 vsize=278700 CPUtime=0.02 cores=0-7
/proc/7197/stat : 7197 (python) S 7191 7191 5798 0 -1 4202560 900 0 0 0 1 1 0 0 18 0 1 0 669067073 285388800 5636 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715023 0 0 16781312 514 13503521218942173442 0 0 17 1 0 0 0
/proc/7197/statm: 69675 5636 376 364 0 5593 0
[pid=7199] ppid=7197 vsize=1017932 CPUtime=5.33 cores=0-7
/proc/7199/stat : 7199 (gnovelty+2) R 7197 7199 7199 0 -1 4202496 512 0 0 0 533 0 0 0 25 0 1 0 669067073 1042362368 247 33554432000 134512640 135663704 4286872816 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/7199/statm: 254483 247 113 282 0 254199 0
[pid=7200] ppid=7191 vsize=289352 CPUtime=0.01 cores=0-7
/proc/7200/stat : 7200 (python) S 7191 7191 5798 0 -1 4202560 906 0 0 0 0 1 0 0 18 0 1 0 669067076 296296448 5719 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 16506084339625197827 0 0 17 0 0 0 0
/proc/7200/statm: 72338 5719 371 364 0 8253 0
[pid=7202] ppid=7200 vsize=1017932 CPUtime=2.91 cores=0-7
/proc/7202/stat : 7202 (gnovelty+2) R 7200 7202 7202 0 -1 4202496 512 0 0 0 291 0 0 0 25 0 1 0 669067076 1042362368 247 33554432000 134512640 135663704 4290816544 18446744073709551615 134525091 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7202/statm: 254483 247 113 282 0 254199 0
[pid=7203] ppid=7191 vsize=299272 CPUtime=0.01 cores=0-7
/proc/7203/stat : 7203 (python) S 7191 7191 5798 0 -1 4202560 911 0 0 0 1 0 0 0 18 0 1 0 669067079 306454528 5633 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11715335430911000833 0 0 17 1 0 0 0
/proc/7203/statm: 74818 5633 371 364 0 10730 0
[pid=7205] ppid=7203 vsize=416788 CPUtime=5.11 cores=0-7
/proc/7205/stat : 7205 (adaptg2wsat2009) R 7203 7205 7205 0 -1 4202496 628 0 0 0 511 0 0 0 25 0 1 0 669067081 426790912 362 33554432000 134512640 135107411 4287048320 18446744073709551615 134531508 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7205/statm: 104197 362 59 146 0 103073 0
[pid=7206] ppid=7191 vsize=310068 CPUtime=0.01 cores=0-7
################
# More data... #
################
/proc/7220/stat : 7220 (gnovelty+2) T 7215 7220 7220 0 -1 4202496 513 0 0 0 9840 0 0 0 25 0 1 0 669067155 1042362368 248 33554432000 134512640 135663704 4287576224 18446744073709551615 134525229 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/7220/statm: 254483 248 113 282 0 254199 0
[pid=7215/tid=7247] ppid=7191 vsize=340836 CPUtime=0 cores=0-7
/proc/7215/task/7247/stat : 7247 (python) S 7191 7191 5798 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 669086833 349016064 5819 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 514 18446604443928449408 0 0 -1 6 0 0 0
[pid=7217] ppid=7191 vsize=416628 CPUtime=0.72 cores=0-7
/proc/7217/stat : 7217 (python) S 7191 7191 5798 0 -1 4202560 1199 0 0 0 39 33 0 0 19 0 2 0 669067147 426627072 5830 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/7217/statm: 104157 5830 406 364 0 40054 0
[pid=7219] ppid=7217 vsize=246936 CPUtime=97.8 cores=0-7
/proc/7219/stat : 7219 (FH) T 7217 7219 7219 0 -1 4202496 603 0 0 0 9780 0 0 0 25 0 1 0 669067147 252862464 326 33554432000 134512640 134936988 4294232816 18446744073709551615 134554976 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/7219/statm: 61734 326 41 104 0 61238 0
[pid=7217/tid=7243] ppid=7191 vsize=416628 CPUtime=0 cores=0-7
/proc/7217/task/7243/stat : 7243 (python) S 7191 7191 5798 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 669086728 426627072 5830 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 514 18446604442559037504 0 0 -1 1 0 0 0
[pid=7226] ppid=7191 vsize=361348 CPUtime=0.54 cores=0-7
/proc/7226/stat : 7226 (python) S 7191 7191 5798 0 -1 4202560 1166 0 0 0 28 26 0 0 19 0 2 0 669078315 370020352 5829 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488521675 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/7226/statm: 90337 5829 400 364 0 26231 0
[pid=7228] ppid=7226 vsize=416788 CPUtime=98.64 cores=0-7
/proc/7228/stat : 7228 (adaptg2wsat2009) T 7226 7228 7228 0 -1 4202496 632 0 0 0 9864 0 0 0 25 0 1 0 669078316 426790912 362 33554432000 134512640 135107411 4291058256 18446744073709551615 134532229 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/7228/statm: 104197 362 59 146 0 103073 0
[pid=7226/tid=7253] ppid=7191 vsize=361348 CPUtime=0 cores=0-7
/proc/7226/task/7253/stat : 7253 (python) S 7191 7191 5798 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 669093069 370020352 5829 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 514 18446604440278878208 0 0 -1 0 0 0 0
[pid=7231] ppid=7191 vsize=437140 CPUtime=1.35 cores=0-7
/proc/7231/stat : 7231 (python) S 7191 7191 5798 0 -1 4202560 848 0 0 0 70 65 0 0 15 0 1 0 669080132 447631360 5976 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 17467774109004824833 0 0 17 0 0 0 0
/proc/7231/statm: 109285 5976 371 364 0 45176 0
[pid=7233] ppid=7231 vsize=3080 CPUtime=177.08 cores=0-7
/proc/7233/stat : 7233 (march_hi) R 7231 7233 7233 0 -1 4202496 1463 0 0 0 17707 1 0 0 25 0 1 0 669080132 3153920 573 33554432000 4194304 4955518 140734790398368 18446744073709551615 4297540 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/7233/statm: 770 573 106 186 0 583 0
[pid=7235] ppid=7191 vsize=447396 CPUtime=1.33 cores=0-7
/proc/7235/stat : 7235 (python) S 7191 7191 5798 0 -1 4202560 861 0 0 0 68 65 0 0 15 0 1 0 669080729 458133504 5971 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11580777743364620547 0 0 17 4 0 0 0
/proc/7235/statm: 111849 5971 371 364 0 47737 0
[pid=7237] ppid=7235 vsize=3420 CPUtime=210.37 cores=0-7
/proc/7237/stat : 7237 (march_hi) R 7235 7237 7237 0 -1 4202496 1497 0 0 0 21037 0 0 0 25 0 1 0 669080729 3502080 605 33554432000 4194304 4955518 140737299294432 18446744073709551615 4237772 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7237/statm: 855 605 106 186 0 668 0
[pid=7240] ppid=7191 vsize=457652 CPUtime=1.13 cores=0-7
/proc/7240/stat : 7240 (python) S 7191 7191 5798 0 -1 4202560 873 0 0 0 57 56 0 0 15 0 1 0 669084872 468635648 6002 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11580777743364620547 0 0 17 1 0 0 0
/proc/7240/statm: 114413 6002 371 364 0 50298 0
[pid=7242] ppid=7240 vsize=3080 CPUtime=140.97 cores=0-7
/proc/7242/stat : 7242 (march_hi) R 7240 7242 7242 0 -1 4202496 1435 0 0 0 14097 0 0 0 25 0 1 0 669084872 3153920 540 33554432000 4194304 4955518 140733842298400 18446744073709551615 4297483 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/7242/statm: 770 540 106 186 0 583 0
[pid=7244] ppid=7191 vsize=467908 CPUtime=1.05 cores=0-7
/proc/7244/stat : 7244 (python) S 7191 7191 5798 0 -1 4202560 1046 0 0 0 55 50 0 0 15 0 1 0 669086732 479137792 5921 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 6210824530252759299 0 0 17 1 0 0 0
/proc/7244/statm: 116977 5921 371 364 0 52859 0
[pid=7246] ppid=7244 vsize=3420 CPUtime=256.78 cores=0-7
/proc/7246/stat : 7246 (march_hi) R 7244 7246 7246 0 -1 4202496 1558 0 0 0 25678 0 0 0 25 0 1 0 669086733 3502080 654 33554432000 4194304 4955518 140734298191712 18446744073709551615 4208656 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/7246/statm: 855 654 106 186 0 668 0
[pid=7248] ppid=7191 vsize=478304 CPUtime=1.05 cores=0-7
/proc/7248/stat : 7248 (python) S 7191 7191 5798 0 -1 4202560 1064 0 0 0 56 49 0 0 15 0 1 0 669086838 489783296 5942 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 3879068230995640577 0 0 17 5 0 0 0
/proc/7248/statm: 119576 5942 371 364 0 55455 0
[pid=7250] ppid=7248 vsize=3420 CPUtime=239.89 cores=0-7
/proc/7250/stat : 7250 (march_hi) R 7248 7250 7250 0 -1 4202496 1542 0 0 0 23989 0 0 0 25 0 1 0 669086838 3502080 634 33554432000 4194304 4955518 140735592218832 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/7250/statm: 855 634 106 186 0 668 0
[pid=7254] ppid=7191 vsize=488256 CPUtime=0.84 cores=0-7
/proc/7254/stat : 7254 (python) S 7191 7191 5798 0 -1 4202560 1088 0 0 0 45 39 0 0 15 0 1 0 669093073 499974144 5848 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 5899126177917796611 0 0 17 0 0 0 0
/proc/7254/statm: 122064 5848 380 364 0 57940 0
[pid=7256] ppid=7254 vsize=3080 CPUtime=130.16 cores=0-7
/proc/7256/stat : 7256 (march_hi) R 7254 7256 7256 0 -1 4202496 1440 0 0 0 13015 1 0 0 25 0 1 0 669093074 3153920 529 33554432000 4194304 4955518 140734811417616 18446744073709551615 4208592 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7256/statm: 770 529 106 186 0 583 0
[pid=7257] ppid=7191 vsize=498796 CPUtime=0.68 cores=0-7
/proc/7257/stat : 7257 (python) S 7191 7191 5798 0 -1 4202560 1069 0 0 0 33 35 0 0 18 0 1 0 669093902 510767104 5968 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11580777743364620546 0 0 17 5 0 0 0
/proc/7257/statm: 124699 5968 378 364 0 60572 0
[pid=7259] ppid=7257 vsize=268420 CPUtime=115.79 cores=0-7
/proc/7259/stat : 7259 (hybridGM3) R 7257 7259 7259 0 -1 4202496 4884 0 0 0 11579 0 0 0 25 0 1 0 669093902 274862080 4609 33554432000 134512640 135204385 4290502832 18446744073709551615 134536737 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7259/statm: 67105 4609 64 169 0 66935 0
[pid=7191/tid=7198] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7198/stat : 7198 (python) S 7189 7191 5798 0 -1 4202560 26 936 0 0 0 0 0 0 19 0 17 0 669067073 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7201] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7201/stat : 7201 (python) S 7189 7191 5798 0 -1 4202560 21 936 0 0 0 0 0 0 21 0 17 0 669067076 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 0 0 0 0
[pid=7191/tid=7204] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7204/stat : 7204 (python) S 7189 7191 5798 0 -1 4202560 22 936 0 0 0 0 0 0 22 0 17 0 669067079 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 1 0 0 0
[pid=7191/tid=7207] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7207/stat : 7207 (python) S 7189 7191 5798 0 -1 4202560 28 936 0 0 0 0 0 0 18 0 17 0 669067082 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 7 0 0 0
[pid=7191/tid=7210] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7210/stat : 7210 (python) S 7189 7191 5798 0 -1 4202560 20 936 0 0 0 0 0 0 25 0 17 0 669067087 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7213] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7213/stat : 7213 (python) S 7189 7191 5798 0 -1 4202560 26 936 0 0 0 0 0 0 25 0 17 0 669067111 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7216] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7216/stat : 7216 (python) S 7189 7191 5798 0 -1 4202560 24 936 0 0 0 0 0 0 24 0 17 0 669067124 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 5 0 0 0
[pid=7191/tid=7218] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7218/stat : 7218 (python) S 7189 7191 5798 0 -1 4202560 31 936 0 0 0 0 0 0 25 0 17 0 669067147 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7227] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7227/stat : 7227 (python) S 7189 7191 5798 0 -1 4202560 31 936 0 0 0 0 0 0 19 0 17 0 669078315 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 3 0 0 0
[pid=7191/tid=7232] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7232/stat : 7232 (python) S 7189 7191 5798 0 -1 4202560 82 936 0 0 0 0 0 0 19 0 17 0 669080132 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7236] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7236/stat : 7236 (python) S 7189 7191 5798 0 -1 4202560 33 936 0 0 0 0 0 0 19 0 17 0 669080729 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7241] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7241/stat : 7241 (python) S 7189 7191 5798 0 -1 4202560 33 936 0 0 0 0 0 0 19 0 17 0 669084872 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 3 0 0 0
[pid=7191/tid=7245] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7245/stat : 7245 (python) S 7189 7191 5798 0 -1 4202560 30 936 0 0 0 0 0 0 19 0 17 0 669086733 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7249] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7249/stat : 7249 (python) S 7189 7191 5798 0 -1 4202560 31 936 0 0 0 0 0 0 19 0 17 0 669086838 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7255] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7255/stat : 7255 (python) S 7189 7191 5798 0 -1 4202560 28 936 0 0 0 0 0 0 20 0 17 0 669093074 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7258] ppid=7189 vsize=509040 CPUtime=0 cores=0-7
/proc/7191/task/7258/stat : 7258 (python) S 7189 7191 5798 0 -1 4202560 32 936 0 0 0 0 0 0 19 0 17 0 669093902 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2541.42
Current children cumulated vsize (KiB) 12194256
[startup+457.802 s]
/proc/loadavg: 12.16 11.86 11.22 14/541 7264
/proc/meminfo: memFree=21174392/32950928 swapFree=67056568/67111528
[pid=7191] ppid=7189 vsize=509040 CPUtime=1249.41 cores=0-7
/proc/7191/stat : 7191 (python) S 7189 7191 5798 0 -1 4202496 23297 23612 1 0 124 12 124473 332 17 0 17 0 669066983 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488525119 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7191/statm: 127260 7502 1908 364 0 63133 0
[pid=7212] ppid=7191 vsize=0 CPUtime=371.18 cores=0-7
/proc/7212/stat : 7212 (python) Z 7191 7191 5798 0 -1 4202588 1252 1699 0 0 280 122 36716 0 18 0 1 0 669067111 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7212/statm: 0 0 0 0 0 0 0
[pid=7231] ppid=7191 vsize=437140 CPUtime=1.35 cores=0-7
/proc/7231/stat : 7231 (python) S 7191 7191 5798 0 -1 4202560 848 0 0 0 70 65 0 0 15 0 1 0 669080132 447631360 5976 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 17467774109004824833 0 0 17 0 0 0 0
/proc/7231/statm: 109285 5976 371 364 0 45176 0
[pid=7233] ppid=7231 vsize=3080 CPUtime=177.16 cores=0-7
/proc/7233/stat : 7233 (march_hi) R 7231 7233 7233 0 -1 4202496 1463 0 0 0 17715 1 0 0 25 0 1 0 669080132 3153920 573 33554432000 4194304 4955518 140734790398368 18446744073709551615 4297393 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/7233/statm: 770 573 106 186 0 583 0
[pid=7235] ppid=7191 vsize=447396 CPUtime=1.33 cores=0-7
/proc/7235/stat : 7235 (python) S 7191 7191 5798 0 -1 4202560 861 0 0 0 68 65 0 0 15 0 1 0 669080729 458133504 5971 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11580777743364620547 0 0 17 4 0 0 0
/proc/7235/statm: 111849 5971 371 364 0 47737 0
[pid=7237] ppid=7235 vsize=3420 CPUtime=210.46 cores=0-7
/proc/7237/stat : 7237 (march_hi) R 7235 7237 7237 0 -1 4202496 1498 0 0 0 21046 0 0 0 25 0 1 0 669080729 3502080 606 33554432000 4194304 4955518 140737299294432 18446744073709551615 4346998 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7237/statm: 855 606 106 186 0 668 0
[pid=7240] ppid=7191 vsize=457652 CPUtime=1.13 cores=0-7
/proc/7240/stat : 7240 (python) S 7191 7191 5798 0 -1 4202560 891 0 0 0 57 56 0 0 15 0 1 0 669084872 468635648 6007 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488525119 0 0 16781824 2 18446744071562232103 0 0 17 1 0 0 0
/proc/7240/statm: 114413 6007 376 364 0 50298 0
[pid=7242] ppid=7240 vsize=3080 CPUtime=140.99 cores=0-7
/proc/7242/stat : 7242 (march_hi) R 7240 7242 7242 0 -1 4202496 1435 0 0 0 14099 0 0 0 25 0 1 0 669084872 3153920 540 33554432000 4194304 4955518 140733842298400 18446744073709551615 4297472 256 0 16781312 0 0 0 0 17 3 0 0 0
/proc/7242/statm: 770 540 106 186 0 583 0
[pid=7244] ppid=7191 vsize=467908 CPUtime=1.08 cores=0-7
/proc/7244/stat : 7244 (python) S 7191 7191 5798 0 -1 4202560 1060 0 0 0 56 52 0 0 15 0 1 0 669086732 479137792 5930 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 11580777743364620547 0 0 17 1 0 0 0
/proc/7244/statm: 116977 5930 380 364 0 52859 0
[pid=7246] ppid=7244 vsize=3420 CPUtime=256.86 cores=0-7
/proc/7246/stat : 7246 (march_hi) R 7244 7246 7246 0 -1 4202496 1558 0 0 0 25686 0 0 0 25 0 1 0 669086733 3502080 654 33554432000 4194304 4955518 140734298191712 18446744073709551615 4261522 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/7246/statm: 855 654 106 186 0 668 0
[pid=7254] ppid=7191 vsize=488256 CPUtime=0.84 cores=0-7
/proc/7254/stat : 7254 (python) S 7191 7191 5798 0 -1 4202560 1088 0 0 0 45 39 0 0 15 0 1 0 669093073 499974144 5848 33554432000 4194304 5683644 140733519252304 18446744073709551615 239476715078 0 0 16781312 514 5899126177917796611 0 0 17 0 0 0 0
/proc/7254/statm: 122064 5848 380 364 0 57940 0
[pid=7256] ppid=7254 vsize=3080 CPUtime=130.26 cores=0-7
/proc/7256/stat : 7256 (march_hi) R 7254 7256 7256 0 -1 4202496 1440 0 0 0 13025 1 0 0 25 0 1 0 669093074 3153920 529 33554432000 4194304 4955518 140734811417616 18446744073709551615 4208656 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7256/statm: 770 529 106 186 0 583 0
[pid=7191/tid=7198] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7198/stat : 7198 (python) S 7189 7191 5798 0 -1 4202560 26 23612 0 0 0 0 124473 332 19 0 17 0 669067073 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7201] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7201/stat : 7201 (python) S 7189 7191 5798 0 -1 4202560 21 23612 0 0 0 0 124473 332 21 0 17 0 669067076 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 0 0 0 0
[pid=7191/tid=7204] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7204/stat : 7204 (python) S 7189 7191 5798 0 -1 4202560 22 23612 0 0 0 0 124473 332 22 0 17 0 669067079 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 1 0 0 0
[pid=7191/tid=7207] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7207/stat : 7207 (python) S 7189 7191 5798 0 -1 4202560 28 23612 0 0 0 0 124473 332 18 0 17 0 669067082 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 7 0 0 0
[pid=7191/tid=7210] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7210/stat : 7210 (python) S 7189 7191 5798 0 -1 4202560 20 23612 0 0 0 0 124473 332 25 0 17 0 669067087 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7213] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7213/stat : 7213 (python) S 7189 7191 5798 0 -1 4202560 26 23612 0 0 0 0 124473 332 25 0 17 0 669067111 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7216] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7216/stat : 7216 (python) S 7189 7191 5798 0 -1 4202560 24 23612 0 0 0 0 124473 332 24 0 17 0 669067124 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 5 0 0 0
[pid=7191/tid=7218] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7218/stat : 7218 (python) S 7189 7191 5798 0 -1 4202560 31 23612 0 0 0 0 124473 332 25 0 17 0 669067147 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7227] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7227/stat : 7227 (python) S 7189 7191 5798 0 -1 4202560 31 23612 0 0 0 0 124473 332 19 0 17 0 669078315 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 3 0 0 0
[pid=7191/tid=7232] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7232/stat : 7232 (python) S 7189 7191 5798 0 -1 4202560 82 23612 0 0 0 0 124473 332 19 0 17 0 669080132 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7236] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7236/stat : 7236 (python) S 7189 7191 5798 0 -1 4202560 33 23612 0 0 0 0 124473 332 19 0 17 0 669080729 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7241] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7241/stat : 7241 (python) S 7189 7191 5798 0 -1 4202560 33 23612 0 0 0 0 124473 332 19 0 17 0 669084872 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 3 0 0 0
[pid=7191/tid=7245] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7245/stat : 7245 (python) S 7189 7191 5798 0 -1 4202560 30 23612 0 0 0 0 124473 332 19 0 17 0 669086733 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7249] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7249/stat : 7249 (python) S 7189 7191 5798 0 -1 4202560 31 23612 0 0 0 0 124473 332 19 0 17 0 669086838 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7255] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7255/stat : 7255 (python) S 7189 7191 5798 0 -1 4202560 28 23612 0 0 0 0 124473 332 20 0 17 0 669093074 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 2 0 0 0
[pid=7191/tid=7258] ppid=7189 vsize=509040 CPUtime=1248.05 cores=0-7
/proc/7191/task/7258/stat : 7258 (python) S 7189 7191 5798 0 -1 4202560 32 23612 0 0 0 0 124473 332 19 0 17 0 669093902 521256960 7502 33554432000 4194304 5683644 140733519252304 18446744073709551615 239488518577 0 0 16781312 2 18446604447133938816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2542.05
Current children cumulated vsize (KiB) 2823472
Child status: 0
Real time (s): 457.856
CPU time (s): 2542.31
CPU user time (s): 2534.77
CPU system time (s): 7.53985
CPU usage (%): 555.264
Max. virtual memory (cumulated for all children) (KiB): 12198952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2534.77
system time used= 7.53985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66628
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= 7366
involuntary context switches= 27229
runsolver used 3.39348 second user time and 7.12792 second system time
The end
Begin job on node148 at 2011-05-16 21:38:19
IDJOB=3385787
IDBENCH=83052
IDSOLVER=1870
FILE ID=node148/3385787-1305574699
RUNJOBID= node148-1305564960-5812
PBS_JOBID= 13350102
Free space on /tmp= 72884 MiB
SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385787-1305574699/watcher-3385787-1305574699 -o /tmp/evaluation-result-3385787-1305574699/solver-3385787-1305574699 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385787-1305574699.cnf -seed 111733970 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1e7a565e93334fc4a75fcaa13a0d446a
RANDOM SEED=111733970
node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 21307368 kB
Buffers: 353364 kB
Cached: 5038696 kB
SwapCached: 8488 kB
Active: 8053340 kB
Inactive: 3215316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 21307368 kB
SwapTotal: 67111528 kB
SwapFree: 67056568 kB
Dirty: 31848 kB
Writeback: 0 kB
AnonPages: 5875576 kB
Mapped: 37504 kB
Slab: 252216 kB
PageTables: 48684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 141724644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72852 MiB
End job on node148 at 2011-05-16 21:45:57