Trace number 3321783

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-randomSAT 5480.77 688.45

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf
MD5SUMfbc6593197090933c7d66c2e5740159a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark240.774
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.33/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.33/0.47	c INFO: solving HOME/instance-3321783-1304367226.cnf
0.33/0.47	c INFO: computing task features
0.41/0.56	c INFO: computed variable-clause graph statistics
0.41/0.56	c INFO: computed clause balance statistics
0.92/1.04	c INFO: computed variable balance statistics
1.11/1.23	c INFO: computed small-clause counts
1.11/1.23	c INFO: computed Horn-clause counts
1.11/1.25	c INFO: computed variable graph statistics
1.11/1.25	c INFO: collected features for HOME/instance-3321783-1304367226.cnf in 0.77 s
1.11/1.28	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.37)
1.21/1.32	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.11)
1.21/1.36	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.08)
1.21/1.39	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.06)
1.31/1.43	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.05)
1.31/1.47	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.04)
1.41/1.51	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.03)
1.41/1.57	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
793.04/100.57	c INFO: running adaptg2wsat2009++@0 for 97 with 39899 remaining (b = 0.02)
801.02/101.52	c INFO: running FH@0 for 97 with 39898 remaining (b = 0.02)
801.02/101.59	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.04)
801.73/101.66	c INFO: running gnovelty+2@0 for 97 with 39898 remaining (b = 0.02)
802.21/101.73	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
802.21/101.79	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
802.53/101.85	c INFO: running TNM@0 for 1552 with 39898 remaining (b = 0.19)
802.74/101.92	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.01)
1563.63/197.16	c INFO: running adaptg2wsat2009++@0 for 97 with 39803 remaining (b = 0.01)
1593.11/200.82	c INFO: running adaptg2wsat2009++@0 for 97 with 39799 remaining (b = 0.01)
1593.89/200.96	c INFO: running adaptg2wsat2009++@99 for 97 with 39799 remaining (b = 0.01)
1600.27/201.78	c INFO: running FH@0 for 97 with 39798 remaining (b = 0.01)
2340.16/294.41	c INFO: running adaptg2wsat2009++@94 for 97 with 39706 remaining (b = 0.01)
2361.69/297.12	c INFO: running hybridGM3@99 for 97 with 39703 remaining (b = 0.01)
2368.93/298.07	c INFO: running adaptg2wsat2009++@100 for 97 with 39702 remaining (b = 0.01)
2370.41/298.20	c INFO: running hybridGM3@99 for 97 with 39702 remaining (b = 0.01)
2370.41/298.27	c INFO: running gnovelty+2@0 for 97 with 39702 remaining (b = 0.01)
2385.56/300.15	c INFO: running hybridGM3@0 for 194 with 39700 remaining (b = 0.02)
2403.08/302.37	c INFO: running hybridGM3@100 for 97 with 39698 remaining (b = 0.01)
3107.03/390.67	c INFO: running hybridGM3@0 for 194 with 39609 remaining (b = 0.02)
3144.46/395.33	c INFO: running hybridGM3@0 for 194 with 39605 remaining (b = 0.02)
3168.35/398.39	c INFO: running TNM@0 for 1552 with 39602 remaining (b = 0.14)
3169.14/398.48	c INFO: running adaptg2wsat2009++@100 for 97 with 39602 remaining (b = 0.01)
3169.83/398.57	c INFO: running iPAWS@0 for 97 with 39601 remaining (b = 0.01)
3194.63/401.66	c INFO: running FH@0 for 291 with 39598 remaining (b = 0.03)
3943.96/495.70	c INFO: running adaptg2wsat2009++@99 for 97 with 39504 remaining (b = 0.01)
3944.72/495.78	c INFO: running iPAWS@0 for 97 with 39504 remaining (b = 0.01)
4009.33/503.89	c INFO: running hybridGM3@0 for 194 with 39496 remaining (b = 0.02)
4673.27/587.19	c INFO: running hybridGM3@97 for 97 with 39413 remaining (b = 0.01)
4710.79/591.89	c INFO: running hybridGM3@101 for 97 with 39408 remaining (b = 0.01)
4719.57/592.99	c INFO: running FH@100 for 291 with 39407 remaining (b = 0.02)
4744.20/596.08	c INFO: running adaptg2wsat2009++@296 for 291 with 39404 remaining (b = 0.02)
5469.89/687.16	c INFO: running hybridGM3@0 for 194 with 39313 remaining (b = 0.02)
5480.41/688.42	s SATISFIABLE
5480.41/688.42	v 1 2 3 4 5 6 -7 -8 9 10 11 -12 13 -14 -15 16 17 -18 -19 20 21 22 -23 24 -25 -26 -27 -28 -29 -30 -31 32 -33 -34 35 36 -37 38 -39 40 -41 -42 43 44 -45 -46 -47 48 49 -50 51 -52 -53 54 55 -56 57 58 59 60 -61 62 -63 -64 65 66 67 68 69 70 -71 72 -73 74 -75 -76 77 -78 -79 80 -81 82 -83 84 -85 -86 87 88 -89 90 91 92 93 94 -95 96 -97 -98 -99 -100 101 102 -103 -104 105 106 107 -108 -109 -110 111 -112 -113 114 115 -116 -117 118 -119 120 -121 122 -123 124 -125 -126 -127 128 -129 130 131 -132 -133 134 135 -136 -137 -138 139 -140 -141 142 -143 144 -145 146 147 148 -149 150 0

Verifier Data 

