Trace number 3322002

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 20426.2 2917.86

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf
MD5SUM9ba8ad6ebe939ddb75efcc3aec0126e6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2695.29
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.47	c INFO: solving HOME/instance-3322002-1304370586.cnf
0.32/0.47	c INFO: computing task features
0.32/0.48	c INFO: computed variable-clause graph statistics
0.32/0.48	c INFO: computed clause balance statistics
0.41/0.52	c INFO: computed variable balance statistics
0.41/0.55	c INFO: computed small-clause counts
0.41/0.55	c INFO: computed Horn-clause counts
0.41/0.56	c INFO: computed variable graph statistics
0.41/0.56	c INFO: collected features for HOME/instance-3322002-1304370586.cnf in 0.09 s
0.50/0.60	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.50/0.63	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.32)
0.50/0.67	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.29)
0.59/0.71	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.08)
0.59/0.75	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.08)
0.59/0.79	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.31)
0.70/0.83	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.28)
0.70/0.87	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.24)
693.13/99.85	c INFO: running march_hi@0 for 291 with 39900 remaining (b = 0.14)
701.53/101.02	c INFO: running kcnfs-2006@0 for 582 with 39899 remaining (b = 0.23)
1372.57/197.05	c INFO: running kcnfs-2006@0 for 582 with 39803 remaining (b = 0.20)
2745.49/393.61	c INFO: running march_hi@0 for 291 with 39606 remaining (b = 0.11)
2761.53/395.98	c INFO: running march_hi@0 for 97 with 39604 remaining (b = 0.04)
3120.49/447.36	c INFO: running march_hi@99 for 291 with 39553 remaining (b = 0.13)
3565.36/511.08	c INFO: running march_hi@294 for 97 with 39489 remaining (b = 0.08)
4803.54/688.33	c INFO: running kcnfs-2006@98 for 485 with 39312 remaining (b = 0.17)
4805.72/688.62	c INFO: running march_hi@0 for 291 with 39311 remaining (b = 0.11)
4892.23/701.09	c INFO: running march_hi@878 for 97 with 39299 remaining (b = 0.04)
5071.69/726.77	c INFO: running march_hi@388 for 97 with 39273 remaining (b = 0.05)
5146.43/737.49	c INFO: running march_hi@197 for 194 with 39263 remaining (b = 0.08)
5591.94/801.27	c INFO: running march_hi@0 for 291 with 39199 remaining (b = 0.11)
5770.74/826.84	c INFO: running march_hi@676 for 97 with 39173 remaining (b = 0.05)
6032.60/864.40	c INFO: running march_hi@99 for 291 with 39136 remaining (b = 0.11)
6145.78/880.57	c INFO: running kcnfs-2006@391 for 194 with 39119 remaining (b = 0.12)
6152.06/881.41	c INFO: running march_hi@1168 for 194 with 39119 remaining (b = 0.15)
6447.45/923.76	c INFO: running march_hi@1357 for 873 with 39076 remaining (b = 0.37)
6504.69/931.98	c INFO: running march_hi@877 for 97 with 39068 remaining (b = 0.05)
7196.08/1030.98	c INFO: running march_hi@0 for 388 with 38969 remaining (b = 0.17)
7300.81/1045.92	c INFO: running march_hi@96 for 291 with 38954 remaining (b = 0.12)
7650.63/1096.08	c INFO: running kcnfs-2006@491 for 97 with 38904 remaining (b = 0.10)
7883.89/1129.47	c INFO: running march_hi@99 for 291 with 38871 remaining (b = 0.12)
7986.62/1144.19	c INFO: running march_hi@1264 for 873 with 38856 remaining (b = 0.34)
8443.24/1209.55	c INFO: running march_hi@0 for 388 with 38790 remaining (b = 0.14)
8694.60/1245.55	c INFO: running march_hi@976 for 1164 with 38754 remaining (b = 0.36)
8735.79/1251.47	c INFO: running kcnfs-2006@0 for 582 with 38749 remaining (b = 0.17)
9639.74/1381.00	c INFO: running march_hi@288 for 194 with 38619 remaining (b = 0.08)
9993.65/1431.62	c INFO: running march_hi@293 for 97 with 38568 remaining (b = 0.05)
10392.26/1488.78	c INFO: running march_hi@294 for 97 with 38511 remaining (b = 0.05)
10685.40/1530.76	c INFO: running adaptg2wsat2009++@0 for 97 with 38469 remaining (b = 0.03)
11132.82/1594.86	c INFO: running kcnfs-2006@0 for 582 with 38405 remaining (b = 0.15)
11356.15/1626.83	c INFO: running march_hi@0 for 388 with 38373 remaining (b = 0.10)
11386.18/1631.10	c INFO: running march_hi@684 for 1455 with 38369 remaining (b = 0.37)
11996.24/1718.53	c INFO: running march_hi@289 for 97 with 38281 remaining (b = 0.04)
12571.39/1800.95	c INFO: running march_hi@1550 for 679 with 38199 remaining (b = 0.28)
13353.24/1912.99	c INFO: running march_hi@1160 for 1067 with 38087 remaining (b = 0.30)
13465.55/1929.06	c INFO: running kcnfs-2006@292 for 291 with 38071 remaining (b = 0.11)
14136.40/2025.12	c INFO: running march_hi@99 for 194 with 37975 remaining (b = 0.07)
14706.60/2106.85	c INFO: running march_hi@1750 for 388 with 37893 remaining (b = 0.21)
15675.38/2240.29	c INFO: running kcnfs-2006@0 for 582 with 37760 remaining (b = 0.15)
16308.03/2330.99	c INFO: running kcnfs-2006@683 for 97 with 37669 remaining (b = 0.03)
16731.35/2391.65	c INFO: running kcnfs-2006@189 for 485 with 37608 remaining (b = 0.13)
16972.55/2426.27	c INFO: running kcnfs-2006@1266 for 97 with 37574 remaining (b = 0.04)
17482.55/2495.69	c INFO: running march_hi@1943 for 194 with 37504 remaining (b = 0.16)
17592.08/2511.32	c INFO: running march_hi@1074 for 291 with 37489 remaining (b = 0.09)
17663.11/2521.56	c INFO: running kcnfs-2006@1654 for 291 with 37478 remaining (b = 0.13)
17914.17/2557.58	c INFO: running march_hi@1647 for 582 with 37442 remaining (b = 0.26)
19350.83/2763.62	c INFO: running march_hi@973 for 1164 with 37236 remaining (b = 0.28)
19711.23/2815.30	c INFO: running kcnfs-2006@2333 for 388 with 37185 remaining (b = 0.19)
19960.07/2851.06	c INFO: running kcnfs-2006@0 for 582 with 37149 remaining (b = 0.15)
20425.90/2917.83	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-3322002-1304370586/watcher-3322002-1304370586 -o /tmp/evaluation-result-3322002-1304370586/solver-3322002-1304370586 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322002-1304370586.cnf -seed 894711764 -budget 40000 -cores 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.19 8.33 7.71 2/309 22757
/proc/meminfo: memFree=22370652/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=15908 CPUtime=0 cores=0-7
/proc/22757/stat : 22757 (python) R 22755 22757 21696 0 -1 4202496 949 0 0 0 0 0 0 0 17 0 1 0 548655303 16289792 826 33554432000 4194304 5683644 140733224483440 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22757/statm: 3977 828 357 364 0 464 0

