Trace number 3322256

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-randomUNSAT 10306.7 1292.23

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
MD5SUM96dadba6913c3cf46368b605f559e4b9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1184.07
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.35/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.67	c INFO: solving HOME/instance-3322256-1304378286.cnf
0.35/0.67	c INFO: computing task features
0.35/0.67	c INFO: computed variable-clause graph statistics
0.35/0.68	c INFO: computed clause balance statistics
0.43/0.71	c INFO: computed variable balance statistics
0.43/0.74	c INFO: computed small-clause counts
0.43/0.74	c INFO: computed Horn-clause counts
0.43/0.75	c INFO: computed variable graph statistics
0.43/0.75	c INFO: collected features for HOME/instance-3322256-1304378286.cnf in 0.08 s
0.43/0.78	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.53/0.82	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.34)
0.53/0.86	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.30)
0.63/0.90	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.09)
0.63/0.94	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.07)
0.63/0.98	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.26)
1.40/1.02	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.23)
1.40/1.06	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.21)
793.12/100.19	c INFO: running march_hi@0 for 388 with 39900 remaining (b = 0.15)
799.44/101.04	c INFO: running kcnfs-2006@0 for 582 with 39899 remaining (b = 0.18)
816.17/103.07	c INFO: running march_hi@0 for 97 with 39897 remaining (b = 0.04)
1563.97/196.80	c INFO: running march_hi@93 for 97 with 39803 remaining (b = 0.04)
2375.67/298.42	c INFO: running march_hi@193 for 97 with 39702 remaining (b = 0.04)
3105.89/389.93	c INFO: running march_hi@0 for 291 with 39610 remaining (b = 0.10)
3145.85/394.99	c INFO: running march_hi@582 for 97 with 39605 remaining (b = 0.05)
3169.72/397.97	c INFO: running march_hi@0 for 291 with 39602 remaining (b = 0.10)
3885.54/487.63	c INFO: running march_hi@0 for 97 with 39513 remaining (b = 0.04)
3894.29/488.76	c INFO: running march_hi@98 for 97 with 39511 remaining (b = 0.05)
3903.87/489.97	c INFO: running march_hi@100 for 97 with 39510 remaining (b = 0.05)
3909.50/490.65	c INFO: running march_hi@0 for 97 with 39510 remaining (b = 0.05)
3952.63/496.02	c INFO: running march_hi@0 for 485 with 39504 remaining (b = 0.20)
4655.74/584.11	c INFO: running march_hi@486 for 97 with 39416 remaining (b = 0.06)
4662.84/585.00	c INFO: running march_hi@488 for 97 with 39415 remaining (b = 0.05)
4707.60/590.69	c INFO: running march_hi@973 for 388 with 39410 remaining (b = 0.19)
4717.17/591.86	c INFO: running march_hi@586 for 97 with 39408 remaining (b = 0.05)
5449.69/683.62	c INFO: running march_hi@99 for 291 with 39317 remaining (b = 0.12)
5457.67/684.67	c INFO: running kcnfs-2006@0 for 582 with 39316 remaining (b = 0.18)
5463.29/685.40	c INFO: running kcnfs-2006@101 for 485 with 39315 remaining (b = 0.16)
5467.21/685.89	c INFO: running kcnfs-2006@0 for 582 with 39314 remaining (b = 0.16)
5481.55/687.69	c INFO: running march_hi@686 for 1455 with 39313 remaining (b = 0.45)
5523.02/692.90	c INFO: running march_hi@95 for 291 with 39307 remaining (b = 0.09)
7776.83/975.24	c INFO: running march_hi@393 for 97 with 39025 remaining (b = 0.03)
7803.97/978.63	c INFO: running march_hi@1072 for 1067 with 39022 remaining (b = 0.38)
7848.63/984.22	c INFO: running march_hi@386 for 97 with 39016 remaining (b = 0.05)
7875.76/987.62	c INFO: running march_hi@96 for 291 with 39013 remaining (b = 0.09)
8535.03/1070.25	c INFO: running march_hi@582 for 97 with 38930 remaining (b = 0.03)
8636.31/1082.95	c INFO: running march_hi@588 for 97 with 38917 remaining (b = 0.03)
9303.47/1166.57	c INFO: running march_hi@876 for 1261 with 38834 remaining (b = 0.37)
9398.38/1178.42	c INFO: running kcnfs-2006@0 for 582 with 38822 remaining (b = 0.17)
9422.38/1181.46	c INFO: running kcnfs-2006@201 for 388 with 38819 remaining (b = 0.14)
10136.54/1270.93	c INFO: running adaptg2wsat2009++@0 for 97 with 38729 remaining (b = 0.03)
10154.09/1273.14	c INFO: running kcnfs-2006@95 for 485 with 38727 remaining (b = 0.15)
10198.71/1278.79	c INFO: running march_hi@191 for 291 with 38721 remaining (b = 0.11)
10306.57/1292.21	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322256-1304378286/watcher-3322256-1304378286 -o /tmp/evaluation-result-3322256-1304378286/solver-3322256-1304378286 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322256-1304378286.cnf -seed 1137696275 -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: 7.63 8.05 8.06 2/295 31574
/proc/meminfo: memFree=6951284/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=15780 CPUtime=0 cores=0-7
/proc/31574/stat : 31574 (python) R 31572 31574 30950 0 -1 4202496 869 0 0 0 0 0 0 0 24 0 1 0 282019856 16158720 750 33554432000 4194304 5683644 140736686331536 18446744073709551615 4663568 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31574/statm: 3945 750 343 364 0 432 0