OK

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-3321783-1304367226/watcher-3321783-1304367226 -o /tmp/evaluation-result-3321783-1304367226/solver-3321783-1304367226 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321783-1304367226.cnf -seed 1592813106 -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: 2.33 1.24 0.66 1/252 23587
/proc/meminfo: memFree=23127292/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=15780 CPUtime=0 cores=0-7
/proc/23587/stat : 23587 (python) R 23585 23587 23451 0 -1 4202496 895 0 0 0 0 0 0 0 22 0 1 0 529138485 16158720 776 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510297232 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/23587/statm: 3945 777 343 364 0 432 0

[startup+0.015058 s]
/proc/loadavg: 2.33 1.24 0.66 1/252 23587
/proc/meminfo: memFree=23127292/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=16244 CPUtime=0 cores=0-7
/proc/23587/stat : 23587 (python) R 23585 23587 23451 0 -1 4202496 1039 0 0 0 0 0 0 0 22 0 1 0 529138485 16633856 910 33554432000 4194304 5683644 140736420107568 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/23587/statm: 4061 910 380 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244

[startup+0.101104 s]
/proc/loadavg: 2.33 1.24 0.66 1/252 23587
/proc/meminfo: memFree=23127292/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=104228 CPUtime=0.07 cores=0-7
/proc/23587/stat : 23587 (python) R 23585 23587 23451 0 -1 4202496 3058 0 0 0 5 2 0 0 23 0 1 0 529138485 106729472 2741 33554432000 4194304 5683644 140736420107568 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/23587/statm: 26056 2740 847 364 0 1804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104228

[startup+0.301038 s]
/proc/loadavg: 2.33 1.24 0.66 1/252 23587
/proc/meminfo: memFree=23127292/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=166548 CPUtime=0.23 cores=0-7
/proc/23587/stat : 23587 (python) S 23585 23587 23451 0 -1 4202496 6696 935 1 0 18 5 0 0 17 0 1 0 529138485 170545152 4780 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/23587/statm: 41637 4780 1322 364 0 3454 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 166548

[startup+0.700968 s]
/proc/loadavg: 2.33 1.24 0.66 1/252 23587
/proc/meminfo: memFree=23127292/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=281500 CPUtime=0.61 cores=0-7
/proc/23587/stat : 23587 (python) R 23585 23587 23451 0 -1 4202496 10829 935 1 0 53 8 0 0 17 0 1 0 529138485 288256000 7770 33554432000 4194304 5683644 140736420107568 18446744073709551615 233509964682 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/23587/statm: 70375 7770 1826 364 0 6299 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 281500

[startup+1.50078 s]
/proc/loadavg: 2.22 1.23 0.67 2/253 23592
/proc/meminfo: memFree=23102832/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=406652 CPUtime=1.41 cores=0-7
/proc/23587/stat : 23587 (python) R 23585 23587 23451 0 -1 4202496 15603 935 1 0 131 10 0 0 18 0 7 0 529138485 416411648 7623 33554432000 4194304 5683644 140736420107568 18446744073709551615 4602366 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23587/statm: 101663 7623 1886 364 0 37566 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 406652

