Trace number 1776150

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
ttsth-5-0 2009-03-19 (16 threads)Signal 1132.07 123.893

General information on the benchmark

Nameindustrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
MD5SUM175ec3119584300988ad366c4a04cccc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark383.27
Satisfiable
(Un)Satisfiability was proved
Number of variables69148
Number of clauses208728
Sum of the clauses size487544
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2139492
Number of clauses of size 368730
Number of clauses of size 4102
Number of clauses of size 513
Number of clauses of size over 5135

Solver Data 

0.20/0.26	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776150-1244929010.cnf 
0.20/0.26	c Using SATTIMEOUT of 10000
0.20/0.26	c Using SATRAM of 2047
0.20/0.26	c Size of subset node = 16
0.20/0.26	c Variables = 71112
0.20/0.26	c Clauses = 208728
0.20/0.26	c Literals = 487544
0.20/0.26	c Reduced size:
0.20/0.26	c Variables = 69148
0.20/0.26	c Clauses = 207960
0.20/0.26	c Literals = 486008
0.20/0.26	c a2
0.38/0.49	c a1
22.00/22.07	c Independent sub-problems = 1
22.00/22.07	c Sub-problem with 68892 variables and 207960 clauses
22.00/22.07	c using permutation method 4
22.00/22.07	c count = 1
22.00/22.07	c Ordering finished 21.990 seconds
22.00/22.07	c mapped 22.060 seconds
22.00/22.07	c permuted 22.060 seconds
22.00/22.07	c about to sort
22.10/22.11	c sorted
25.48/25.56	c clauses now 207960
25.48/25.56	c init finished 23.390 seconds
25.48/25.56	c tree built 25.530 seconds
25.48/25.56	c 
25.48/25.56	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
25.48/25.56	c ---------------------------------|----------------------------------|------------------------------------------------------
25.48/25.56	c ................................ | ..........                       |                       25.6           0.0           18
25.48/25.56	c ................................ | ..........                     1 |                       25.6           0.0           18
25.48/25.56	c ................................ | ..........                     2 |                       25.6           0.1           18
25.48/25.56	c ................................ | ..........                     3 |                       25.6           0.1           18
25.48/25.56	c ................................ | ..........                     4 |                       25.6           0.2           18
25.48/25.56	c ................................ | ..........                     5 |                       25.6           0.2           18
25.48/25.57	c ................................ | ..........                  1000 |                       25.7          38.9          103
293.42/44.99	c ................................ | ..........               2409000 | 42732                200.0       12044.4      3063335
592.85/67.03	c ................................ | ..........               5327000 | 64947                400.5       13301.9      6940525
832.58/90.34	c ................................ | ..........               7779000 | 89822                600.0       12964.6     14005346
1060.60/113.73	c ................................ | ..........               9446000 | 122673               800.5       11800.3     22088778

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1776150-1244929010/watcher-1776150-1244929010 -o /tmp/evaluation-result-1776150-1244929010/solver-1776150-1244929010 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776150-1244929010.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.00 1.00 2/184 17684
/proc/meminfo: memFree=19061904/36427776 swapFree=3100/7896
[pid=17684] ppid=17682 vsize=1540 CPUtime=0
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 281 0 0 0 0 0 0 0 20 0 1 0 652207401 1576960 238 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 385 239 75 177 0 207 0

[startup+0.112953 s]
/proc/loadavg: 1.04 1.00 1.00 2/184 17684
/proc/meminfo: memFree=19061904/36427776 swapFree=3100/7896
[pid=17684] ppid=17682 vsize=8552 CPUtime=0.1
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 2005 0 0 0 10 0 0 0 20 0 1 0 652207401 8757248 1962 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 2138 1963 75 177 0 1960 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8552

[startup+0.201056 s]
/proc/loadavg: 1.04 1.00 1.00 2/184 17684
/proc/meminfo: memFree=19061904/36427776 swapFree=3100/7896
[pid=17684] ppid=17682 vsize=16380 CPUtime=0.2
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 3476 0 0 0 20 0 0 0 20 0 1 0 652207401 16773120 3433 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134522627 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 4095 3433 75 177 0 3917 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 16380