[startup+0.056494 s]
/proc/loadavg: 7.63 8.05 8.06 2/295 31574
/proc/meminfo: memFree=6951284/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=29792 CPUtime=0.04 cores=0-7
/proc/31574/stat : 31574 (python) R 31572 31574 30950 0 -1 4202496 1408 0 0 0 3 1 0 0 24 0 1 0 282019856 30507008 1251 33554432000 4194304 5683644 140736686331536 18446744073709551615 5214075 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31574/statm: 7448 1252 443 364 0 818 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29792

[startup+0.100522 s]
/proc/loadavg: 7.63 8.05 8.06 2/295 31574
/proc/meminfo: memFree=6951284/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=89772 CPUtime=0.07 cores=0-7
/proc/31574/stat : 31574 (python) R 31572 31574 30950 0 -1 4202496 2673 0 0 0 5 2 0 0 24 0 1 0 282019856 91926528 2388 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660660224 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31574/statm: 22443 2388 750 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 89772

[startup+0.300495 s]
/proc/loadavg: 7.63 8.05 8.06 2/295 31574
/proc/meminfo: memFree=6951284/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=135752 CPUtime=0.19 cores=0-7
/proc/31574/stat : 31574 (python) R 31572 31574 30950 0 -1 4202496 5967 934 1 0 14 5 0 0 25 0 1 0 282019856 139010048 4151 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660354768 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31574/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.700378 s]
/proc/loadavg: 7.63 8.05 8.06 2/295 31574
/proc/meminfo: memFree=6951284/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=278304 CPUtime=0.43 cores=0-7
/proc/31574/stat : 31574 (python) R 31572 31574 30950 0 -1 4202496 9324 934 1 0 33 10 0 0 25 0 1 0 282019856 284983296 6992 33554432000 4194304 5683644 140736686331536 18446744073709551615 4500451 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31574/statm: 69576 6992 1826 364 0 5500 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 278304

[startup+1.5012 s]
/proc/loadavg: 7.63 8.05 8.06 8/314 31597
/proc/meminfo: memFree=6900912/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=361360 CPUtime=0.79 cores=0-7
/proc/31574/stat : 31574 (python) S 31572 31574 30950 0 -1 4202496 15801 934 1 0 66 13 0 0 20 0 9 0 282019856 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 90340 7304 1889 364 0 26237 0
[pid=31580] ppid=31574 vsize=278668 CPUtime=0 cores=0-7
/proc/31580/stat : 31580 (python) S 31574 31574 30950 0 -1 4202560 733 0 0 0 0 0 0 0 25 0 1 0 282019935 285356032 5583 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682255 0 0 16781312 514 13552602868250312703 0 0 17 1 0 0 0
/proc/31580/statm: 69667 5583 354 364 0 5585 0
[pid=31582] ppid=31580 vsize=1017800 CPUtime=0.7 cores=0-7
/proc/31582/stat : 31582 (gnovelty+2) R 31580 31582 31582 0 -1 4202496 442 0 0 0 70 0 0 0 25 0 1 0 282019935 1042227200 177 33554432000 134512640 135663704 4292017936 18446744073709551615 134524610 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31582/statm: 254450 177 113 282 0 254166 0
[pid=31583] ppid=31574 vsize=289344 CPUtime=0 cores=0-7
/proc/31583/stat : 31583 (python) S 31574 31574 30950 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 282019939 296288256 5693 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 2925338650923204867 0 0 17 6 0 0 0
/proc/31583/statm: 72336 5693 348 364 0 8251 0
[pid=31585] ppid=31583 vsize=2436 CPUtime=0.66 cores=0-7
/proc/31585/stat : 31585 (march_hi) R 31583 31585 31585 0 -1 4202496 659 0 0 0 66 0 0 0 18 0 1 0 282019939 2494464 396 33554432000 4194304 4955518 140735309025344 18446744073709551615 4306934 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31585/statm: 609 396 104 186 0 422 0
[pid=31586] ppid=31574 vsize=299224 CPUtime=0 cores=0-7
/proc/31586/stat : 31586 (python) S 31574 31574 30950 0 -1 4202560 767 0 0 0 0 0 0 0 17 0 1 0 282019943 306405376 5587 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 11816460264096628993 0 0 17 0 0 0 0
/proc/31586/statm: 74806 5587 348 364 0 10718 0
[pid=31588] ppid=31586 vsize=2436 CPUtime=0.61 cores=0-7
/proc/31588/stat : 31588 (march_hi) R 31586 31588 31588 0 -1 4202496 662 0 0 0 61 0 0 0 25 0 1 0 282019943 2494464 395 33554432000 4194304 4955518 140735300967152 18446744073709551615 4224682 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31588/statm: 609 395 104 186 0 422 0
[pid=31589] ppid=31574 vsize=309956 CPUtime=0 cores=0-7
/proc/31589/stat : 31589 (python) S 31574 31574 30950 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 282019947 317394944 5709 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18037668577867170049 0 0 17 2 0 0 0
/proc/31589/statm: 77489 5709 348 364 0 13398 0
[pid=31591] ppid=31589 vsize=2436 CPUtime=0.58 cores=0-7
/proc/31591/stat : 31591 (march_hi) R 31589 31591 31591 0 -1 4202496 658 0 0 0 58 0 0 0 22 0 1 0 282019947 2494464 394 33554432000 4194304 4955518 140734630986944 18446744073709551615 4227824 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/31591/statm: 609 394 104 186 0 422 0
[pid=31592] ppid=31574 vsize=320212 CPUtime=0 cores=0-7
/proc/31592/stat : 31592 (python) S 31574 31574 30950 0 -1 4202560 762 0 0 0 0 0 0 0 19 0 1 0 282019951 327897088 5713 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 4428599469633699839 0 0 17 2 0 0 0
/proc/31592/statm: 80053 5713 348 364 0 15959 0
[pid=31594] ppid=31592 vsize=1017800 CPUtime=0.55 cores=0-7
/proc/31594/stat : 31594 (gnovelty+2) R 31592 31594 31594 0 -1 4202496 443 0 0 0 55 0 0 0 22 0 1 0 282019951 1042227200 178 33554432000 134512640 135663704 4293707344 18446744073709551615 134525465 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31594/statm: 254450 178 113 282 0 254166 0
[pid=31595] ppid=31574 vsize=330468 CPUtime=0 cores=0-7
/proc/31595/stat : 31595 (python) S 31574 31574 30950 0 -1 4202560 773 0 0 0 0 0 0 0 17 0 1 0 282019955 338399232 5717 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 14495072899498475780 0 0 17 2 0 0 0
/proc/31595/statm: 82617 5717 348 364 0 18520 0
[pid=31597] ppid=31595 vsize=2300 CPUtime=0.5 cores=0-7
/proc/31597/stat : 31597 (march_hi) R 31595 31597 31597 0 -1 4202496 631 0 0 0 50 0 0 0 25 0 1 0 282019955 2355200 367 33554432000 4194304 4955518 140737251930176 18446744073709551615 4224687 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31597/statm: 575 367 104 186 0 388 0
[pid=31574/tid=31581] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31581/stat : 31581 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 9 0 282019935 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31584] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31584/stat : 31584 (python) S 31572 31574 30950 0 -1 4202560 22 934 0 0 0 0 0 0 20 0 9 0 282019939 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31587] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31587/stat : 31587 (python) S 31572 31574 30950 0 -1 4202560 24 934 0 0 0 0 0 0 22 0 9 0 282019943 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 6 0 0 0
[pid=31574/tid=31590] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31590/stat : 31590 (python) S 31572 31574 30950 0 -1 4202560 24 934 0 0 0 0 0 0 20 0 9 0 282019947 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31593] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31593/stat : 31593 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 9 0 282019951 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31596] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31596/stat : 31596 (python) S 31572 31574 30950 0 -1 4202560 25 934 0 0 0 0 0 0 22 0 9 0 282019955 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 4234440