[startup+0.111548 s]
/proc/loadavg: 8.19 8.33 7.71 2/309 22757
/proc/meminfo: memFree=22370652/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=105100 CPUtime=0.07 cores=0-7
/proc/22757/stat : 22757 (python) R 22755 22757 21696 0 -1 4202496 3256 0 0 0 5 2 0 0 17 0 1 0 548655303 107622400 2923 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500352709 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22757/statm: 26274 2922 868 364 0 2022 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 105100

[startup+0.200543 s]
/proc/loadavg: 8.19 8.33 7.71 2/309 22757
/proc/meminfo: memFree=22370652/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=126804 CPUtime=0.15 cores=0-7
/proc/22757/stat : 22757 (python) R 22755 22757 21696 0 -1 4202496 5502 933 1 0 12 3 0 0 19 0 1 0 548655303 129847296 4013 33554432000 4194304 5683644 140733224483440 18446744073709551615 4570870 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22757/statm: 31701 4013 1008 364 0 2996 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 126804

[startup+0.300515 s]
/proc/loadavg: 8.19 8.33 7.71 2/309 22757
/proc/meminfo: memFree=22370652/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=168672 CPUtime=0.22 cores=0-7
/proc/22757/stat : 22757 (python) R 22755 22757 21696 0 -1 4202496 6722 933 1 0 16 6 0 0 18 0 1 0 548655303 172720128 4797 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22757/statm: 42168 4797 1331 364 0 3453 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 168672

[startup+0.70036 s]
/proc/loadavg: 8.19 8.33 7.71 2/309 22757
/proc/meminfo: memFree=22370652/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=375068 CPUtime=0.59 cores=0-7
/proc/22757/stat : 22757 (python) R 22755 22757 21696 0 -1 4202496 11732 933 1 0 50 9 0 0 18 0 4 0 548655303 384069632 7269 33554432000 4194304 5683644 140733224483440 18446744073709551615 47000224806218 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22757/statm: 93767 7269 1878 364 0 29679 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 375068