[startup+0.300985 s]
/proc/loadavg: 1.04 1.00 1.00 2/184 17684
/proc/meminfo: memFree=19061904/36427776 swapFree=3100/7896
[pid=17684] ppid=17682 vsize=25400 CPUtime=0.28
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 6001 0 0 0 26 2 0 0 20 0 1 0 652207401 26009600 5958 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 6350 5961 76 177 0 6172 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25400

[startup+0.701013 s]
/proc/loadavg: 1.04 1.00 1.00 2/184 17684
/proc/meminfo: memFree=19061904/36427776 swapFree=3100/7896
[pid=17684] ppid=17682 vsize=36988 CPUtime=0.68
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 9700 0 0 0 66 2 0 0 20 0 1 0 652207401 37875712 8902 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 9247 8904 77 177 0 9069 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36988

[startup+1.50106 s]
/proc/loadavg: 1.04 1.00 1.00 2/185 17685
/proc/meminfo: memFree=19023388/36427776 swapFree=4124/46304
[pid=17684] ppid=17682 vsize=39504 CPUtime=1.5
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 10307 0 0 0 146 4 0 0 20 0 1 0 652207401 40452096 9509 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 9876 9509 77 177 0 9698 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 39504

[startup+3.1012 s]
/proc/loadavg: 1.04 1.00 1.00 2/185 17685
/proc/meminfo: memFree=19023848/36427776 swapFree=4620/47032
[pid=17684] ppid=17682 vsize=39700 CPUtime=3.1
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 10353 0 0 0 306 4 0 0 20 0 1 0 652207401 40652800 9555 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134600975 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 9925 9555 77 177 0 9747 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 39700

[startup+6.30148 s]
/proc/loadavg: 1.04 1.00 1.00 2/185 17685
/proc/meminfo: memFree=19023476/36427776 swapFree=4620/47432
[pid=17684] ppid=17682 vsize=39992 CPUtime=6.3
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 10450 0 0 0 626 4 0 0 20 0 1 0 652207401 40951808 9652 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134600972 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 9998 9652 77 177 0 9820 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 39992

[startup+12.702 s]
/proc/loadavg: 1.03 1.00 1.00 2/185 17685
/proc/meminfo: memFree=19022556/36427776 swapFree=4620/48212
[pid=17684] ppid=17682 vsize=40712 CPUtime=12.7
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 10602 0 0 0 1266 4 0 0 20 0 1 0 652207401 41689088 9804 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134600972 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 10178 9804 77 177 0 10000 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 40712

[startup+25.5031 s]
/proc/loadavg: 1.03 1.00 1.00 2/185 17685
/proc/meminfo: memFree=18256668/36427776 swapFree=4676/812900
[pid=17684] ppid=17682 vsize=815212 CPUtime=25.48
/proc/17684/stat : 17684 (ttsth-5-0) R 17682 17684 15497 0 -1 4202496 205213 0 0 0 2478 70 0 0 20 0 1 0 652207401 834777088 203621 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 203803 203622 91 177 0 203625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 815212

