Trace number 3385549

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-par-random (fixed)UNSAT 11102.2 1954.62

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
MD5SUMf2d2b125797e776fb2e7099729714d99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1906.91
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.37/0.62	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.37/0.62	c INFO: solving HOME/instance-3385549-1305567931.cnf
0.37/0.62	c INFO: computing task features
0.37/0.63	c INFO: computed variable-clause graph statistics
0.37/0.63	c INFO: computed clause balance statistics
0.37/0.67	c INFO: computed variable balance statistics
0.46/0.71	c INFO: computed small-clause counts
0.46/0.71	c INFO: computed Horn-clause counts
0.46/0.71	c INFO: computed variable graph statistics
0.46/0.71	c INFO: collected features for HOME/instance-3385549-1305567931.cnf in 0.09 s
0.46/0.74	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.57)
0.46/0.77	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.33)
0.56/0.80	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.29)
0.56/0.83	c INFO: running march_hi@0 for 97 with 4999 remaining (b = 0.08)
0.56/0.86	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.07)
0.65/0.90	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.25)
0.65/0.93	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.23)
0.65/0.97	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.20)
700.08/117.62	c INFO: running march_hi@0 for 97 with 4883 remaining (b = 0.05)
1007.25/167.17	c INFO: running march_hi@0 for 485 with 4833 remaining (b = 0.18)
1009.23/167.50	c INFO: running kcnfs-2006@0 for 582 with 4833 remaining (b = 0.18)
1424.81/241.22	c INFO: running march_hi@98 for 97 with 4759 remaining (b = 0.04)
2062.57/353.95	c INFO: running march_hi@198 for 194 with 4646 remaining (b = 0.08)
2421.09/413.83	c INFO: running march_hi@0 for 97 with 4586 remaining (b = 0.03)
2979.02/502.82	c INFO: running march_hi@0 for 97 with 4497 remaining (b = 0.04)
3019.27/509.58	c INFO: running march_hi@390 for 97 with 4491 remaining (b = 0.06)
3493.48/588.59	c INFO: running march_hi@588 for 97 with 4412 remaining (b = 0.04)
3566.67/600.79	c INFO: running march_hi@0 for 291 with 4399 remaining (b = 0.11)
3607.41/607.55	c INFO: running march_hi@0 for 291 with 4393 remaining (b = 0.12)
3630.23/611.39	c INFO: running march_hi@583 for 97 with 4389 remaining (b = 0.06)
3876.36/652.37	c INFO: running march_hi@95 for 97 with 4348 remaining (b = 0.05)
4204.06/706.95	c INFO: running march_hi@679 for 1455 with 4293 remaining (b = 0.49)
4262.85/716.72	c INFO: running march_hi@0 for 485 with 4283 remaining (b = 0.18)
4404.87/742.60	c INFO: running march_hi@98 for 97 with 4258 remaining (b = 0.04)
4955.97/838.93	c INFO: running march_hi@1076 for 291 with 4161 remaining (b = 0.15)
5306.50/897.54	c INFO: running march_hi@485 for 194 with 4103 remaining (b = 0.10)
5354.90/905.60	c INFO: running march_hi@190 for 291 with 4095 remaining (b = 0.14)
5778.14/976.68	c INFO: running march_hi@193 for 291 with 4023 remaining (b = 0.11)
6288.78/1065.56	c INFO: running kcnfs-2006@0 for 582 with 3935 remaining (b = 0.18)
6558.42/1114.77	c INFO: running kcnfs-2006@91 for 97 with 3885 remaining (b = 0.04)
6633.34/1128.44	c INFO: running march_hi@102 for 291 with 3872 remaining (b = 0.11)
7279.16/1241.11	c INFO: running march_hi@101 for 291 with 3759 remaining (b = 0.11)
7609.99/1306.25	c INFO: running kcnfs-2006@285 for 388 with 3694 remaining (b = 0.15)
7692.25/1321.30	c INFO: running march_hi@1366 for 776 with 3679 remaining (b = 0.35)
7852.42/1351.34	c INFO: running kcnfs-2006@0 for 582 with 3649 remaining (b = 0.16)
8207.14/1415.69	c INFO: running adaptg2wsat2009++@0 for 97 with 3584 remaining (b = 0.03)
8971.13/1539.48	c INFO: running march_hi@677 for 1552 with 3461 remaining (b = 0.42)
9284.03/1594.17	c INFO: running march_hi@0 for 388 with 3406 remaining (b = 0.11)
9461.80/1629.89	c INFO: running march_hi@196 for 97 with 3370 remaining (b = 0.04)
10427.56/1823.85	c INFO: running march_hi@293 for 97 with 3176 remaining (b = 0.04)
10977.59/1932.00	c INFO: running kcnfs-2006@575 for 97 with 3068 remaining (b = 0.08)
11101.55/1954.59	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3385549-1305567931/watcher-3385549-1305567931 -o /tmp/evaluation-result-3385549-1305567931/solver-3385549-1305567931 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385549-1305567931.cnf -seed 1374732334 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 9.11 9.53 8.90 4/336 17334
/proc/meminfo: memFree=14365892/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=15776 CPUtime=0 cores=0-7
/proc/17334/stat : 17334 (python) S 17332 17334 16801 0 -1 4202496 894 0 0 0 0 0 0 0 25 0 1 0 668392921 16154624 777 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/17334/statm: 3944 777 343 364 0 431 0

