Trace number 1731057

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? 1200.03 601.488

General information on the benchmark

Namecrafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
MD5SUMd84d2f51f14938d23f8344f062b55708
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables280
Number of clauses1120
Sum of the clauses size3360
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31120
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1731057-1240766412.cnf 
0.00/0.00	c Using SATTIMEOUT of 1200
0.00/0.00	c Using SATRAM of 1800
0.00/0.00	c Size of subset node = 16
0.00/0.00	c Variables = 280
0.00/0.00	c Clauses = 1120
0.00/0.00	c Literals = 3360
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 280
0.00/0.00	c Clauses = 1120
0.00/0.00	c Literals = 3360
0.00/0.00	c a2
0.00/0.00	c a1
0.09/0.15	c Independent sub-problems = 1
0.09/0.15	c Sub-problem with 280 variables and 1120 clauses
0.09/0.15	c using permutation method 4
0.09/0.15	c count = 3
0.09/0.15	c Ordering finished 0.140 seconds
0.09/0.15	c mapped 0.140 seconds
0.09/0.15	c permuted 0.140 seconds
0.09/0.15	c about to sort
0.09/0.15	c sorted
0.09/0.15	c clauses now 1120
0.09/0.15	c init finished 0.150 seconds
0.09/0.15	c tree built 0.150 seconds
0.09/0.15	c 
0.09/0.15	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.09/0.15	c ---------------------------------|----------------------------------|------------------------------------------------------
0.09/0.15	c ................................ | ..........                       |                        0.1           0.0             
0.09/0.15	c ................................ | ..........                     1 |                        0.1           6.7             
0.09/0.15	c ................................ | ..........                     2 |                        0.1          13.3             
0.09/0.15	c ................................ | ..........                     3 |                        0.1          20.0             
0.09/0.15	c ................................ | ..........                     4 |                        0.1          26.7             
0.09/0.15	c ................................ | ..........                     5 |                        0.1          33.3             
0.09/0.16	c ................................ | ..........                  1000 | 95                     0.2        6250.0         8735
24.00/12.15	c ................................ | ..........                319000 | 58936                 24.1       13242.0      5243767
47.93/24.18	c ................................ | ..........                492000 | 94557                 48.1       10228.7      8295353
71.88/36.17	c ................................ | ..........                638000 | 126254                72.0        8856.2     10949542
96.03/48.25	c ................................ | ..........                774000 | 154565                96.1        8050.8     13504729
119.97/60.23	c ................................ | *.........                897000 | 180091               120.0        7471.9     15818255
143.93/72.22	c ................................ | *.........               1012000 | 204589               144.0        7027.8     17905393
167.87/84.28	c ................................ | *.........               1122000 | 226328               168.1        6675.8     19680678
191.82/96.28	c ................................ | *.........               1229000 | 246740               192.0        6400.7     21404617
215.97/108.33	c ................................ | *.........               1335000 | 267821               216.1        6178.3     23056229
239.92/120.39	c ................................ | **........               1429000 | 287859               240.1        5950.7     24523117
264.06/132.47	c ................................ | **........               1531000 | 309595               264.3        5793.5     26120707
288.02/144.50	c ................................ | **........               1626000 | 330084               288.3        5640.7     27758948
312.16/156.51	c ................................ | **........               1722000 | 350375               312.2        5515.3     29396797
335.91/168.43	c ................................ | **........               1811000 | 369219               336.0        5389.4     31083786
359.86/180.47	c ................................ | ***.......               1904000 | 389046               360.1        5288.0     32754452
384.01/192.57	c ................................ | ***.......               1994000 | 408879               384.2        5189.7     34433087
407.97/204.53	c ................................ | ***.......               2080000 | 428695               408.1        5097.0     36018522
431.90/216.54	c ................................ | ***.......               2167000 | 448146               432.1        5015.5     37509567
455.85/228.60	c ................................ | ***.......               2250000 | 468516               456.1        4932.9     39039899
480.00/240.64	c ................................ | ****......               2331000 | 487668               480.2        4854.5     40515251
504.15/252.71	c ................................ | ****......               2411000 | 506670               504.2        4781.4     41972233
528.09/264.77	c ................................ | ****......               2494000 | 524672               528.3        4720.6     43495876
552.04/276.77	c ................................ | ****......               2577000 | 542731               552.3        4666.3     44948279
575.99/288.70	c ................................ | ****......               2656000 | 560205               576.1        4610.4     46287497
599.94/300.73	c ................................ | *****.....               2736000 | 577525               600.1        4559.2     47712955
623.89/312.79	c ................................ | *****.....               2812000 | 593604               624.2        4505.2     49021661
648.04/324.85	c ................................ | *****.....               2885000 | 609771               648.2        4450.5     50268854
671.78/336.79	c ................................ | *****.....               2961000 | 626062               672.1        4405.8     51625042
695.93/348.82	c ................................ | *****.....               3034000 | 642636               696.1        4358.8     52927426
719.89/360.80	c ................................ | ******....               3103000 | 658341               720.0        4309.7     54208373
744.04/372.95	c ................................ | ******....               3173000 | 674182               744.2        4263.4     55797927
767.78/384.86	c ................................ | ******....               3244000 | 690290               768.0        4223.9     57458316
791.92/396.92	c ................................ | ******....               3313000 | 705512               792.1        4182.6     58937790
816.07/409.07	c ................................ | ******....               3381000 | 719708               816.4        4141.6     60399091
840.03/421.04	c ................................ | *******...               3451000 | 734407               840.2        4107.2     61898174
863.77/432.95	c ................................ | *******...               3518000 | 748598               864.0        4071.7     63358903
888.11/445.11	c ................................ | *******...               3585000 | 762683               888.3        4035.9     64697744
911.67/456.99	c ................................ | *******...               3657000 | 777614               912.0        4009.9     66087557
935.81/469.04	c ................................ | *******...               3782000 | 801763               936.0        4040.4     67729229
959.97/481.15	c ................................ | ********..               3893000 | 824111               960.2        4054.3     69317868
983.90/493.15	c ................................ | ********..               3997000 | 846387               984.2        4061.3     70801381
1007.85/505.17	c ................................ | ********..               4093000 | 866834              1008.2        4059.9     72300520
1031.81/517.15	c ................................ | ********..               4185000 | 886274              1032.1        4055.0     73715955
1055.95/529.26	c ................................ | ********..               4276000 | 905175              1056.2        4048.3     75204491
1079.91/541.23	c ................................ | *********.               4362000 | 921266              1080.1        4038.4     76586889
1103.86/553.21	c ................................ | *********.               4456000 | 939107              1104.0        4036.1     78019737
1127.80/565.22	c ................................ | *********.               4540000 | 956769              1128.0        4024.7     79348574
1151.74/577.27	c ................................ | *********.               4631000 | 975829              1152.1        4019.7     80751408
1175.89/589.30	c ................................ | *********.               4715000 | 993786              1176.1        4009.1     82122006
1199.64/601.29	c CPU limit (1200) reached
1199.64/601.29	c Time = 1200.01 seconds
1199.64/601.29	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1731057-1240766412/watcher-1731057-1240766412 -o /tmp/evaluation-result-1731057-1240766412/solver-1731057-1240766412 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1731057-1240766412.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 24516
/proc/meminfo: memFree=1634784/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1064 CPUtime=0
/proc/24516/stat : 24516 (ttsth-5-0) R 24514 24516 24385 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 104675146 1089536 134 1992294400 134512640 135237372 4294956192 18446744073709551615 134680214 0 0 4096 0 0 0 0 17 1 0 0
/proc/24516/statm: 266 134 79 176 0 88 0