[startup+51.1067 s]
/proc/loadavg: 6.00 2.17 1.39 17/201 17701
/proc/meminfo: memFree=18125216/36427776 swapFree=4692/946668
[pid=17684] ppid=17682 vsize=1047168 CPUtime=378.55
/proc/17684/stat : 17684 (ttsth-5-0) S 17682 17684 15497 0 -1 4202496 236762 0 0 0 14476 23379 0 0 20 0 17 0 652207401 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 261792 235169 95 177 0 261614 0
[pid=17684/tid=17686] ppid=17682 vsize=1047168 CPUtime=25.52
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 9145 0 0 0 2536 16 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134550989 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1047168 CPUtime=25
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1194 0 0 0 710 1790 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1047168 CPUtime=19.3
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1543 0 0 0 572 1358 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1047168 CPUtime=19.12
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1924 0 0 0 602 1310 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1047168 CPUtime=24.14
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1686 0 0 0 682 1732 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=1047168 CPUtime=18.72
/proc/17684/task/17691/stat : 17691 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1197 0 0 0 482 1390 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17692] ppid=17682 vsize=1047168 CPUtime=24.96
/proc/17684/task/17692/stat : 17692 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1738 0 0 0 722 1774 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=17684/tid=17693] ppid=17682 vsize=1047168 CPUtime=23.66
/proc/17684/task/17693/stat : 17693 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1620 0 0 0 676 1690 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=17684/tid=17694] ppid=17682 vsize=1047168 CPUtime=22.04
/proc/17684/task/17694/stat : 17694 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1583 0 0 0 654 1550 0 0 20 0 17 0 652209956 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17695] ppid=17682 vsize=1047168 CPUtime=20.78
/proc/17684/task/17695/stat : 17695 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1478 0 0 0 612 1466 0 0 20 0 17 0 652209957 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=17684/tid=17696] ppid=17682 vsize=1047168 CPUtime=23.8
/proc/17684/task/17696/stat : 17696 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1621 0 0 0 704 1676 0 0 20 0 17 0 652209957 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=17684/tid=17697] ppid=17682 vsize=1047168 CPUtime=21.16
/proc/17684/task/17697/stat : 17697 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1357 0 0 0 608 1508 0 0 20 0 17 0 652209957 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=17684/tid=17698] ppid=17682 vsize=1047168 CPUtime=24.48
/proc/17684/task/17698/stat : 17698 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1399 0 0 0 708 1740 0 0 20 0 17 0 652209957 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=1047168 CPUtime=22.48
/proc/17684/task/17699/stat : 17699 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1326 0 0 0 634 1614 0 0 20 0 17 0 652209957 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17700] ppid=17682 vsize=1047168 CPUtime=24.98
/proc/17684/task/17700/stat : 17700 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1446 0 0 0 710 1788 0 0 20 0 17 0 652209958 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17701] ppid=17682 vsize=1047168 CPUtime=12.78
/proc/17684/task/17701/stat : 17701 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 1126 0 0 0 378 900 0 0 20 0 17 0 652209958 1072300032 235169 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 378.55
Current children cumulated vsize (KiB) 1047168

[startup+102.304 s]
/proc/loadavg: 11.97 4.48 2.22 17/201 17701
/proc/meminfo: memFree=17815300/36427776 swapFree=4692/1255680
[pid=17684] ppid=17682 vsize=1338760 CPUtime=949.33
/proc/17684/stat : 17684 (ttsth-5-0) S 17682 17684 15497 0 -1 4202496 313515 0 0 0 45963 48970 0 0 20 0 17 0 652207401 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 334690 311922 95 177 0 334512 0
[pid=17684/tid=17686] ppid=17682 vsize=1338760 CPUtime=75.61
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 21975 0 0 0 7527 34 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1338760 CPUtime=58.11
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5367 0 0 0 2380 3431 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1338760 CPUtime=54.48
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5855 0 0 0 2358 3090 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1338760 CPUtime=58.12
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6085 0 0 0 2458 3354 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1338760 CPUtime=57.58
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6163 0 0 0 2398 3360 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=1338760 CPUtime=54.7
/proc/17684/task/17691/stat : 17691 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5273 0 0 0 2362 3108 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=17684/tid=17692] ppid=17682 vsize=1338760 CPUtime=64.21
/proc/17684/task/17692/stat : 17692 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6577 0 0 0 2734 3687 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17693] ppid=17682 vsize=1338760 CPUtime=50.46
/proc/17684/task/17693/stat : 17693 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5522 0 0 0 2166 2880 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17694] ppid=17682 vsize=1338760 CPUtime=60.65
/proc/17684/task/17694/stat : 17694 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 4471 0 0 0 2490 3575 0 0 20 0 17 0 652209956 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17695] ppid=17682 vsize=1338760 CPUtime=55.54
/proc/17684/task/17695/stat : 17695 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5210 0 0 0 2288 3266 0 0 20 0 17 0 652209957 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=17684/tid=17696] ppid=17682 vsize=1338760 CPUtime=64.02
/proc/17684/task/17696/stat : 17696 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7158 0 0 0 2812 3590 0 0 20 0 17 0 652209957 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=17684/tid=17697] ppid=17682 vsize=1338760 CPUtime=52.14
/proc/17684/task/17697/stat : 17697 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 4322 0 0 0 2182 3032 0 0 20 0 17 0 652209957 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17698] ppid=17682 vsize=1338760 CPUtime=56.04
/proc/17684/task/17698/stat : 17698 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6253 0 0 0 2406 3198 0 0 20 0 17 0 652209957 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=1338760 CPUtime=55.54
/proc/17684/task/17699/stat : 17699 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 4432 0 0 0 2188 3366 0 0 20 0 17 0 652209957 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=17684/tid=17700] ppid=17682 vsize=1338760 CPUtime=60.13
/proc/17684/task/17700/stat : 17700 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6460 0 0 0 2606 3407 0 0 20 0 17 0 652209958 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17701] ppid=17682 vsize=1338760 CPUtime=46.34
/proc/17684/task/17701/stat : 17701 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7013 0 0 0 2118 2516 0 0 20 0 17 0 652209958 1370890240 311922 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 949.33
Current children cumulated vsize (KiB) 1338760