[startup+3.10149 s]
/proc/loadavg: 2.22 1.23 0.67 9/277 23616
/proc/meminfo: memFree=23059364/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=427164 CPUtime=1.46 cores=0-7
/proc/23587/stat : 23587 (python) S 23585 23587 23451 0 -1 4202496 16788 935 1 0 136 10 0 0 20 0 9 0 529138485 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23587/statm: 106791 7636 1891 364 0 42688 0
[pid=23593] ppid=23587 vsize=278984 CPUtime=0 cores=0-7
/proc/23593/stat : 23593 (python) S 23587 23587 23451 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 529138614 285679616 5669 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317583 0 0 16781312 514 4428785287098761476 0 0 17 1 0 0 0
/proc/23593/statm: 69746 5669 354 364 0 5664 0
[pid=23595] ppid=23593 vsize=1018364 CPUtime=1.8 cores=0-7
/proc/23595/stat : 23595 (gnovelty+2) R 23593 23595 23595 0 -1 4202496 674 0 0 0 180 0 0 0 25 0 1 0 529138614 1042804736 409 33554432000 134512640 135663704 4290602832 18446744073709551615 134525132 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/23595/statm: 254591 409 113 282 0 254307 0
[pid=23596] ppid=23587 vsize=289848 CPUtime=0 cores=0-7
/proc/23596/stat : 23596 (python) S 23587 23587 23451 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 529138618 296804352 5802 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4428792983680155908 0 0 17 7 0 0 0
/proc/23596/statm: 72462 5802 348 364 0 8377 0
[pid=23598] ppid=23596 vsize=1018364 CPUtime=1.77 cores=0-7
/proc/23598/stat : 23598 (gnovelty+2) R 23596 23598 23598 0 -1 4202496 673 0 0 0 177 0 0 0 25 0 1 0 529138618 1042804736 409 33554432000 134512640 135663704 4294862640 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/23598/statm: 254591 409 113 282 0 254307 0
[pid=23599] ppid=23587 vsize=365640 CPUtime=0 cores=0-7
/proc/23599/stat : 23599 (python) S 23587 23587 23451 0 -1 4202560 705 0 0 0 0 0 0 0 18 0 1 0 529138621 374415360 5979 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4389561309289512959 0 0 17 7 0 0 0
/proc/23599/statm: 91410 5979 348 364 0 27322 0
[pid=23601] ppid=23599 vsize=417840 CPUtime=1.73 cores=0-7
/proc/23601/stat : 23601 (adaptg2wsat2009) R 23599 23601 23601 0 -1 4202496 879 0 0 0 173 0 0 0 25 0 1 0 529138622 427868160 626 33554432000 134512640 135107411 4294177440 18446744073709551615 134523237 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/23601/statm: 104460 626 49 146 0 103336 0
[pid=23602] ppid=23587 vsize=375896 CPUtime=0 cores=0-7
/proc/23602/stat : 23602 (python) S 23587 23587 23451 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 1 0 529138625 384917504 5936 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4389557460998815743 0 0 17 6 0 0 0
/proc/23602/statm: 93974 5936 348 364 0 29883 0
[pid=23604] ppid=23602 vsize=417840 CPUtime=1.69 cores=0-7
/proc/23604/stat : 23604 (adaptg2wsat2009) R 23602 23604 23604 0 -1 4202496 881 0 0 0 169 0 0 0 25 0 1 0 529138625 427868160 625 33554432000 134512640 135107411 4292980720 18446744073709551615 134523215 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/23604/statm: 104460 625 49 146 0 103336 0
[pid=23605] ppid=23587 vsize=386152 CPUtime=0 cores=0-7
/proc/23605/stat : 23605 (python) S 23587 23587 23451 0 -1 4202560 720 0 0 0 0 0 0 0 18 0 1 0 529138629 395419648 6060 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 10826010843947204607 0 0 17 1 0 0 0
/proc/23605/statm: 96538 6060 348 364 0 32444 0
[pid=23607] ppid=23605 vsize=417840 CPUtime=1.65 cores=0-7
/proc/23607/stat : 23607 (adaptg2wsat2009) R 23605 23607 23607 0 -1 4202496 884 0 0 0 165 0 0 0 25 0 1 0 529138629 427868160 626 33554432000 134512640 135107411 4289798368 18446744073709551615 134523261 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23607/statm: 104460 626 49 146 0 103336 0
[pid=23608] ppid=23587 vsize=396408 CPUtime=0 cores=0-7
/proc/23608/stat : 23608 (python) S 23587 23587 23451 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 529138633 405921792 5961 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4523702277633966340 0 0 17 1 0 0 0
/proc/23608/statm: 99102 5961 348 364 0 35005 0
[pid=23610] ppid=23608 vsize=1018364 CPUtime=1.6 cores=0-7
/proc/23610/stat : 23610 (gnovelty+2) R 23608 23610 23610 0 -1 4202496 664 0 0 0 160 0 0 0 25 0 1 0 529138633 1042804736 408 33554432000 134512640 135663704 4289879648 18446744073709551615 134524874 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/23610/statm: 254591 408 113 282 0 254307 0
[pid=23611] ppid=23587 vsize=406664 CPUtime=0 cores=0-7
/proc/23611/stat : 23611 (python) S 23587 23587 23451 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 529138637 416423936 6085 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4427708040581480447 0 0 17 1 0 0 0
/proc/23611/statm: 101666 6085 348 364 0 37566 0
[pid=23613] ppid=23611 vsize=246372 CPUtime=1.55 cores=0-7
/proc/23613/stat : 23613 (FH) R 23611 23613 23613 0 -1 4202496 781 0 0 0 155 0 0 0 25 0 1 0 529138638 252284928 523 33554432000 134512640 134936988 4291860928 18446744073709551615 134523736 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23613/statm: 61593 523 37 104 0 61097 0
[pid=23614] ppid=23587 vsize=416920 CPUtime=0 cores=0-7
/proc/23614/stat : 23614 (python) S 23587 23587 23451 0 -1 4202560 764 0 0 0 0 0 0 0 18 0 1 0 529138642 426926080 6095 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4576251236860297215 0 0 17 1 0 0 0
/proc/23614/statm: 104230 6095 354 364 0 40127 0
[pid=23616] ppid=23614 vsize=417840 CPUtime=1.49 cores=0-7
/proc/23616/stat : 23616 (adaptg2wsat2009) R 23614 23616 23616 0 -1 4202496 887 0 0 0 149 0 0 0 25 0 1 0 529138642 427868160 624 33554432000 134512640 135107411 4292020480 18446744073709551615 134523245 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/23616/statm: 104460 624 49 146 0 103336 0
[pid=23587/tid=23594] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23594/stat : 23594 (python) S 23585 23587 23451 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 9 0 529138614 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23597] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23597/stat : 23597 (python) S 23585 23587 23451 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 9 0 529138618 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 3 0 0 0
[pid=23587/tid=23600] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23600/stat : 23600 (python) S 23585 23587 23451 0 -1 4202560 83 935 0 0 0 0 0 0 19 0 9 0 529138621 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23603] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23603/stat : 23603 (python) S 23585 23587 23451 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 9 0 529138625 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 6 0 0 0
[pid=23587/tid=23606] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23606/stat : 23606 (python) S 23585 23587 23451 0 -1 4202560 31 935 0 0 0 0 0 0 21 0 9 0 529138629 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 4 0 0 0
[pid=23587/tid=23609] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23609/stat : 23609 (python) S 23585 23587 23451 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 9 0 529138633 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 7 0 0 0
[pid=23587/tid=23612] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23612/stat : 23612 (python) S 23585 23587 23451 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 9 0 529138637 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23615] ppid=23585 vsize=427164 CPUtime=0 cores=0-7
/proc/23587/task/23615/stat : 23615 (python) S 23585 23587 23451 0 -1 4202560 85 935 0 0 0 0 0 0 22 0 9 0 529138642 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 8316500