[startup+0.0337679 s]
/proc/loadavg: 9.11 9.53 8.90 4/336 17334
/proc/meminfo: memFree=14365892/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=16812 CPUtime=0.01 cores=0-7
/proc/17334/stat : 17334 (python) R 17332 17334 16801 0 -1 4202496 1227 0 0 0 1 0 0 0 25 0 1 0 668392921 17215488 1086 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278875493 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17334/statm: 4203 1086 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812

[startup+0.100757 s]
/proc/loadavg: 9.11 9.53 8.90 4/336 17334
/proc/meminfo: memFree=14365892/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=93960 CPUtime=0.06 cores=0-7
/proc/17334/stat : 17334 (python) S 17332 17334 16801 0 -1 4202496 2694 0 0 0 4 2 0 0 25 0 1 0 668392921 96215040 2407 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/17334/statm: 23490 2407 764 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93960

[startup+0.300722 s]
/proc/loadavg: 9.11 9.53 8.90 4/336 17334
/proc/meminfo: memFree=14365892/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=135752 CPUtime=0.18 cores=0-7
/proc/17334/stat : 17334 (python) S 17332 17334 16801 0 -1 4202496 5964 934 1 0 13 5 0 0 25 0 1 0 668392921 139010048 4152 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278875653 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/17334/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.70065 s]
/proc/loadavg: 9.11 9.53 8.90 4/336 17334
/proc/meminfo: memFree=14365892/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=278452 CPUtime=0.46 cores=0-7
/proc/17334/stat : 17334 (python) R 17332 17334 16801 0 -1 4202496 9341 934 1 0 36 10 0 0 25 0 1 0 668392921 285134848 7008 33554432000 4194304 5683644 140736083804032 18446744073709551615 47122815827685 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17334/statm: 69613 7008 1827 364 0 5537 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 278452