Solver just ended. Dumping a history of the last processes samples

[startup+102.416 s]
/proc/loadavg: 11.97 4.48 2.22 17/201 17701
/proc/meminfo: memFree=17815300/36427776 swapFree=4692/1255680
[pid=17684] ppid=17682 vsize=1338916 CPUtime=950.33
/proc/17684/stat : 17684 (ttsth-5-0) S 17682 17684 15497 0 -1 4202496 313746 0 0 0 46018 49015 0 0 20 0 17 0 652207401 1371049984 312153 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/17684/statm: 334729 312153 95 177 0 334551 0
[pid=17684/tid=17686] ppid=17682 vsize=1338916 CPUtime=75.71
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 22034 0 0 0 7537 34 0 0 20 0 17 0 652209956 1371049984 312153 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1338916 CPUtime=58.16
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5367 0 0 0 2382 3434 0 0 20 0 17 0 652209956 1371049984 312153 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1338916 CPUtime=54.52
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5855 0 0 0 2360 3092 0 0 20 0 17 0 652209956 1371049984 312153 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1338916 CPUtime=58.17
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6090 0 0 0 2460 3357 0 0 20 0 17 0 652209956 1371049984 312153 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1338916 CPUtime=57.64
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6179 0 0 0 2400 3364 0 0 20 0 17 0 652209956 1371049984 312153 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

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

/proc/17684/statm: 364119 340884 95 177 0 363941 0
[pid=17684/tid=17686] ppid=17682 vsize=1456476 CPUtime=91.66
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 28371 0 0 0 9124 42 0 0 20 0 17 0 652209956 1491431424 340884 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1456476 CPUtime=66.61
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6834 0 0 0 3036 3625 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1456476 CPUtime=65.29
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6894 0 0 0 3136 3393 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1456476 CPUtime=66.16
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6651 0 0 0 3044 3572 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1456476 CPUtime=65.58
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7610 0 0 0 2988 3570 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=1456476 CPUtime=66.08
/proc/17684/task/17691/stat : 17691 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7312 0 0 0 3198 3410 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17692] ppid=17682 vsize=1456476 CPUtime=72.81
/proc/17684/task/17692/stat : 17692 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7784 0 0 0 3372 3909 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17693] ppid=17682 vsize=1456476 CPUtime=61.98
/proc/17684/task/17693/stat : 17693 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7673 0 0 0 3000 3198 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17694] ppid=17682 vsize=1456476 CPUtime=68.64
/proc/17684/task/17694/stat : 17694 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5397 0 0 0 3096 3768 0 0 20 0 17 0 652209956 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17695] ppid=17682 vsize=1456476 CPUtime=63.55
/proc/17684/task/17695/stat : 17695 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6912 0 0 0 2884 3471 0 0 20 0 17 0 652209957 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134561478 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17696] ppid=17682 vsize=1456476 CPUtime=72.44
/proc/17684/task/17696/stat : 17696 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 7931 0 0 0 3454 3790 0 0 20 0 17 0 652209957 1491431424 340885 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17697] ppid=17682 vsize=1456476 CPUtime=60.23
/proc/17684/task/17697/stat : 17697 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 5462 0 0 0 2798 3225 0 0 20 0 17 0 652209957 1491431424 340886 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17698] ppid=17682 vsize=1456476 CPUtime=66.01
/proc/17684/task/17698/stat : 17698 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 8736 0 0 0 3142 3459 0 0 20 0 17 0 652209957 1491431424 340886 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=1456476 CPUtime=67.19
/proc/17684/task/17699/stat : 17699 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 6205 0 0 0 3072 3647 0 0 20 0 17 0 652209957 1491431424 340886 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134680474 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17700] ppid=17682 vsize=1456476 CPUtime=70.59
/proc/17684/task/17700/stat : 17700 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 8518 0 0 0 3388 3671 0 0 20 0 17 0 652209958 1491431424 340886 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17701] ppid=17682 vsize=1456476 CPUtime=55.3
/proc/17684/task/17701/stat : 17701 (ttsth-5-0) R 17682 17684 15497 0 -1 4202560 8809 0 0 0 2792 2738 0 0 20 0 17 0 652209958 1491431424 340886 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1105.77
Current children cumulated vsize (KiB) 1456476