[startup+6.30092 s]
/proc/loadavg: 2.22 1.23 0.67 9/277 23616
/proc/meminfo: memFree=23056488/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=427164 CPUtime=1.46 cores=0-7
/proc/23587/stat : 23587 (python) S 23585 23587 23451 0 -1 4202496 16788 935 1 0 136 10 0 0 20 0 9 0 529138485 437415936 7636 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23587/statm: 106791 7636 1891 364 0 42688 0
[pid=23593] ppid=23587 vsize=278984 CPUtime=0 cores=0-7
/proc/23593/stat : 23593 (python) S 23587 23587 23451 0 -1 4202560 896 0 0 0 0 0 0 0 18 0 1 0 529138614 285679616 5692 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317583 0 0 16781312 514 4428785287098761476 0 0 17 1 0 0 0
/proc/23593/statm: 69746 5692 377 364 0 5664 0
[pid=23595] ppid=23593 vsize=1018364 CPUtime=4.99 cores=0-7
/proc/23595/stat : 23595 (gnovelty+2) R 23593 23595 23595 0 -1 4202496 674 0 0 0 499 0 0 0 25 0 1 0 529138614 1042804736 409 33554432000 134512640 135663704 4290602832 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/23595/statm: 254591 409 113 282 0 254307 0
[pid=23596] ppid=23587 vsize=289848 CPUtime=0 cores=0-7
/proc/23596/stat : 23596 (python) S 23587 23587 23451 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 529138618 296804352 5825 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4428792983680155908 0 0 17 7 0 0 0
/proc/23596/statm: 72462 5825 371 364 0 8377 0
[pid=23598] ppid=23596 vsize=1018364 CPUtime=4.97 cores=0-7
/proc/23598/stat : 23598 (gnovelty+2) R 23596 23598 23598 0 -1 4202496 673 0 0 0 497 0 0 0 25 0 1 0 529138618 1042804736 409 33554432000 134512640 135663704 4294862640 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/23598/statm: 254591 409 113 282 0 254307 0
[pid=23599] ppid=23587 vsize=365640 CPUtime=0 cores=0-7
/proc/23599/stat : 23599 (python) S 23587 23587 23451 0 -1 4202560 776 0 0 0 0 0 0 0 18 0 1 0 529138621 374415360 6001 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4389561309289480452 0 0 17 7 0 0 0
/proc/23599/statm: 91410 6001 370 364 0 27322 0
[pid=23601] ppid=23599 vsize=417976 CPUtime=4.93 cores=0-7
/proc/23601/stat : 23601 (adaptg2wsat2009) R 23599 23601 23601 0 -1 4202496 989 0 0 0 493 0 0 0 25 0 1 0 529138622 428007424 736 33554432000 134512640 135107411 4294177440 18446744073709551615 134539297 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/23601/statm: 104494 736 59 146 0 103370 0
[pid=23602] ppid=23587 vsize=375896 CPUtime=0 cores=0-7
/proc/23602/stat : 23602 (python) S 23587 23587 23451 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 1 0 529138625 384917504 5959 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4389557460998783234 0 0 17 6 0 0 0
/proc/23602/statm: 93974 5959 371 364 0 29883 0
[pid=23604] ppid=23602 vsize=417976 CPUtime=4.88 cores=0-7
/proc/23604/stat : 23604 (adaptg2wsat2009) R 23602 23604 23604 0 -1 4202496 992 0 0 0 488 0 0 0 25 0 1 0 529138625 428007424 736 33554432000 134512640 135107411 4292980720 18446744073709551615 134531428 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/23604/statm: 104494 736 59 146 0 103370 0
[pid=23605] ppid=23587 vsize=386152 CPUtime=0 cores=0-7
/proc/23605/stat : 23605 (python) S 23587 23587 23451 0 -1 4202560 796 0 0 0 0 0 0 0 18 0 1 0 529138629 395419648 6083 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 10826010843947172100 0 0 17 1 0 0 0
/proc/23605/statm: 96538 6083 371 364 0 32444 0
[pid=23607] ppid=23605 vsize=417976 CPUtime=4.85 cores=0-7
/proc/23607/stat : 23607 (adaptg2wsat2009) R 23605 23607 23607 0 -1 4202496 994 0 0 0 485 0 0 0 25 0 1 0 529138629 428007424 736 33554432000 134512640 135107411 4289798368 18446744073709551615 134531709 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23607/statm: 104494 736 59 146 0 103370 0
[pid=23608] ppid=23587 vsize=396408 CPUtime=0 cores=0-7
/proc/23608/stat : 23608 (python) S 23587 23587 23451 0 -1 4202560 809 0 0 0 0 0 0 0 18 0 1 0 529138633 405921792 5984 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4523702277633966340 0 0 17 1 0 0 0
/proc/23608/statm: 99102 5984 371 364 0 35005 0
[pid=23610] ppid=23608 vsize=1018364 CPUtime=4.75 cores=0-7
/proc/23610/stat : 23610 (gnovelty+2) R 23608 23610 23610 0 -1 4202496 664 0 0 0 475 0 0 0 25 0 1 0 529138633 1042804736 408 33554432000 134512640 135663704 4289879648 18446744073709551615 134525247 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/23610/statm: 254591 408 113 282 0 254307 0
[pid=23611] ppid=23587 vsize=406664 CPUtime=0 cores=0-7
/proc/23611/stat : 23611 (python) S 23587 23587 23451 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 529138637 416423936 6107 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4427708040581447940 0 0 17 1 0 0 0
/proc/23611/statm: 101666 6107 370 364 0 37566 0
[pid=23613] ppid=23611 vsize=247992 CPUtime=4.75 cores=0-7
/proc/23613/stat : 23613 (FH) R 23611 23613 23613 0 -1 4202496 918 0 0 0 475 0 0 0 25 0 1 0 529138638 253943808 658 33554432000 134512640 134936988 4291860928 18446744073709551615 134553505 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23613/statm: 61998 658 41 104 0 61502 0
[pid=23614] ppid=23587 vsize=416920 CPUtime=0 cores=0-7
/proc/23614/stat : 23614 (python) S 23587 23587 23451 0 -1 4202560 848 0 0 0 0 0 0 0 18 0 1 0 529138642 426926080 6118 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4576251236860297215 0 0 17 1 0 0 0
/proc/23614/statm: 104230 6118 377 364 0 40127 0
[pid=23616] ppid=23614 vsize=417976 CPUtime=4.63 cores=0-7
/proc/23616/stat : 23616 (adaptg2wsat2009) R 23614 23616 23616 0 -1 4202496 998 0 0 0 463 0 0 0 25 0 1 0 529138642 428007424 735 33554432000 134512640 135107411 4292020480 18446744073709551615 134531848 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/23616/statm: 104494 735 59 146 0 103370 0

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