[startup+3.10092 s]
/proc/loadavg: 7.63 8.05 8.06 9/320 31604
/proc/meminfo: memFree=6888084/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=361360 CPUtime=0.79 cores=0-7
/proc/31574/stat : 31574 (python) S 31572 31574 30950 0 -1 4202496 15801 934 1 0 66 13 0 0 20 0 9 0 282019856 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 90340 7304 1889 364 0 26237 0
[pid=31580] ppid=31574 vsize=278668 CPUtime=0 cores=0-7
/proc/31580/stat : 31580 (python) S 31574 31574 30950 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 282019935 285356032 5583 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682255 0 0 16781312 514 13552602868250280195 0 0 17 1 0 0 0
/proc/31580/statm: 69667 5583 354 364 0 5585 0
[pid=31582] ppid=31580 vsize=1017800 CPUtime=2.3 cores=0-7
/proc/31582/stat : 31582 (gnovelty+2) R 31580 31582 31582 0 -1 4202496 442 0 0 0 230 0 0 0 25 0 1 0 282019935 1042227200 177 33554432000 134512640 135663704 4292017936 18446744073709551615 134545793 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31582/statm: 254450 177 113 282 0 254166 0
[pid=31583] ppid=31574 vsize=289344 CPUtime=0 cores=0-7
/proc/31583/stat : 31583 (python) S 31574 31574 30950 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 282019939 296288256 5693 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 2925338650923204867 0 0 17 6 0 0 0
/proc/31583/statm: 72336 5693 348 364 0 8251 0
[pid=31585] ppid=31583 vsize=2756 CPUtime=2.26 cores=0-7
/proc/31585/stat : 31585 (march_hi) R 31583 31585 31585 0 -1 4202496 735 0 0 0 226 0 0 0 21 0 1 0 282019939 2822144 472 33554432000 4194304 4955518 140735309025344 18446744073709551615 4238722 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31585/statm: 689 472 104 186 0 502 0
[pid=31586] ppid=31574 vsize=299224 CPUtime=0 cores=0-7
/proc/31586/stat : 31586 (python) S 31574 31574 30950 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 282019943 306405376 5587 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 11816460264096628993 0 0 17 0 0 0 0
/proc/31586/statm: 74806 5587 348 364 0 10718 0
[pid=31588] ppid=31586 vsize=2756 CPUtime=2.2 cores=0-7
/proc/31588/stat : 31588 (march_hi) R 31586 31588 31588 0 -1 4202496 736 0 0 0 220 0 0 0 25 0 1 0 282019943 2822144 469 33554432000 4194304 4955518 140735300967152 18446744073709551615 4224551 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31588/statm: 689 469 104 186 0 502 0
[pid=31589] ppid=31574 vsize=309956 CPUtime=0 cores=0-7
/proc/31589/stat : 31589 (python) S 31574 31574 30950 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 282019947 317394944 5709 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18037668577867170049 0 0 17 2 0 0 0
/proc/31589/statm: 77489 5709 348 364 0 13398 0
[pid=31591] ppid=31589 vsize=2756 CPUtime=2.18 cores=0-7
/proc/31591/stat : 31591 (march_hi) R 31589 31591 31591 0 -1 4202496 733 0 0 0 218 0 0 0 25 0 1 0 282019947 2822144 469 33554432000 4194304 4955518 140734630986944 18446744073709551615 4227699 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/31591/statm: 689 469 104 186 0 502 0
[pid=31592] ppid=31574 vsize=320212 CPUtime=0 cores=0-7
/proc/31592/stat : 31592 (python) S 31574 31574 30950 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 1 0 282019951 327897088 5713 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 4428599469633667331 0 0 17 2 0 0 0
/proc/31592/statm: 80053 5713 348 364 0 15959 0
[pid=31594] ppid=31592 vsize=1017800 CPUtime=2.14 cores=0-7
/proc/31594/stat : 31594 (gnovelty+2) R 31592 31594 31594 0 -1 4202496 443 0 0 0 214 0 0 0 25 0 1 0 282019951 1042227200 178 33554432000 134512640 135663704 4293707344 18446744073709551615 134525292 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31594/statm: 254450 178 113 282 0 254166 0
[pid=31595] ppid=31574 vsize=330468 CPUtime=0 cores=0-7
/proc/31595/stat : 31595 (python) S 31574 31574 30950 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 282019955 338399232 5717 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 14495072899498475780 0 0 17 2 0 0 0
/proc/31595/statm: 82617 5717 348 364 0 18520 0
[pid=31597] ppid=31595 vsize=2756 CPUtime=2.1 cores=0-7
/proc/31597/stat : 31597 (march_hi) R 31595 31597 31597 0 -1 4202496 730 0 0 0 210 0 0 0 25 0 1 0 282019955 2822144 466 33554432000 4194304 4955518 140737251930176 18446744073709551615 4261360 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31597/statm: 689 466 104 186 0 502 0
[pid=31598] ppid=31574 vsize=340724 CPUtime=0 cores=0-7
/proc/31598/stat : 31598 (python) S 31574 31574 30950 0 -1 4202560 795 0 0 0 0 0 0 0 15 0 1 0 282019959 348901376 5738 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 3995343784656208132 0 0 17 2 0 0 0
/proc/31598/statm: 85181 5738 348 364 0 21081 0
[pid=31600] ppid=31598 vsize=2756 CPUtime=2.04 cores=0-7
/proc/31600/stat : 31600 (march_hi) R 31598 31600 31600 0 -1 4202496 728 0 0 0 204 0 0 0 25 0 1 0 282019959 2822144 462 33554432000 4194304 4955518 140737294696720 18446744073709551615 4227677 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31600/statm: 689 462 104 186 0 502 0
[pid=31601] ppid=31574 vsize=351116 CPUtime=0 cores=0-7
/proc/31601/stat : 31601 (python) S 31574 31574 30950 0 -1 4202560 822 0 0 0 0 0 0 0 15 0 1 0 282019963 359542784 5765 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 15589042988670484739 0 0 17 4 0 0 0
/proc/31601/statm: 87779 5765 354 364 0 23676 0
[pid=31603] ppid=31601 vsize=2756 CPUtime=2.02 cores=0-7
/proc/31603/stat : 31603 (march_hi) R 31601 31603 31603 0 -1 4202496 730 0 0 0 202 0 0 0 25 0 1 0 282019963 2822144 462 33554432000 4194304 4955518 140736008677376 18446744073709551615 4227667 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/31603/statm: 689 462 104 186 0 502 0
[pid=31574/tid=31581] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31581/stat : 31581 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 9 0 282019935 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31584] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31584/stat : 31584 (python) S 31572 31574 30950 0 -1 4202560 22 934 0 0 0 0 0 0 20 0 9 0 282019939 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31587] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31587/stat : 31587 (python) S 31572 31574 30950 0 -1 4202560 24 934 0 0 0 0 0 0 22 0 9 0 282019943 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 6 0 0 0
[pid=31574/tid=31590] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31590/stat : 31590 (python) S 31572 31574 30950 0 -1 4202560 24 934 0 0 0 0 0 0 20 0 9 0 282019947 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31593] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31593/stat : 31593 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 9 0 282019951 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31596] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31596/stat : 31596 (python) S 31572 31574 30950 0 -1 4202560 25 934 0 0 0 0 0 0 22 0 9 0 282019955 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31599] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31599/stat : 31599 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 24 0 9 0 282019959 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31602] ppid=31572 vsize=361360 CPUtime=0 cores=0-7
/proc/31574/task/31602/stat : 31602 (python) S 31572 31574 30950 0 -1 4202560 78 934 0 0 0 0 0 0 20 0 9 0 282019963 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.03
Current children cumulated vsize (KiB) 4933208