[startup+121.603 s]
/proc/loadavg: 12.86 5.04 2.44 17/201 17701
/proc/meminfo: memFree=17678796/36427776 swapFree=4692/1392504
[pid=17684] ppid=17682 vsize=1476456 CPUtime=1129.77
/proc/17684/stat : 17684 (ttsth-5-0) D 17682 17684 15497 0 -1 4203524 347536 0 0 0 60107 52870 0 0 20 0 17 0 652207401 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/17684/statm: 369114 345943 95 177 0 368936 0
[pid=17684/tid=17686] ppid=17682 vsize=1476456 CPUtime=94.86
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4204096 29426 0 0 0 9384 102 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134586974 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1476456 CPUtime=67.94
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7017 0 0 0 3150 3644 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134683146 0 0 1 0 18446744071564378229 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1476456 CPUtime=67.1
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7377 0 0 0 3287 3423 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1476456 CPUtime=67.52
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7177 0 0 0 3174 3578 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1476456 CPUtime=66.89
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7944 0 0 0 3100 3589 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=1476456 CPUtime=67.45
/proc/17684/task/17691/stat : 17691 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7440 0 0 0 3323 3422 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17692] ppid=17682 vsize=1476456 CPUtime=74.09
/proc/17684/task/17692/stat : 17692 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7889 0 0 0 3478 3931 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134591065 0 0 1 0 18446744071564378229 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17693] ppid=17682 vsize=1476456 CPUtime=63.27
/proc/17684/task/17693/stat : 17693 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7807 0 0 0 3114 3213 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17694] ppid=17682 vsize=1476456 CPUtime=69.97
/proc/17684/task/17694/stat : 17694 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 5636 0 0 0 3215 3782 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17695] ppid=17682 vsize=1476456 CPUtime=64.83
/proc/17684/task/17695/stat : 17695 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7113 0 0 0 2998 3485 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17696] ppid=17682 vsize=1476456 CPUtime=73.72
/proc/17684/task/17696/stat : 17696 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 8039 0 0 0 3563 3809 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134591304 0 0 1 0 18446744071564378229 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17697] ppid=17682 vsize=1476456 CPUtime=61.5
/proc/17684/task/17697/stat : 17697 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 5598 0 0 0 2910 3240 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17698] ppid=17682 vsize=1476456 CPUtime=67.34
/proc/17684/task/17698/stat : 17698 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 9219 0 0 0 3258 3476 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562341 0 0 1 0 18446744071564378229 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=1476456 CPUtime=68.67
/proc/17684/task/17699/stat : 17699 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 6343 0 0 0 3202 3665 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134549950 0 0 1 0 18446744071564378229 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17700] ppid=17682 vsize=1476456 CPUtime=71.89
/proc/17684/task/17700/stat : 17700 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 8674 0 0 0 3503 3686 0 0 20 0 17 0 652209958 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17701] ppid=17682 vsize=1476456 CPUtime=57.1
/proc/17684/task/17701/stat : 17701 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 9458 0 0 0 2960 2750 0 0 20 0 17 0 652209958 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134680273 0 0 1 0 18446744071564378229 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1129.77
Current children cumulated vsize (KiB) 1476456