/proc/23587/task/23631/stat : 23631 (python) S 23585 23587 23451 0 -1 4202560 37 935 0 0 0 0 0 0 18 0 26 0 529148645 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 4 0 0 0
[pid=23587/tid=23635] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23635/stat : 23635 (python) S 23585 23587 23451 0 -1 4202560 32 935 0 0 0 0 0 0 21 0 26 0 529148651 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 3 0 0 0
[pid=23587/tid=23640] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23640/stat : 23640 (python) S 23585 23587 23451 0 -1 4202560 37 935 0 0 0 0 0 0 18 0 26 0 529148659 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 6 0 0 0
[pid=23587/tid=23643] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23643/stat : 23643 (python) S 23585 23587 23451 0 -1 4202560 43 935 0 0 0 0 0 0 18 0 26 0 529148665 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 7 0 0 0
[pid=23587/tid=23647] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23647/stat : 23647 (python) S 23585 23587 23451 0 -1 4202560 33 935 0 0 0 0 0 0 21 0 26 0 529148671 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23655] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23655/stat : 23655 (python) S 23585 23587 23451 0 -1 4202560 39 935 0 0 0 0 0 0 20 0 26 0 529158663 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23663] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23663/stat : 23663 (python) S 23585 23587 23451 0 -1 4202560 38 935 0 0 0 0 0 0 20 0 26 0 529168312 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23667] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23667/stat : 23667 (python) S 23585 23587 23451 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 26 0 529168501 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23673] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23673/stat : 23673 (python) S 23585 23587 23451 0 -1 4202560 41 935 0 0 0 0 0 0 18 0 26 0 529177552 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23677] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23677/stat : 23677 (python) S 23585 23587 23451 0 -1 4202560 37 935 0 0 0 0 0 0 18 0 26 0 529178019 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23680] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23680/stat : 23680 (python) S 23585 23587 23451 0 -1 4202560 36 935 0 0 0 0 0 0 19 0 26 0 529178324 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23684] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23684/stat : 23684 (python) S 23585 23587 23451 0 -1 4202560 35 935 0 0 0 0 0 0 21 0 26 0 529178343 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23690] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23690/stat : 23690 (python) S 23585 23587 23451 0 -1 4202560 38 935 0 0 0 0 0 0 19 0 26 0 529188064 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23695] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23695/stat : 23695 (python) S 23585 23587 23451 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 26 0 529188875 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23708] ppid=23585 vsize=601516 CPUtime=0 cores=0-7
/proc/23587/task/23708/stat : 23708 (python) S 23585 23587 23451 0 -1 4202560 39 935 0 0 0 0 0 0 20 0 26 0 529207202 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5479.36
Current children cumulated vsize (KiB) 23843076