[startup+6.30135 s]
/proc/loadavg: 7.66 8.04 8.06 10/320 31604
/proc/meminfo: memFree=6884364/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=361360 CPUtime=0.79 cores=0-7
/proc/31574/stat : 31574 (python) S 31572 31574 30950 0 -1 4202496 15801 934 1 0 66 13 0 0 20 0 9 0 282019856 370032640 7304 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 90340 7304 1889 364 0 26237 0

################
# More data... #
################

/proc/31595/statm: 82617 5770 400 364 0 18520 0
[pid=31597] ppid=31595 vsize=119668 CPUtime=778.49 cores=0-7
/proc/31597/stat : 31597 (march_hi) T 31595 31597 31597 0 -1 4202496 24003 0 0 0 77845 4 0 0 25 0 1 0 282019955 122540032 23739 33554432000 4194304 4955518 140737251930176 18446744073709551615 4224651 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/31597/statm: 29917 23739 104 186 0 29730 0
[pid=31595/tid=31628] ppid=31574 vsize=330468 CPUtime=0 cores=0-7
/proc/31595/task/31628/stat : 31628 (python) S 31574 31574 30950 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 282068615 338399232 5770 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604443592014592 0 0 -1 1 0 0 0
[pid=31598] ppid=31574 vsize=340724 CPUtime=2.3 cores=0-7
/proc/31598/stat : 31598 (python) S 31574 31574 30950 0 -1 4202560 1227 0 0 0 119 111 0 0 15 0 2 0 282019959 348901376 5797 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/31598/statm: 85181 5797 406 364 0 21081 0
[pid=31600] ppid=31598 vsize=119800 CPUtime=971.61 cores=0-7
/proc/31600/stat : 31600 (march_hi) T 31598 31600 31600 0 -1 4202496 28953 0 0 0 97155 6 0 0 25 0 1 0 282019959 122675200 28687 33554432000 4194304 4955518 140737294696720 18446744073709551615 4228014 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/31600/statm: 29950 28687 104 186 0 29763 0
[pid=31598/tid=31631] ppid=31574 vsize=340724 CPUtime=0 cores=0-7
/proc/31598/task/31631/stat : 31631 (python) S 31574 31574 30950 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 2 0 282068917 348901376 5797 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604453911652480 0 0 -1 1 0 0 0
[pid=31601] ppid=31574 vsize=351116 CPUtime=1.84 cores=0-7
/proc/31601/stat : 31601 (python) S 31574 31574 30950 0 -1 4202560 1230 0 0 0 100 84 0 0 15 0 2 0 282019963 359542784 5819 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31601/statm: 87779 5819 407 364 0 23676 0
[pid=31603] ppid=31601 vsize=119668 CPUtime=776.28 cores=0-7
/proc/31603/stat : 31603 (march_hi) T 31601 31603 31603 0 -1 4202496 23948 0 0 0 77622 6 0 0 25 0 1 0 282019963 122540032 23680 33554432000 4194304 4955518 140736008677376 18446744073709551615 4238372 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/31603/statm: 29917 23680 104 186 0 29730 0
[pid=31601/tid=31629] ppid=31574 vsize=351116 CPUtime=0 cores=0-7
/proc/31601/task/31629/stat : 31629 (python) S 31574 31574 30950 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 282068728 359542784 5819 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604443592012800 0 0 -1 4 0 0 0
[pid=31608] ppid=31574 vsize=361372 CPUtime=2.83 cores=0-7
/proc/31608/stat : 31608 (python) S 31574 31574 30950 0 -1 4202560 1207 0 0 0 147 136 0 0 15 0 2 0 282029876 370044928 5816 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/31608/statm: 90343 5816 400 364 0 26237 0
[pid=31610] ppid=31608 vsize=192696 CPUtime=1187.75 cores=0-7
/proc/31610/stat : 31610 (march_hi) R 31608 31610 31610 0 -1 4202496 34158 0 0 0 118768 7 0 0 25 0 1 0 282029876 197320704 33884 33554432000 4194304 4955518 140733680812224 18446744073709551615 4209717 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/31610/statm: 48174 33884 104 186 0 47987 0
[pid=31608/tid=31630] ppid=31574 vsize=361372 CPUtime=0 cores=0-7
/proc/31608/task/31630/stat : 31630 (python) S 31574 31574 30950 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 282068849 370044928 5816 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604444730495360 0 0 -1 3 0 0 0
[pid=31612] ppid=31574 vsize=371628 CPUtime=2.59 cores=0-7
/proc/31612/stat : 31612 (python) S 31574 31574 30950 0 -1 4202560 1193 0 0 0 140 119 0 0 18 0 2 0 282029960 380547072 5820 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31612/statm: 92907 5820 400 364 0 28798 0
[pid=31614] ppid=31612 vsize=182448 CPUtime=1180.34 cores=0-7
/proc/31614/stat : 31614 (kcnfs-2006) R 31612 31614 31614 0 -1 4202496 600 0 0 0 118033 1 0 0 25 0 1 0 282029961 186826752 332 33554432000 134512640 135163436 4292361408 18446744073709551615 134595446 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31614/statm: 45612 332 77 159 0 45452 0
[pid=31612/tid=31644] ppid=31574 vsize=371628 CPUtime=0 cores=0-7
/proc/31612/task/31644/stat : 31644 (python) S 31574 31574 30950 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 282088391 380547072 5820 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604445078139072 0 0 -1 4 0 0 0
[pid=31633] ppid=31574 vsize=447124 CPUtime=1.88 cores=0-7
/proc/31633/stat : 31633 (python) S 31574 31574 30950 0 -1 4202560 1221 0 0 0 97 91 0 0 15 0 2 0 282069459 457854976 5780 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31633/statm: 111781 5780 401 364 0 47669 0
[pid=31635] ppid=31633 vsize=119668 CPUtime=790.99 cores=0-7
/proc/31635/stat : 31635 (march_hi) R 31633 31635 31635 0 -1 4202496 24294 0 0 0 79094 5 0 0 25 0 1 0 282069460 122540032 24022 33554432000 4194304 4955518 140736614708064 18446744073709551615 4227613 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/31635/statm: 29917 24022 104 186 0 29730 0
[pid=31633/tid=31656] ppid=31574 vsize=447124 CPUtime=0 cores=0-7
/proc/31633/task/31656/stat : 31656 (python) S 31574 31574 30950 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 282118613 457854976 5780 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604442079957376 0 0 -1 0 0 0 0
[pid=31641] ppid=31574 vsize=457380 CPUtime=1.27 cores=0-7
/proc/31641/stat : 31641 (python) S 31574 31574 30950 0 -1 4202560 1108 0 0 0 68 59 0 0 19 0 2 0 282088324 468357120 5971 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31641/statm: 114345 5971 400 364 0 50230 0
[pid=31643] ppid=31641 vsize=182452 CPUtime=586.14 cores=0-7
/proc/31643/stat : 31643 (kcnfs-2006) T 31641 31643 31643 0 -1 4202496 594 0 0 0 58614 0 0 0 25 0 1 0 282088325 186830848 330 33554432000 134512640 135163436 4293023168 18446744073709551615 134571687 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/31643/statm: 45613 330 77 159 0 45453 0
[pid=31641/tid=31667] ppid=31574 vsize=457380 CPUtime=0 cores=0-7
/proc/31641/task/31667/stat : 31667 (python) S 31574 31574 30950 0 -1 4202560 146 0 0 0 0 0 0 0 19 0 2 0 282146944 468357120 5971 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604453936402816 0 0 -1 4 0 0 0
[pid=31645] ppid=31574 vsize=468052 CPUtime=1.31 cores=0-7
/proc/31645/stat : 31645 (python) S 31574 31574 30950 0 -1 4202560 1203 0 0 0 69 62 0 0 15 0 2 0 282088446 479285248 5913 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31645/statm: 117013 5913 400 364 0 52895 0
[pid=31647] ppid=31645 vsize=182452 CPUtime=602.4 cores=0-7
/proc/31647/stat : 31647 (kcnfs-2006) R 31645 31647 31647 0 -1 4202496 601 0 0 0 60240 0 0 0 25 0 1 0 282088447 186830848 332 33554432000 134512640 135163436 4289518720 18446744073709551615 134569709 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31647/statm: 45613 332 77 159 0 45453 0
[pid=31645/tid=31671] ppid=31574 vsize=468052 CPUtime=0 cores=0-7
/proc/31645/task/31671/stat : 31671 (python) S 31574 31574 30950 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 282147165 479285248 5913 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604445078140864 0 0 -1 3 0 0 0
[pid=31662] ppid=31574 vsize=478436 CPUtime=0.24 cores=0-7
/proc/31662/stat : 31662 (python) S 31574 31574 30950 0 -1 4202560 1041 0 0 0 14 10 0 0 18 0 1 0 282137699 489918464 5919 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 13377925100917981444 0 0 17 4 0 0 0
/proc/31662/statm: 119609 5919 371 364 0 55488 0
[pid=31664] ppid=31662 vsize=182452 CPUtime=113.64 cores=0-7
/proc/31664/stat : 31664 (kcnfs-2006) R 31662 31664 31664 0 -1 4202496 605 0 0 0 11364 0 0 0 25 0 1 0 282137699 186830848 332 33554432000 134512640 135163436 4293136112 18446744073709551615 134625190 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31664/statm: 45613 332 77 159 0 45453 0
[pid=31668] ppid=31574 vsize=488692 CPUtime=0.04 cores=0-7
/proc/31668/stat : 31668 (python) S 31574 31574 30950 0 -1 4202560 1031 0 0 0 2 2 0 0 18 0 1 0 282146950 500420608 5958 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 13377925100917981441 0 0 17 3 0 0 0
/proc/31668/statm: 122173 5958 378 364 0 58049 0
[pid=31670] ppid=31668 vsize=416128 CPUtime=21.11 cores=0-7
/proc/31670/stat : 31670 (adaptg2wsat2009) R 31668 31670 31670 0 -1 4202496 475 0 0 0 2111 0 0 0 25 0 1 0 282146950 426115072 192 33554432000 134512640 135107411 4294524560 18446744073709551615 134531537 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31670/statm: 104032 192 59 146 0 102908 0
[pid=31574/tid=31581] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31581/stat : 31581 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 16 0 282019935 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31584] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31584/stat : 31584 (python) S 31572 31574 30950 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 16 0 282019939 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31587] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31587/stat : 31587 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 18 0 16 0 282019943 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 6 0 0 0
[pid=31574/tid=31590] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31590/stat : 31590 (python) S 31572 31574 30950 0 -1 4202560 40 934 0 0 0 0 0 0 18 0 16 0 282019947 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31593] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31593/stat : 31593 (python) S 31572 31574 30950 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 16 0 282019951 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31596] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31596/stat : 31596 (python) S 31572 31574 30950 0 -1 4202560 41 934 0 0 0 0 0 0 18 0 16 0 282019955 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31599] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31599/stat : 31599 (python) S 31572 31574 30950 0 -1 4202560 41 934 0 0 0 0 0 0 18 0 16 0 282019959 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31602] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31602/stat : 31602 (python) S 31572 31574 30950 0 -1 4202560 89 934 0 0 0 0 0 0 18 0 16 0 282019963 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31609] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31609/stat : 31609 (python) S 31572 31574 30950 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 16 0 282029876 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31613] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31613/stat : 31613 (python) S 31572 31574 30950 0 -1 4202560 38 934 0 0 0 0 0 0 18 0 16 0 282029961 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31634] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31634/stat : 31634 (python) S 31572 31574 30950 0 -1 4202560 36 934 0 0 0 0 0 0 18 0 16 0 282069459 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 1 0 0 0
[pid=31574/tid=31642] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31642/stat : 31642 (python) S 31572 31574 30950 0 -1 4202560 107 934 0 0 0 0 0 0 20 0 16 0 282088324 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31646] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31646/stat : 31646 (python) S 31572 31574 30950 0 -1 4202560 34 934 0 0 0 0 0 0 18 0 16 0 282088447 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31663] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31663/stat : 31663 (python) S 31572 31574 30950 0 -1 4202560 32 934 0 0 0 0 0 0 20 0 16 0 282137699 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31669] ppid=31572 vsize=498808 CPUtime=0 cores=0-7
/proc/31574/task/31669/stat : 31669 (python) S 31572 31574 30950 0 -1 4202560 30 934 0 0 0 0 0 0 19 0 16 0 282146950 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10305.7
Current children cumulated vsize (KiB) 10266844