[startup+1.50119 s]
/proc/loadavg: 8.19 8.33 7.71 11/334 22786
/proc/meminfo: memFree=22313032/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=426348 CPUtime=0.78 cores=0-7
/proc/22757/stat : 22757 (python) S 22755 22757 21696 0 -1 4202496 15183 933 1 0 67 11 0 0 23 0 9 0 548655303 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512518603 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22757/statm: 106587 7426 1889 364 0 42484 0
[pid=22763] ppid=22757 vsize=278776 CPUtime=0 cores=0-7
/proc/22763/stat : 22763 (python) S 22757 22757 21696 0 -1 4202560 737 0 0 0 0 0 0 0 19 0 1 0 548655363 285466624 5601 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500711951 0 0 16781312 514 4161603136915505151 0 0 17 1 0 0 0
/proc/22763/statm: 69694 5601 354 364 0 5612 0
[pid=22765] ppid=22763 vsize=1017800 CPUtime=0.6 cores=0-7
/proc/22765/stat : 22765 (gnovelty+2) R 22763 22765 22765 0 -1 4202496 446 0 0 0 60 0 0 0 22 0 1 0 548655363 1042227200 182 33554432000 134512640 135663704 4290677072 18446744073709551615 134524553 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22765/statm: 254450 182 113 282 0 254166 0
[pid=22766] ppid=22757 vsize=354568 CPUtime=0 cores=0-7
/proc/22766/stat : 22766 (python) S 22757 22757 21696 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 1 0 548655367 363077632 5772 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 4493638056317780226 0 0 17 5 0 0 0
/proc/22766/statm: 88642 5772 348 364 0 24557 0
[pid=22768] ppid=22766 vsize=2524 CPUtime=0.85 cores=0-7
/proc/22768/stat : 22768 (march_hi) R 22766 22768 22768 0 -1 4202496 668 0 0 0 85 0 0 0 25 0 1 0 548655367 2584576 417 33554432000 4194304 4955518 140735457452624 18446744073709551615 4227935 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22768/statm: 631 417 104 186 0 444 0
[pid=22769] ppid=22757 vsize=364824 CPUtime=0 cores=0-7
/proc/22769/stat : 22769 (python) S 22757 22757 21696 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 1 0 548655371 373579776 5749 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 9532577525746630655 0 0 17 2 0 0 0
/proc/22769/statm: 91206 5749 348 364 0 27118 0
[pid=22771] ppid=22769 vsize=2524 CPUtime=0.8 cores=0-7
/proc/22771/stat : 22771 (march_hi) R 22769 22771 22771 0 -1 4202496 670 0 0 0 80 0 0 0 22 0 1 0 548655371 2584576 414 33554432000 4194304 4955518 140736291986432 18446744073709551615 4235344 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22771/statm: 631 414 104 186 0 444 0
[pid=22772] ppid=22757 vsize=375080 CPUtime=0 cores=0-7
/proc/22772/stat : 22772 (python) S 22757 22757 21696 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 548655374 384081920 5736 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 9119371435301634306 0 0 17 2 0 0 0
/proc/22772/statm: 93770 5736 348 364 0 29679 0
[pid=22774] ppid=22772 vsize=2524 CPUtime=0.75 cores=0-7
/proc/22774/stat : 22774 (march_hi) R 22772 22774 22774 0 -1 4202496 667 0 0 0 75 0 0 0 22 0 1 0 548655375 2584576 412 33554432000 4194304 4955518 140737230250960 18446744073709551615 4227664 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22774/statm: 631 412 104 186 0 444 0
[pid=22775] ppid=22757 vsize=385336 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (python) S 22757 22757 21696 0 -1 4202560 728 0 0 0 0 0 0 0 19 0 1 0 548655378 394584064 5860 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 9532585222328025087 0 0 17 2 0 0 0
/proc/22775/statm: 96334 5860 348 364 0 32240 0
[pid=22777] ppid=22775 vsize=1017800 CPUtime=0.73 cores=0-7
/proc/22777/stat : 22777 (gnovelty+2) R 22775 22777 22777 0 -1 4202496 439 0 0 0 73 0 0 0 23 0 1 0 548655379 1042227200 181 33554432000 134512640 135663704 4294954992 18446744073709551615 134524821 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22777/statm: 254450 181 113 282 0 254166 0
[pid=22778] ppid=22757 vsize=395592 CPUtime=0 cores=0-7
/proc/22778/stat : 22778 (python) S 22757 22757 21696 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 548655382 405086208 5761 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 4493629260224758020 0 0 17 1 0 0 0
/proc/22778/statm: 98898 5761 348 364 0 34801 0
[pid=22780] ppid=22778 vsize=2524 CPUtime=0.67 cores=0-7
/proc/22780/stat : 22780 (march_hi) R 22778 22780 22780 0 -1 4202496 669 0 0 0 67 0 0 0 22 0 1 0 548655384 2584576 410 33554432000 4194304 4955518 140737484715712 18446744073709551615 4224738 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22780/statm: 631 410 104 186 0 444 0
[pid=22781] ppid=22757 vsize=405848 CPUtime=0 cores=0-7
/proc/22781/stat : 22781 (python) S 22757 22757 21696 0 -1 4202560 750 0 0 0 0 0 0 0 16 0 1 0 548655386 415588352 5748 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2069923002559987969 0 0 17 4 0 0 0
/proc/22781/statm: 101462 5748 348 364 0 37362 0
[pid=22783] ppid=22781 vsize=2524 CPUtime=0.6 cores=0-7
/proc/22783/stat : 22783 (march_hi) R 22781 22783 22783 0 -1 4202496 668 0 0 0 60 0 0 0 23 0 1 0 548655389 2584576 408 33554432000 4194304 4955518 140734976129616 18446744073709551615 4284767 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22783/statm: 631 408 104 186 0 444 0
[pid=22784] ppid=22757 vsize=416104 CPUtime=0 cores=0-7
/proc/22784/stat : 22784 (python) S 22757 22757 21696 0 -1 4202560 776 0 0 0 0 0 0 0 18 0 1 0 548655391 426090496 5887 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2420873920006553858 0 0 17 4 0 0 0
/proc/22784/statm: 104026 5887 354 364 0 39923 0
[pid=22786] ppid=22784 vsize=2236 CPUtime=0.28 cores=0-7
/proc/22786/stat : 22786 (march_hi) R 22784 22786 22786 0 -1 4202496 635 0 0 0 28 0 0 0 25 0 1 0 548655391 2289664 369 33554432000 4194304 4955518 140736671208752 18446744073709551615 4263706 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22786/statm: 559 369 104 186 0 372 0
[pid=22757/tid=22764] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22764/stat : 22764 (python) S 22755 22757 21696 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 9 0 548655363 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 3 0 0 0
[pid=22757/tid=22767] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22767/stat : 22767 (python) S 22755 22757 21696 0 -1 4202560 57 933 0 0 0 0 0 0 19 0 9 0 548655367 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 0 0 0 0
[pid=22757/tid=22770] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22770/stat : 22770 (python) S 22755 22757 21696 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 9 0 548655371 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22773] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22773/stat : 22773 (python) S 22755 22757 21696 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 9 0 548655375 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22776] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22776/stat : 22776 (python) S 22755 22757 21696 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 9 0 548655379 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22779] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22779/stat : 22779 (python) S 22755 22757 21696 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 9 0 548655383 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 1 0 0 0
[pid=22757/tid=22782] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22782/stat : 22782 (python) S 22755 22757 21696 0 -1 4202560 31 933 0 0 0 0 0 0 21 0 9 0 548655387 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22785] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22785/stat : 22785 (python) S 22755 22757 21696 0 -1 4202560 32 933 0 0 0 0 0 0 23 0 9 0 548655391 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 5452932