[startup+1.50151 s]
/proc/loadavg: 9.11 9.53 8.90 15/360 17362
/proc/meminfo: memFree=14307504/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=361292 CPUtime=0.72 cores=0-7
/proc/17334/stat : 17334 (python) S 17332 17334 16801 0 -1 4202496 15762 934 1 0 60 12 0 0 25 0 9 0 668392921 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17334/statm: 90323 7306 1889 364 0 26220 0
[pid=17340] ppid=17334 vsize=278620 CPUtime=0 cores=0-7
/proc/17340/stat : 17340 (python) S 17334 17334 16801 0 -1 4202560 736 0 0 0 0 0 0 0 25 0 1 0 668392996 285306880 5578 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899727 0 0 16781312 514 4274350632640446463 0 0 17 0 0 0 0
/proc/17340/statm: 69655 5578 354 364 0 5573 0
[pid=17342] ppid=17340 vsize=1017800 CPUtime=0.51 cores=0-7
/proc/17342/stat : 17342 (gnovelty+2) R 17340 17342 17342 0 -1 4202496 445 0 0 0 51 0 0 0 25 0 1 0 668392996 1042227200 181 33554432000 134512640 135663704 4290350256 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17342/statm: 254450 181 113 282 0 254166 0
[pid=17343] ppid=17334 vsize=289344 CPUtime=0 cores=0-7
/proc/17343/stat : 17343 (python) S 17334 17334 16801 0 -1 4202560 760 0 0 0 0 0 0 0 21 0 1 0 668392999 296288256 5694 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 16446521320847409410 0 0 17 7 0 0 0
/proc/17343/statm: 72336 5694 348 364 0 8251 0
[pid=17345] ppid=17343 vsize=2500 CPUtime=0.7 cores=0-7
/proc/17345/stat : 17345 (march_hi) R 17343 17345 17345 0 -1 4202496 692 0 0 0 70 0 0 0 25 0 1 0 668392999 2560000 431 33554432000 4194304 4955518 140736672021520 18446744073709551615 4227671 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17345/statm: 625 431 104 186 0 438 0
[pid=17346] ppid=17334 vsize=299228 CPUtime=0 cores=0-7
/proc/17346/stat : 17346 (python) S 17334 17334 16801 0 -1 4202560 751 0 0 0 0 0 0 0 22 0 1 0 668393002 306409472 5602 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 13325548769312211203 0 0 17 0 0 0 0
/proc/17346/statm: 74807 5602 348 364 0 10719 0
[pid=17348] ppid=17346 vsize=2500 CPUtime=0.68 cores=0-7
/proc/17348/stat : 17348 (march_hi) R 17346 17348 17348 0 -1 4202496 695 0 0 0 68 0 0 0 25 0 1 0 668393002 2560000 431 33554432000 4194304 4955518 140735066744576 18446744073709551615 4263575 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17348/statm: 625 431 104 186 0 438 0
[pid=17349] ppid=17334 vsize=310024 CPUtime=0 cores=0-7
/proc/17349/stat : 17349 (python) S 17334 17334 16801 0 -1 4202560 761 0 0 0 0 0 0 0 22 0 1 0 668393005 317464576 5727 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 10772302449709383938 0 0 17 7 0 0 0
/proc/17349/statm: 77506 5727 348 364 0 13415 0
[pid=17351] ppid=17349 vsize=2500 CPUtime=0.63 cores=0-7
/proc/17351/stat : 17351 (march_hi) R 17349 17351 17351 0 -1 4202496 691 0 0 0 63 0 0 0 25 0 1 0 668393007 2560000 429 33554432000 4194304 4955518 140736991040480 18446744073709551615 4210533 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17351/statm: 625 429 104 186 0 438 0
[pid=17352] ppid=17334 vsize=320280 CPUtime=0 cores=0-7
/proc/17352/stat : 17352 (python) S 17334 17334 16801 0 -1 4202560 753 0 0 0 0 0 0 0 24 0 1 0 668393008 327966720 5731 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 18021190471979630591 0 0 17 2 0 0 0
/proc/17352/statm: 80070 5731 348 364 0 15976 0
[pid=17354] ppid=17352 vsize=1017800 CPUtime=0.21 cores=0-7
/proc/17354/stat : 17354 (gnovelty+2) R 17352 17354 17354 0 -1 4202496 447 0 0 0 21 0 0 0 25 0 1 0 668393011 1042227200 182 33554432000 134512640 135663704 4289081280 18446744073709551615 134545622 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17354/statm: 254450 182 113 282 0 254166 0
[pid=17355] ppid=17334 vsize=330536 CPUtime=0 cores=0-7
/proc/17355/stat : 17355 (python) S 17334 17334 16801 0 -1 4202560 766 0 0 0 0 0 0 0 22 0 1 0 668393012 338468864 5751 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 2497725384741585155 0 0 17 4 0 0 0
/proc/17355/statm: 82634 5751 348 364 0 18537 0
[pid=17357] ppid=17355 vsize=2364 CPUtime=0.54 cores=0-7
/proc/17357/stat : 17357 (march_hi) R 17355 17357 17357 0 -1 4202496 670 0 0 0 54 0 0 0 25 0 1 0 668393014 2420736 404 33554432000 4194304 4955518 140735780818176 18446744073709551615 4238345 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17357/statm: 591 404 104 186 0 404 0
[pid=17358] ppid=17334 vsize=340792 CPUtime=0 cores=0-7
/proc/17358/stat : 17358 (python) S 17334 17334 16801 0 -1 4202560 776 0 0 0 0 0 0 0 21 0 1 0 668393015 348971008 5755 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 2497734180834607364 0 0 17 6 0 0 0
/proc/17358/statm: 85198 5755 348 364 0 21098 0
[pid=17362] ppid=17358 vsize=2364 CPUtime=0.22 cores=0-7
/proc/17362/stat : 17362 (march_hi) R 17358 17362 17362 0 -1 4202496 644 0 0 0 22 0 0 0 25 0 1 0 668393019 2420736 377 33554432000 4194304 4955518 140737244502704 18446744073709551615 4209701 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17362/statm: 591 377 104 186 0 404 0
[pid=17360] ppid=17334 vsize=351048 CPUtime=0 cores=0-7
/proc/17360/stat : 17360 (python) S 17334 17334 16801 0 -1 4202560 817 0 0 0 0 0 0 0 24 0 1 0 668393018 359473152 5767 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 1437571875193454849 0 0 17 3 0 0 0
/proc/17360/statm: 87762 5767 354 364 0 23659 0
[pid=17334/tid=17341] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17341/stat : 17341 (python) S 17332 17334 16801 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 9 0 668392996 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17344] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17344/stat : 17344 (python) S 17332 17334 16801 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 9 0 668392999 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17347] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17347/stat : 17347 (python) S 17332 17334 16801 0 -1 4202560 20 934 0 0 0 0 0 0 25 0 9 0 668393002 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17350] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17350/stat : 17350 (python) S 17332 17334 16801 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 668393005 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17353] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17353/stat : 17353 (python) S 17332 17334 16801 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 9 0 668393008 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17356] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17356/stat : 17356 (python) S 17332 17334 16801 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 9 0 668393012 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17359] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17359/stat : 17359 (python) S 17332 17334 16801 0 -1 4202560 38 934 0 0 0 0 0 0 25 0 9 0 668393015 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17361] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17361/stat : 17361 (python) S 17332 17334 16801 0 -1 4202560 25 934 0 0 0 0 0 0 24 0 9 0 668393019 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 4928992

