0.38/0.67 c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.38/0.67 c INFO: solving HOME/instance-3385465-1305566948.cnf
0.38/0.67 c INFO: computing task features
0.38/0.67 c INFO: computed variable-clause graph statistics
0.38/0.67 c INFO: computed clause balance statistics
0.46/0.71 c INFO: computed variable balance statistics
0.46/0.74 c INFO: computed small-clause counts
0.46/0.74 c INFO: computed Horn-clause counts
0.46/0.74 c INFO: computed variable graph statistics
0.46/0.74 c INFO: collected features for HOME/instance-3385465-1305566948.cnf in 0.08 s
0.46/0.77 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.57)
0.55/0.81 c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.35)
0.55/0.84 c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.30)
0.55/0.87 c INFO: running march_hi@0 for 97 with 4999 remaining (b = 0.09)
0.65/0.90 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.07)
0.65/0.94 c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.26)
0.65/0.97 c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.23)
0.65/1.00 c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.21)
749.51/100.97 c INFO: running march_hi@0 for 291 with 4899 remaining (b = 0.15)
750.26/101.03 c INFO: running kcnfs-2006@0 for 582 with 4899 remaining (b = 0.23)
751.02/101.17 c INFO: running march_hi@0 for 485 with 4899 remaining (b = 0.17)
2782.12/392.19 c INFO: running march_hi@100 for 97 with 4608 remaining (b = 0.04)
2878.53/405.99 c INFO: running march_hi@0 for 291 with 4594 remaining (b = 0.10)
2914.06/411.03 c INFO: running march_hi@0 for 97 with 4589 remaining (b = 0.04)
3537.41/500.38 c INFO: running march_hi@0 for 291 with 4500 remaining (b = 0.13)
3648.32/516.23 c INFO: running march_hi@99 for 97 with 4484 remaining (b = 0.05)
3726.53/527.47 c INFO: running march_hi@490 for 97 with 4473 remaining (b = 0.06)
3863.30/547.04 c INFO: running march_hi@491 for 97 with 4453 remaining (b = 0.05)
4207.26/596.33 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-3385465-1305566948/watcher-3385465-1305566948 -o /tmp/evaluation-result-3385465-1305566948/solver-3385465-1305566948 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385465-1305566948.cnf -seed 1655447407 -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: 8.86 8.54 7.34 2/321 18840
/proc/meminfo: memFree=25453384/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=15776 CPUtime=0 cores=0-7
/proc/18840/stat : 18840 (python) R 18838 18840 18357 0 -1 4202496 893 0 0 0 0 0 0 0 17 0 1 0 746925405 16154624 775 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020056773 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18840/statm: 3944 775 343 364 0 431 0
[startup+0.0960959 s]
/proc/loadavg: 8.86 8.54 7.34 2/321 18840
/proc/meminfo: memFree=25453384/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=85364 CPUtime=0.06 cores=0-7
/proc/18840/stat : 18840 (python) R 18838 18840 18357 0 -1 4202496 2593 0 0 0 4 2 0 0 17 0 1 0 746925405 87412736 2315 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020393984 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18840/statm: 21341 2315 713 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85364
[startup+0.101107 s]
/proc/loadavg: 8.86 8.54 7.34 2/321 18840
/proc/meminfo: memFree=25453384/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=89768 CPUtime=0.06 cores=0-7
/proc/18840/stat : 18840 (python) S 18838 18840 18357 0 -1 4202496 2672 0 0 0 4 2 0 0 17 0 1 0 746925405 91922432 2388 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18840/statm: 22442 2388 750 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89768
[startup+0.301061 s]
/proc/loadavg: 8.86 8.54 7.34 2/321 18840
/proc/meminfo: memFree=25453384/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=135752 CPUtime=0.19 cores=0-7
/proc/18840/stat : 18840 (python) S 18838 18840 18357 0 -1 4202496 5964 935 1 0 14 5 0 0 17 0 1 0 746925405 139010048 4152 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020391941 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18840/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752
[startup+0.700986 s]
/proc/loadavg: 8.86 8.54 7.34 2/321 18840
/proc/meminfo: memFree=25453384/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=278304 CPUtime=0.46 cores=0-7
/proc/18840/stat : 18840 (python) R 18838 18840 18357 0 -1 4202496 9323 935 1 0 34 12 0 0 16 0 1 0 746925405 284983296 6993 33554432000 4194304 5683644 140736883010848 18446744073709551615 4500322 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18840/statm: 69576 6993 1826 364 0 5500 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 278304
[startup+1.50077 s]
/proc/loadavg: 8.86 8.54 7.34 10/342 18865
/proc/meminfo: memFree=25398276/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=361360 CPUtime=0.76 cores=0-7
/proc/18840/stat : 18840 (python) S 18838 18840 18357 0 -1 4202496 15790 935 1 0 62 14 0 0 25 0 9 0 746925405 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032222667 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18840/statm: 90340 7305 1889 364 0 26237 0
[pid=18846] ppid=18840 vsize=278672 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (python) S 18840 18840 18357 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 746925483 285360128 5578 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416015 0 0 16781312 514 4274800058018299903 0 0 17 6 0 0 0
/proc/18846/statm: 69668 5578 354 364 0 5586 0
[pid=18848] ppid=18846 vsize=1017800 CPUtime=0.71 cores=0-7
/proc/18848/stat : 18848 (gnovelty+2) R 18846 18848 18848 0 -1 4202496 440 0 0 0 71 0 0 0 21 0 1 0 746925484 1042227200 177 33554432000 134512640 135663704 4289362688 18446744073709551615 134545670 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18848/statm: 254450 177 113 282 0 254166 0
[pid=18849] ppid=18840 vsize=289344 CPUtime=0 cores=0-7
/proc/18849/stat : 18849 (python) S 18840 18840 18357 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 746925487 296288256 5694 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 5607367357283401985 0 0 17 4 0 0 0
/proc/18849/statm: 72336 5694 348 364 0 8251 0
[pid=18851] ppid=18849 vsize=2188 CPUtime=0.67 cores=0-7
/proc/18851/stat : 18851 (march_hi) R 18849 18851 18851 0 -1 4202496 618 0 0 0 67 0 0 0 22 0 1 0 746925487 2240512 354 33554432000 4194304 4955518 140736041153520 18446744073709551615 4314835 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18851/statm: 547 354 104 186 0 360 0
[pid=18852] ppid=18840 vsize=299252 CPUtime=0 cores=0-7
/proc/18852/stat : 18852 (python) S 18840 18840 18357 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 746925490 306434048 5600 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 5607367357283401986 0 0 17 7 0 0 0
/proc/18852/statm: 74813 5600 348 364 0 10725 0
[pid=18854] ppid=18852 vsize=2188 CPUtime=0.63 cores=0-7
/proc/18854/stat : 18854 (march_hi) R 18852 18854 18854 0 -1 4202496 618 0 0 0 63 0 0 0 22 0 1 0 746925490 2240512 354 33554432000 4194304 4955518 140736502200656 18446744073709551615 4209701 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18854/statm: 547 354 104 186 0 360 0
[pid=18855] ppid=18840 vsize=309960 CPUtime=0 cores=0-7
/proc/18855/stat : 18855 (python) S 18840 18840 18357 0 -1 4202560 753 0 0 0 0 0 0 0 17 0 1 0 746925493 317399040 5711 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 5607367357283401985 0 0 17 0 0 0 0
/proc/18855/statm: 77490 5711 348 364 0 13399 0
[pid=18857] ppid=18855 vsize=2188 CPUtime=0.6 cores=0-7
/proc/18857/stat : 18857 (march_hi) R 18855 18857 18857 0 -1 4202496 618 0 0 0 60 0 0 0 25 0 1 0 746925493 2240512 353 33554432000 4194304 4955518 140735523476768 18446744073709551615 4238763 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18857/statm: 547 353 104 186 0 360 0
[pid=18858] ppid=18840 vsize=320216 CPUtime=0 cores=0-7
/proc/18858/stat : 18858 (python) S 18840 18840 18357 0 -1 4202560 751 0 0 0 0 0 0 0 19 0 1 0 746925496 327901184 5715 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 4274803906308997119 0 0 17 2 0 0 0
/proc/18858/statm: 80054 5715 348 364 0 15960 0
[pid=18860] ppid=18858 vsize=1017800 CPUtime=0.58 cores=0-7
/proc/18860/stat : 18860 (gnovelty+2) R 18858 18860 18860 0 -1 4202496 441 0 0 0 58 0 0 0 22 0 1 0 746925497 1042227200 177 33554432000 134512640 135663704 4294564528 18446744073709551615 134544122 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18860/statm: 254450 177 113 282 0 254166 0
[pid=18861] ppid=18840 vsize=330472 CPUtime=0 cores=0-7
/proc/18861/stat : 18861 (python) S 18840 18840 18357 0 -1 4202560 767 0 0 0 0 0 0 0 17 0 1 0 746925500 338403328 5736 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 3184084523264475396 0 0 17 0 0 0 0
/proc/18861/statm: 82618 5736 348 364 0 18521 0
[pid=18863] ppid=18861 vsize=2188 CPUtime=0.55 cores=0-7
/proc/18863/stat : 18863 (march_hi) R 18861 18863 18863 0 -1 4202496 620 0 0 0 55 0 0 0 25 0 1 0 746925500 2240512 352 33554432000 4194304 4955518 140735689541072 18446744073709551615 4209717 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18863/statm: 547 352 104 186 0 360 0
[pid=18864] ppid=18840 vsize=340860 CPUtime=0 cores=0-7
/proc/18864/stat : 18864 (python) S 18840 18840 18357 0 -1 4202560 773 0 0 0 0 0 0 0 19 0 1 0 746925503 349040640 5756 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 9119907996975988993 0 0 17 2 0 0 0
/proc/18864/statm: 85215 5756 348 364 0 21115 0
[pid=18840/tid=18847] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18847/stat : 18847 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 9 0 746925484 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18850] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18850/stat : 18850 (python) S 18838 18840 18357 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 9 0 746925487 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=18840/tid=18853] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18853/stat : 18853 (python) S 18838 18840 18357 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 9 0 746925490 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18856] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18856/stat : 18856 (python) S 18838 18840 18357 0 -1 4202560 21 935 0 0 0 0 0 0 22 0 9 0 746925493 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18859] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18859/stat : 18859 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 9 0 746925496 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18862] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18862/stat : 18862 (python) S 18838 18840 18357 0 -1 4202560 27 935 0 0 0 0 0 0 22 0 9 0 746925500 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18865] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18865/stat : 18865 (python) S 18838 18840 18357 0 -1 4202560 41 935 0 0 0 0 0 0 24 0 9 0 746925503 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18867] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18867/stat : 18867 (python) S 18838 18840 18357 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 9 0 746925506 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 4574488
[startup+3.10147 s]
/proc/loadavg: 8.87 8.55 7.35 10/346 18869
/proc/meminfo: memFree=25391672/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=361360 CPUtime=0.76 cores=0-7
/proc/18840/stat : 18840 (python) S 18838 18840 18357 0 -1 4202496 15790 935 1 0 62 14 0 0 25 0 9 0 746925405 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032222667 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18840/statm: 90340 7305 1889 364 0 26237 0
[pid=18846] ppid=18840 vsize=278672 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (python) S 18840 18840 18357 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 746925483 285360128 5578 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416015 0 0 16781312 514 4274800058018267393 0 0 17 6 0 0 0
/proc/18846/statm: 69668 5578 354 364 0 5586 0
[pid=18848] ppid=18846 vsize=1017800 CPUtime=2.31 cores=0-7
/proc/18848/stat : 18848 (gnovelty+2) R 18846 18848 18848 0 -1 4202496 440 0 0 0 231 0 0 0 25 0 1 0 746925484 1042227200 177 33554432000 134512640 135663704 4289362688 18446744073709551615 134544240 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18848/statm: 254450 177 113 282 0 254166 0
[pid=18849] ppid=18840 vsize=289344 CPUtime=0 cores=0-7
/proc/18849/stat : 18849 (python) S 18840 18840 18357 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 746925487 296288256 5694 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 5607367361578369281 0 0 17 4 0 0 0
/proc/18849/statm: 72336 5694 348 364 0 8251 0
[pid=18851] ppid=18849 vsize=2336 CPUtime=2.26 cores=0-7
/proc/18851/stat : 18851 (march_hi) R 18849 18851 18851 0 -1 4202496 637 0 0 0 226 0 0 0 25 0 1 0 746925487 2392064 373 33554432000 4194304 4955518 140736041153520 18446744073709551615 4209730 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18851/statm: 584 373 104 186 0 397 0
[pid=18852] ppid=18840 vsize=299252 CPUtime=0 cores=0-7
/proc/18852/stat : 18852 (python) S 18840 18840 18357 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 746925490 306434048 5600 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 5607367361578369282 0 0 17 7 0 0 0
/proc/18852/statm: 74813 5600 348 364 0 10725 0
[pid=18854] ppid=18852 vsize=2336 CPUtime=2.22 cores=0-7
/proc/18854/stat : 18854 (march_hi) R 18852 18854 18854 0 -1 4202496 637 0 0 0 222 0 0 0 25 0 1 0 746925490 2392064 373 33554432000 4194304 4955518 140736502200656 18446744073709551615 4290855 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18854/statm: 584 373 104 186 0 397 0
[pid=18855] ppid=18840 vsize=309960 CPUtime=0 cores=0-7
/proc/18855/stat : 18855 (python) S 18840 18840 18357 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 746925493 317399040 5711 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 5607367361578369281 0 0 17 0 0 0 0
/proc/18855/statm: 77490 5711 348 364 0 13399 0
[pid=18857] ppid=18855 vsize=2336 CPUtime=2.2 cores=0-7
/proc/18857/stat : 18857 (march_hi) R 18855 18857 18857 0 -1 4202496 638 0 0 0 220 0 0 0 25 0 1 0 746925493 2392064 373 33554432000 4194304 4955518 140735523476768 18446744073709551615 4224773 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18857/statm: 584 373 104 186 0 397 0
[pid=18858] ppid=18840 vsize=320216 CPUtime=0 cores=0-7
/proc/18858/stat : 18858 (python) S 18840 18840 18357 0 -1 4202560 751 0 0 0 0 0 0 0 18 0 1 0 746925496 327901184 5715 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 4274803906308964610 0 0 17 2 0 0 0
/proc/18858/statm: 80054 5715 348 364 0 15960 0
[pid=18860] ppid=18858 vsize=1017800 CPUtime=2.18 cores=0-7
/proc/18860/stat : 18860 (gnovelty+2) R 18858 18860 18860 0 -1 4202496 441 0 0 0 218 0 0 0 25 0 1 0 746925497 1042227200 177 33554432000 134512640 135663704 4294564528 18446744073709551615 134525560 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18860/statm: 254450 177 113 282 0 254166 0
[pid=18861] ppid=18840 vsize=330472 CPUtime=0 cores=0-7
/proc/18861/stat : 18861 (python) S 18840 18840 18357 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 746925500 338403328 5736 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 3184084523264475396 0 0 17 0 0 0 0
/proc/18861/statm: 82618 5736 348 364 0 18521 0
[pid=18863] ppid=18861 vsize=2336 CPUtime=2.15 cores=0-7
/proc/18863/stat : 18863 (march_hi) R 18861 18863 18863 0 -1 4202496 641 0 0 0 215 0 0 0 25 0 1 0 746925500 2392064 373 33554432000 4194304 4955518 140735689541072 18446744073709551615 4224568 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18863/statm: 584 373 104 186 0 397 0
[pid=18864] ppid=18840 vsize=340860 CPUtime=0 cores=0-7
/proc/18864/stat : 18864 (python) S 18840 18840 18357 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 746925503 349040640 5756 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 9119907996975988993 0 0 17 2 0 0 0
/proc/18864/statm: 85215 5756 348 364 0 21115 0
[pid=18868] ppid=18864 vsize=2188 CPUtime=0.96 cores=0-7
/proc/18868/stat : 18868 (march_hi) R 18864 18868 18868 0 -1 4202496 626 0 0 0 96 0 0 0 25 0 1 0 746925507 2240512 358 33554432000 4194304 4955518 140736980682240 18446744073709551615 4209688 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/18868/statm: 547 358 104 186 0 360 0
[pid=18866] ppid=18840 vsize=351116 CPUtime=0 cores=0-7
/proc/18866/stat : 18866 (python) S 18840 18840 18357 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 746925506 359542784 5766 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 9119894802836455684 0 0 17 2 0 0 0
/proc/18866/statm: 87779 5766 354 364 0 23676 0
[pid=18869] ppid=18866 vsize=2188 CPUtime=2.08 cores=0-7
/proc/18869/stat : 18869 (march_hi) R 18866 18869 18869 0 -1 4202496 641 0 0 0 208 0 0 0 25 0 1 0 746925507 2240512 368 33554432000 4194304 4955518 140734272125808 18446744073709551615 4224646 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18869/statm: 547 368 104 186 0 360 0
[pid=18840/tid=18847] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18847/stat : 18847 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 9 0 746925484 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18850] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18850/stat : 18850 (python) S 18838 18840 18357 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 9 0 746925487 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=18840/tid=18853] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18853/stat : 18853 (python) S 18838 18840 18357 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 9 0 746925490 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18856] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18856/stat : 18856 (python) S 18838 18840 18357 0 -1 4202560 21 935 0 0 0 0 0 0 22 0 9 0 746925493 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18859] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18859/stat : 18859 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 9 0 746925496 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18862] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18862/stat : 18862 (python) S 18838 18840 18357 0 -1 4202560 27 935 0 0 0 0 0 0 22 0 9 0 746925500 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18865] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18865/stat : 18865 (python) S 18838 18840 18357 0 -1 4202560 41 935 0 0 0 0 0 0 24 0 9 0 746925503 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18867] ppid=18838 vsize=361360 CPUtime=0 cores=0-7
/proc/18840/task/18867/stat : 18867 (python) S 18838 18840 18357 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 9 0 746925506 370032640 7305 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.12
Current children cumulated vsize (KiB) 4930572
################
# More data... #
################
/proc/18857/statm: 4043 3511 104 186 0 3856 0
[pid=18855/tid=18873] ppid=18840 vsize=309960 CPUtime=0 cores=0-7
/proc/18855/task/18873/stat : 18873 (python) S 18840 18840 18357 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 746935500 317399040 5764 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453913479104 0 0 -1 0 0 0 0
[pid=18858] ppid=18840 vsize=320216 CPUtime=0.24 cores=0-7
/proc/18858/stat : 18858 (python) S 18840 18840 18357 0 -1 4202560 1109 0 0 0 12 12 0 0 19 0 2 0 746925496 327901184 5768 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032222667 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/18858/statm: 80054 5768 400 364 0 15960 0
[pid=18860] ppid=18858 vsize=1017800 CPUtime=99.98 cores=0-7
/proc/18860/stat : 18860 (gnovelty+2) T 18858 18860 18860 0 -1 4202496 441 0 0 0 9998 0 0 0 25 0 1 0 746925497 1042227200 177 33554432000 134512640 135663704 4294564528 18446744073709551615 134547327 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/18860/statm: 254450 177 113 282 0 254166 0
[pid=18858/tid=18878] ppid=18840 vsize=320216 CPUtime=0 cores=0-7
/proc/18858/task/18878/stat : 18878 (python) S 18840 18840 18357 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 746935519 327901184 5768 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453907998592 0 0 -1 2 0 0 0
[pid=18861] ppid=18840 vsize=330472 CPUtime=2.69 cores=0-7
/proc/18861/stat : 18861 (python) R 18840 18840 18357 0 -1 4202560 1190 0 0 0 179 90 0 0 17 0 2 0 746925500 338403328 5790 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032226111 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18861/statm: 82618 5790 401 364 0 18521 0
[pid=18863] ppid=18861 vsize=0 CPUtime=576.37 cores=0-7
/proc/18863/stat : 18863 (march_hi) R 18861 18863 18863 0 -1 4202500 4475 0 0 0 57636 1 0 0 25 0 1 0 746925500 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/18863/statm: 0 0 0 0 0 0 0
[pid=18861/tid=18895] ppid=18840 vsize=330472 CPUtime=0 cores=0-7
/proc/18861/task/18895/stat : 18895 (python) S 18840 18840 18357 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 746975440 338403328 5790 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453175371712 0 0 -1 1 0 0 0
[pid=18864] ppid=18840 vsize=340860 CPUtime=1.54 cores=0-7
/proc/18864/stat : 18864 (python) S 18840 18840 18357 0 -1 4202560 1028 0 0 0 76 78 0 0 15 0 1 0 746925503 349040640 5779 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 9119907996975988993 0 0 17 3 0 0 0
/proc/18864/statm: 85215 5779 371 364 0 21115 0
[pid=18868] ppid=18864 vsize=11360 CPUtime=411.23 cores=0-7
/proc/18868/stat : 18868 (march_hi) R 18864 18868 18868 0 -1 4202496 2623 0 0 0 41123 0 0 0 25 0 1 0 746925507 11632640 2355 33554432000 4194304 4955518 140736980682240 18446744073709551615 4227502 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18868/statm: 2840 2355 104 186 0 2653 0
[pid=18866] ppid=18840 vsize=351116 CPUtime=1.55 cores=0-7
/proc/18866/stat : 18866 (python) S 18840 18840 18357 0 -1 4202560 1236 0 0 0 83 72 0 0 15 0 2 0 746925506 359542784 5820 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18866/statm: 87779 5820 407 364 0 23676 0
[pid=18869] ppid=18866 vsize=16172 CPUtime=537.59 cores=0-7
/proc/18869/stat : 18869 (march_hi) R 18866 18869 18869 0 -1 4202496 3924 0 0 0 53754 5 0 0 25 0 1 0 746925507 16560128 3651 33554432000 4194304 4955518 140734272125808 18446744073709551615 4227518 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18869/statm: 4043 3651 104 186 0 3856 0
[pid=18866/tid=18896] ppid=18840 vsize=351116 CPUtime=0 cores=0-7
/proc/18866/task/18896/stat : 18896 (python) S 18840 18840 18357 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 746977025 359542784 5820 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604444696867264 0 0 -1 1 0 0 0
[pid=18875] ppid=18840 vsize=361372 CPUtime=1.16 cores=0-7
/proc/18875/stat : 18875 (python) S 18840 18840 18357 0 -1 4202560 1016 0 0 0 59 57 0 0 18 0 1 0 746935509 370044928 5807 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 12862966631025836290 0 0 17 1 0 0 0
/proc/18875/statm: 90343 5807 371 364 0 26237 0
[pid=18877] ppid=18875 vsize=182448 CPUtime=479.56 cores=0-7
/proc/18877/stat : 18877 (kcnfs-2006) R 18875 18877 18877 0 -1 4202496 597 0 0 0 47956 0 0 0 25 0 1 0 746935510 186826752 332 33554432000 134512640 135163436 4290341904 18446744073709551615 134675181 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18877/statm: 45612 332 77 159 0 45452 0
[pid=18879] ppid=18840 vsize=371784 CPUtime=1.26 cores=0-7
/proc/18879/stat : 18879 (python) S 18840 18840 18357 0 -1 4202560 1035 0 0 0 69 57 0 0 15 0 1 0 746935523 380706816 5830 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 14696842079288393986 0 0 17 7 0 0 0
/proc/18879/statm: 92946 5830 371 364 0 28837 0
[pid=18881] ppid=18879 vsize=10892 CPUtime=356.47 cores=0-7
/proc/18881/stat : 18881 (march_hi) R 18879 18881 18881 0 -1 4202496 2176 0 0 0 35647 0 0 0 25 0 1 0 746935523 11153408 1906 33554432000 4194304 4955518 140734968559360 18446744073709551615 4290061 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18881/statm: 2723 1906 104 186 0 2536 0
[pid=18840/tid=18847] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18847/stat : 18847 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 11 0 746925484 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18850] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18850/stat : 18850 (python) S 18838 18840 18357 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 11 0 746925487 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=18840/tid=18853] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18853/stat : 18853 (python) S 18838 18840 18357 0 -1 4202560 27 935 0 0 0 0 0 0 18 0 11 0 746925490 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18856] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18856/stat : 18856 (python) S 18838 18840 18357 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 11 0 746925493 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18859] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18859/stat : 18859 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 11 0 746925496 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18862] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18862/stat : 18862 (python) S 18838 18840 18357 0 -1 4202560 31 935 0 0 0 0 0 0 18 0 11 0 746925500 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18865] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18865/stat : 18865 (python) S 18838 18840 18357 0 -1 4202560 41 935 0 0 0 0 0 0 24 0 11 0 746925503 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18867] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18867/stat : 18867 (python) S 18838 18840 18357 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 11 0 746925506 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18876] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18876/stat : 18876 (python) S 18838 18840 18357 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 11 0 746935509 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18880] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18880/stat : 18880 (python) S 18838 18840 18357 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 11 0 746935523 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4204.47
Current children cumulated vsize (KiB) 6093020
[startup+596.302 s]
/proc/loadavg: 9.11 9.03 8.16 13/360 18901
/proc/meminfo: memFree=25294692/32951124 swapFree=67083432/67111528
[pid=18840] ppid=18838 vsize=382028 CPUtime=1.08 cores=0-7
/proc/18840/stat : 18840 (python) S 18838 18840 18357 0 -1 4202496 18308 935 1 0 94 14 0 0 18 0 11 0 746925405 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032222667 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18840/statm: 95507 7389 1894 364 0 31398 0
[pid=18846] ppid=18840 vsize=288916 CPUtime=0.23 cores=0-7
/proc/18846/stat : 18846 (python) S 18840 18840 18357 0 -1 4202560 1082 0 0 0 12 11 0 0 19 0 2 0 746925483 295849984 5639 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032222667 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18846/statm: 72229 5639 410 364 0 8147 0
[pid=18848] ppid=18846 vsize=1017800 CPUtime=100.22 cores=0-7
/proc/18848/stat : 18848 (gnovelty+2) T 18846 18848 18848 0 -1 4202496 440 0 0 0 10022 0 0 0 25 0 1 0 746925484 1042227200 177 33554432000 134512640 135663704 4289362688 18446744073709551615 134525347 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/18848/statm: 254450 177 113 282 0 254166 0
[pid=18846/tid=18874] ppid=18840 vsize=288916 CPUtime=0 cores=0-7
/proc/18846/task/18874/stat : 18874 (python) S 18840 18840 18357 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 746935506 295849984 5639 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453907997696 0 0 -1 6 0 0 0
[pid=18849] ppid=18840 vsize=354880 CPUtime=1.55 cores=0-7
/proc/18849/stat : 18849 (python) S 18840 18840 18357 0 -1 4202560 1141 0 0 0 84 71 0 0 15 0 2 0 746925487 363397120 5750 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18849/statm: 88720 5750 401 364 0 24635 0
[pid=18851] ppid=18849 vsize=21992 CPUtime=547.32 cores=0-7
/proc/18851/stat : 18851 (march_hi) R 18849 18851 18851 0 -1 4202496 4024 0 0 0 54728 4 0 0 25 0 1 0 746925487 22519808 3760 33554432000 4194304 4955518 140736041153520 18446744073709551615 4346430 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18851/statm: 5498 3760 104 186 0 5311 0
[pid=18849/tid=18890] ppid=18840 vsize=354880 CPUtime=0 cores=0-7
/proc/18849/task/18890/stat : 18890 (python) S 18840 18840 18357 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 746966002 363397120 5750 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604448048866560 0 0 -1 1 0 0 0
[pid=18852] ppid=18840 vsize=364788 CPUtime=1.56 cores=0-7
/proc/18852/stat : 18852 (python) S 18840 18840 18357 0 -1 4202560 1163 0 0 0 81 75 0 0 15 0 2 0 746925490 373542912 5656 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/18852/statm: 91197 5656 401 364 0 27109 0
[pid=18854] ppid=18852 vsize=21992 CPUtime=558.23 cores=0-7
/proc/18854/stat : 18854 (march_hi) R 18852 18854 18854 0 -1 4202496 4209 0 0 0 55822 1 0 0 25 0 1 0 746925490 22519808 3945 33554432000 4194304 4955518 140736502200656 18446744073709551615 4235344 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18854/statm: 5498 3945 104 186 0 5311 0
[pid=18852/tid=18891] ppid=18840 vsize=364788 CPUtime=0 cores=0-7
/proc/18852/task/18891/stat : 18891 (python) S 18840 18840 18357 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 746966506 373542912 5656 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604444696869056 0 0 -1 0 0 0 0
[pid=18855] ppid=18840 vsize=309960 CPUtime=1.54 cores=0-7
/proc/18855/stat : 18855 (python) S 18840 18840 18357 0 -1 4202560 1177 0 0 0 83 71 0 0 15 0 2 0 746925493 317399040 5764 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18855/statm: 77490 5764 400 364 0 13399 0
[pid=18857] ppid=18855 vsize=16172 CPUtime=524.1 cores=0-7
/proc/18857/stat : 18857 (march_hi) R 18855 18857 18857 0 -1 4202496 3780 0 0 0 52409 1 0 0 25 0 1 0 746925493 16560128 3515 33554432000 4194304 4955518 140735523476768 18446744073709551615 4224615 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18857/statm: 4043 3515 104 186 0 3856 0
[pid=18855/tid=18873] ppid=18840 vsize=309960 CPUtime=0 cores=0-7
/proc/18855/task/18873/stat : 18873 (python) S 18840 18840 18357 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 746935500 317399040 5764 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453913479104 0 0 -1 0 0 0 0
[pid=18858] ppid=18840 vsize=320216 CPUtime=0.24 cores=0-7
/proc/18858/stat : 18858 (python) S 18840 18840 18357 0 -1 4202560 1109 0 0 0 12 12 0 0 19 0 2 0 746925496 327901184 5768 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032222667 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/18858/statm: 80054 5768 400 364 0 15960 0
[pid=18860] ppid=18858 vsize=1017800 CPUtime=99.98 cores=0-7
/proc/18860/stat : 18860 (gnovelty+2) T 18858 18860 18860 0 -1 4202496 441 0 0 0 9998 0 0 0 25 0 1 0 746925497 1042227200 177 33554432000 134512640 135663704 4294564528 18446744073709551615 134547327 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/18860/statm: 254450 177 113 282 0 254166 0
[pid=18858/tid=18878] ppid=18840 vsize=320216 CPUtime=0 cores=0-7
/proc/18858/task/18878/stat : 18878 (python) S 18840 18840 18357 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 746935519 327901184 5768 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453907998592 0 0 -1 2 0 0 0
[pid=18861] ppid=18840 vsize=330472 CPUtime=3.09 cores=0-7
/proc/18861/stat : 18861 (python) R 18840 18840 18357 0 -1 4202560 1190 0 0 0 214 95 0 0 17 0 2 0 746925500 338403328 5790 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18861/statm: 82618 5790 401 364 0 18521 0
[pid=18863] ppid=18861 vsize=0 CPUtime=576.37 cores=0-7
/proc/18863/stat : 18863 (march_hi) R 18861 18863 18863 0 -1 4202500 4475 0 0 0 57636 1 0 0 25 0 1 0 746925500 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/18863/statm: 0 0 0 0 0 0 0
[pid=18861/tid=18895] ppid=18840 vsize=330472 CPUtime=0 cores=0-7
/proc/18861/task/18895/stat : 18895 (python) S 18840 18840 18357 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 746975440 338403328 5790 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604453175371712 0 0 -1 1 0 0 0
[pid=18864] ppid=18840 vsize=340860 CPUtime=1.54 cores=0-7
/proc/18864/stat : 18864 (python) S 18840 18840 18357 0 -1 4202560 1028 0 0 0 76 78 0 0 15 0 1 0 746925503 349040640 5779 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 9119907996975988993 0 0 17 3 0 0 0
/proc/18864/statm: 85215 5779 371 364 0 21115 0
[pid=18868] ppid=18864 vsize=11360 CPUtime=411.63 cores=0-7
/proc/18868/stat : 18868 (march_hi) R 18864 18868 18868 0 -1 4202496 2625 0 0 0 41163 0 0 0 25 0 1 0 746925507 11632640 2357 33554432000 4194304 4955518 140736980682240 18446744073709551615 4238722 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18868/statm: 2840 2357 104 186 0 2653 0
[pid=18866] ppid=18840 vsize=351116 CPUtime=1.55 cores=0-7
/proc/18866/stat : 18866 (python) S 18840 18840 18357 0 -1 4202560 1236 0 0 0 83 72 0 0 15 0 2 0 746925506 359542784 5820 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18866/statm: 87779 5820 407 364 0 23676 0
[pid=18869] ppid=18866 vsize=16172 CPUtime=537.99 cores=0-7
/proc/18869/stat : 18869 (march_hi) R 18866 18869 18869 0 -1 4202496 3929 0 0 0 53794 5 0 0 25 0 1 0 746925507 16560128 3656 33554432000 4194304 4955518 140734272125808 18446744073709551615 4209711 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18869/statm: 4043 3656 104 186 0 3856 0
[pid=18866/tid=18896] ppid=18840 vsize=351116 CPUtime=0 cores=0-7
/proc/18866/task/18896/stat : 18896 (python) S 18840 18840 18357 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 746977025 359542784 5820 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 514 18446604444696867264 0 0 -1 1 0 0 0
[pid=18875] ppid=18840 vsize=361372 CPUtime=1.16 cores=0-7
/proc/18875/stat : 18875 (python) S 18840 18840 18357 0 -1 4202560 1016 0 0 0 59 57 0 0 18 0 1 0 746935509 370044928 5807 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 12862966631025836290 0 0 17 1 0 0 0
/proc/18875/statm: 90343 5807 371 364 0 26237 0
[pid=18877] ppid=18875 vsize=182448 CPUtime=479.76 cores=0-7
/proc/18877/stat : 18877 (kcnfs-2006) R 18875 18877 18877 0 -1 4202496 597 0 0 0 47976 0 0 0 25 0 1 0 746935510 186826752 332 33554432000 134512640 135163436 4290341904 18446744073709551615 134564711 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18877/statm: 45612 332 77 159 0 45452 0
[pid=18879] ppid=18840 vsize=371784 CPUtime=1.26 cores=0-7
/proc/18879/stat : 18879 (python) S 18840 18840 18357 0 -1 4202560 1035 0 0 0 69 57 0 0 15 0 1 0 746935523 380706816 5830 33554432000 4194304 5683644 140736883010848 18446744073709551615 260020416070 0 0 16781312 514 14696842079288393986 0 0 17 7 0 0 0
/proc/18879/statm: 92946 5830 371 364 0 28837 0
[pid=18881] ppid=18879 vsize=10892 CPUtime=356.86 cores=0-7
/proc/18881/stat : 18881 (march_hi) R 18879 18881 18881 0 -1 4202496 2180 0 0 0 35686 0 0 0 25 0 1 0 746935523 11153408 1910 33554432000 4194304 4955518 140734968559360 18446744073709551615 4224615 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18881/statm: 2723 1910 104 186 0 2536 0
[pid=18840/tid=18847] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18847/stat : 18847 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 11 0 746925484 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18850] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18850/stat : 18850 (python) S 18838 18840 18357 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 11 0 746925487 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=18840/tid=18853] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18853/stat : 18853 (python) S 18838 18840 18357 0 -1 4202560 27 935 0 0 0 0 0 0 18 0 11 0 746925490 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18856] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18856/stat : 18856 (python) S 18838 18840 18357 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 11 0 746925493 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18859] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18859/stat : 18859 (python) S 18838 18840 18357 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 11 0 746925496 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=18840/tid=18862] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18862/stat : 18862 (python) S 18838 18840 18357 0 -1 4202560 31 935 0 0 0 0 0 0 18 0 11 0 746925500 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=18840/tid=18865] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18865/stat : 18865 (python) S 18838 18840 18357 0 -1 4202560 41 935 0 0 0 0 0 0 24 0 11 0 746925503 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18867] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18867/stat : 18867 (python) S 18838 18840 18357 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 11 0 746925506 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18876] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18876/stat : 18876 (python) S 18838 18840 18357 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 11 0 746935509 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=18840/tid=18880] ppid=18838 vsize=382028 CPUtime=0 cores=0-7
/proc/18840/task/18880/stat : 18880 (python) S 18838 18840 18357 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 11 0 746935523 391196672 7389 33554432000 4194304 5683644 140736883010848 18446744073709551615 260032219569 0 0 16781312 2 18446604448048868352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4207.26
Current children cumulated vsize (KiB) 6093020
Child status: 0
Real time (s): 596.353
CPU time (s): 4207.66
CPU user time (s): 4201.28
CPU system time (s): 6.38903
CPU usage (%): 705.566
Max. virtual memory (cumulated for all children) (KiB): 6127848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4201.28
system time used= 6.38903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61533
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= 10912
involuntary context switches= 32426
runsolver used 3.37549 second user time and 7.61684 second system time
The end
Begin job on node110 at 2011-05-16 19:29:08
IDJOB=3385465
IDBENCH=82730
IDSOLVER=1870
FILE ID=node110/3385465-1305566948
RUNJOBID= node110-1305564966-18371
PBS_JOBID= 13350140
Free space on /tmp= 73508 MiB
SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1094982880-055.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-3385465-1305566948/watcher-3385465-1305566948 -o /tmp/evaluation-result-3385465-1305566948/solver-3385465-1305566948 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385465-1305566948.cnf -seed 1655447407 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7bcc4ef0cfce2800562872a802fb17f2
RANDOM SEED=1655447407
node110.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.830
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.66
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.830
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.83
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.830
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.75
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25453788 kB
Buffers: 283892 kB
Cached: 3251108 kB
SwapCached: 1416 kB
Active: 4001112 kB
Inactive: 3163440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25453788 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 31788 kB
Writeback: 0 kB
AnonPages: 3627644 kB
Mapped: 27608 kB
Slab: 237404 kB
PageTables: 26964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 75917912 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= 73476 MiB
End job on node110 at 2011-05-16 19:39:05