[startup+3.10087 s]
/proc/loadavg: 8.41 8.37 7.73 10/334 22786
/proc/meminfo: memFree=22310800/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=426348 CPUtime=0.78 cores=0-7
/proc/22757/stat : 22757 (python) S 22755 22757 21696 0 -1 4202496 15183 933 1 0 67 11 0 0 23 0 9 0 548655303 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512518603 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22757/statm: 106587 7426 1889 364 0 42484 0
[pid=22763] ppid=22757 vsize=278776 CPUtime=0 cores=0-7
/proc/22763/stat : 22763 (python) S 22757 22757 21696 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 548655363 285466624 5601 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500711951 0 0 16781312 514 4161603136915472641 0 0 17 1 0 0 0
/proc/22763/statm: 69694 5601 354 364 0 5612 0
[pid=22765] ppid=22763 vsize=1017800 CPUtime=1.4 cores=0-7
/proc/22765/stat : 22765 (gnovelty+2) R 22763 22765 22765 0 -1 4202496 446 0 0 0 140 0 0 0 25 0 1 0 548655363 1042227200 182 33554432000 134512640 135663704 4290677072 18446744073709551615 134525162 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22765/statm: 254450 182 113 282 0 254166 0
[pid=22766] ppid=22757 vsize=354568 CPUtime=0 cores=0-7
/proc/22766/stat : 22766 (python) S 22757 22757 21696 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 1 0 548655367 363077632 5772 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 4493638056317780226 0 0 17 5 0 0 0
/proc/22766/statm: 88642 5772 348 364 0 24557 0
[pid=22768] ppid=22766 vsize=2844 CPUtime=2.45 cores=0-7
/proc/22768/stat : 22768 (march_hi) R 22766 22768 22768 0 -1 4202496 742 0 0 0 245 0 0 0 25 0 1 0 548655367 2912256 491 33554432000 4194304 4955518 140735457452624 18446744073709551615 4227095 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22768/statm: 711 491 104 186 0 524 0
[pid=22769] ppid=22757 vsize=364824 CPUtime=0 cores=0-7
/proc/22769/stat : 22769 (python) S 22757 22757 21696 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 1 0 548655371 373579776 5749 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 15740076303908307201 0 0 17 2 0 0 0
/proc/22769/statm: 91206 5749 348 364 0 27118 0
[pid=22771] ppid=22769 vsize=2844 CPUtime=2.38 cores=0-7
/proc/22771/stat : 22771 (march_hi) R 22769 22771 22771 0 -1 4202496 744 0 0 0 238 0 0 0 25 0 1 0 548655371 2912256 488 33554432000 4194304 4955518 140736291986432 18446744073709551615 4224738 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22771/statm: 711 488 104 186 0 524 0
[pid=22772] ppid=22757 vsize=375080 CPUtime=0 cores=0-7
/proc/22772/stat : 22772 (python) S 22757 22757 21696 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 1 0 548655374 384081920 5736 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 9119371435301634306 0 0 17 2 0 0 0
/proc/22772/statm: 93770 5736 348 364 0 29679 0
[pid=22774] ppid=22772 vsize=2844 CPUtime=2.35 cores=0-7
/proc/22774/stat : 22774 (march_hi) R 22772 22774 22774 0 -1 4202496 742 0 0 0 235 0 0 0 25 0 1 0 548655375 2912256 487 33554432000 4194304 4955518 140737230250960 18446744073709551615 4224656 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22774/statm: 711 487 104 186 0 524 0
[pid=22775] ppid=22757 vsize=385336 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (python) S 22757 22757 21696 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 548655378 394584064 5860 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 9532585222327992577 0 0 17 2 0 0 0
/proc/22775/statm: 96334 5860 348 364 0 32240 0
[pid=22777] ppid=22775 vsize=1017800 CPUtime=2.33 cores=0-7
/proc/22777/stat : 22777 (gnovelty+2) R 22775 22777 22777 0 -1 4202496 439 0 0 0 233 0 0 0 25 0 1 0 548655379 1042227200 181 33554432000 134512640 135663704 4294954992 18446744073709551615 134546768 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22777/statm: 254450 181 113 282 0 254166 0
[pid=22778] ppid=22757 vsize=395592 CPUtime=0 cores=0-7
/proc/22778/stat : 22778 (python) S 22757 22757 21696 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 548655382 405086208 5761 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 4493629260224758020 0 0 17 1 0 0 0
/proc/22778/statm: 98898 5761 348 364 0 34801 0
[pid=22780] ppid=22778 vsize=2844 CPUtime=2.27 cores=0-7
/proc/22780/stat : 22780 (march_hi) R 22778 22780 22780 0 -1 4202496 744 0 0 0 227 0 0 0 25 0 1 0 548655384 2912256 485 33554432000 4194304 4955518 140737484715712 18446744073709551615 4227518 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/22780/statm: 711 485 104 186 0 524 0
[pid=22781] ppid=22757 vsize=405848 CPUtime=0 cores=0-7
/proc/22781/stat : 22781 (python) S 22757 22757 21696 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 548655386 415588352 5748 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2069923002559987969 0 0 17 4 0 0 0
/proc/22781/statm: 101462 5748 348 364 0 37362 0
[pid=22783] ppid=22781 vsize=2844 CPUtime=2.2 cores=0-7
/proc/22783/stat : 22783 (march_hi) R 22781 22783 22783 0 -1 4202496 742 0 0 0 220 0 0 0 25 0 1 0 548655389 2912256 482 33554432000 4194304 4955518 140734976129616 18446744073709551615 4309953 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22783/statm: 711 482 104 186 0 524 0
[pid=22784] ppid=22757 vsize=416104 CPUtime=0 cores=0-7
/proc/22784/stat : 22784 (python) S 22757 22757 21696 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 548655391 426090496 5887 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2420873920006553858 0 0 17 4 0 0 0
/proc/22784/statm: 104026 5887 354 364 0 39923 0
[pid=22786] ppid=22784 vsize=2592 CPUtime=1.08 cores=0-7
/proc/22786/stat : 22786 (march_hi) R 22784 22786 22786 0 -1 4202496 694 0 0 0 108 0 0 0 25 0 1 0 548655391 2654208 428 33554432000 4194304 4955518 140736671208752 18446744073709551615 4284953 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22786/statm: 648 428 104 186 0 461 0
[pid=22757/tid=22764] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22764/stat : 22764 (python) S 22755 22757 21696 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 9 0 548655363 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 3 0 0 0
[pid=22757/tid=22767] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22767/stat : 22767 (python) S 22755 22757 21696 0 -1 4202560 57 933 0 0 0 0 0 0 19 0 9 0 548655367 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 0 0 0 0
[pid=22757/tid=22770] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22770/stat : 22770 (python) S 22755 22757 21696 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 9 0 548655371 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22773] ppid=22755 vsize=426348 CPUtime=0 cores=0-7
/proc/22757/task/22773/stat : 22773 (python) S 22755 22757 21696 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 9 0 548655375 436580352 7426 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22776] ppid=22755 vsize=426348 CPUtime=0 cores=0-7

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