[startup+123.203 s]
/proc/loadavg: 13.19 5.24 2.52 2/201 17701
/proc/meminfo: memFree=16544412/36427776 swapFree=4692/1393428
[pid=17684] ppid=17682 vsize=1476456 CPUtime=1131.37
/proc/17684/stat : 17684 (ttsth-5-0) D 17682 17684 15497 0 -1 4203524 347536 0 0 0 60107 53030 0 0 20 0 17 0 652207401 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/17684/statm: 369114 345943 95 177 0 368936 0
[pid=17684/tid=17686] ppid=17682 vsize=1476456 CPUtime=96.46
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4204096 29426 0 0 0 9384 262 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134586974 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1476456 CPUtime=67.94
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7017 0 0 0 3150 3644 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134683146 0 0 1 0 18446744071564378229 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1476456 CPUtime=67.1
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7377 0 0 0 3287 3423 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1476456 CPUtime=67.52
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7177 0 0 0 3174 3578 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1476456 CPUtime=66.89
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7944 0 0 0 3100 3589 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=1476456 CPUtime=67.45
/proc/17684/task/17691/stat : 17691 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7440 0 0 0 3323 3422 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17692] ppid=17682 vsize=1476456 CPUtime=74.09
/proc/17684/task/17692/stat : 17692 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7889 0 0 0 3478 3931 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134591065 0 0 1 0 18446744071564378229 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17693] ppid=17682 vsize=1476456 CPUtime=63.27
/proc/17684/task/17693/stat : 17693 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7807 0 0 0 3114 3213 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17694] ppid=17682 vsize=1476456 CPUtime=69.97
/proc/17684/task/17694/stat : 17694 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 5636 0 0 0 3215 3782 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17695] ppid=17682 vsize=1476456 CPUtime=64.83
/proc/17684/task/17695/stat : 17695 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7113 0 0 0 2998 3485 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17696] ppid=17682 vsize=1476456 CPUtime=73.72
/proc/17684/task/17696/stat : 17696 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 8039 0 0 0 3563 3809 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134591304 0 0 1 0 18446744071564378229 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17697] ppid=17682 vsize=1476456 CPUtime=61.5
/proc/17684/task/17697/stat : 17697 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 5598 0 0 0 2910 3240 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17698] ppid=17682 vsize=1476456 CPUtime=67.34
/proc/17684/task/17698/stat : 17698 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 9219 0 0 0 3258 3476 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562341 0 0 1 0 18446744071564378229 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=1476456 CPUtime=68.67
/proc/17684/task/17699/stat : 17699 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 6343 0 0 0 3202 3665 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134549950 0 0 1 0 18446744071564378229 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17700] ppid=17682 vsize=1476456 CPUtime=71.89
/proc/17684/task/17700/stat : 17700 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 8674 0 0 0 3503 3686 0 0 20 0 17 0 652209958 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17701] ppid=17682 vsize=1476456 CPUtime=57.1
/proc/17684/task/17701/stat : 17701 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 9458 0 0 0 2960 2750 0 0 20 0 17 0 652209958 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134680273 0 0 1 0 18446744071564378229 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1131.37
Current children cumulated vsize (KiB) 1476456

