0.31/0.46 c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.31/0.46 c INFO: solving HOME/instance-3385515-1305567637.cnf
0.31/0.46 c INFO: computing task features
0.31/0.47 c INFO: computed variable-clause graph statistics
0.31/0.47 c INFO: computed clause balance statistics
0.40/0.51 c INFO: computed variable balance statistics
0.40/0.54 c INFO: computed small-clause counts
0.40/0.54 c INFO: computed Horn-clause counts
0.40/0.55 c INFO: computed variable graph statistics
0.40/0.55 c INFO: collected features for HOME/instance-3385515-1305567637.cnf in 0.09 s
0.40/0.58 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.57)
0.50/0.61 c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.32)
0.50/0.64 c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.29)
0.50/0.67 c INFO: running march_hi@0 for 97 with 4999 remaining (b = 0.08)
0.60/0.70 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.08)
0.60/0.73 c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.25)
0.60/0.76 c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.22)
0.69/0.80 c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.20)
631.24/100.89 c INFO: running march_hi@0 for 485 with 4899 remaining (b = 0.17)
632.43/101.02 c INFO: running kcnfs-2006@0 for 582 with 4899 remaining (b = 0.18)
817.82/129.52 c INFO: running march_hi@0 for 291 with 4870 remaining (b = 0.11)
3035.53/455.57 c INFO: running march_hi@289 for 194 with 4544 remaining (b = 0.07)
3055.01/458.53 c INFO: running kcnfs-2006@0 for 582 with 4541 remaining (b = 0.17)
3557.46/535.84 c INFO: running march_hi@0 for 97 with 4464 remaining (b = 0.03)
3573.12/538.44 c INFO: running march_hi@100 for 97 with 4462 remaining (b = 0.04)
3750.14/567.94 c INFO: running march_hi@0 for 97 with 4432 remaining (b = 0.04)
3877.57/587.59 c INFO: running march_hi@0 for 291 with 4412 remaining (b = 0.13)
4280.58/649.55 c INFO: running march_hi@485 for 97 with 4350 remaining (b = 0.06)
4387.38/667.37 c INFO: running march_hi@388 for 97 with 4333 remaining (b = 0.05)
4610.57/704.57 c INFO: running march_hi@588 for 97 with 4295 remaining (b = 0.04)
4648.01/710.54 c INFO: running march_hi@681 for 1455 with 4289 remaining (b = 0.47)
5008.20/765.77 c INFO: running march_hi@483 for 97 with 4234 remaining (b = 0.04)
5081.02/776.17 c INFO: running march_hi@0 for 291 with 4224 remaining (b = 0.10)
5346.64/817.05 c INFO: running march_hi@584 for 97 with 4183 remaining (b = 0.04)
5392.24/824.06 c INFO: running kcnfs-2006@101 for 97 with 4176 remaining (b = 0.04)
5450.09/832.93 c INFO: running march_hi@99 for 291 with 4167 remaining (b = 0.11)
5793.24/885.77 c INFO: running march_hi@97 for 291 with 4114 remaining (b = 0.11)
5988.24/915.78 c INFO: running march_hi@1171 for 194 with 4084 remaining (b = 0.13)
6099.51/932.84 c INFO: running march_hi@580 for 194 with 4067 remaining (b = 0.07)
6637.61/1015.60 c INFO: running kcnfs-2006@198 for 388 with 3984 remaining (b = 0.16)
7127.73/1091.00 c INFO: running march_hi@0 for 388 with 3909 remaining (b = 0.13)
7275.61/1115.68 c INFO: running march_hi@1271 for 97 with 3884 remaining (b = 0.05)
7352.65/1128.43 c INFO: running march_hi@392 for 97 with 3872 remaining (b = 0.03)
7903.96/1220.14 c INFO: running march_hi@1564 for 582 with 3780 remaining (b = 0.33)
7942.52/1226.54 c INFO: running kcnfs-2006@0 for 582 with 3773 remaining (b = 0.16)
8009.13/1237.60 c INFO: running march_hi@193 for 291 with 3762 remaining (b = 0.09)
8226.24/1273.74 c INFO: running adaptg2wsat2009++@0 for 97 with 3726 remaining (b = 0.03)
8467.84/1313.98 c INFO: running kcnfs-2006@489 for 97 with 3686 remaining (b = 0.08)
9082.89/1416.20 c INFO: running march_hi@784 for 1358 with 3584 remaining (b = 0.38)
9257.97/1445.38 c INFO: running kcnfs-2006@590 for 194 with 3555 remaining (b = 0.06)
9490.21/1483.93 c INFO: running kcnfs-2006@492 for 97 with 3516 remaining (b = 0.09)
9717.96/1521.87 c INFO: running march_hi@191 for 291 with 3478 remaining (b = 0.11)
10410.00/1636.95 c INFO: running kcnfs-2006@0 for 582 with 3363 remaining (b = 0.16)
10501.42/1652.21 c INFO: running march_hi@387 for 97 with 3348 remaining (b = 0.05)
10569.34/1663.46 c INFO: running kcnfs-2006@883 for 97 with 3337 remaining (b = 0.03)
11608.84/1836.33 c INFO: running kcnfs-2006@286 for 388 with 3164 remaining (b = 0.13)
11664.75/1845.68 c INFO: running march_hi@482 for 97 with 3154 remaining (b = 0.03)
11721.32/1855.03 c INFO: running march_hi@0 for 388 with 3145 remaining (b = 0.11)
11750.77/1859.97 c INFO: running march_hi@382 for 97 with 3140 remaining (b = 0.04)
12300.31/1951.35 c INFO: running march_hi@676 for 1552 with 3049 remaining (b = 0.37)
12604.52/2001.98 c INFO: running kcnfs-2006@1469 for 485 with 2998 remaining (b = 0.14)
12914.11/2053.40 c INFO: running march_hi@1662 for 485 with 2947 remaining (b = 0.26)
14106.28/2251.64 c INFO: running march_hi@293 for 97 with 2748 remaining (b = 0.04)
14728.34/2355.16 c INFO: running march_hi@385 for 97 with 2645 remaining (b = 0.04)
14858.62/2376.87 c INFO: running kcnfs-2006@383 for 291 with 2623 remaining (b = 0.12)
15457.18/2476.49 c INFO: running kcnfs-2006@291 for 388 with 2523 remaining (b = 0.14)
15912.67/2552.29 c INFO: running kcnfs-2006@0 for 582 with 2448 remaining (b = 0.15)
16054.44/2574.02 c INFO: running march_hi@777 for 1358 with 2426 remaining (b = 0.31)
16566.66/2652.83 c INFO: running kcnfs-2006@2050 for 679 with 2347 remaining (b = 0.21)
16670.02/2668.73 c INFO: running kcnfs-2006@0 for 582 with 2331 remaining (b = 0.13)
17128.32/2739.29 c INFO: running march_hi@2055 for 97 with 2261 remaining (b = 0.18)
17995.65/2872.62 c INFO: running kcnfs-2006@389 for 194 with 2127 remaining (b = 0.08)
18229.89/2909.56 c INFO: running kcnfs-2006@968 for 97 with 2090 remaining (b = 0.02)
19122.63/3055.00 c INFO: running march_hi@770 for 1455 with 1945 remaining (b = 0.32)
19906.82/3182.10 c INFO: running march_hi@0 for 388 with 1818 remaining (b = 0.10)
20118.27/3214.61 c INFO: running kcnfs-2006@484 for 194 with 1785 remaining (b = 0.08)
20521.14/3276.78 c INFO: running march_hi@885 for 1261 with 1723 remaining (b = 0.27)
20904.80/3340.66 c INFO: running kcnfs-2006@486 for 97 with 1659 remaining (b = 0.06)
21642.60/3463.59 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-3385515-1305567637/watcher-3385515-1305567637 -o /tmp/evaluation-result-3385515-1305567637/solver-3385515-1305567637 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385515-1305567637.cnf -seed 464605975 -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: 9.01 9.40 8.59 3/383 6620
/proc/meminfo: memFree=23365400/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=15776 CPUtime=0 cores=0-7
/proc/6620/stat : 6620 (python) R 6618 6620 5923 0 -1 4202496 858 0 0 0 0 0 0 0 25 0 1 0 746994422 16154624 740 33554432000 4194304 5683644 140734612466512 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6620/statm: 3944 740 335 364 0 431 0
[startup+0.070145 s]
/proc/loadavg: 9.01 9.40 8.59 3/383 6620
/proc/meminfo: memFree=23365400/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=56784 CPUtime=0.05 cores=0-7
/proc/6620/stat : 6620 (python) R 6618 6620 5923 0 -1 4202496 2102 0 0 0 4 1 0 0 25 0 1 0 746994422 58146816 1857 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895486309 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6620/statm: 14196 1857 499 364 0 1319 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 56784
[startup+0.101146 s]
/proc/loadavg: 9.01 9.40 8.59 3/383 6620
/proc/meminfo: memFree=23365400/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=104616 CPUtime=0.06 cores=0-7
/proc/6620/stat : 6620 (python) R 6618 6620 5923 0 -1 4202496 3142 0 0 0 5 1 0 0 17 0 1 0 746994422 107126784 2821 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895488512 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6620/statm: 26154 2821 847 364 0 1902 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104616
[startup+0.301101 s]
/proc/loadavg: 9.01 9.40 8.59 3/383 6620
/proc/meminfo: memFree=23365400/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=192324 CPUtime=0.22 cores=0-7
/proc/6620/stat : 6620 (python) R 6618 6620 5923 0 -1 4202496 6889 932 1 0 16 6 0 0 18 0 1 0 746994422 196939776 4945 33554432000 4194304 5683644 140734612466512 18446744073709551615 231890520864 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6620/statm: 48081 4946 1424 364 0 3724 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 192324
[startup+0.700958 s]
/proc/loadavg: 9.01 9.40 8.59 3/383 6620
/proc/meminfo: memFree=23365400/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=385868 CPUtime=0.6 cores=0-7
/proc/6620/stat : 6620 (python) R 6618 6620 5923 0 -1 4202496 12722 932 1 0 51 9 0 0 18 0 5 0 746994422 395128832 7451 33554432000 4194304 5683644 140734612466512 18446744073709551615 231898899113 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6620/statm: 96467 7451 1880 364 0 32376 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 385868
[startup+1.50081 s]
/proc/loadavg: 9.01 9.40 8.59 12/408 6649
/proc/meminfo: memFree=23306648/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=426892 CPUtime=0.7 cores=0-7
/proc/6620/stat : 6620 (python) S 6618 6620 5923 0 -1 4202496 15458 932 1 0 60 10 0 0 25 0 9 0 746994422 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6620/statm: 106723 7548 1889 364 0 42620 0
[pid=6626] ppid=6620 vsize=278636 CPUtime=0 cores=0-7
/proc/6626/stat : 6626 (python) S 6620 6620 5923 0 -1 4202560 737 0 0 0 0 0 0 0 19 0 1 0 746994480 285323264 5592 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510543 0 0 16781312 514 16917974039773839359 0 0 17 1 0 0 0
/proc/6626/statm: 69659 5592 354 364 0 5577 0
[pid=6628] ppid=6626 vsize=1017800 CPUtime=0.91 cores=0-7
/proc/6628/stat : 6628 (gnovelty+2) R 6626 6628 6628 0 -1 4202496 444 0 0 0 91 0 0 0 23 0 1 0 746994481 1042227200 182 33554432000 134512640 135663704 4293723488 18446744073709551615 134544324 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6628/statm: 254450 182 113 282 0 254166 0
[pid=6629] ppid=6620 vsize=289376 CPUtime=0 cores=0-7
/proc/6629/stat : 6629 (python) S 6620 6620 5923 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 746994483 296321024 5701 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 9902940595859456260 0 0 17 5 0 0 0
/proc/6629/statm: 72344 5701 348 364 0 8259 0
[pid=6631] ppid=6629 vsize=2592 CPUtime=0.88 cores=0-7
/proc/6631/stat : 6631 (march_hi) R 6629 6631 6631 0 -1 4202496 683 0 0 0 88 0 0 0 21 0 1 0 746994484 2654208 417 33554432000 4194304 4955518 140734343408624 18446744073709551615 4227747 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6631/statm: 648 417 104 186 0 461 0
[pid=6632] ppid=6620 vsize=364828 CPUtime=0 cores=0-7
/proc/6632/stat : 6632 (python) S 6620 6620 5923 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 746994487 373583872 5617 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 8831954697754476804 0 0 17 0 0 0 0
/proc/6632/statm: 91207 5617 348 364 0 27119 0
[pid=6634] ppid=6632 vsize=2388 CPUtime=0.52 cores=0-7
/proc/6634/stat : 6634 (march_hi) R 6632 6634 6634 0 -1 4202496 649 0 0 0 52 0 0 0 22 0 1 0 746994487 2445312 383 33554432000 4194304 4955518 140735078534720 18446744073709551615 4227571 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6634/statm: 597 383 104 186 0 410 0
[pid=6635] ppid=6620 vsize=375624 CPUtime=0 cores=0-7
/proc/6635/stat : 6635 (python) S 6620 6620 5923 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 746994490 384638976 5744 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 8831945901661454595 0 0 17 7 0 0 0
/proc/6635/statm: 93906 5744 348 364 0 29815 0
[pid=6637] ppid=6635 vsize=2524 CPUtime=0.8 cores=0-7
/proc/6637/stat : 6637 (march_hi) R 6635 6637 6637 0 -1 4202496 679 0 0 0 80 0 0 0 25 0 1 0 746994490 2584576 415 33554432000 4194304 4955518 140735502866688 18446744073709551615 4235223 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/6637/statm: 631 415 104 186 0 444 0
[pid=6638] ppid=6620 vsize=385880 CPUtime=0 cores=0-7
/proc/6638/stat : 6638 (python) S 6620 6620 5923 0 -1 4202560 718 0 0 0 0 0 0 0 19 0 1 0 746994493 395141120 5919 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 12588600825917472767 0 0 17 1 0 0 0
/proc/6638/statm: 96470 5919 348 364 0 32376 0
[pid=6640] ppid=6638 vsize=1017800 CPUtime=0.77 cores=0-7
/proc/6640/stat : 6640 (gnovelty+2) R 6638 6640 6640 0 -1 4202496 435 0 0 0 77 0 0 0 22 0 1 0 746994494 1042227200 181 33554432000 134512640 135663704 4287306880 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6640/statm: 254450 181 113 282 0 254166 0
[pid=6641] ppid=6620 vsize=396136 CPUtime=0 cores=0-7
/proc/6641/stat : 6641 (python) S 6620 6620 5923 0 -1 4202560 732 0 0 0 0 0 0 0 15 0 1 0 746994496 405643264 5883 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18348170661551112452 0 0 17 4 0 0 0
/proc/6641/statm: 99034 5883 348 364 0 34937 0
[pid=6643] ppid=6641 vsize=2236 CPUtime=0.32 cores=0-7
/proc/6643/stat : 6643 (march_hi) R 6641 6643 6643 0 -1 4202496 629 0 0 0 32 0 0 0 22 0 1 0 746994498 2289664 371 33554432000 4194304 4955518 140734035720528 18446744073709551615 4209776 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6643/statm: 559 371 104 186 0 372 0
[pid=6644] ppid=6620 vsize=406392 CPUtime=0 cores=0-7
/proc/6644/stat : 6644 (python) S 6620 6620 5923 0 -1 4202560 743 0 0 0 0 0 0 0 17 0 1 0 746994499 416145408 5870 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18348157467411579139 0 0 17 4 0 0 0
/proc/6644/statm: 101598 5870 348 364 0 37498 0
[pid=6646] ppid=6644 vsize=2236 CPUtime=0.32 cores=0-7
/proc/6646/stat : 6646 (march_hi) R 6644 6646 6646 0 -1 4202496 629 0 0 0 32 0 0 0 25 0 1 0 746994502 2289664 371 33554432000 4194304 4955518 140733476701424 18446744073709551615 4227565 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/6646/statm: 559 371 104 186 0 372 0
[pid=6647] ppid=6620 vsize=416648 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (python) S 6620 6620 5923 0 -1 4202560 783 0 0 0 0 0 0 0 22 0 1 0 746994503 426647552 6009 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 454823984240754945 0 0 17 4 0 0 0
/proc/6647/statm: 104162 6009 354 364 0 40059 0
[pid=6649] ppid=6647 vsize=2524 CPUtime=0.69 cores=0-7
/proc/6649/stat : 6649 (march_hi) R 6647 6649 6649 0 -1 4202496 673 0 0 0 69 0 0 0 25 0 1 0 746994503 2584576 409 33554432000 4194304 4955518 140735129185584 18446744073709551615 4209727 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6649/statm: 631 409 104 186 0 444 0
[pid=6620/tid=6627] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6627/stat : 6627 (python) S 6618 6620 5923 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 9 0 746994481 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6630] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6630/stat : 6630 (python) S 6618 6620 5923 0 -1 4202560 19 932 0 0 0 0 0 0 18 0 9 0 746994484 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 5 0 0 0
[pid=6620/tid=6633] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6633/stat : 6633 (python) S 6618 6620 5923 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 9 0 746994487 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6636] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6636/stat : 6636 (python) S 6618 6620 5923 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 9 0 746994490 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 7 0 0 0
[pid=6620/tid=6639] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6639/stat : 6639 (python) S 6618 6620 5923 0 -1 4202560 81 932 0 0 0 0 0 0 19 0 9 0 746994493 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 1 0 0 0
[pid=6620/tid=6642] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6642/stat : 6642 (python) S 6618 6620 5923 0 -1 4202560 32 932 0 0 0 0 0 0 21 0 9 0 746994496 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6645] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6645/stat : 6645 (python) S 6618 6620 5923 0 -1 4202560 34 932 0 0 0 0 0 0 23 0 9 0 746994499 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6648] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6648/stat : 6648 (python) S 6618 6620 5923 0 -1 4202560 36 932 0 0 0 0 0 0 25 0 9 0 746994503 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 5390512
[startup+3.1015 s]
/proc/loadavg: 9.01 9.40 8.59 11/408 6649
/proc/meminfo: memFree=23304168/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=426892 CPUtime=0.7 cores=0-7
/proc/6620/stat : 6620 (python) S 6618 6620 5923 0 -1 4202496 15458 932 1 0 60 10 0 0 25 0 9 0 746994422 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6620/statm: 106723 7548 1889 364 0 42620 0
[pid=6626] ppid=6620 vsize=278636 CPUtime=0 cores=0-7
/proc/6626/stat : 6626 (python) S 6620 6620 5923 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 746994480 285323264 5592 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510543 0 0 16781312 514 16917974039773806852 0 0 17 1 0 0 0
/proc/6626/statm: 69659 5592 354 364 0 5577 0
[pid=6628] ppid=6626 vsize=1017800 CPUtime=2.51 cores=0-7
/proc/6628/stat : 6628 (gnovelty+2) R 6626 6628 6628 0 -1 4202496 444 0 0 0 251 0 0 0 25 0 1 0 746994481 1042227200 182 33554432000 134512640 135663704 4293723488 18446744073709551615 134545635 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6628/statm: 254450 182 113 282 0 254166 0
[pid=6629] ppid=6620 vsize=289376 CPUtime=0 cores=0-7
/proc/6629/stat : 6629 (python) S 6620 6620 5923 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 746994483 296321024 5701 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 9902940595859456260 0 0 17 5 0 0 0
/proc/6629/statm: 72344 5701 348 364 0 8259 0
[pid=6631] ppid=6629 vsize=2844 CPUtime=2.48 cores=0-7
/proc/6631/stat : 6631 (march_hi) R 6629 6631 6631 0 -1 4202496 758 0 0 0 248 0 0 0 25 0 1 0 746994484 2912256 492 33554432000 4194304 4955518 140734343408624 18446744073709551615 4209667 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6631/statm: 711 492 104 186 0 524 0
[pid=6632] ppid=6620 vsize=364828 CPUtime=0 cores=0-7
/proc/6632/stat : 6632 (python) S 6620 6620 5923 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 746994487 373583872 5617 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 8831954697754476804 0 0 17 0 0 0 0
/proc/6632/statm: 91207 5617 348 364 0 27119 0
[pid=6634] ppid=6632 vsize=2692 CPUtime=1.32 cores=0-7
/proc/6634/stat : 6634 (march_hi) R 6632 6634 6634 0 -1 4202496 705 0 0 0 132 0 0 0 25 0 1 0 746994487 2756608 439 33554432000 4194304 4955518 140735078534720 18446744073709551615 4224642 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6634/statm: 673 439 104 186 0 486 0
[pid=6635] ppid=6620 vsize=375624 CPUtime=0 cores=0-7
/proc/6635/stat : 6635 (python) S 6620 6620 5923 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 746994490 384638976 5744 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 8831945901661454595 0 0 17 7 0 0 0
/proc/6635/statm: 93906 5744 348 364 0 29815 0
[pid=6637] ppid=6635 vsize=2844 CPUtime=2.39 cores=0-7
/proc/6637/stat : 6637 (march_hi) R 6635 6637 6637 0 -1 4202496 753 0 0 0 239 0 0 0 25 0 1 0 746994490 2912256 489 33554432000 4194304 4955518 140735502866688 18446744073709551615 4238632 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/6637/statm: 711 489 104 186 0 524 0
[pid=6638] ppid=6620 vsize=385880 CPUtime=0 cores=0-7
/proc/6638/stat : 6638 (python) S 6620 6620 5923 0 -1 4202560 718 0 0 0 0 0 0 0 18 0 1 0 746994493 395141120 5919 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 12588600825917440260 0 0 17 1 0 0 0
/proc/6638/statm: 96470 5919 348 364 0 32376 0
[pid=6640] ppid=6638 vsize=1017800 CPUtime=2.38 cores=0-7
/proc/6640/stat : 6640 (gnovelty+2) R 6638 6640 6640 0 -1 4202496 435 0 0 0 238 0 0 0 25 0 1 0 746994494 1042227200 181 33554432000 134512640 135663704 4287306880 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6640/statm: 254450 181 113 282 0 254166 0
[pid=6641] ppid=6620 vsize=396136 CPUtime=0 cores=0-7
/proc/6641/stat : 6641 (python) S 6620 6620 5923 0 -1 4202560 734 0 0 0 0 0 0 0 15 0 1 0 746994496 405643264 5883 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18348170661551112452 0 0 17 4 0 0 0
/proc/6641/statm: 99034 5883 348 364 0 34937 0
[pid=6643] ppid=6641 vsize=2592 CPUtime=1.12 cores=0-7
/proc/6643/stat : 6643 (march_hi) R 6641 6643 6643 0 -1 4202496 688 0 0 0 112 0 0 0 25 0 1 0 746994498 2654208 430 33554432000 4194304 4955518 140734035720528 18446744073709551615 4227617 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6643/statm: 648 430 104 186 0 461 0
[pid=6644] ppid=6620 vsize=406392 CPUtime=0 cores=0-7
/proc/6644/stat : 6644 (python) S 6620 6620 5923 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 746994499 416145408 5870 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18348157467411579139 0 0 17 4 0 0 0
/proc/6644/statm: 101598 5870 348 364 0 37498 0
[pid=6646] ppid=6644 vsize=2592 CPUtime=1.12 cores=0-7
/proc/6646/stat : 6646 (march_hi) R 6644 6646 6646 0 -1 4202496 688 0 0 0 112 0 0 0 25 0 1 0 746994502 2654208 430 33554432000 4194304 4955518 140733476701424 18446744073709551615 4298048 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/6646/statm: 648 430 104 186 0 461 0
[pid=6647] ppid=6620 vsize=416648 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (python) S 6620 6620 5923 0 -1 4202560 783 0 0 0 0 0 0 0 15 0 1 0 746994503 426647552 6009 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 454823984240754945 0 0 17 4 0 0 0
/proc/6647/statm: 104162 6009 354 364 0 40059 0
[pid=6649] ppid=6647 vsize=2844 CPUtime=2.28 cores=0-7
/proc/6649/stat : 6649 (march_hi) R 6647 6649 6649 0 -1 4202496 748 0 0 0 228 0 0 0 25 0 1 0 746994503 2912256 484 33554432000 4194304 4955518 140735129185584 18446744073709551615 4224687 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6649/statm: 711 484 104 186 0 524 0
[pid=6620/tid=6627] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6627/stat : 6627 (python) S 6618 6620 5923 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 9 0 746994481 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6630] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6630/stat : 6630 (python) S 6618 6620 5923 0 -1 4202560 19 932 0 0 0 0 0 0 18 0 9 0 746994484 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 5 0 0 0
[pid=6620/tid=6633] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6633/stat : 6633 (python) S 6618 6620 5923 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 9 0 746994487 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6636] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
/proc/6620/task/6636/stat : 6636 (python) S 6618 6620 5923 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 9 0 746994490 437137408 7548 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 7 0 0 0
[pid=6620/tid=6639] ppid=6618 vsize=426892 CPUtime=0 cores=0-7
################
# More data... #
################
/proc/6640/statm: 254450 181 113 282 0 254166 0
[pid=6638/tid=6656] ppid=6620 vsize=385880 CPUtime=0 cores=0-7
/proc/6638/task/6656/stat : 6656 (python) S 6620 6620 5923 0 -1 4202560 111 0 0 0 0 0 0 0 19 0 2 0 747004522 395141120 5972 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604442958803392 0 0 -1 4 0 0 0
[pid=6641] ppid=6620 vsize=396136 CPUtime=8.56 cores=0-7
/proc/6641/stat : 6641 (python) S 6620 6620 5923 0 -1 4202560 1006 0 0 0 441 415 0 0 15 0 2 0 746994496 405643264 5936 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/6641/statm: 99034 5936 400 364 0 34937 0
[pid=6643] ppid=6641 vsize=266012 CPUtime=2064.9 cores=0-7
/proc/6643/stat : 6643 (march_hi) R 6641 6643 6643 0 -1 4202496 55621 0 0 0 206475 15 0 0 25 0 1 0 746994498 272396288 55363 33554432000 4194304 4955518 140734035720528 18446744073709551615 4295478 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6643/statm: 66503 55363 104 186 0 66316 0
[pid=6641/tid=6678] ppid=6620 vsize=396136 CPUtime=0 cores=0-7
/proc/6641/task/6678/stat : 6678 (python) S 6620 6620 5923 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 2 0 747048264 405643264 5936 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604452500659264 0 0 -1 1 0 0 0
[pid=6644] ppid=6620 vsize=406392 CPUtime=5.91 cores=0-7
/proc/6644/stat : 6644 (python) S 6620 6620 5923 0 -1 4202560 1068 0 0 0 305 286 0 0 16 0 2 0 746994499 416145408 5929 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6644/statm: 101598 5929 406 364 0 37498 0
[pid=6646] ppid=6644 vsize=266012 CPUtime=1556.39 cores=0-7
/proc/6646/stat : 6646 (march_hi) T 6644 6646 6646 0 -1 4202496 43432 0 0 0 155629 10 0 0 25 0 1 0 746994502 272396288 43174 33554432000 4194304 4955518 140733476701424 18446744073709551615 4224687 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/6646/statm: 66503 43174 104 186 0 66316 0
[pid=6644/tid=6680] ppid=6620 vsize=406392 CPUtime=0 cores=0-7
/proc/6644/task/6680/stat : 6680 (python) S 6620 6620 5923 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 2 0 747051214 416145408 5929 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604452556746944 0 0 -1 0 0 0 0
[pid=6647] ppid=6620 vsize=416648 CPUtime=8.91 cores=0-7
/proc/6647/stat : 6647 (python) S 6620 6620 5923 0 -1 4202560 1067 0 0 0 468 423 0 0 15 0 2 0 746994503 426647552 6062 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/6647/statm: 104162 6062 406 364 0 40059 0
[pid=6649] ppid=6647 vsize=266012 CPUtime=2132.6 cores=0-7
/proc/6649/stat : 6649 (march_hi) R 6647 6649 6649 0 -1 4202496 56904 0 0 0 213247 13 0 0 25 0 1 0 746994503 272396288 56640 33554432000 4194304 4955518 140735129185584 18446744073709551615 4238717 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6649/statm: 66503 56640 104 186 0 66316 0
[pid=6647/tid=6677] ppid=6620 vsize=416648 CPUtime=0 cores=0-7
/proc/6647/task/6677/stat : 6677 (python) S 6620 6620 5923 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 2 0 747048003 426647552 6062 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604452500656576 0 0 -1 1 0 0 0
[pid=6653] ppid=6620 vsize=426904 CPUtime=3.42 cores=0-7
/proc/6653/stat : 6653 (python) S 6620 6620 5923 0 -1 4202560 1045 0 0 0 177 165 0 0 16 0 2 0 747004512 437149696 5971 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/6653/statm: 106726 5971 400 364 0 42620 0
[pid=6655] ppid=6653 vsize=123220 CPUtime=877.53 cores=0-7
/proc/6655/stat : 6655 (march_hi) T 6653 6655 6655 0 -1 4202496 26294 0 0 0 87747 6 0 0 25 0 1 0 747004512 126177280 26033 33554432000 4194304 4955518 140737211494704 18446744073709551615 4210562 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/6655/statm: 30805 26033 104 186 0 30618 0
[pid=6653/tid=6688] ppid=6620 vsize=426904 CPUtime=0 cores=0-7
/proc/6653/task/6688/stat : 6688 (python) S 6620 6620 5923 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 2 0 747076125 437149696 5971 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604442958806080 0 0 -1 4 0 0 0
[pid=6657] ppid=6620 vsize=437160 CPUtime=9.48 cores=0-7
/proc/6657/stat : 6657 (python) S 6620 6620 5923 0 -1 4202560 1047 0 0 0 501 447 0 0 18 0 2 0 747004525 447651840 6009 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/6657/statm: 109290 6009 400 364 0 45181 0
[pid=6659] ppid=6657 vsize=182448 CPUtime=2430.11 cores=0-7
/proc/6659/stat : 6659 (kcnfs-2006) R 6657 6659 6659 0 -1 4202496 609 0 0 0 243010 1 0 0 25 0 1 0 747004525 186826752 349 33554432000 134512640 135163436 4288606000 18446744073709551615 134641921 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/6659/statm: 45612 349 77 159 0 45452 0
[pid=6657/tid=6690] ppid=6620 vsize=437160 CPUtime=0 cores=0-7
/proc/6657/task/6690/stat : 6690 (python) S 6620 6620 5923 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 747076826 447651840 6009 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604453749197824 0 0 -1 1 0 0 0
[pid=6672] ppid=6620 vsize=447416 CPUtime=3.46 cores=0-7
/proc/6672/stat : 6672 (python) S 6620 6620 5923 0 -1 4202560 1053 0 0 0 181 165 0 0 18 0 2 0 747040276 458153984 6009 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/6672/statm: 111854 6009 400 364 0 47742 0
[pid=6674] ppid=6672 vsize=182452 CPUtime=875.08 cores=0-7
/proc/6674/stat : 6674 (kcnfs-2006) T 6672 6674 6674 0 -1 4202496 611 0 0 0 87507 1 0 0 25 0 1 0 747040276 186830848 349 33554432000 134512640 135163436 4288880960 18446744073709551615 134597437 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/6674/statm: 45613 349 77 159 0 45453 0
[pid=6672/tid=6722] ppid=6620 vsize=447416 CPUtime=0 cores=0-7
/proc/6672/task/6722/stat : 6722 (python) S 6620 6620 5923 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 747125818 458153984 6009 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604449685455104 0 0 -1 6 0 0 0
[pid=6698] ppid=6620 vsize=457672 CPUtime=2.89 cores=0-7
/proc/6698/stat : 6698 (python) S 6620 6620 5923 0 -1 4202560 1089 0 0 0 151 138 0 0 15 0 2 0 747103523 468656128 6021 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/6698/statm: 114418 6021 400 364 0 50303 0
[pid=6700] ppid=6698 vsize=123220 CPUtime=780.28 cores=0-7
/proc/6700/stat : 6700 (march_hi) T 6698 6700 6700 0 -1 4202496 23663 0 0 0 78024 4 0 0 25 0 1 0 747103524 126177280 23395 33554432000 4194304 4955518 140735038582336 18446744073709551615 4261393 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/6700/statm: 30805 23395 104 186 0 30618 0
[pid=6698/tid=6729] ppid=6620 vsize=457672 CPUtime=0 cores=0-7
/proc/6698/task/6729/stat : 6729 (python) S 6620 6620 5923 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 2 0 747146606 468656128 6021 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604447995597888 0 0 -1 1 0 0 0
[pid=6713] ppid=6620 vsize=467928 CPUtime=4.78 cores=0-7
/proc/6713/stat : 6713 (python) S 6620 6620 5923 0 -1 4202560 1067 0 0 0 250 228 0 0 18 0 2 0 747117077 479158272 6065 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/6713/statm: 116982 6065 400 364 0 52864 0
[pid=6715] ppid=6713 vsize=182452 CPUtime=1359.4 cores=0-7
/proc/6715/stat : 6715 (kcnfs-2006) T 6713 6715 6715 0 -1 4202496 614 0 0 0 135940 0 0 0 25 0 1 0 747117077 186830848 349 33554432000 134512640 135163436 4290461968 18446744073709551615 134571639 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/6715/statm: 45613 349 77 159 0 45453 0
[pid=6713/tid=6742] ppid=6620 vsize=467928 CPUtime=0 cores=0-7
/proc/6713/task/6742/stat : 6742 (python) S 6620 6620 5923 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 2 0 747178053 479158272 6065 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604452398618752 0 0 -1 4 0 0 0
[pid=6718] ppid=6620 vsize=478184 CPUtime=0.44 cores=0-7
/proc/6718/stat : 6718 (python) S 6620 6620 5923 0 -1 4202560 5967 0 0 0 25 19 0 0 19 0 2 0 747121797 489660416 6091 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6718/statm: 119546 6091 400 364 0 55425 0
[pid=6720] ppid=6718 vsize=416132 CPUtime=100.96 cores=0-7
/proc/6720/stat : 6720 (adaptg2wsat2009) T 6718 6720 6720 0 -1 4202496 468 0 0 0 10096 0 0 0 25 0 1 0 747121797 426119168 200 33554432000 134512640 135107411 4294618784 18446744073709551615 134533989 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/6720/statm: 104033 200 59 146 0 102909 0
[pid=6718/tid=6725] ppid=6620 vsize=478184 CPUtime=0 cores=0-7
/proc/6718/task/6725/stat : 6725 (python) S 6620 6620 5923 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 747136040 489660416 6091 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604441729873024 0 0 -1 1 0 0 0
[pid=6733] ppid=6620 vsize=488440 CPUtime=5.47 cores=0-7
/proc/6733/stat : 6733 (python) S 6620 6620 5923 0 -1 4202560 1436 0 0 0 283 264 0 0 18 0 2 0 747158118 500162560 6085 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6733/statm: 122110 6085 408 364 0 57986 0
[pid=6735] ppid=6733 vsize=182452 CPUtime=1288.7 cores=0-7
/proc/6735/stat : 6735 (kcnfs-2006) R 6733 6735 6735 0 -1 4202496 622 0 0 0 128870 0 0 0 25 0 1 0 747158118 186830848 350 33554432000 134512640 135163436 4290345568 18446744073709551615 134677016 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6735/statm: 45613 350 77 159 0 45453 0
[pid=6733/tid=6764] ppid=6620 vsize=488440 CPUtime=0 cores=0-7
/proc/6733/task/6764/stat : 6764 (python) S 6620 6620 5923 0 -1 4202560 89 0 0 0 0 0 0 0 18 0 2 0 747242069 500162560 6085 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604452398616960 0 0 -1 5 0 0 0
[pid=6743] ppid=6620 vsize=498696 CPUtime=3.47 cores=0-7
/proc/6743/stat : 6743 (python) S 6620 6620 5923 0 -1 4202560 1136 0 0 0 183 164 0 0 15 0 2 0 747179925 510664704 6211 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6743/statm: 124674 6211 408 364 0 60547 0
[pid=6745] ppid=6743 vsize=123220 CPUtime=892.57 cores=0-7
/proc/6745/stat : 6745 (march_hi) R 6743 6745 6745 0 -1 4202496 26624 0 0 0 89252 5 0 0 25 0 1 0 747179926 126177280 26350 33554432000 4194304 4955518 140735984406080 18446744073709551615 4227647 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6745/statm: 30805 26350 104 186 0 30618 0
[pid=6743/tid=6757] ppid=6620 vsize=498696 CPUtime=0 cores=0-7
/proc/6743/task/6757/stat : 6757 (python) S 6620 6620 5923 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 2 0 747219584 510664704 6211 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604452556747840 0 0 -1 0 0 0 0
[pid=6767] ppid=6620 vsize=508952 CPUtime=1.88 cores=0-7
/proc/6767/stat : 6767 (python) S 6620 6620 5923 0 -1 4202560 1222 0 0 0 98 90 0 0 18 0 2 0 747249652 521166848 6108 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/6767/statm: 127238 6108 401 364 0 63108 0
[pid=6769] ppid=6767 vsize=182452 CPUtime=586.98 cores=0-7
/proc/6769/stat : 6769 (kcnfs-2006) T 6767 6769 6769 0 -1 4202496 623 0 0 0 58697 1 0 0 25 0 1 0 747249652 186830848 349 33554432000 134512640 135163436 4290755808 18446744073709551615 134564272 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/6769/statm: 45613 349 77 159 0 45453 0
[pid=6767/tid=6789] ppid=6620 vsize=508952 CPUtime=0 cores=0-7
/proc/6767/task/6789/stat : 6789 (python) S 6620 6620 5923 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 2 0 747312630 521166848 6108 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604444127774784 0 0 -1 1 0 0 0
[pid=6773] ppid=6620 vsize=519208 CPUtime=2.37 cores=0-7
/proc/6773/stat : 6773 (python) S 6620 6620 5923 0 -1 4202560 1119 0 0 0 120 117 0 0 18 0 2 0 747261296 531668992 6215 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/6773/statm: 129802 6215 401 364 0 65669 0
[pid=6775] ppid=6773 vsize=182444 CPUtime=677.14 cores=0-7
/proc/6775/stat : 6775 (kcnfs-2006) R 6773 6775 6775 0 -1 4202496 619 0 0 0 67714 0 0 0 25 0 1 0 747261297 186822656 347 33554432000 134512640 135163436 4290429808 18446744073709551615 134569637 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6775/statm: 45611 347 77 159 0 45451 0
[pid=6773/tid=6798] ppid=6620 vsize=519208 CPUtime=0 cores=0-7
/proc/6773/task/6798/stat : 6798 (python) S 6620 6620 5923 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 2 0 747328487 531668992 6215 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 514 18446604440976048512 0 0 -1 3 0 0 0
[pid=6790] ppid=6620 vsize=529464 CPUtime=0.91 cores=0-7
/proc/6790/stat : 6790 (python) S 6620 6620 5923 0 -1 4202560 937 0 0 0 49 42 0 0 15 0 1 0 747312632 542171136 6111 33554432000 4194304 5683644 140734612466512 18446744073709551615 231895510598 0 0 16781312 514 16454622518225895681 0 0 17 4 0 0 0
/proc/6790/statm: 132366 6111 373 364 0 68230 0
[pid=6792] ppid=6790 vsize=36760 CPUtime=201.88 cores=0-7
/proc/6792/stat : 6792 (march_hi) R 6790 6792 6792 0 -1 4202496 7336 0 0 0 20187 1 0 0 25 0 1 0 747312637 37642240 7060 33554432000 4194304 4955518 140734560614384 18446744073709551615 4209688 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6792/statm: 9190 7060 104 186 0 9003 0
[pid=6620/tid=6627] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6627/stat : 6627 (python) S 6618 6620 5923 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 20 0 746994481 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6630] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6630/stat : 6630 (python) S 6618 6620 5923 0 -1 4202560 35 932 0 0 0 0 0 0 18 0 20 0 746994484 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6633] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6633/stat : 6633 (python) S 6618 6620 5923 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 20 0 746994487 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6636] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6636/stat : 6636 (python) S 6618 6620 5923 0 -1 4202560 45 932 0 0 0 0 0 0 18 0 20 0 746994490 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 7 0 0 0
[pid=6620/tid=6639] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6639/stat : 6639 (python) S 6618 6620 5923 0 -1 4202560 81 932 0 0 0 0 0 0 19 0 20 0 746994493 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 1 0 0 0
[pid=6620/tid=6642] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6642/stat : 6642 (python) S 6618 6620 5923 0 -1 4202560 51 932 0 0 0 0 0 0 18 0 20 0 746994496 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6645] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6645/stat : 6645 (python) S 6618 6620 5923 0 -1 4202560 55 932 0 0 0 0 0 0 18 0 20 0 746994499 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6648] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6648/stat : 6648 (python) S 6618 6620 5923 0 -1 4202560 58 932 0 0 0 0 0 0 18 0 20 0 746994503 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6654] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6654/stat : 6654 (python) S 6618 6620 5923 0 -1 4202560 51 932 0 0 0 0 0 0 18 0 20 0 747004512 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6658] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6658/stat : 6658 (python) S 6618 6620 5923 0 -1 4202560 57 932 0 0 0 0 0 0 18 0 20 0 747004525 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 3 0 0 0
[pid=6620/tid=6673] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6673/stat : 6673 (python) S 6618 6620 5923 0 -1 4202560 46 932 0 0 0 0 0 0 18 0 20 0 747040276 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 6 0 0 0
[pid=6620/tid=6699] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6699/stat : 6699 (python) S 6618 6620 5923 0 -1 4202560 66 932 0 0 0 0 0 0 18 0 20 0 747103523 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 1 0 0 0
[pid=6620/tid=6714] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6714/stat : 6714 (python) S 6618 6620 5923 0 -1 4202560 54 932 0 0 0 0 0 0 18 0 20 0 747117077 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 6 0 0 0
[pid=6620/tid=6719] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6719/stat : 6719 (python) S 6618 6620 5923 0 -1 4202560 40 932 0 0 0 0 0 0 20 0 20 0 747121797 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6734] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6734/stat : 6734 (python) S 6618 6620 5923 0 -1 4202560 61 932 0 0 0 0 0 0 18 0 20 0 747158118 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 1 0 0 0
[pid=6620/tid=6744] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6744/stat : 6744 (python) S 6618 6620 5923 0 -1 4202560 50 932 0 0 0 0 0 0 18 0 20 0 747179926 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 5 0 0 0
[pid=6620/tid=6768] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6768/stat : 6768 (python) S 6618 6620 5923 0 -1 4202560 43 932 0 0 0 0 0 0 20 0 20 0 747249652 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 6 0 0 0
[pid=6620/tid=6774] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6774/stat : 6774 (python) S 6618 6620 5923 0 -1 4202560 39 932 0 0 0 0 0 0 18 0 20 0 747261296 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 3 0 0 0
[pid=6620/tid=6791] ppid=6618 vsize=539708 CPUtime=0 cores=0-7
/proc/6620/task/6791/stat : 6791 (python) S 6618 6620 5923 0 -1 4202560 37 932 0 0 0 0 0 0 20 0 20 0 747312633 552660992 7702 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 2 18446604441896240384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21642.6
Current children cumulated vsize (KiB) 13913072
[startup+3463.6 s]
/proc/loadavg: 10.08 10.13 10.05 11/459 6801
/proc/meminfo: memFree=21707196/32950928 swapFree=60044320/67111528
[pid=6620] ppid=6618 vsize=416540 CPUtime=21643.5 cores=0-7
/proc/6620/stat : 6620 (python) R 6618 6620 5923 0 -1 4202496 34375 420360 1 0 229 13 2159936 4173 17 0 5 0 746994422 426536960 7490 33554432000 4194304 5683644 140734612466512 18446744073709551615 4516228 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6620/statm: 104135 7490 1873 364 0 40059 0
[pid=6620/tid=6630] ppid=6618 vsize=416540 CPUtime=21641.1 cores=0-7
/proc/6620/task/6630/stat : 6630 (python) S 6618 6620 5923 0 -1 4202560 38 420360 0 0 0 0 2159936 4173 17 0 5 0 746994484 426536960 7490 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 0 18446604441896240384 0 0 -1 0 0 0 0
[pid=6620/tid=6636] ppid=6618 vsize=416540 CPUtime=21641.1 cores=0-7
/proc/6620/task/6636/stat : 6636 (python) S 6618 6620 5923 0 -1 4202560 46 420360 0 0 0 0 2159936 4173 18 0 5 0 746994490 426536960 7490 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 0 18446604441896240384 0 0 -1 7 0 0 0
[pid=6620/tid=6648] ppid=6618 vsize=416540 CPUtime=21641.1 cores=0-7
/proc/6620/task/6648/stat : 6648 (python) S 6618 6620 5923 0 -1 4202560 58 420360 0 0 0 0 2159936 4173 18 0 5 0 746994503 426536960 7490 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 0 18446604441896240384 0 0 -1 4 0 0 0
[pid=6620/tid=6654] ppid=6618 vsize=416540 CPUtime=21641.1 cores=0-7
/proc/6620/task/6654/stat : 6654 (python) S 6618 6620 5923 0 -1 4202560 53 420360 0 0 0 0 2159936 4173 18 0 5 0 747004512 426536960 7490 33554432000 4194304 5683644 140734612466512 18446744073709551615 231907314097 0 0 16781312 0 18446604441896240384 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 21643.5
Current children cumulated vsize (KiB) 416540
Child status: 0
Real time (s): 3463.62
CPU time (s): 21643.6
CPU user time (s): 21601.7
CPU system time (s): 41.8806
CPU usage (%): 624.882
Max. virtual memory (cumulated for all children) (KiB): 14756184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21601.7
system time used= 41.8806
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456937
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= 35552
involuntary context switches= 159769
runsolver used 26.8659 second user time and 58.6381 second system time
The end
Begin job on node114 at 2011-05-16 19:40:37
IDJOB=3385515
IDBENCH=82780
IDSOLVER=1870
FILE ID=node114/3385515-1305567637
RUNJOBID= node114-1305564965-5937
PBS_JOBID= 13350136
Free space on /tmp= 72944 MiB
SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S943066845-088.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-3385515-1305567637/watcher-3385515-1305567637 -o /tmp/evaluation-result-3385515-1305567637/solver-3385515-1305567637 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385515-1305567637.cnf -seed 464605975 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9ba8ad6ebe939ddb75efcc3aec0126e6
RANDOM SEED=464605975
node114.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.848
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.69
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.848
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 : 5226.15
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.848
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.74
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.848
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.73
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.848
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.75
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.848
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.848
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.848
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 23365680 kB
Buffers: 59628 kB
Cached: 527436 kB
SwapCached: 48528 kB
Active: 1161716 kB
Inactive: 8220264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 23365680 kB
SwapTotal: 67111528 kB
SwapFree: 60044320 kB
Dirty: 31880 kB
Writeback: 0 kB
AnonPages: 8752740 kB
Mapped: 22664 kB
Slab: 78280 kB
PageTables: 54316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 81477108 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= 72912 MiB
End job on node114 at 2011-05-16 20:38:21