/proc/22855/stat : 22855 (adaptg2wsat2009) T 22853 22855 22855 0 -1 4202496 473 0 0 0 9911 0 0 0 25 0 1 0 548808380 426119168 201 33554432000 134512640 135107411 4288054688 18446744073709551615 134531508 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/22855/statm: 104033 201 59 146 0 102909 0
[pid=22853/tid=22865] ppid=22757 vsize=477640 CPUtime=0 cores=0-7
/proc/22853/task/22865/stat : 22865 (python) S 22757 22757 21696 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 2 0 548818407 489103360 5922 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604444367358976 0 0 -1 6 0 0 0
[pid=22858] ppid=22757 vsize=487896 CPUtime=3.08 cores=0-7
/proc/22858/stat : 22858 (python) S 22757 22757 21696 0 -1 4202560 1338 0 0 0 162 146 0 0 18 0 2 0 548814789 499605504 5919 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/22858/statm: 121974 5919 408 364 0 57850 0
[pid=22860] ppid=22858 vsize=182448 CPUtime=1058.74 cores=0-7
/proc/22860/stat : 22860 (kcnfs-2006) R 22858 22860 22860 0 -1 4202496 622 0 0 0 105874 0 0 0 25 0 1 0 548814789 186826752 348 33554432000 134512640 135163436 4287217952 18446744073709551615 134564719 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22860/statm: 45612 348 77 159 0 45452 0
[pid=22858/tid=22892] ppid=22757 vsize=487896 CPUtime=0 cores=0-7
/proc/22858/task/22892/stat : 22892 (python) S 22757 22757 21696 0 -1 4202560 73 0 0 0 0 0 0 0 19 0 2 0 548894462 499605504 5919 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604451615672320 0 0 -1 1 0 0 0
[pid=22862] ppid=22757 vsize=498152 CPUtime=1.9 cores=0-7
/proc/22862/stat : 22862 (python) S 22757 22757 21696 0 -1 4202560 1131 0 0 0 101 89 0 0 15 0 2 0 548817986 510107648 6075 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/22862/statm: 124538 6075 408 364 0 60411 0
[pid=22864] ppid=22862 vsize=123220 CPUtime=685.5 cores=0-7
/proc/22864/stat : 22864 (march_hi) R 22862 22864 22864 0 -1 4202496 21141 0 0 0 68546 4 0 0 25 0 1 0 548817987 126177280 20870 33554432000 4194304 4955518 140736146286016 18446744073709551615 4209669 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22864/statm: 30805 20870 104 186 0 30618 0
[pid=22862/tid=22879] ppid=22757 vsize=498152 CPUtime=0 cores=0-7
/proc/22862/task/22879/stat : 22879 (python) S 22757 22757 21696 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 2 0 548857809 510107648 6075 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604443337329472 0 0 -1 1 0 0 0
[pid=22885] ppid=22757 vsize=508408 CPUtime=1.58 cores=0-7
/proc/22885/stat : 22885 (python) S 22757 22757 21696 0 -1 4202560 916 0 0 0 83 75 0 0 18 0 1 0 548879332 520609792 5937 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2450204487894139138 0 0 17 3 0 0 0
/proc/22885/statm: 127102 5937 374 364 0 62972 0
[pid=22887] ppid=22885 vsize=182452 CPUtime=563.98 cores=0-7
/proc/22887/stat : 22887 (kcnfs-2006) R 22885 22887 22887 0 -1 4202496 620 0 0 0 56398 0 0 0 25 0 1 0 548879333 186830848 350 33554432000 134512640 135163436 4293397504 18446744073709551615 134569416 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22887/statm: 45613 350 77 159 0 45453 0
[pid=22906] ppid=22757 vsize=518664 CPUtime=0.15 cores=0-7
/proc/22906/stat : 22906 (python) S 22757 22757 21696 0 -1 4202560 920 0 0 0 8 7 0 0 18 0 1 0 548940410 531111936 5967 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2450204487894139138 0 0 17 1 0 0 0
/proc/22906/statm: 129666 5967 374 364 0 65533 0
[pid=22908] ppid=22906 vsize=182452 CPUtime=42.45 cores=0-7
/proc/22908/stat : 22908 (kcnfs-2006) R 22906 22908 22908 0 -1 4202496 618 0 0 0 4245 0 0 0 25 0 1 0 548940410 186830848 348 33554432000 134512640 135163436 4291397184 18446744073709551615 134630384 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22908/statm: 45613 348 77 159 0 45453 0
[pid=22757/tid=22764] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22764/stat : 22764 (python) S 22755 22757 21696 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 19 0 548655363 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 3 0 0 0
[pid=22757/tid=22767] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22767/stat : 22767 (python) S 22755 22757 21696 0 -1 4202560 71 933 0 0 0 0 0 0 18 0 19 0 548655367 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 0 0 0 0
[pid=22757/tid=22770] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22770/stat : 22770 (python) S 22755 22757 21696 0 -1 4202560 45 933 0 0 0 0 0 0 18 0 19 0 548655371 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22773] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22773/stat : 22773 (python) S 22755 22757 21696 0 -1 4202560 53 933 0 0 0 0 0 0 18 0 19 0 548655375 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22776] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22776/stat : 22776 (python) S 22755 22757 21696 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 19 0 548655379 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22779] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22779/stat : 22779 (python) S 22755 22757 21696 0 -1 4202560 45 933 0 0 0 0 0 0 18 0 19 0 548655383 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 1 0 0 0
[pid=22757/tid=22782] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22782/stat : 22782 (python) S 22755 22757 21696 0 -1 4202560 55 933 0 0 0 0 0 0 18 0 19 0 548655387 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22785] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22785/stat : 22785 (python) S 22755 22757 21696 0 -1 4202560 45 933 0 0 0 0 0 0 18 0 19 0 548655391 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22792] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22792/stat : 22792 (python) S 22755 22757 21696 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 19 0 548665406 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22799] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22799/stat : 22799 (python) S 22755 22757 21696 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 19 0 548675008 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22831] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22831/stat : 22831 (python) S 22755 22757 21696 0 -1 4202560 53 933 0 0 0 0 0 0 18 0 19 0 548758401 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22839] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22839/stat : 22839 (python) S 22755 22757 21696 0 -1 4202560 47 933 0 0 0 0 0 0 18 0 19 0 548776258 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22843] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22843/stat : 22843 (python) S 22755 22757 21696 0 -1 4202560 47 933 0 0 0 0 0 0 18 0 19 0 548780450 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22854] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22854/stat : 22854 (python) S 22755 22757 21696 0 -1 4202560 42 933 0 0 0 0 0 0 20 0 19 0 548808379 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22859] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22859/stat : 22859 (python) S 22755 22757 21696 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 19 0 548814789 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22863] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22863/stat : 22863 (python) S 22755 22757 21696 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 19 0 548817986 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22886] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22886/stat : 22886 (python) S 22755 22757 21696 0 -1 4202560 39 933 0 0 0 0 0 0 19 0 19 0 548879333 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22907] ppid=22755 vsize=528908 CPUtime=0 cores=0-7
/proc/22757/task/22907/stat : 22907 (python) S 22755 22757 21696 0 -1 4202560 41 933 0 0 0 0 0 0 19 0 19 0 548940410 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20424.3
Current children cumulated vsize (KiB) 13420024