[startup+123.603 s]
/proc/loadavg: 13.19 5.24 2.52 2/201 17701
/proc/meminfo: memFree=16544412/36427776 swapFree=4692/1393428
[pid=17684] ppid=17682 vsize=1476456 CPUtime=1131.77
/proc/17684/stat : 17684 (ttsth-5-0) D 17682 17684 15497 0 -1 4203524 347536 0 0 0 60107 53070 0 0 20 0 17 0 652207401 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/17684/statm: 369114 345943 95 177 0 368936 0
[pid=17684/tid=17686] ppid=17682 vsize=1476456 CPUtime=96.86
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4204096 29426 0 0 0 9384 302 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134586974 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=17684/tid=17687] ppid=17682 vsize=1476456 CPUtime=67.94
/proc/17684/task/17687/stat : 17687 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7017 0 0 0 3150 3644 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134683146 0 0 1 0 18446744071564378229 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17688] ppid=17682 vsize=1476456 CPUtime=67.1
/proc/17684/task/17688/stat : 17688 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7377 0 0 0 3287 3423 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17689] ppid=17682 vsize=1476456 CPUtime=67.52
/proc/17684/task/17689/stat : 17689 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7177 0 0 0 3174 3578 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17690] ppid=17682 vsize=1476456 CPUtime=66.89
/proc/17684/task/17690/stat : 17690 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7944 0 0 0 3100 3589 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 9 0 0 0 0 0
[pid=17684/tid=17691] ppid=17682 vsize=1476456 CPUtime=67.45
/proc/17684/task/17691/stat : 17691 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7440 0 0 0 3323 3422 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17692] ppid=17682 vsize=1476456 CPUtime=74.09
/proc/17684/task/17692/stat : 17692 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7889 0 0 0 3478 3931 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134591065 0 0 1 0 18446744071564378229 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17693] ppid=17682 vsize=1476456 CPUtime=63.27
/proc/17684/task/17693/stat : 17693 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7807 0 0 0 3114 3213 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 7 0 0 0 0 0
[pid=17684/tid=17694] ppid=17682 vsize=1476456 CPUtime=69.97
/proc/17684/task/17694/stat : 17694 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 5636 0 0 0 3215 3782 0 0 20 0 17 0 652209956 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17695] ppid=17682 vsize=1476456 CPUtime=64.83
/proc/17684/task/17695/stat : 17695 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 7113 0 0 0 2998 3485 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17696] ppid=17682 vsize=1476456 CPUtime=73.72
/proc/17684/task/17696/stat : 17696 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 8039 0 0 0 3563 3809 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134591304 0 0 1 0 18446744071564378229 0 0 -1 4 0 0 0 0 0
[pid=17684/tid=17697] ppid=17682 vsize=1476456 CPUtime=61.5
/proc/17684/task/17697/stat : 17697 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 5598 0 0 0 2910 3240 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 15 0 0 0 0 0
[pid=17684/tid=17698] ppid=17682 vsize=1476456 CPUtime=67.34
/proc/17684/task/17698/stat : 17698 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 9219 0 0 0 3258 3476 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134562341 0 0 1 0 18446744071564378229 0 0 -1 12 0 0 0 0 0
[pid=17684/tid=17699] ppid=17682 vsize=1476456 CPUtime=68.67
/proc/17684/task/17699/stat : 17699 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 6343 0 0 0 3202 3665 0 0 20 0 17 0 652209957 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134549950 0 0 1 0 18446744071564378229 0 0 -1 3 0 0 0 0 0
[pid=17684/tid=17700] ppid=17682 vsize=1476456 CPUtime=71.89
/proc/17684/task/17700/stat : 17700 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 8674 0 0 0 3503 3686 0 0 20 0 17 0 652209958 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134636382 0 0 1 0 18446744071564378229 0 0 -1 0 0 0 0 0 0
[pid=17684/tid=17701] ppid=17682 vsize=1476456 CPUtime=57.1
/proc/17684/task/17701/stat : 17701 (ttsth-5-0) D 17682 17684 15497 0 -1 4203588 9458 0 0 0 2960 2750 0 0 20 0 17 0 652209958 1511890944 345943 18446744073709551615 134512640 135237372 4293834176 18446744073709551615 134680273 0 0 1 0 18446744071564378229 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1131.77
Current children cumulated vsize (KiB) 1476456

[startup+123.803 s]
/proc/loadavg: 13.19 5.24 2.52 2/201 17701
/proc/meminfo: memFree=16544412/36427776 swapFree=4692/1393428
[pid=17684] ppid=17682 vsize=0 CPUtime=1131.97
/proc/17684/stat : 17684 (ttsth-5-0) Z 17682 17684 15497 0 -1 4203532 347537 0 0 0 60107 53090 0 0 20 0 2 0 652207401 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/17684/statm: 0 0 0 0 0 0 0
[pid=17684/tid=17686] ppid=17682 vsize=0 CPUtime=97.06
/proc/17684/task/17686/stat : 17686 (ttsth-5-0) R 17682 17684 15497 0 -1 4204100 29427 0 0 0 9384 322 0 0 20 0 2 0 652209956 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1131.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 123.893
CPU time (s): 1132.07
CPU user time (s): 601.082
CPU system time (s): 530.989
CPU usage (%): 913.751
Max. virtual memory (cumulated for all children) (KiB): 1476456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 601.082
system time used= 530.989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2766872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259170
involuntary context switches= 28404

runsolver used 0.548034 second user time and 1.6321 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 23:36:50
IDJOB=1776150
IDBENCH=20425
IDSOLVER=634
FILE ID=xenhost3-49/1776150-1244929010
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776150-1244929010/watcher-1776150-1244929010 -o /tmp/evaluation-result-1776150-1244929010/solver-1776150-1244929010 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776150-1244929010.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 175ec3119584300988ad366c4a04cccc
RANDOM SEED= 70285695

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19061904 kB
Buffers:        469468 kB
Cached:       14117960 kB
SwapCached:          0 kB
Active:        4115492 kB
Inactive:     10479804 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3992 kB
Writeback:           0 kB
AnonPages:        7896 kB
Mapped:           3100 kB
Slab:           715752 kB
SReclaimable:   689008 kB
SUnreclaim:      26744 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 5670 MiB
End job on xenhost3-49 at 2009-06-13 23:38:54