[startup+1292.2 s]
/proc/loadavg: 8.05 8.12 8.09 11/354 31672
/proc/meminfo: memFree=6096872/32951124 swapFree=67111524/67111528
[pid=31574] ppid=31572 vsize=498808 CPUtime=7108.54 cores=0-7
/proc/31574/stat : 31574 (python) S 31572 31574 30950 0 -1 4202496 24324 183080 1 0 243 15 709763 833 17 0 16 0 282019856 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672492351 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31574/statm: 124702 7428 1904 364 0 60578 0
[pid=31583] ppid=31574 vsize=0 CPUtime=1200.79 cores=0-7
/proc/31583/stat : 31583 (python) Z 31574 31574 30950 0 -1 4202588 1221 34203 0 0 378 169 119524 8 19 0 1 0 282019939 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31583/statm: 0 0 0 0 0 0 0
[pid=31612] ppid=31574 vsize=371628 CPUtime=2.59 cores=0-7
/proc/31612/stat : 31612 (python) S 31574 31574 30950 0 -1 4202560 1193 0 0 0 140 119 0 0 18 0 2 0 282029960 380547072 5820 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31612/statm: 92907 5820 400 364 0 28798 0
[pid=31614] ppid=31612 vsize=182448 CPUtime=1180.44 cores=0-7
/proc/31614/stat : 31614 (kcnfs-2006) R 31612 31614 31614 0 -1 4202496 600 0 0 0 118043 1 0 0 25 0 1 0 282029961 186826752 332 33554432000 134512640 135163436 4292361408 18446744073709551615 134572011 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31614/statm: 45612 332 77 159 0 45452 0
[pid=31612/tid=31644] ppid=31574 vsize=371628 CPUtime=0 cores=0-7
/proc/31612/task/31644/stat : 31644 (python) S 31574 31574 30950 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 282088391 380547072 5820 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 514 18446604445078139072 0 0 -1 4 0 0 0
[pid=31633] ppid=31574 vsize=447124 CPUtime=1.88 cores=0-7
/proc/31633/stat : 31633 (python) S 31574 31574 30950 0 -1 4202560 1225 0 0 0 97 91 0 0 15 0 2 0 282069459 457854976 5780 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672492351 0 0 16781824 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31633/statm: 111781 5780 401 364 0 47669 0
[pid=31635] ppid=31633 vsize=0 CPUtime=791.09 cores=0-7
/proc/31635/stat : 31635 (march_hi) R 31633 31635 31635 0 -1 4203524 24297 0 0 0 79103 6 0 0 25 0 1 0 282069460 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/31635/statm: 0 0 0 0 0 0 0
[pid=31633/tid=31656] ppid=31574 vsize=447124 CPUtime=0 cores=0-7
/proc/31633/task/31656/stat : 31656 (python) S 31574 31574 30950 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 282118613 457854976 5780 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781824 2 18446604442079957376 0 0 -1 0 0 0 0
[pid=31668] ppid=31574 vsize=488692 CPUtime=0.04 cores=0-7
/proc/31668/stat : 31668 (python) S 31574 31574 30950 0 -1 4202560 1031 0 0 0 2 2 0 0 18 0 1 0 282146950 500420608 5958 33554432000 4194304 5683644 140736686331536 18446744073709551615 268660682310 0 0 16781312 514 13377925100917981441 0 0 17 3 0 0 0
/proc/31668/statm: 122173 5958 378 364 0 58049 0
[pid=31670] ppid=31668 vsize=416128 CPUtime=21.2 cores=0-7
/proc/31670/stat : 31670 (adaptg2wsat2009) R 31668 31670 31670 0 -1 4202496 475 0 0 0 2120 0 0 0 25 0 1 0 282146950 426115072 192 33554432000 134512640 135107411 4294524560 18446744073709551615 134548412 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31670/statm: 104032 192 59 146 0 102908 0
[pid=31574/tid=31581] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31581/stat : 31581 (python) S 31572 31574 30950 0 -1 4202560 27 183080 0 0 0 0 709763 833 25 0 16 0 282019935 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31584] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31584/stat : 31584 (python) S 31572 31574 30950 0 -1 4202560 32 183080 0 0 0 0 709763 833 18 0 16 0 282019939 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31587] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31587/stat : 31587 (python) S 31572 31574 30950 0 -1 4202560 27 183080 0 0 0 0 709763 833 18 0 16 0 282019943 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 6 0 0 0
[pid=31574/tid=31590] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31590/stat : 31590 (python) S 31572 31574 30950 0 -1 4202560 40 183080 0 0 0 0 709763 833 18 0 16 0 282019947 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 0 0 0 0
[pid=31574/tid=31593] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31593/stat : 31593 (python) S 31572 31574 30950 0 -1 4202560 27 183080 0 0 0 0 709763 833 20 0 16 0 282019951 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31596] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31596/stat : 31596 (python) S 31572 31574 30950 0 -1 4202560 41 183080 0 0 0 0 709763 833 18 0 16 0 282019955 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31599] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31599/stat : 31599 (python) S 31572 31574 30950 0 -1 4202560 41 183080 0 0 0 0 709763 833 18 0 16 0 282019959 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 2 0 0 0
[pid=31574/tid=31602] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31602/stat : 31602 (python) S 31572 31574 30950 0 -1 4202560 89 183080 0 0 0 0 709763 833 18 0 16 0 282019963 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31609] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31609/stat : 31609 (python) S 31572 31574 30950 0 -1 4202560 37 183080 0 0 0 0 709763 833 18 0 16 0 282029876 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31613] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31613/stat : 31613 (python) S 31572 31574 30950 0 -1 4202560 38 183080 0 0 0 0 709763 833 18 0 16 0 282029961 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31634] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31634/stat : 31634 (python) S 31572 31574 30950 0 -1 4202560 36 183080 0 0 0 0 709763 833 18 0 16 0 282069459 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 1 0 0 0
[pid=31574/tid=31642] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31642/stat : 31642 (python) S 31572 31574 30950 0 -1 4202560 107 183080 0 0 0 0 709763 833 20 0 16 0 282088324 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31646] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31646/stat : 31646 (python) S 31572 31574 30950 0 -1 4202560 34 183080 0 0 0 0 709763 833 18 0 16 0 282088447 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31663] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31663/stat : 31663 (python) S 31572 31574 30950 0 -1 4202560 32 183080 0 0 0 0 709763 833 20 0 16 0 282137699 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
[pid=31574/tid=31669] ppid=31572 vsize=498808 CPUtime=7105.96 cores=0-7
/proc/31574/task/31669/stat : 31669 (python) S 31572 31574 30950 0 -1 4202560 30 183080 0 0 0 0 709763 833 19 0 16 0 282146950 510779392 7428 33554432000 4194304 5683644 140736686331536 18446744073709551615 268672485809 0 0 16781312 2 18446604448481662976 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10306.6
Current children cumulated vsize (KiB) 2404828