[startup+2917.8 s]
/proc/loadavg: 9.14 9.13 9.02 10/380 22909
/proc/meminfo: memFree=20640452/32950928 swapFree=54880832/67111528
[pid=22757] ppid=22755 vsize=528908 CPUtime=10344.4 cores=0-7
/proc/22757/stat : 22757 (python) S 22755 22757 21696 0 -1 4202496 35892 240807 1 0 346 15 1032604 1478 17 0 19 0 548655303 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512522047 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22757/statm: 132227 7498 1910 364 0 68094 0
[pid=22766] ppid=22757 vsize=0 CPUtime=2737.92 cores=0-7
/proc/22766/stat : 22766 (python) Z 22757 22757 21696 0 -1 4202588 1101 69752 0 0 409 360 272988 35 16 0 1 0 548655367 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22766/statm: 0 0 0 0 0 0 0
[pid=22784] ppid=22757 vsize=416104 CPUtime=6.25 cores=0-7
/proc/22784/stat : 22784 (python) S 22757 22757 21696 0 -1 4202560 1050 0 0 0 332 293 0 0 15 0 2 0 548655391 426090496 5940 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512522047 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22784/statm: 104026 5940 406 364 0 39923 0
[pid=22786] ppid=22784 vsize=0 CPUtime=2165.44 cores=0-7
/proc/22786/stat : 22786 (march_hi) R 22784 22786 22786 0 -1 4203524 57980 0 0 0 216529 15 0 0 25 0 1 0 548655391 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/22786/statm: 0 0 0 0 0 0 0
[pid=22784/tid=22824] ppid=22757 vsize=416104 CPUtime=0 cores=0-7
/proc/22784/task/22824/stat : 22824 (python) S 22757 22757 21696 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 2 0 548741738 426090496 5940 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781824 2 18446604451615671424 0 0 -1 4 0 0 0
[pid=22838] ppid=22757 vsize=457128 CPUtime=4.19 cores=0-7
/proc/22838/stat : 22838 (python) S 22757 22757 21696 0 -1 4202560 1067 0 0 0 223 196 0 0 15 0 2 0 548776258 468099072 5918 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/22838/statm: 114282 5918 400 364 0 50167 0
[pid=22840] ppid=22838 vsize=167552 CPUtime=1343.8 cores=0-7
/proc/22840/stat : 22840 (march_hi) R 22838 22840 22840 0 -1 4202496 38287 0 0 0 134372 8 0 0 25 0 1 0 548776258 171573248 38021 33554432000 4194304 4955518 140733309853552 18446744073709551615 4209701 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/22840/statm: 41888 38021 104 186 0 41701 0
[pid=22838/tid=22868] ppid=22757 vsize=457128 CPUtime=0 cores=0-7
/proc/22838/task/22868/stat : 22868 (python) S 22757 22757 21696 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 2 0 548827150 468099072 5918 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604446542233920 0 0 -1 0 0 0 0
[pid=22842] ppid=22757 vsize=467384 CPUtime=3.97 cores=0-7
/proc/22842/stat : 22842 (python) S 22757 22757 21696 0 -1 4202560 1057 0 0 0 207 190 0 0 15 0 2 0 548780450 478601216 5926 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22842/statm: 116846 5926 400 364 0 52728 0
[pid=22844] ppid=22842 vsize=182444 CPUtime=1461.89 cores=0-7
/proc/22844/stat : 22844 (kcnfs-2006) R 22842 22844 22844 0 -1 4202496 615 0 0 0 146187 2 0 0 25 0 1 0 548780450 186822656 347 33554432000 134512640 135163436 4288512928 18446744073709551615 134564823 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/22844/statm: 45611 347 77 159 0 45451 0
[pid=22842/tid=22875] ppid=22757 vsize=467384 CPUtime=0 cores=0-7
/proc/22842/task/22875/stat : 22875 (python) S 22757 22757 21696 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 2 0 548848203 478601216 5926 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604449035250752 0 0 -1 0 0 0 0
[pid=22858] ppid=22757 vsize=487896 CPUtime=3.08 cores=0-7
/proc/22858/stat : 22858 (python) S 22757 22757 21696 0 -1 4202560 1338 0 0 0 162 146 0 0 18 0 2 0 548814789 499605504 5919 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/22858/statm: 121974 5919 408 364 0 57850 0
[pid=22860] ppid=22858 vsize=182448 CPUtime=1058.83 cores=0-7
/proc/22860/stat : 22860 (kcnfs-2006) R 22858 22860 22860 0 -1 4202496 622 0 0 0 105883 0 0 0 25 0 1 0 548814789 186826752 348 33554432000 134512640 135163436 4287217952 18446744073709551615 134564832 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22860/statm: 45612 348 77 159 0 45452 0
[pid=22858/tid=22892] ppid=22757 vsize=487896 CPUtime=0 cores=0-7
/proc/22858/task/22892/stat : 22892 (python) S 22757 22757 21696 0 -1 4202560 73 0 0 0 0 0 0 0 19 0 2 0 548894462 499605504 5919 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604451615672320 0 0 -1 1 0 0 0
[pid=22862] ppid=22757 vsize=498152 CPUtime=1.9 cores=0-7
/proc/22862/stat : 22862 (python) S 22757 22757 21696 0 -1 4202560 1131 0 0 0 101 89 0 0 15 0 2 0 548817986 510107648 6075 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/22862/statm: 124538 6075 408 364 0 60411 0
[pid=22864] ppid=22862 vsize=123220 CPUtime=685.65 cores=0-7
/proc/22864/stat : 22864 (march_hi) R 22862 22864 22864 0 -1 4202496 21145 0 0 0 68561 4 0 0 25 0 1 0 548817987 126177280 20874 33554432000 4194304 4955518 140736146286016 18446744073709551615 4244951 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22864/statm: 30805 20874 104 186 0 30618 0
[pid=22862/tid=22879] ppid=22757 vsize=498152 CPUtime=0 cores=0-7
/proc/22862/task/22879/stat : 22879 (python) S 22757 22757 21696 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 2 0 548857809 510107648 6075 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 514 18446604443337329472 0 0 -1 1 0 0 0
[pid=22885] ppid=22757 vsize=508408 CPUtime=1.59 cores=0-7
/proc/22885/stat : 22885 (python) S 22757 22757 21696 0 -1 4202560 931 0 0 0 84 75 0 0 18 0 1 0 548879332 520609792 5947 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2450204487894139138 0 0 17 3 0 0 0
/proc/22885/statm: 127102 5947 383 364 0 62972 0
[pid=22887] ppid=22885 vsize=182452 CPUtime=564.16 cores=0-7
/proc/22887/stat : 22887 (kcnfs-2006) R 22885 22887 22887 0 -1 4202496 620 0 0 0 56416 0 0 0 25 0 1 0 548879333 186830848 350 33554432000 134512640 135163436 4293397504 18446744073709551615 134564867 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/22887/statm: 45613 350 77 159 0 45453 0
[pid=22906] ppid=22757 vsize=518664 CPUtime=0.15 cores=0-7
/proc/22906/stat : 22906 (python) S 22757 22757 21696 0 -1 4202560 920 0 0 0 8 7 0 0 18 0 1 0 548940410 531111936 5967 33554432000 4194304 5683644 140733224483440 18446744073709551615 254500712006 0 0 16781312 514 2450204487894139138 0 0 17 1 0 0 0
/proc/22906/statm: 129666 5967 374 364 0 65533 0
[pid=22908] ppid=22906 vsize=182452 CPUtime=42.65 cores=0-7
/proc/22908/stat : 22908 (kcnfs-2006) R 22906 22908 22908 0 -1 4202496 618 0 0 0 4265 0 0 0 25 0 1 0 548940410 186830848 348 33554432000 134512640 135163436 4291397184 18446744073709551615 134590896 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22908/statm: 45613 348 77 159 0 45453 0
[pid=22757/tid=22764] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22764/stat : 22764 (python) S 22755 22757 21696 0 -1 4202560 29 240807 0 0 0 0 1032604 1478 18 0 19 0 548655363 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 3 0 0 0
[pid=22757/tid=22767] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22767/stat : 22767 (python) S 22755 22757 21696 0 -1 4202560 71 240807 0 0 0 0 1032604 1478 18 0 19 0 548655367 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 0 0 0 0
[pid=22757/tid=22770] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22770/stat : 22770 (python) S 22755 22757 21696 0 -1 4202560 45 240807 0 0 0 0 1032604 1478 18 0 19 0 548655371 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22773] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22773/stat : 22773 (python) S 22755 22757 21696 0 -1 4202560 53 240807 0 0 0 0 1032604 1478 18 0 19 0 548655375 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22776] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22776/stat : 22776 (python) S 22755 22757 21696 0 -1 4202560 29 240807 0 0 0 0 1032604 1478 20 0 19 0 548655379 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22779] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22779/stat : 22779 (python) S 22755 22757 21696 0 -1 4202560 45 240807 0 0 0 0 1032604 1478 18 0 19 0 548655383 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 1 0 0 0
[pid=22757/tid=22782] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22782/stat : 22782 (python) S 22755 22757 21696 0 -1 4202560 55 240807 0 0 0 0 1032604 1478 18 0 19 0 548655387 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22785] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22785/stat : 22785 (python) S 22755 22757 21696 0 -1 4202560 45 240807 0 0 0 0 1032604 1478 18 0 19 0 548655391 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22792] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22792/stat : 22792 (python) S 22755 22757 21696 0 -1 4202560 39 240807 0 0 0 0 1032604 1478 18 0 19 0 548665406 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22799] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22799/stat : 22799 (python) S 22755 22757 21696 0 -1 4202560 40 240807 0 0 0 0 1032604 1478 18 0 19 0 548675008 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 4 0 0 0
[pid=22757/tid=22831] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22831/stat : 22831 (python) S 22755 22757 21696 0 -1 4202560 53 240807 0 0 0 0 1032604 1478 18 0 19 0 548758401 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22839] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22839/stat : 22839 (python) S 22755 22757 21696 0 -1 4202560 47 240807 0 0 0 0 1032604 1478 18 0 19 0 548776258 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22843] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22843/stat : 22843 (python) S 22755 22757 21696 0 -1 4202560 47 240807 0 0 0 0 1032604 1478 18 0 19 0 548780450 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22854] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22854/stat : 22854 (python) S 22755 22757 21696 0 -1 4202560 42 240807 0 0 0 0 1032604 1478 20 0 19 0 548808379 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22859] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22859/stat : 22859 (python) S 22755 22757 21696 0 -1 4202560 37 240807 0 0 0 0 1032604 1478 18 0 19 0 548814789 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22863] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22863/stat : 22863 (python) S 22755 22757 21696 0 -1 4202560 38 240807 0 0 0 0 1032604 1478 18 0 19 0 548817986 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22886] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22886/stat : 22886 (python) S 22755 22757 21696 0 -1 4202560 39 240807 0 0 0 0 1032604 1478 19 0 19 0 548879333 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
[pid=22757/tid=22907] ppid=22755 vsize=528908 CPUtime=10340.8 cores=0-7
/proc/22757/task/22907/stat : 22907 (python) S 22755 22757 21696 0 -1 4202560 41 240807 0 0 0 0 1032604 1478 19 0 19 0 548940410 541601792 7498 33554432000 4194304 5683644 140733224483440 18446744073709551615 254512515505 0 0 16781312 2 18446604449819265856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20425.9
Current children cumulated vsize (KiB) 4903212