[startup+688.403 s]
/proc/loadavg: 8.32 7.45 4.54 10/350 23709
/proc/meminfo: memFree=22778540/32951124 swapFree=67111524/67111528
[pid=23587] ppid=23585 vsize=601516 CPUtime=2468.37 cores=0-7
/proc/23587/stat : 23587 (python) S 23585 23587 23451 0 -1 4202496 44244 42639 1 0 358 16 246227 236 17 0 26 0 529138485 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522127679 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23587/statm: 150379 7877 1926 364 0 86225 0
[pid=23605] ppid=23587 vsize=386152 CPUtime=0.61 cores=0-7
/proc/23605/stat : 23605 (python) S 23587 23587 23451 0 -1 4202560 981 0 0 0 32 29 0 0 18 0 2 0 529138629 395419648 6113 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/23605/statm: 96538 6113 400 364 0 32444 0
[pid=23607] ppid=23605 vsize=417976 CPUtime=294.1 cores=0-7
/proc/23607/stat : 23607 (adaptg2wsat2009) T 23605 23607 23607 0 -1 4202496 994 0 0 0 29410 0 0 0 25 0 1 0 529138629 428007424 736 33554432000 134512640 135107411 4289798368 18446744073709551615 134532349 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/23607/statm: 104494 736 59 146 0 103370 0
[pid=23605/tid=23632] ppid=23587 vsize=386152 CPUtime=0 cores=0-7
/proc/23605/task/23632/stat : 23632 (python) S 23587 23587 23451 0 -1 4202560 70 0 0 0 0 0 0 0 18 0 2 0 529148647 395419648 6113 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 514 18446604442548418432 0 0 -1 4 0 0 0
[pid=23611] ppid=23587 vsize=406664 CPUtime=0.8 cores=0-7
/proc/23611/stat : 23611 (python) S 23587 23587 23451 0 -1 4202560 1034 0 0 0 41 39 0 0 18 0 2 0 529138637 416423936 6144 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/23611/statm: 101666 6144 406 364 0 37566 0
[pid=23613] ppid=23611 vsize=247992 CPUtime=385.66 cores=0-7
/proc/23613/stat : 23613 (FH) R 23611 23613 23613 0 -1 4202496 918 0 0 0 38563 3 0 0 25 0 1 0 529138638 253943808 658 33554432000 134512640 134936988 4291860928 18446744073709551615 134554090 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23613/statm: 61998 658 41 104 0 61502 0
[pid=23611/tid=23638] ppid=23587 vsize=406664 CPUtime=0 cores=0-7
/proc/23611/task/23638/stat : 23638 (python) S 23587 23587 23451 0 -1 4202560 69 0 0 0 0 0 0 0 19 0 2 0 529148656 416423936 6144 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 514 18446604453943599360 0 0 -1 0 0 0 0
[pid=23621] ppid=23587 vsize=0 CPUtime=290.24 cores=0-7
/proc/23621/stat : 23621 (python) Z 23587 23587 23451 0 -1 4202588 1126 1015 0 0 32 29 28963 0 17 0 1 0 529148542 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23621/statm: 0 0 0 0 0 0 0
[pid=23625] ppid=23587 vsize=437432 CPUtime=0.41 cores=0-7
/proc/23625/stat : 23625 (python) S 23587 23587 23451 0 -1 4202560 1034 0 0 0 21 20 0 0 18 0 2 0 529148638 447930368 6049 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/23625/statm: 109358 6049 400 364 0 45249 0
[pid=23627] ppid=23625 vsize=247992 CPUtime=195.59 cores=0-7
/proc/23627/stat : 23627 (FH) R 23625 23627 23627 0 -1 4202496 926 0 0 0 19559 0 0 0 25 0 1 0 529148638 253943808 659 33554432000 134512640 134936988 4288153328 18446744073709551615 134545336 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/23627/statm: 61998 659 41 104 0 61502 0
[pid=23625/tid=23653] ppid=23587 vsize=437432 CPUtime=0 cores=0-7
/proc/23625/task/23653/stat : 23653 (python) S 23587 23587 23451 0 -1 4202560 75 0 0 0 0 0 0 0 19 0 2 0 529158657 447930368 6049 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 514 18446604470514929792 0 0 -1 5 0 0 0
[pid=23646] ppid=23587 vsize=488712 CPUtime=1.22 cores=0-7
/proc/23646/stat : 23646 (python) S 23587 23587 23451 0 -1 4202560 1022 0 0 0 65 57 0 0 18 0 1 0 529148671 500441088 6153 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 18446744073709519109 0 0 17 0 0 0 0
/proc/23646/statm: 122178 6153 380 364 0 58054 0
[pid=23648] ppid=23646 vsize=456472 CPUtime=582.33 cores=0-7
/proc/23648/stat : 23648 (TNM) R 23646 23648 23648 0 -1 4202496 916 0 0 0 58233 0 0 0 25 0 1 0 529148673 467427328 643 33554432000 134512640 135008748 4292224640 18446744073709551615 134527804 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/23648/statm: 114118 643 46 122 0 113018 0
[pid=23672] ppid=23587 vsize=529736 CPUtime=0.64 cores=0-7
/proc/23672/stat : 23672 (python) S 23587 23587 23451 0 -1 4202560 1141 0 0 0 35 29 0 0 18 0 2 0 529177552 542449664 6245 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/23672/statm: 132434 6245 401 364 0 68298 0
[pid=23674] ppid=23672 vsize=268428 CPUtime=295.89 cores=0-7
/proc/23674/stat : 23674 (hybridGM3) T 23672 23674 23674 0 -1 4202496 5067 0 0 0 29589 0 0 0 25 0 1 0 529177553 274870272 4788 33554432000 134512640 135204385 4289943168 18446744073709551615 134660132 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/23674/statm: 67107 4788 63 169 0 66937 0
[pid=23672/tid=23699] ppid=23587 vsize=529736 CPUtime=0 cores=0-7
/proc/23672/task/23699/stat : 23699 (python) S 23587 23587 23451 0 -1 4202560 89 0 0 0 0 0 0 0 18 0 2 0 529197196 542449664 6245 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 514 18446604462213479424 0 0 -1 0 0 0 0
[pid=23676] ppid=23587 vsize=539992 CPUtime=0.63 cores=0-7
/proc/23676/stat : 23676 (python) S 23587 23587 23451 0 -1 4202560 1145 0 0 0 35 28 0 0 18 0 2 0 529178019 552951808 6288 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/23676/statm: 134998 6288 401 364 0 70859 0
[pid=23678] ppid=23676 vsize=268420 CPUtime=291.62 cores=0-7
/proc/23678/stat : 23678 (hybridGM3) T 23676 23678 23678 0 -1 4202496 5059 0 0 0 29162 0 0 0 25 0 1 0 529178019 274862080 4786 33554432000 134512640 135204385 4290112240 18446744073709551615 134538034 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/23678/statm: 67105 4786 63 169 0 66935 0
[pid=23676/tid=23700] ppid=23587 vsize=539992 CPUtime=0 cores=0-7
/proc/23676/task/23700/stat : 23700 (python) S 23587 23587 23451 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 2 0 529197665 552951808 6288 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 514 18446604462213477632 0 0 -1 6 0 0 0
[pid=23679] ppid=23587 vsize=550248 CPUtime=0.61 cores=0-7
/proc/23679/stat : 23679 (python) S 23587 23587 23451 0 -1 4202560 943 0 0 0 34 27 0 0 18 0 1 0 529178324 563453952 6255 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4755203072177701125 0 0 17 0 0 0 0
/proc/23679/statm: 137562 6255 372 364 0 73420 0
[pid=23681] ppid=23679 vsize=456468 CPUtime=287.25 cores=0-7
/proc/23681/stat : 23681 (TNM) R 23679 23681 23681 0 -1 4202496 921 0 0 0 28725 0 0 0 25 0 1 0 529178325 467423232 644 33554432000 134512640 135008748 4289847232 18446744073709551615 134527734 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/23681/statm: 114117 644 46 122 0 113017 0
[pid=23683] ppid=23587 vsize=0 CPUtime=102.56 cores=0-7
/proc/23683/stat : 23683 (python) Z 23587 23587 23451 0 -1 4202588 1211 1490 0 0 13 9 10234 0 18 0 2 0 529178342 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 2 0 0 0
/proc/23683/statm: 0 0 0 0 0 0 0
[pid=23683/tid=23693] ppid=23587 vsize=0 CPUtime=102.34 cores=0-7
/proc/23683/task/23693/stat : 23693 (python) R 23587 23587 23451 0 -1 4203588 99 1490 0 0 0 0 10234 0 18 0 2 0 529188866 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 -1 7 0 0 0
[pid=23689] ppid=23587 vsize=570760 CPUtime=0.22 cores=0-7
/proc/23689/stat : 23689 (python) S 23587 23587 23451 0 -1 4202560 1187 0 0 0 12 10 0 0 19 0 2 0 529188064 584458240 6299 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/23689/statm: 142690 6299 407 364 0 78542 0
[pid=23691] ppid=23689 vsize=335996 CPUtime=97.56 cores=0-7
/proc/23691/stat : 23691 (iPAWS) T 23689 23691 23691 0 -1 4202496 1491 0 0 0 9756 0 0 0 25 0 1 0 529188064 344059904 1207 33554432000 134512640 135114423 4290392736 18446744073709551615 134514760 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/23691/statm: 83999 1207 59 147 0 83851 0
[pid=23689/tid=23701] ppid=23587 vsize=570760 CPUtime=0 cores=0-7
/proc/23689/task/23701/stat : 23701 (python) S 23587 23587 23451 0 -1 4202560 86 0 0 0 0 0 0 0 19 0 2 0 529198085 584458240 6299 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 514 18446604453942817856 0 0 -1 1 0 0 0
[pid=23694] ppid=23587 vsize=581016 CPUtime=0.4 cores=0-7
/proc/23694/stat : 23694 (python) S 23587 23587 23451 0 -1 4202560 999 0 0 0 20 20 0 0 18 0 1 0 529188875 594960384 6335 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 4755203072177701124 0 0 17 1 0 0 0
/proc/23694/statm: 145254 6335 379 364 0 81103 0
[pid=23696] ppid=23694 vsize=268420 CPUtime=182.48 cores=0-7
/proc/23696/stat : 23696 (hybridGM3) R 23694 23696 23696 0 -1 4202496 5068 0 0 0 18248 0 0 0 25 0 1 0 529188875 274862080 4786 33554432000 134512640 135204385 4292161904 18446744073709551615 134538480 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/23696/statm: 67105 4786 63 169 0 66935 0
[pid=23707] ppid=23587 vsize=591272 CPUtime=0 cores=0-7
/proc/23707/stat : 23707 (python) S 23587 23587 23451 0 -1 4202560 880 0 0 0 0 0 0 0 18 0 1 0 529207202 605462528 6296 33554432000 4194304 5683644 140736420107568 18446744073709551615 233510317638 0 0 16781312 514 10826014692237869316 0 0 17 2 0 0 0
/proc/23707/statm: 147818 6296 349 364 0 83664 0
[pid=23709] ppid=23707 vsize=268420 CPUtime=1.22 cores=0-7
/proc/23709/stat : 23709 (hybridGM3) R 23707 23709 23709 0 -1 4202496 5068 0 0 0 122 0 0 0 25 0 1 0 529207202 274862080 4786 33554432000 134512640 135204385 4288687536 18446744073709551615 134538427 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23709/statm: 67105 4786 63 169 0 66935 0
[pid=23587/tid=23594] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23594/stat : 23594 (python) S 23585 23587 23451 0 -1 4202560 27 42639 0 0 0 0 246227 236 19 0 26 0 529138614 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23597] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23597/stat : 23597 (python) S 23585 23587 23451 0 -1 4202560 26 42639 0 0 0 0 246227 236 18 0 26 0 529138618 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 3 0 0 0
[pid=23587/tid=23600] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23600/stat : 23600 (python) S 23585 23587 23451 0 -1 4202560 91 42639 0 0 0 0 246227 236 18 0 26 0 529138621 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23603] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23603/stat : 23603 (python) S 23585 23587 23451 0 -1 4202560 43 42639 0 0 0 0 246227 236 18 0 26 0 529138625 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 6 0 0 0
[pid=23587/tid=23606] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23606/stat : 23606 (python) S 23585 23587 23451 0 -1 4202560 43 42639 0 0 0 0 246227 236 18 0 26 0 529138629 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 4 0 0 0
[pid=23587/tid=23609] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23609/stat : 23609 (python) S 23585 23587 23451 0 -1 4202560 30 42639 0 0 0 0 246227 236 19 0 26 0 529138633 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 7 0 0 0
[pid=23587/tid=23612] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23612/stat : 23612 (python) S 23585 23587 23451 0 -1 4202560 37 42639 0 0 0 0 246227 236 18 0 26 0 529138637 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23615] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23615/stat : 23615 (python) S 23585 23587 23451 0 -1 4202560 90 42639 0 0 0 0 246227 236 18 0 26 0 529138642 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23622] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23622/stat : 23622 (python) S 23585 23587 23451 0 -1 4202560 46 42639 0 0 0 0 246227 236 18 0 26 0 529148542 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23626] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23626/stat : 23626 (python) S 23585 23587 23451 0 -1 4202560 42 42639 0 0 0 0 246227 236 18 0 26 0 529148638 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23631] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23631/stat : 23631 (python) S 23585 23587 23451 0 -1 4202560 37 42639 0 0 0 0 246227 236 18 0 26 0 529148645 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 4 0 0 0
[pid=23587/tid=23635] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23635/stat : 23635 (python) S 23585 23587 23451 0 -1 4202560 32 42639 0 0 0 0 246227 236 21 0 26 0 529148651 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 3 0 0 0
[pid=23587/tid=23640] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23640/stat : 23640 (python) S 23585 23587 23451 0 -1 4202560 37 42639 0 0 0 0 246227 236 18 0 26 0 529148659 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 6 0 0 0
[pid=23587/tid=23643] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23643/stat : 23643 (python) S 23585 23587 23451 0 -1 4202560 43 42639 0 0 0 0 246227 236 18 0 26 0 529148665 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 7 0 0 0
[pid=23587/tid=23647] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23647/stat : 23647 (python) S 23585 23587 23451 0 -1 4202560 33 42639 0 0 0 0 246227 236 21 0 26 0 529148671 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23655] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23655/stat : 23655 (python) S 23585 23587 23451 0 -1 4202560 39 42639 0 0 0 0 246227 236 20 0 26 0 529158663 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23663] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23663/stat : 23663 (python) S 23585 23587 23451 0 -1 4202560 38 42639 0 0 0 0 246227 236 20 0 26 0 529168312 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23667] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23667/stat : 23667 (python) S 23585 23587 23451 0 -1 4202560 34 42639 0 0 0 0 246227 236 20 0 26 0 529168501 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23673] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23673/stat : 23673 (python) S 23585 23587 23451 0 -1 4202560 41 42639 0 0 0 0 246227 236 18 0 26 0 529177552 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 0 0 0 0
[pid=23587/tid=23677] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23677/stat : 23677 (python) S 23585 23587 23451 0 -1 4202560 37 42639 0 0 0 0 246227 236 18 0 26 0 529178019 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 1 0 0 0
[pid=23587/tid=23680] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23680/stat : 23680 (python) S 23585 23587 23451 0 -1 4202560 36 42639 0 0 0 0 246227 236 19 0 26 0 529178324 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23684] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23684/stat : 23684 (python) S 23585 23587 23451 0 -1 4202560 35 42639 0 0 0 0 246227 236 21 0 26 0 529178343 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23690] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23690/stat : 23690 (python) S 23585 23587 23451 0 -1 4202560 38 42639 0 0 0 0 246227 236 19 0 26 0 529188064 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23695] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23695/stat : 23695 (python) S 23585 23587 23451 0 -1 4202560 31 42639 0 0 0 0 246227 236 20 0 26 0 529188875 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 2 0 0 0
[pid=23587/tid=23708] ppid=23585 vsize=601516 CPUtime=2464.63 cores=0-7
/proc/23587/task/23708/stat : 23708 (python) S 23585 23587 23451 0 -1 4202560 39 42639 0 0 0 0 246227 236 20 0 26 0 529207202 615952384 7877 33554432000 4194304 5683644 140736420107568 18446744073709551615 233522121137 0 0 16781312 2 18446604453912947712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5480.41
Current children cumulated vsize (KiB) 8920084