[startup+3.10123 s]
/proc/loadavg: 9.11 9.53 8.90 12/361 17363
/proc/meminfo: memFree=14304396/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=361292 CPUtime=0.72 cores=0-7
/proc/17334/stat : 17334 (python) S 17332 17334 16801 0 -1 4202496 15762 934 1 0 60 12 0 0 25 0 9 0 668392921 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17334/statm: 90323 7306 1889 364 0 26220 0
[pid=17340] ppid=17334 vsize=278620 CPUtime=0 cores=0-7
/proc/17340/stat : 17340 (python) S 17334 17334 16801 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 668392996 285306880 5578 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899727 0 0 16781312 514 4274350632640413954 0 0 17 0 0 0 0
/proc/17340/statm: 69655 5578 354 364 0 5573 0
[pid=17342] ppid=17340 vsize=1017800 CPUtime=1.31 cores=0-7
/proc/17342/stat : 17342 (gnovelty+2) R 17340 17342 17342 0 -1 4202496 445 0 0 0 131 0 0 0 25 0 1 0 668392996 1042227200 181 33554432000 134512640 135663704 4290350256 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17342/statm: 254450 181 113 282 0 254166 0
[pid=17343] ppid=17334 vsize=289344 CPUtime=0 cores=0-7
/proc/17343/stat : 17343 (python) S 17334 17334 16801 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 668392999 296288256 5694 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 16446521320847409410 0 0 17 7 0 0 0
/proc/17343/statm: 72336 5694 348 364 0 8251 0
[pid=17345] ppid=17343 vsize=2820 CPUtime=2.29 cores=0-7
/proc/17345/stat : 17345 (march_hi) R 17343 17345 17345 0 -1 4202496 747 0 0 0 229 0 0 0 25 0 1 0 668392999 2887680 486 33554432000 4194304 4955518 140736672021520 18446744073709551615 4244774 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17345/statm: 705 486 104 186 0 518 0
[pid=17346] ppid=17334 vsize=299228 CPUtime=0 cores=0-7
/proc/17346/stat : 17346 (python) S 17334 17334 16801 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 668393002 306409472 5602 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 13325548769312211203 0 0 17 0 0 0 0
/proc/17346/statm: 74807 5602 348 364 0 10719 0
[pid=17348] ppid=17346 vsize=2820 CPUtime=2.28 cores=0-7
/proc/17348/stat : 17348 (march_hi) R 17346 17348 17348 0 -1 4202496 752 0 0 0 228 0 0 0 25 0 1 0 668393002 2887680 488 33554432000 4194304 4955518 140735066744576 18446744073709551615 4227502 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17348/statm: 705 488 104 186 0 518 0
[pid=17349] ppid=17334 vsize=310024 CPUtime=0 cores=0-7
/proc/17349/stat : 17349 (python) S 17334 17334 16801 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 668393005 317464576 5727 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 10772302449709383938 0 0 17 7 0 0 0
/proc/17349/statm: 77506 5727 348 364 0 13415 0
[pid=17351] ppid=17349 vsize=2820 CPUtime=2.23 cores=0-7
/proc/17351/stat : 17351 (march_hi) R 17349 17351 17351 0 -1 4202496 748 0 0 0 223 0 0 0 25 0 1 0 668393007 2887680 486 33554432000 4194304 4955518 140736991040480 18446744073709551615 4227935 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17351/statm: 705 486 104 186 0 518 0
[pid=17352] ppid=17334 vsize=320280 CPUtime=0 cores=0-7
/proc/17352/stat : 17352 (python) S 17334 17334 16801 0 -1 4202560 753 0 0 0 0 0 0 0 18 0 1 0 668393008 327966720 5731 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 18021190471979598083 0 0 17 2 0 0 0
/proc/17352/statm: 80070 5731 348 364 0 15976 0
[pid=17354] ppid=17352 vsize=1017800 CPUtime=1.01 cores=0-7
/proc/17354/stat : 17354 (gnovelty+2) R 17352 17354 17354 0 -1 4202496 447 0 0 0 101 0 0 0 25 0 1 0 668393011 1042227200 182 33554432000 134512640 135663704 4289081280 18446744073709551615 135008454 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17354/statm: 254450 182 113 282 0 254166 0
[pid=17355] ppid=17334 vsize=330536 CPUtime=0 cores=0-7
/proc/17355/stat : 17355 (python) S 17334 17334 16801 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 668393012 338468864 5751 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 2497725384741585155 0 0 17 4 0 0 0
/proc/17355/statm: 82634 5751 348 364 0 18537 0
[pid=17357] ppid=17355 vsize=2668 CPUtime=2.14 cores=0-7
/proc/17357/stat : 17357 (march_hi) R 17355 17357 17357 0 -1 4202496 747 0 0 0 214 0 0 0 25 0 1 0 668393014 2732032 481 33554432000 4194304 4955518 140735780818176 18446744073709551615 4238696 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17357/statm: 667 481 104 186 0 480 0
[pid=17358] ppid=17334 vsize=340792 CPUtime=0 cores=0-7
/proc/17358/stat : 17358 (python) S 17334 17334 16801 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 668393015 348971008 5755 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 2497734180834607364 0 0 17 6 0 0 0
/proc/17358/statm: 85198 5755 348 364 0 21098 0
[pid=17362] ppid=17358 vsize=2568 CPUtime=1.02 cores=0-7
/proc/17362/stat : 17362 (march_hi) R 17358 17362 17362 0 -1 4202496 710 0 0 0 102 0 0 0 25 0 1 0 668393019 2629632 443 33554432000 4194304 4955518 140737244502704 18446744073709551615 4224687 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17362/statm: 642 443 104 186 0 455 0
[pid=17360] ppid=17334 vsize=351048 CPUtime=0 cores=0-7
/proc/17360/stat : 17360 (python) S 17334 17334 16801 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 1 0 668393018 359473152 5767 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 1437571875193454849 0 0 17 3 0 0 0
/proc/17360/statm: 87762 5767 354 364 0 23659 0
[pid=17363] ppid=17360 vsize=2568 CPUtime=0.91 cores=0-7
/proc/17363/stat : 17363 (march_hi) R 17360 17363 17363 0 -1 4202496 711 0 0 0 91 0 0 0 25 0 1 0 668393039 2629632 440 33554432000 4194304 4955518 140736561979168 18446744073709551615 4227635 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17363/statm: 642 440 104 186 0 455 0
[pid=17334/tid=17341] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17341/stat : 17341 (python) S 17332 17334 16801 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 9 0 668392996 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17344] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17344/stat : 17344 (python) S 17332 17334 16801 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 9 0 668392999 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17347] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17347/stat : 17347 (python) S 17332 17334 16801 0 -1 4202560 20 934 0 0 0 0 0 0 25 0 9 0 668393002 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17350] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17350/stat : 17350 (python) S 17332 17334 16801 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 668393005 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17353] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17353/stat : 17353 (python) S 17332 17334 16801 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 9 0 668393008 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17356] ppid=17332 vsize=361292 CPUtime=0 cores=0-7
/proc/17334/task/17356/stat : 17356 (python) S 17332 17334 16801 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 9 0 668393012 369963008 7306 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0

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