Child status: 0
Real time (s): 2917.86
CPU time (s): 20426.2
CPU user time (s): 20397
CPU system time (s): 29.2566
CPU usage (%): 700.042
Max. virtual memory (cumulated for all children) (KiB): 13785488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20397
system time used= 29.2566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479614
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= 29889
involuntary context switches= 121162

runsolver used 21.4927 second user time and 39.9329 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-02 23:09:46
IDJOB=3322002
IDBENCH=82780
IDSOLVER=1712
FILE ID=node149/3322002-1304370586
RUNJOBID= node149-1304366464-21710
PBS_JOBID= 13181725
Free space on /tmp= 73536 MiB

SOLVER NAME= borg-sat 11.03.02-random
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-3322002-1304370586/watcher-3322002-1304370586 -o /tmp/evaluation-result-3322002-1304370586/solver-3322002-1304370586 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322002-1304370586.cnf -seed 894711764 -budget 40000 -cores 8

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

MD5SUM BENCH= 9ba8ad6ebe939ddb75efcc3aec0126e6
RANDOM SEED=894711764

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      22370808 kB
Buffers:         12740 kB
Cached:         197856 kB
SwapCached:      27760 kB
Active:        1373148 kB
Inactive:      9018352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22370808 kB
SwapTotal:    67111528 kB
SwapFree:     54880832 kB
Dirty:           31488 kB
Writeback:           0 kB
AnonPages:    10164140 kB
Mapped:          12984 kB
Slab:            57992 kB
PageTables:      63308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 66874216 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= 73504 MiB
End job on node149 at 2011-05-02 23:58:24