Child status: 0
Real time (s): 1292.23
CPU time (s): 10306.7
CPU user time (s): 10294.2
CPU system time (s): 12.5011
CPU usage (%): 797.59
Max. virtual memory (cumulated for all children) (KiB): 10459668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10294.2
system time used= 12.5011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275846
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= 17614
involuntary context switches= 58629

runsolver used 7.70583 second user time and 16.0596 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-03 01:18:06
IDJOB=3322256
IDBENCH=83034
IDSOLVER=1712
FILE ID=node107/3322256-1304378286
RUNJOBID= node107-1304371484-30964
PBS_JOBID= 13181776
Free space on /tmp= 72916 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S2061684506-048.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-3322256-1304378286/watcher-3322256-1304378286 -o /tmp/evaluation-result-3322256-1304378286/solver-3322256-1304378286 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322256-1304378286.cnf -seed 1137696275 -budget 40000 -cores 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 96dadba6913c3cf46368b605f559e4b9
RANDOM SEED=1137696275

node107.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.829
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.65
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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.75
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.829
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:       6951564 kB
Buffers:        312192 kB
Cached:        3181744 kB
SwapCached:          4 kB
Active:       22326288 kB
Inactive:      3275228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       6951564 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           31948 kB
Writeback:           0 kB
AnonPages:    22108052 kB
Mapped:          26772 kB
Slab:           267540 kB
PageTables:      61592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 61695592 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= 72884 MiB
End job on node107 at 2011-05-03 01:39:38