/proc/17334/task/17397/stat : 17397 (python) S 17332 17334 16801 0 -1 4202560 42 934 0 0 0 0 0 0 19 0 16 0 668464594 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17421] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17421/stat : 17421 (python) S 17332 17334 16801 0 -1 4202560 41 934 0 0 0 0 0 0 19 0 16 0 668499478 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17436] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17436/stat : 17436 (python) S 17332 17334 16801 0 -1 4202560 33 934 0 0 0 0 0 0 19 0 16 0 668528056 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17441] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17441/stat : 17441 (python) S 17332 17334 16801 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 16 0 668534491 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17450] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17450/stat : 17450 (python) S 17332 17334 16801 0 -1 4202560 29 934 0 0 0 0 0 0 19 0 16 0 668552339 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11100.3
Current children cumulated vsize (KiB) 10748564

[startup+1954.53 s]
/proc/loadavg: 11.05 11.10 10.82 12/394 17460
/proc/meminfo: memFree=13299724/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=498580 CPUtime=1.74 cores=0-7
/proc/17334/stat : 17334 (python) R 17332 17334 16801 0 -1 4202496 25384 934 1 0 160 14 0 0 18 0 16 0 668392921 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17334/statm: 124645 7450 1904 364 0 60521 0
[pid=17340] ppid=17334 vsize=288864 CPUtime=0.42 cores=0-7
/proc/17340/stat : 17340 (python) S 17334 17334 16801 0 -1 4202560 1104 0 0 0 22 20 0 0 19 0 2 0 668392996 295796736 5639 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/17340/statm: 72216 5639 410 364 0 8134 0
[pid=17342] ppid=17340 vsize=1017800 CPUtime=98.15 cores=0-7
/proc/17342/stat : 17342 (gnovelty+2) T 17340 17342 17342 0 -1 4202496 445 0 0 0 9815 0 0 0 25 0 1 0 668392996 1042227200 181 33554432000 134512640 135663704 4290350256 18446744073709551615 134545631 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17342/statm: 254450 181 113 282 0 254166 0
[pid=17340/tid=17370] ppid=17334 vsize=288864 CPUtime=0 cores=0-7
/proc/17340/task/17370/stat : 17370 (python) S 17334 17334 16801 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 668409636 295796736 5639 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604453907893056 0 0 -1 0 0 0 0
[pid=17343] ppid=17334 vsize=354880 CPUtime=1752.56 cores=0-7
/proc/17343/stat : 17343 (python) R 17334 17334 16801 0 -1 4202560 1209 45873 0 0 300 255 174680 21 16 0 2 0 668392999 363397120 5754 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17343/statm: 88720 5754 405 364 0 24635 0
[pid=17343/tid=17384] ppid=17334 vsize=354880 CPUtime=1747.01 cores=0-7
/proc/17343/task/17384/stat : 17384 (python) S 17334 17334 16801 0 -1 4202560 44 45873 0 0 0 0 174680 21 15 0 2 0 668434301 363397120 5754 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604452813613120 0 0 -1 2 0 0 0
[pid=17346] ppid=17334 vsize=364764 CPUtime=4.59 cores=0-7
/proc/17346/stat : 17346 (python) S 17334 17334 16801 0 -1 4202560 1154 0 0 0 246 213 0 0 15 0 2 0 668393002 373518336 5657 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/17346/statm: 91191 5657 400 364 0 27103 0
[pid=17348] ppid=17346 vsize=167916 CPUtime=1082.4 cores=0-7
/proc/17348/stat : 17348 (march_hi) R 17346 17348 17348 0 -1 4202496 30949 0 0 0 108226 14 0 0 25 0 1 0 668393002 171945984 30685 33554432000 4194304 4955518 140735066744576 18446744073709551615 4209679 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17348/statm: 41979 30685 104 186 0 41792 0
[pid=17346/tid=17388] ppid=17334 vsize=364764 CPUtime=0 cores=0-7
/proc/17346/task/17388/stat : 17388 (python) S 17334 17334 16801 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 668443201 373518336 5657 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604451310106496 0 0 -1 0 0 0 0
[pid=17349] ppid=17334 vsize=310024 CPUtime=5.01 cores=0-7
/proc/17349/stat : 17349 (python) S 17334 17334 16801 0 -1 4202560 1180 0 0 0 263 238 0 0 15 0 2 0 668393005 317464576 5781 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17349/statm: 77506 5781 401 364 0 13415 0
[pid=17351] ppid=17349 vsize=200432 CPUtime=1244.15 cores=0-7
/proc/17351/stat : 17351 (march_hi) R 17349 17351 17351 0 -1 4202496 34809 0 0 0 124398 17 0 0 25 0 1 0 668393007 205242368 34547 33554432000 4194304 4955518 140736991040480 18446744073709551615 4210584 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17351/statm: 50108 34547 104 186 0 49921 0
[pid=17349/tid=17367] ppid=17334 vsize=310024 CPUtime=0 cores=0-7
/proc/17349/task/17367/stat : 17367 (python) S 17334 17334 16801 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 668404680 317464576 5781 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604453902959808 0 0 -1 1 0 0 0
[pid=17352] ppid=17334 vsize=320280 CPUtime=0.41 cores=0-7
/proc/17352/stat : 17352 (python) S 17334 17334 16801 0 -1 4202560 1129 0 0 0 23 18 0 0 19 0 2 0 668393008 327966720 5784 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/17352/statm: 80070 5784 400 364 0 15976 0
[pid=17354] ppid=17352 vsize=1017800 CPUtime=98.03 cores=0-7
/proc/17354/stat : 17354 (gnovelty+2) T 17352 17354 17354 0 -1 4202496 447 0 0 0 9802 1 0 0 25 0 1 0 668393011 1042227200 182 33554432000 134512640 135663704 4289081280 18446744073709551615 134524849 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/17354/statm: 254450 182 113 282 0 254166 0
[pid=17352/tid=17374] ppid=17334 vsize=320280 CPUtime=0 cores=0-7
/proc/17352/task/17374/stat : 17374 (python) S 17334 17334 16801 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 668409668 327966720 5784 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604452813611328 0 0 -1 2 0 0 0
[pid=17355] ppid=17334 vsize=330536 CPUtime=4.74 cores=0-7
/proc/17355/stat : 17355 (python) S 17334 17334 16801 0 -1 4202560 1190 0 0 0 245 229 0 0 15 0 2 0 668393012 338468864 5805 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17355/statm: 82634 5805 401 364 0 18537 0
[pid=17357] ppid=17355 vsize=200432 CPUtime=1231.62 cores=0-7
/proc/17357/stat : 17357 (march_hi) R 17355 17357 17357 0 -1 4202496 34631 0 0 0 123149 13 0 0 25 0 1 0 668393014 205242368 34365 33554432000 4194304 4955518 140735780818176 18446744073709551615 4286799 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17357/statm: 50108 34365 104 186 0 49921 0
[pid=17355/tid=17392] ppid=17334 vsize=330536 CPUtime=0 cores=0-7
/proc/17355/task/17392/stat : 17392 (python) S 17334 17334 16801 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 668453673 338468864 5805 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604453925344384 0 0 -1 1 0 0 0
[pid=17358] ppid=17334 vsize=340792 CPUtime=3.04 cores=0-7
/proc/17358/stat : 17358 (python) S 17334 17334 16801 0 -1 4202560 1225 0 0 0 152 152 0 0 16 0 2 0 668393015 348971008 5814 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/17358/statm: 85198 5814 406 364 0 21098 0
[pid=17362] ppid=17358 vsize=123716 CPUtime=970.95 cores=0-7
/proc/17362/stat : 17362 (march_hi) T 17358 17362 17362 0 -1 4202496 28104 0 0 0 97089 6 0 0 25 0 1 0 668393019 126685184 27837 33554432000 4194304 4955518 140737244502704 18446744073709551615 4289670 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17362/statm: 30929 27837 104 186 0 30742 0
[pid=17358/tid=17391] ppid=17334 vsize=340792 CPUtime=0 cores=0-7
/proc/17358/task/17391/stat : 17391 (python) S 17334 17334 16801 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 668452997 348971008 5814 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604443639233536 0 0 -1 1 0 0 0
[pid=17360] ppid=17334 vsize=416584 CPUtime=3.71 cores=0-7
/proc/17360/stat : 17360 (python) S 17334 17334 16801 0 -1 4202560 1239 0 0 0 193 178 0 0 15 0 2 0 668393018 426582016 5828 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/17360/statm: 104146 5828 406 364 0 40043 0
[pid=17363] ppid=17360 vsize=123716 CPUtime=778.71 cores=0-7
/proc/17363/stat : 17363 (march_hi) T 17360 17363 17363 0 -1 4202496 23284 0 0 0 77863 8 0 0 25 0 1 0 668393039 126685184 23013 33554432000 4194304 4955518 140736561979168 18446744073709551615 4209717 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17363/statm: 30929 23013 104 186 0 30742 0
[pid=17360/tid=17416] ppid=17334 vsize=416584 CPUtime=0 cores=0-7
/proc/17360/task/17416/stat : 17416 (python) S 17334 17334 16801 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 668490587 426582016 5828 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604453922484352 0 0 -1 2 0 0 0
[pid=17371] ppid=17334 vsize=426480 CPUtime=3.16 cores=0-7
/proc/17371/stat : 17371 (python) S 17334 17334 16801 0 -1 4202560 1204 0 0 0 165 151 0 0 15 0 2 0 668409639 436715520 5719 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17371/statm: 106620 5719 400 364 0 42514 0
[pid=17373] ppid=17371 vsize=123716 CPUtime=878.13 cores=0-7
/proc/17373/stat : 17373 (march_hi) T 17371 17373 17373 0 -1 4202496 25756 0 0 0 87806 7 0 0 25 0 1 0 668409639 126685184 25489 33554432000 4194304 4955518 140735854817392 18446744073709551615 4238763 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/17373/statm: 30929 25489 104 186 0 30742 0
[pid=17371/tid=17400] ppid=17334 vsize=426480 CPUtime=0 cores=0-7
/proc/17371/task/17400/stat : 17400 (python) S 17334 17334 16801 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 668467178 436715520 5719 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604466030707136 0 0 -1 2 0 0 0
[pid=17375] ppid=17334 vsize=436736 CPUtime=4.6 cores=0-7
/proc/17375/stat : 17375 (python) S 17334 17334 16801 0 -1 4202560 1072 0 0 0 249 211 0 0 18 0 2 0 668409672 447217664 5888 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17375/statm: 109184 5888 400 364 0 45075 0
[pid=17377] ppid=17375 vsize=182452 CPUtime=1080.64 cores=0-7
/proc/17377/stat : 17377 (kcnfs-2006) R 17375 17377 17377 0 -1 4202496 607 0 0 0 108063 1 0 0 25 0 1 0 668409672 186830848 349 33554432000 134512640 135163436 4292221024 18446744073709551615 134675095 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17377/statm: 45613 349 77 159 0 45453 0
[pid=17375/tid=17426] ppid=17334 vsize=436736 CPUtime=0 cores=0-7
/proc/17375/task/17426/stat : 17426 (python) S 17334 17334 16801 0 -1 4202560 121 0 0 0 0 0 0 0 18 0 2 0 668504396 447217664 5888 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604466030708032 0 0 -1 0 0 0 0
[pid=17396] ppid=17334 vsize=446992 CPUtime=1.43 cores=0-7
/proc/17396/stat : 17396 (python) S 17334 17334 16801 0 -1 4202560 1043 0 0 0 73 70 0 0 16 0 2 0 668464594 457719808 5989 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17396/statm: 111748 5989 400 364 0 47636 0
[pid=17398] ppid=17396 vsize=77856 CPUtime=486.82 cores=0-7
/proc/17398/stat : 17398 (march_hi) T 17396 17398 17398 0 -1 4202496 15374 0 0 0 48678 4 0 0 25 0 1 0 668464595 79724544 15108 33554432000 4194304 4955518 140735592904880 18446744073709551615 4209643 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17398/statm: 19464 15108 104 186 0 19277 0
[pid=17396/tid=17431] ppid=17334 vsize=446992 CPUtime=0 cores=0-7
/proc/17396/task/17431/stat : 17431 (python) S 17334 17334 16801 0 -1 4202560 76 0 0 0 0 0 0 0 16 0 2 0 668517030 457719808 5989 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604457859909504 0 0 -1 1 0 0 0
[pid=17420] ppid=17334 vsize=457248 CPUtime=2.27 cores=0-7
/proc/17420/stat : 17420 (python) S 17334 17334 16801 0 -1 4202560 849 0 0 0 122 105 0 0 18 0 1 0 668499478 468221952 5886 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 12476343158327705862 0 0 17 0 0 0 0
/proc/17420/statm: 114312 5886 371 364 0 50197 0
[pid=17422] ppid=17420 vsize=182452 CPUtime=581.42 cores=0-7
/proc/17422/stat : 17422 (kcnfs-2006) R 17420 17422 17422 0 -1 4202496 612 0 0 0 58142 0 0 0 25 0 1 0 668499479 186830848 348 33554432000 134512640 135163436 4289525344 18446744073709551615 134569496 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17422/statm: 45613 348 77 159 0 45453 0
[pid=17435] ppid=17334 vsize=468080 CPUtime=1.56 cores=0-7
/proc/17435/stat : 17435 (python) S 17334 17334 16801 0 -1 4202560 1038 0 0 0 81 75 0 0 18 0 1 0 668528056 479313920 5993 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 12476343158327705861 0 0 17 0 0 0 0
/proc/17435/statm: 117020 5993 371 364 0 52902 0
[pid=17437] ppid=17435 vsize=182452 CPUtime=498.3 cores=0-7
/proc/17437/stat : 17437 (kcnfs-2006) R 17435 17437 17437 0 -1 4202496 616 0 0 0 49830 0 0 0 25 0 1 0 668528056 186830848 349 33554432000 134512640 135163436 4294862848 18446744073709551615 134559334 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17437/statm: 45613 349 77 159 0 45453 0
[pid=17440] ppid=17334 vsize=478336 CPUtime=0.47 cores=0-7
/proc/17440/stat : 17440 (python) S 17334 17334 16801 0 -1 4202560 1199 0 0 0 25 22 0 0 19 0 2 0 668534490 489816064 6027 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290706379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17440/statm: 119584 6027 400 364 0 55463 0
[pid=17442] ppid=17440 vsize=416132 CPUtime=102.23 cores=0-7
/proc/17442/stat : 17442 (adaptg2wsat2009) T 17440 17442 17442 0 -1 4202496 479 0 0 0 10223 0 0 0 25 0 1 0 668534491 426119168 201 33554432000 134512640 135107411 4288673792 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17442/statm: 104033 201 59 146 0 102909 0
[pid=17440/tid=17448] ppid=17334 vsize=478336 CPUtime=0 cores=0-7
/proc/17440/task/17448/stat : 17448 (python) S 17334 17334 16801 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 668552336 489816064 6027 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 514 18446604459786078976 0 0 -1 0 0 0 0
[pid=17449] ppid=17334 vsize=488800 CPUtime=1.03 cores=0-7
/proc/17449/stat : 17449 (python) S 17334 17334 16801 0 -1 4202560 1093 0 0 0 57 46 0 0 15 0 1 0 668552339 500531200 6035 33554432000 4194304 5683644 140736083804032 18446744073709551615 237278899782 0 0 16781312 514 12476343158327705861 0 0 17 7 0 0 0
/proc/17449/statm: 122200 6035 379 364 0 58076 0
[pid=17451] ppid=17449 vsize=36984 CPUtime=179.26 cores=0-7
/proc/17451/stat : 17451 (march_hi) R 17449 17451 17451 0 -1 4202496 6569 0 0 0 17924 2 0 0 25 0 1 0 668552339 37871616 6288 33554432000 4194304 4955518 140735184794048 18446744073709551615 4209699 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17451/statm: 9246 6288 104 186 0 9059 0
[pid=17334/tid=17341] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17341/stat : 17341 (python) S 17332 17334 16801 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 16 0 668392996 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17344] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17344/stat : 17344 (python) S 17332 17334 16801 0 -1 4202560 31 934 0 0 0 0 0 0 18 0 16 0 668392999 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17347] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17347/stat : 17347 (python) S 17332 17334 16801 0 -1 4202560 35 934 0 0 0 0 0 0 18 0 16 0 668393002 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 0 0 0 0
[pid=17334/tid=17350] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17350/stat : 17350 (python) S 17332 17334 16801 0 -1 4202560 43 934 0 0 0 0 0 0 18 0 16 0 668393005 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17353] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17353/stat : 17353 (python) S 17332 17334 16801 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 16 0 668393008 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17356] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17356/stat : 17356 (python) S 17332 17334 16801 0 -1 4202560 39 934 0 0 0 0 0 0 18 0 16 0 668393012 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17359] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17359/stat : 17359 (python) S 17332 17334 16801 0 -1 4202560 53 934 0 0 0 0 0 0 18 0 16 0 668393015 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17361] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17361/stat : 17361 (python) S 17332 17334 16801 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 16 0 668393019 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 5 0 0 0
[pid=17334/tid=17372] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17372/stat : 17372 (python) S 17332 17334 16801 0 -1 4202560 39 934 0 0 0 0 0 0 18 0 16 0 668409639 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17376] ppid=17332 vsize=498580 CPUtime=0 cores=0-7
/proc/17334/task/17376/stat : 17376 (python) S 17332 17334 16801 0 -1 4202560 92 934 0 0 0 0 0 0 18 0 16 0 668409672 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17397] ppid=17332 vsize=498580 CPUtime=98.57 cores=0-7
/proc/17334/task/17397/stat : 17397 (python) S 17332 17334 16801 0 -1 4202560 42 2503 0 0 0 0 9837 20 19 0 16 0 668464594 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17421] ppid=17332 vsize=498580 CPUtime=98.57 cores=0-7
/proc/17334/task/17421/stat : 17421 (python) S 17332 17334 16801 0 -1 4202560 41 2503 0 0 0 0 9837 20 19 0 16 0 668499478 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 2 0 0 0
[pid=17334/tid=17436] ppid=17332 vsize=498580 CPUtime=98.57 cores=0-7
/proc/17334/task/17436/stat : 17436 (python) S 17332 17334 16801 0 -1 4202560 33 2503 0 0 0 0 9837 20 19 0 16 0 668528056 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17441] ppid=17332 vsize=498580 CPUtime=98.57 cores=0-7
/proc/17334/task/17441/stat : 17441 (python) S 17332 17334 16801 0 -1 4202560 30 2503 0 0 0 0 9837 20 20 0 16 0 668534491 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
[pid=17334/tid=17450] ppid=17332 vsize=498580 CPUtime=98.57 cores=0-7
/proc/17334/task/17450/stat : 17450 (python) S 17332 17334 16801 0 -1 4202560 29 2503 0 0 0 0 9837 20 19 0 16 0 668552339 510545920 7450 33554432000 4194304 5683644 140736083804032 18446744073709551615 237290703281 0 0 16781312 2 18446604447750788416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11101.6
Current children cumulated vsize (KiB) 10481832