Child status: 0
Real time (s): 688.45
CPU time (s): 5480.77
CPU user time (s): 5475.1
CPU system time (s): 5.66814
CPU usage (%): 796.102
Max. virtual memory (cumulated for all children) (KiB): 23843076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5475.1
system time used= 5.66814
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133407
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= 7978
involuntary context switches= 32813

runsolver used 4.92725 second user time and 10.5754 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-02 22:13:46
IDJOB=3321783
IDBENCH=82561
IDSOLVER=1712
FILE ID=node145/3321783-1304367226
RUNJOBID= node145-1304366464-23465
PBS_JOBID= 13181729
Free space on /tmp= 73636 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S896023516-057-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-3321783-1304367226/watcher-3321783-1304367226 -o /tmp/evaluation-result-3321783-1304367226/solver-3321783-1304367226 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321783-1304367226.cnf -seed 1592813106 -budget 40000 -cores 8

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

MD5SUM BENCH= fbc6593197090933c7d66c2e5740159a
RANDOM SEED=1592813106

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23127448 kB
Buffers:       1324704 kB
Cached:        6051124 kB
SwapCached:          4 kB
Active:        4288724 kB
Inactive:      4978196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23127448 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           32468 kB
Writeback:           0 kB
AnonPages:     1891664 kB
Mapped:          20728 kB
Slab:           475888 kB
PageTables:      17044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38156304 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= 73604 MiB
End job on node145 at 2011-05-02 22:25:15