[startup+0.095719 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 24516
/proc/meminfo: memFree=1634784/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1064 CPUtime=0.09
/proc/24516/stat : 24516 (ttsth-5-0) R 24514 24516 24385 0 -1 4194304 164 0 0 0 9 0 0 0 18 0 1 0 104675146 1089536 148 1992294400 134512640 135237372 4294956192 18446744073709551615 134553889 0 0 4096 0 0 0 0 17 1 0 0
/proc/24516/statm: 266 148 80 176 0 88 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1064

[startup+0.101719 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 24516
/proc/meminfo: memFree=1634784/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1064 CPUtime=0.09
/proc/24516/stat : 24516 (ttsth-5-0) R 24514 24516 24385 0 -1 4194304 165 0 0 0 9 0 0 0 18 0 1 0 104675146 1089536 149 1992294400 134512640 135237372 4294956192 18446744073709551615 134553842 0 0 4096 0 0 0 0 17 1 0 0
/proc/24516/statm: 266 149 80 176 0 88 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1064

[startup+0.301749 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 24516
/proc/meminfo: memFree=1634784/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=25972 CPUtime=0.44
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 1001 0 0 0 44 0 0 0 18 0 3 0 104675146 26595328 985 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 6493 986 98 176 0 6315 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 25972

[startup+0.701797 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 24516
/proc/meminfo: memFree=1634784/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=32052 CPUtime=1.23
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 2566 0 0 0 123 0 0 0 18 0 3 0 104675146 32821248 2550 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 8013 2550 98 176 0 7835 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 32052

[startup+1.50189 s]
/proc/loadavg: 0.92 0.97 0.99 3/67 24519
/proc/meminfo: memFree=1621448/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=40852 CPUtime=2.83
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 4720 0 0 0 282 1 0 0 18 0 3 0 104675146 41832448 4704 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 10213 4704 98 176 0 10035 0
[pid=24516/tid=24518] ppid=24514 vsize=40852 CPUtime=1.33
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 2131 0 0 0 133 0 0 0 18 0 3 0 104675162 41832448 4704 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=40852 CPUtime=1.33
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 2265 0 0 0 133 0 0 0 21 0 3 0 104675162 41832448 4704 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 40852

[startup+3.10106 s]
/proc/loadavg: 0.92 0.97 0.99 3/67 24519
/proc/meminfo: memFree=1610888/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=53812 CPUtime=6.02
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 7964 0 0 0 600 2 0 0 18 0 3 0 104675146 55103488 7948 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 13453 7948 98 176 0 13275 0
[pid=24516/tid=24518] ppid=24514 vsize=53812 CPUtime=2.93
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 3772 0 0 0 293 0 0 0 22 0 3 0 104675162 55103488 7948 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=53812 CPUtime=2.92
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 3868 0 0 0 291 1 0 0 19 0 3 0 104675162 55103488 7948 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 53812

[startup+6.30142 s]
/proc/loadavg: 1.01 0.99 1.00 3/67 24519
/proc/meminfo: memFree=1588552/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=73172 CPUtime=12.41
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 12824 0 0 0 1235 6 0 0 18 0 3 0 104675146 74928128 12808 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 18293 12808 98 176 0 18115 0
[pid=24516/tid=24518] ppid=24514 vsize=73172 CPUtime=6.13
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 6211 0 0 0 611 2 0 0 19 0 3 0 104675162 74928128 12808 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=73172 CPUtime=6.11
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 6289 0 0 0 608 3 0 0 25 0 3 0 104675162 74928128 12808 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 73172

[startup+12.7021 s]
/proc/loadavg: 1.09 1.00 1.01 3/67 24519
/proc/meminfo: memFree=1549896/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=109812 CPUtime=25.19
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 21990 0 0 0 2507 12 0 0 18 0 3 0 104675146 112447488 21974 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 27453 21974 98 176 0 27275 0
[pid=24516/tid=24518] ppid=24514 vsize=109812 CPUtime=12.53
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 10608 0 0 0 1248 5 0 0 25 0 3 0 104675162 112447488 21974 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=109812 CPUtime=12.49
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 11058 0 0 0 1243 6 0 0 25 0 3 0 104675162 112447488 21975 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 109812

[startup+25.5016 s]
/proc/loadavg: 1.29 1.05 1.02 3/67 24519
/proc/meminfo: memFree=1496392/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=161624 CPUtime=50.72
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 34867 0 0 0 5052 20 0 0 18 0 3 0 104675146 165502976 34851 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 40406 34851 98 176 0 40228 0
[pid=24516/tid=24518] ppid=24514 vsize=161624 CPUtime=25.32
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 16794 0 0 0 2523 9 0 0 25 0 3 0 104675162 165502976 34851 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=161624 CPUtime=25.23
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 17749 0 0 0 2513 10 0 0 25 0 3 0 104675162 165502976 34851 1992294400 134512640 135237372 4294956192 18446744073709551615 134749305 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 161624

[startup+51.1014 s]
/proc/loadavg: 1.53 1.13 1.04 3/67 24519
/proc/meminfo: memFree=1410056/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=248344 CPUtime=101.82
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 56595 0 0 0 10146 36 0 0 18 0 3 0 104675146 254304256 56579 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 62086 56579 98 176 0 61908 0
[pid=24516/tid=24518] ppid=24514 vsize=248344 CPUtime=50.92
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 27285 0 0 0 5075 17 0 0 25 0 3 0 104675162 254304256 56579 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=248344 CPUtime=50.73
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 28986 0 0 0 5055 18 0 0 25 0 3 0 104675162 254304256 56579 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 248344

[startup+102.305 s]
/proc/loadavg: 1.79 1.26 1.09 3/67 24519
/proc/meminfo: memFree=1276552/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=379704 CPUtime=204
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 89452 0 0 0 20341 59 0 0 18 0 3 0 104675146 388816896 89436 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 94926 89436 98 176 0 94748 0
[pid=24516/tid=24518] ppid=24514 vsize=379704 CPUtime=102.1
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 44108 0 0 0 10181 29 0 0 25 0 3 0 104675162 388816896 89436 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=379704 CPUtime=101.73
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 45020 0 0 0 10144 29 0 0 25 0 3 0 104675162 388816896 89436 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 379704

[startup+162.302 s]
/proc/loadavg: 1.92 1.39 1.15 3/67 24519
/proc/meminfo: memFree=1150152/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=507384 CPUtime=323.74
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 121346 0 0 0 32292 82 0 0 18 0 3 0 104675146 519561216 121330 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 126846 121330 98 176 0 126668 0
[pid=24516/tid=24518] ppid=24514 vsize=507384 CPUtime=162.08
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 60688 0 0 0 16166 42 0 0 25 0 3 0 104675162 519561216 121330 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=507384 CPUtime=161.49
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 60334 0 0 0 16110 39 0 0 25 0 3 0 104675162 519561216 121330 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.74
Current children cumulated vsize (KiB) 507384

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.20 3/67 24519
/proc/meminfo: memFree=1020104/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=635864 CPUtime=443.48
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 153480 0 0 0 44242 106 0 0 18 0 3 0 104675146 651124736 153464 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 158966 153464 98 176 0 158788 0
[pid=24516/tid=24518] ppid=24514 vsize=635864 CPUtime=222
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 76312 0 0 0 22146 54 0 0 25 0 3 0 104675162 651124736 153464 1992294400 134512640 135237372 4294956192 18446744073709551615 134680505 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=635864 CPUtime=221.3
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 76844 0 0 0 22079 51 0 0 25 0 3 0 104675162 651124736 153464 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.48
Current children cumulated vsize (KiB) 635864

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 24519
/proc/meminfo: memFree=903432/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=753144 CPUtime=563.22
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 182795 0 0 0 56192 130 0 0 18 0 3 0 104675146 771219456 182779 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 188326 182780 98 176 0 188148 0
[pid=24516/tid=24518] ppid=24514 vsize=753304 CPUtime=281.76
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 90920 0 0 0 28111 65 0 0 25 0 3 0 104675162 771383296 182780 1992294400 134512640 135237372 4294956192 18446744073709551615 134562284 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=753304 CPUtime=281.28
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 91552 0 0 0 28064 64 0 0 25 0 3 0 104675162 771383296 182780 1992294400 134512640 135237372 4294956192 18446744073709551615 134565869 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (KiB) 753144

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/67 24519
/proc/meminfo: memFree=796424/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=859064 CPUtime=682.97
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 209300 0 0 0 68149 148 0 0 18 0 3 0 104675146 879681536 209284 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 214766 209284 98 176 0 214588 0
[pid=24516/tid=24518] ppid=24514 vsize=859064 CPUtime=341.52
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 104510 0 0 0 34079 73 0 0 25 0 3 0 104675162 879681536 209284 1992294400 134512640 135237372 4294956192 18446744073709551615 134562278 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=859064 CPUtime=341.27
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 104466 0 0 0 34054 73 0 0 25 0 3 0 104675162 879681536 209284 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.97
Current children cumulated vsize (KiB) 859064

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/67 24519
/proc/meminfo: memFree=678792/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=977464 CPUtime=802.7
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 238900 0 0 0 80104 166 0 0 18 0 3 0 104675146 1000923136 238884 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 244366 238884 98 176 0 244188 0
[pid=24516/tid=24518] ppid=24514 vsize=977464 CPUtime=401.49
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 117278 0 0 0 40067 82 0 0 25 0 3 0 104675162 1000923136 238884 1992294400 134512640 135237372 4294956192 18446744073709551615 134562272 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=977464 CPUtime=401.05
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 121298 0 0 0 40021 84 0 0 25 0 3 0 104675162 1000923136 238884 1992294400 134512640 135237372 4294956192 18446744073709551615 134562459 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.7
Current children cumulated vsize (KiB) 977464

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/67 24519
/proc/meminfo: memFree=561800/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1093304 CPUtime=922.44
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 267860 0 0 0 92055 189 0 0 18 0 3 0 104675146 1119543296 267844 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 273326 267844 98 176 0 273148 0
[pid=24516/tid=24518] ppid=24514 vsize=1093304 CPUtime=461.46
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 131558 0 0 0 46053 93 0 0 25 0 3 0 104675162 1119543296 267844 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1093304 CPUtime=460.81
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 135978 0 0 0 45986 95 0 0 25 0 3 0 104675162 1119543296 267844 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.44
Current children cumulated vsize (KiB) 1093304

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/67 24519
/proc/meminfo: memFree=442888/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1213144 CPUtime=1042.19
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 297832 0 0 0 104008 211 0 0 18 0 3 0 104675146 1242259456 297816 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 303286 297816 98 176 0 303108 0
[pid=24516/tid=24518] ppid=24514 vsize=1213144 CPUtime=521.45
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 149036 0 0 0 52039 106 0 0 25 0 3 0 104675162 1242259456 297816 1992294400 134512640 135237372 4294956192 18446744073709551615 134562328 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1213144 CPUtime=520.57
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 148472 0 0 0 51953 104 0 0 25 0 3 0 104675162 1242259456 297816 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.19
Current children cumulated vsize (KiB) 1213144

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 24519
/proc/meminfo: memFree=329928/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1324984 CPUtime=1161.92
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 325769 0 0 0 115964 228 0 0 18 0 3 0 104675146 1356783616 325753 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 331246 325753 98 176 0 331068 0
[pid=24516/tid=24518] ppid=24514 vsize=1324984 CPUtime=581.31
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 163497 0 0 0 58017 114 0 0 25 0 3 0 104675162 1356783616 325753 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1324984 CPUtime=580.44
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 161948 0 0 0 57931 113 0 0 25 0 3 0 104675162 1356783616 325753 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (KiB) 1324984

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.84 1.45 3/67 24519
/proc/meminfo: memFree=317704/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1336824 CPUtime=1174.7
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 328714 0 0 0 117239 231 0 0 18 0 3 0 104675146 1368907776 328698 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 334206 328698 98 176 0 334028 0
[pid=24516/tid=24518] ppid=24514 vsize=1336824 CPUtime=587.69
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 165035 0 0 0 58654 115 0 0 25 0 3 0 104675162 1368907776 328698 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1336824 CPUtime=586.84
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 163355 0 0 0 58569 115 0 0 25 0 3 0 104675162 1368907776 328698 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1174.7
Current children cumulated vsize (KiB) 1336824

[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=304456/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1349624 CPUtime=1187.48
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 331927 0 0 0 118515 233 0 0 18 0 3 0 104675146 1382014976 331911 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 337406 331911 98 176 0 337228 0
[pid=24516/tid=24518] ppid=24514 vsize=1349624 CPUtime=594.08
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 166756 0 0 0 59291 117 0 0 25 0 3 0 104675162 1382014976 331911 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1349624 CPUtime=593.24
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 164847 0 0 0 59209 115 0 0 25 0 3 0 104675162 1382014976 331911 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1187.48
Current children cumulated vsize (KiB) 1349624

[startup+598.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=298376/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1355544 CPUtime=1193.86
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 333398 0 0 0 119152 234 0 0 18 0 3 0 104675146 1388077056 333382 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 338886 333382 98 176 0 338708 0
[pid=24516/tid=24518] ppid=24514 vsize=1355544 CPUtime=597.26
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 167601 0 0 0 59609 117 0 0 25 0 3 0 104675162 1388077056 333382 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1355544 CPUtime=596.44
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 165473 0 0 0 59528 116 0 0 25 0 3 0 104675162 1388077056 333382 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1193.86
Current children cumulated vsize (KiB) 1355544

[startup+599.902 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=296584/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1358104 CPUtime=1197.05
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 334046 0 0 0 119470 235 0 0 18 0 3 0 104675146 1390698496 334030 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 339526 334030 98 176 0 339348 0
[pid=24516/tid=24518] ppid=24514 vsize=1358104 CPUtime=598.85
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 167985 0 0 0 59768 117 0 0 25 0 3 0 104675162 1390698496 334030 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1358104 CPUtime=598.03
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 165737 0 0 0 59687 116 0 0 25 0 3 0 104675162 1390698496 334030 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1197.05
Current children cumulated vsize (KiB) 1358104

[startup+600.701 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=294728/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1359544 CPUtime=1198.64
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 334393 0 0 0 119629 235 0 0 18 0 3 0 104675146 1392173056 334377 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 339886 334377 98 176 0 339708 0
[pid=24516/tid=24518] ppid=24514 vsize=1359544 CPUtime=599.65
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 168191 0 0 0 59847 118 0 0 25 0 3 0 104675162 1392173056 334377 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1359544 CPUtime=598.84
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 165878 0 0 0 59767 117 0 0 25 0 3 0 104675162 1392173056 334377 1992294400 134512640 135237372 4294956192 18446744073709551615 134587013 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1198.64
Current children cumulated vsize (KiB) 1359544

[startup+601.101 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=294728/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=1360184 CPUtime=1199.44
/proc/24516/stat : 24516 (ttsth-5-0) S 24514 24516 24385 0 -1 4194304 334556 0 0 0 119709 235 0 0 18 0 3 0 104675146 1392828416 334540 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24516/statm: 340046 334540 98 176 0 339868 0
[pid=24516/tid=24518] ppid=24514 vsize=1360184 CPUtime=600.05
/proc/24516/task/24518/stat : 24518 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 168294 0 0 0 59887 118 0 0 25 0 3 0 104675162 1392828416 334540 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24516/tid=24519] ppid=24514 vsize=1360184 CPUtime=599.24
/proc/24516/task/24519/stat : 24519 (ttsth-5-0) R 24514 24516 24385 0 -1 4194368 165938 0 0 0 59807 117 0 0 25 0 3 0 104675162 1392828416 334540 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1199.44
Current children cumulated vsize (KiB) 1360184

[startup+601.301 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=294728/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=0 CPUtime=1199.84
/proc/24516/stat : 24516 (ttsth-5-0) R 24514 24516 24385 0 -1 4195332 334640 0 0 0 119748 236 0 0 16 0 1 0 104675146 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/24516/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.84
Current children cumulated vsize (KiB) 0

[startup+601.402 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 24519
/proc/meminfo: memFree=294728/2055920 swapFree=4192812/4192956
[pid=24516] ppid=24514 vsize=0 CPUtime=1199.94
/proc/24516/stat : 24516 (ttsth-5-0) R 24514 24516 24385 0 -1 4195332 334640 0 0 0 119748 246 0 0 17 0 1 0 104675146 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/24516/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.94
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 601.488
CPU time (s): 1200.03
CPU user time (s): 1197.48
CPU system time (s): 2.55161
CPU usage (%): 199.511
Max. virtual memory (cumulated for all children) (KiB): 1360344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.48
system time used= 2.55161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 9234

runsolver used 0.596909 second user time and 1.59776 second system time

The end

Launcher Data 

Begin job on node5 at 2009-04-26 19:20:12
IDJOB=1731057
IDBENCH=24742
IDSOLVER=549
FILE ID=node5/1731057-1240766412
PBS_JOBID= 9187184
Free space on /tmp= 66340 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1731057-1240766412/watcher-1731057-1240766412 -o /tmp/evaluation-result-1731057-1240766412/solver-1731057-1240766412 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1731057-1240766412.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2

MD5SUM BENCH= d84d2f51f14938d23f8344f062b55708
RANDOM SEED=848221349

node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1635200 kB
Buffers:         50264 kB
Cached:         291020 kB
SwapCached:        144 kB
Active:          96452 kB
Inactive:       258848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1635200 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             832 kB
Writeback:           0 kB
Mapped:          23624 kB
Slab:            51436 kB
Committed_AS:   383288 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66340 MiB
End job on node5 at 2009-04-26 19:30:14