[startup+1954.6 s]
/proc/loadavg: 11.04 11.09 10.82 5/337 17460
/proc/meminfo: memFree=14339484/32950904 swapFree=67057400/67111528
[pid=17334] ppid=17332 vsize=375460 CPUtime=11102.1 cores=0-7
/proc/17334/stat : 17334 (python) R 17332 17334 16801 0 -1 4202496 28960 266958 1 0 162 15 1107937 2099 17 0 1 0 668392921 384471040 7373 33554432000 4194304 5683644 140736083804032 18446744073709551615 4501813 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17334/statm: 93865 7373 1875 364 0 29789 0
Current children cumulated CPU time (s) 11102.1
Current children cumulated vsize (KiB) 375460

Child status: 0
Real time (s): 1954.62
CPU time (s): 11102.2
CPU user time (s): 11081
CPU system time (s): 21.1498
CPU usage (%): 567.996
Max. virtual memory (cumulated for all children) (KiB): 10748564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11081
system time used= 21.1498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296447
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= 23331
involuntary context switches= 111993

runsolver used 12.3411 second user time and 27.7638 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-16 19:45:32
IDJOB=3385549
IDBENCH=82814
IDSOLVER=1870
FILE ID=node121/3385549-1305567931
RUNJOBID= node121-1305564964-16815
PBS_JOBID= 13350129
Free space on /tmp= 73424 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1694067460-072.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-3385549-1305567931/watcher-3385549-1305567931 -o /tmp/evaluation-result-3385549-1305567931/solver-3385549-1305567931 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385549-1305567931.cnf -seed 1374732334 -budget 40000 -cores 8

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

MD5SUM BENCH= f2d2b125797e776fb2e7099729714d99
RANDOM SEED=1374732334

node121.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.817
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.63
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.817
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.84
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.817
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.77
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.817
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.817
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.74
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.817
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.817
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:     32950904 kB
MemFree:      14366056 kB
Buffers:        334704 kB
Cached:        7051936 kB
SwapCached:       7656 kB
Active:       12529948 kB
Inactive:      5673860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      14366056 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           31924 kB
Writeback:           0 kB
AnonPages:    10815400 kB
Mapped:          27308 kB
Slab:           269508 kB
PageTables:      41856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 61351368 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= 73392 MiB
End job on node121 at 2011-05-16 20:18:06