Trace number 1531364

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? (TO) 1200.16 1200.72

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
MD5SUMb5e7cd1135ca2561f4261d81ae9e01a8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of clauses2556
Sum of the clauses size12780
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52556
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531364-1238450945.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 = 120
0.00/0.00	c Clauses = 2556
0.00/0.00	c Literals = 12780
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 120
0.00/0.00	c Clauses = 2556
0.00/0.00	c Literals = 12780
0.00/0.00	c a2
0.00/0.03	c a1
0.89/0.99	c Independent sub-problems = 1
0.89/0.99	c Sub-problem with 120 variables and 2556 clauses
0.89/0.99	c using permutation method 4
0.89/0.99	c count = 2
0.89/0.99	c Ordering finished 0.980 seconds
0.89/0.99	c mapped 0.990 seconds
0.89/0.99	c permuted 0.990 seconds
0.89/0.99	c about to sort
0.89/0.99	c sorted
0.99/1.02	c clauses now 2556
0.99/1.02	c init finished 0.990 seconds
0.99/1.02	c tree built 1.010 seconds
0.99/1.02	c 
0.99/1.02	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.99/1.02	c ---------------------------------|----------------------------------|------------------------------------------------------
0.99/1.02	c ................................ | ..........                       |                        1.0           0.0             
0.99/1.02	c ................................ | ..........                     1 |                        1.0           1.0             
0.99/1.02	c ................................ | ..........                     2 |                        1.0           2.0             
0.99/1.02	c ................................ | ..........                     3 |                        1.0           3.0             
0.99/1.02	c ................................ | ..........                     4 |                        1.0           4.0             
0.99/1.02	c ................................ | ..........                     5 |                        1.0           5.0             
0.99/1.04	c ................................ | ..........                  1000 | 196                    1.0         961.5         6954
23.98/24.06	c ................................ | ..........                136000 | 43896                 24.0        5657.2      3755043
48.17/48.30	c ................................ | ..........                208000 | 67679                 48.3        4309.1      5866641
71.95/72.08	c ................................ | ..........                268000 | 88256                 72.0        3720.2      7632009
96.45/96.51	c ................................ | ..........                320000 | 106522                96.5        3317.1      9353671
119.94/120.08	c ................................ | *.........                365000 | 122910               120.0        3040.9     10714538
144.02/144.19	c ................................ | *.........                415000 | 141345               144.1        2879.1     12089535
168.32/168.45	c ................................ | *.........                473000 | 162321               168.4        2809.0     13432988
191.89/192.09	c ................................ | *.........                517000 | 178759               192.0        2692.6     14620056
216.69/216.86	c ................................ | *.........                555000 | 192855               216.8        2560.1     15715320
240.48/240.66	c ................................ | **........                585000 | 204348               240.6        2431.6     16745817
264.47/264.65	c ................................ | **........                619000 | 218031               264.6        2339.7     17783648
287.95/288.12	c ................................ | **........                646000 | 228475               288.0        2243.0     18734776
312.45/312.65	c ................................ | **........                673000 | 238810               312.6        2153.3     19688619
336.23/336.49	c ................................ | **........                703000 | 249612               336.4        2089.9     20600527
360.02/360.26	c ................................ | ***.......                732000 | 259425               360.1        2032.5     21487967
384.11/384.36	c ................................ | ***.......                765000 | 271172               384.2        1990.9     22450267
408.10/408.36	c ................................ | ***.......                799000 | 283748               408.2        1957.2     23539052
432.59/432.88	c ................................ | ***.......                823000 | 292556               432.7        1901.8     24379781
456.58/456.88	c ................................ | ***.......                846000 | 301001               456.7        1852.3     25153869
480.76/481.08	c ................................ | ****......                866000 | 308359               480.9        1800.7     25958002
504.95/505.25	c ................................ | ****......                886000 | 315829               505.1        1754.1     26721935
528.55/528.85	c ................................ | ****......                909000 | 324568               528.7        1719.4     27483183
552.13/552.47	c ................................ | ****......                931000 | 332699               552.3        1685.7     28157734
576.12/576.42	c ................................ | ****......                952000 | 340591               576.2        1652.1     28850633
599.91/600.27	c ................................ | *****.....                975000 | 348268               600.1        1624.8     29514792
624.80/625.13	c ................................ | *****.....                995000 | 354772               624.9        1592.2     30184795
649.09/649.45	c ................................ | *****.....               1011000 | 360236               649.2        1557.2     30760710
672.18/672.54	c ................................ | *****.....               1025000 | 364961               672.3        1524.6     31225823
696.57/696.93	c ................................ | *****.....               1038000 | 369303               696.7        1489.9     31680181
721.55/721.90	c ................................ | ******....               1051000 | 373943               721.7        1456.3     32169854
744.25/744.68	c ................................ | ******....               1063000 | 378326               744.4        1427.9     32633427
769.03/769.49	c ................................ | ******....               1083000 | 385426               769.2        1407.9     33343124
792.92/793.35	c ................................ | ******....               1101000 | 391907               793.1        1388.2     34114005
817.11/817.51	c ................................ | ******....               1118000 | 398055               817.2        1368.0     34767573
839.90/840.30	c ................................ | *******...               1134000 | 403858               840.0        1349.9     35377975
865.08/865.55	c ................................ | *******...               1149000 | 409244               865.3        1327.9     35987326
888.39/888.82	c ................................ | *******...               1162000 | 413866               888.5        1307.8     36499475
912.37/912.82	c ................................ | *******...               1175000 | 418625               912.5        1287.6     37064303
936.25/936.78	c ................................ | *******...               1186000 | 422698               936.5        1266.4     37539399
960.14/960.68	c ................................ | ********..               1200000 | 427822               960.4        1249.5     38046255
984.23/984.71	c ................................ | ********..               1213000 | 432511               984.4        1232.2     38509789
1008.11/1008.67	c ................................ | ********..               1227000 | 437598              1008.4        1216.8     39046511
1033.01/1033.53	c ................................ | ********..               1241000 | 442678              1033.2        1201.1     39582345
1056.80/1057.30	c ................................ | ********..               1258000 | 448551              1057.0        1190.2     40129320
1080.29/1080.88	c ................................ | *********.               1272000 | 453462              1080.5        1177.2     40608569
1104.78/1105.39	c ................................ | *********.               1285000 | 458352              1105.0        1162.9     41157684
1127.77/1128.37	c ................................ | *********.               1297000 | 462799              1128.0        1149.8     41657177
1154.35/1154.95	c ................................ | *********.               1308000 | 466731              1154.6        1132.9     42203310
1176.74/1177.34	c ................................ | *********.               1316000 | 469819              1177.0        1118.1     42631351

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1531364-1238450945/watcher-1531364-1238450945 -o /tmp/evaluation-result-1531364-1238450945/solver-1531364-1238450945 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531364-1238450945.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: 1.99 1.97 1.99 4/86 27920
/proc/meminfo: memFree=1694864/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=1064 CPUtime=0
/proc/27920/stat : 27920 (ttsth-5-0) R 27918 27920 27847 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 471424951 1089536 131 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 0 0 0
/proc/27920/statm: 266 131 78 176 0 88 0

[startup+0.102757 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 27920
/proc/meminfo: memFree=1694864/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=1600 CPUtime=0.1
/proc/27920/stat : 27920 (ttsth-5-0) R 27918 27920 27847 0 -1 4194304 297 0 0 0 10 0 0 0 18 0 1 0 471424951 1638400 280 1992294400 134512640 135237372 4294956192 18446744073709551615 134553799 0 0 4096 0 0 0 0 17 0 0 0
/proc/27920/statm: 400 280 80 176 0 222 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1600

[startup+0.202773 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 27920
/proc/meminfo: memFree=1694864/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=1600 CPUtime=0.2
/proc/27920/stat : 27920 (ttsth-5-0) R 27918 27920 27847 0 -1 4194304 297 0 0 0 20 0 0 0 18 0 1 0 471424951 1638400 280 1992294400 134512640 135237372 4294956192 18446744073709551615 134599558 0 0 4096 0 0 0 0 17 0 0 0
/proc/27920/statm: 400 280 80 176 0 222 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1600

[startup+0.302801 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 27920
/proc/meminfo: memFree=1694864/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=1600 CPUtime=0.3
/proc/27920/stat : 27920 (ttsth-5-0) R 27918 27920 27847 0 -1 4194304 297 0 0 0 30 0 0 0 19 0 1 0 471424951 1638400 280 1992294400 134512640 135237372 4294956192 18446744073709551615 134553835 0 0 4096 0 0 0 0 17 0 0 0
/proc/27920/statm: 400 280 80 176 0 222 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1600

[startup+0.701865 s]
/proc/loadavg: 1.99 1.97 1.99 4/86 27920
/proc/meminfo: memFree=1694864/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=1600 CPUtime=0.69
/proc/27920/stat : 27920 (ttsth-5-0) R 27918 27920 27847 0 -1 4194304 297 0 0 0 69 0 0 0 23 0 1 0 471424951 1638400 280 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 0 0 0
/proc/27920/statm: 400 280 80 176 0 222 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1600

[startup+1.50201 s]
/proc/loadavg: 1.99 1.97 1.99 4/89 27923
/proc/meminfo: memFree=1692152/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=26620 CPUtime=1.49
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 1433 0 0 0 149 0 0 0 25 0 3 0 471424951 27258880 1398 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 6655 1398 98 176 0 6477 0
[pid=27920/tid=27922] ppid=27918 vsize=26620 CPUtime=0.27
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 406 0 0 0 27 0 0 0 25 0 3 0 471425053 27258880 1398 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=26620 CPUtime=0.2
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 359 0 0 0 20 0 0 0 25 0 3 0 471425053 27258880 1398 1992294400 134512640 135237372 4294956192 18446744073709551615 134680376 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26620

[startup+3.10131 s]
/proc/loadavg: 1.99 1.97 1.99 4/89 27923
/proc/meminfo: memFree=1685688/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=34140 CPUtime=3.08
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 3306 0 0 0 307 1 0 0 25 0 3 0 471424951 34959360 3271 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 8535 3271 98 176 0 8357 0
[pid=27920/tid=27922] ppid=27918 vsize=34140 CPUtime=1.06
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 1337 0 0 0 106 0 0 0 25 0 3 0 471425053 34959360 3271 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=34140 CPUtime=0.99
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 1301 0 0 0 99 0 0 0 25 0 3 0 471425053 34959360 3271 1992294400 134512640 135237372 4294956192 18446744073709551615 134549969 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34140

[startup+6.3019 s]
/proc/loadavg: 2.07 1.99 1.99 4/89 27923
/proc/meminfo: memFree=1673784/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=44380 CPUtime=6.29
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 5846 0 0 0 626 3 0 0 25 0 3 0 471424951 45445120 5811 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 11095 5811 98 176 0 10917 0
[pid=27920/tid=27922] ppid=27918 vsize=44380 CPUtime=2.66
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 2510 0 0 0 265 1 0 0 25 0 3 0 471425053 45445120 5811 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=44380 CPUtime=2.6
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 2668 0 0 0 259 1 0 0 25 0 3 0 471425053 45445120 5811 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44380

[startup+12.7011 s]
/proc/loadavg: 2.15 2.00 2.00 4/89 27923
/proc/meminfo: memFree=1656312/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=61180 CPUtime=12.68
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 10073 0 0 0 1263 5 0 0 25 0 3 0 471424951 62648320 10038 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 15295 10038 98 176 0 15117 0
[pid=27920/tid=27922] ppid=27918 vsize=61180 CPUtime=5.85
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 4788 0 0 0 583 2 0 0 25 0 3 0 471425053 62648320 10038 1992294400 134512640 135237372 4294956192 18446744073709551615 134591181 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=61180 CPUtime=5.8
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 4617 0 0 0 578 2 0 0 25 0 3 0 471425053 62648320 10038 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61180

[startup+25.5024 s]
/proc/loadavg: 2.28 2.04 2.01 4/89 27923
/proc/meminfo: memFree=1629880/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=86140 CPUtime=25.48
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 16304 0 0 0 2538 10 0 0 25 0 3 0 471424951 88207360 16269 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 21535 16269 98 176 0 21357 0
[pid=27920/tid=27922] ppid=27918 vsize=86140 CPUtime=12.25
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 8454 0 0 0 1220 5 0 0 25 0 3 0 471425053 88207360 16269 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=86140 CPUtime=12.2
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 7182 0 0 0 1216 4 0 0 25 0 3 0 471425053 88207360 16269 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86140

[startup+51.1022 s]
/proc/loadavg: 2.56 2.13 2.04 4/89 27923
/proc/meminfo: memFree=1595832/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=121244 CPUtime=51.06
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 24867 0 0 0 5090 16 0 0 25 0 3 0 471424951 124153856 24832 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 30311 24832 98 176 0 30133 0
[pid=27920/tid=27922] ppid=27918 vsize=121244 CPUtime=25.04
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 12943 0 0 0 2496 8 0 0 25 0 3 0 471425053 124153856 24832 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=121244 CPUtime=24.99
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 11256 0 0 0 2492 7 0 0 25 0 3 0 471425053 124153856 24832 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 121244

[startup+102.302 s]
/proc/loadavg: 2.81 2.26 2.09 4/89 27923
/proc/meminfo: memFree=1536888/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=179484 CPUtime=102.24
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 39403 0 0 0 10196 28 0 0 25 0 3 0 471424951 183791616 39368 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 44871 39368 98 176 0 44693 0
[pid=27920/tid=27922] ppid=27918 vsize=179484 CPUtime=50.6
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 21332 0 0 0 5046 14 0 0 25 0 3 0 471425053 183791616 39368 1992294400 134512640 135237372 4294956192 18446744073709551615 134634454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=179484 CPUtime=50.61
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 17403 0 0 0 5048 13 0 0 25 0 3 0 471425053 183791616 39368 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 179484

[startup+162.303 s]
/proc/loadavg: 2.93 2.39 2.14 4/89 27923
/proc/meminfo: memFree=1482744/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=234044 CPUtime=162.21
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 53068 0 0 0 16183 38 0 0 25 0 3 0 471424951 239661056 53033 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 58511 53033 98 176 0 58333 0
[pid=27920/tid=27922] ppid=27918 vsize=234044 CPUtime=80.59
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 29947 0 0 0 8038 21 0 0 25 0 3 0 471425053 239661056 53033 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=234044 CPUtime=80.59
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 22453 0 0 0 8043 16 0 0 25 0 3 0 471425053 239661056 53033 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 234044

[startup+222.308 s]
/proc/loadavg: 2.97 2.50 2.19 4/89 27923
/proc/meminfo: memFree=1435960/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=280284 CPUtime=222.19
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 64604 0 0 0 22172 47 0 0 25 0 3 0 471424951 287010816 64569 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 70071 64569 98 176 0 69893 0
[pid=27920/tid=27922] ppid=27918 vsize=280284 CPUtime=110.58
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 37142 0 0 0 11032 26 0 0 25 0 3 0 471425053 287010816 64569 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=280284 CPUtime=110.58
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 26794 0 0 0 11038 20 0 0 25 0 3 0 471425053 287010816 64569 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 280284

[startup+282.302 s]
/proc/loadavg: 2.99 2.59 2.24 4/89 27923
/proc/meminfo: memFree=1395640/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=320764 CPUtime=282.16
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 74715 0 0 0 28160 56 0 0 25 0 3 0 471424951 328462336 74680 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 80191 74680 98 176 0 80013 0
[pid=27920/tid=27922] ppid=27918 vsize=320764 CPUtime=140.55
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 43052 0 0 0 14024 31 0 0 25 0 3 0 471425053 328462336 74680 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=320764 CPUtime=140.58
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 30995 0 0 0 14034 24 0 0 25 0 3 0 471425053 328462336 74680 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 320764

[startup+342.302 s]
/proc/loadavg: 2.99 2.66 2.29 4/89 27923
/proc/meminfo: memFree=1357944/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=358176 CPUtime=342.13
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 84043 0 0 0 34150 63 0 0 25 0 3 0 471424951 366772224 84008 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 89544 84008 98 176 0 89366 0
[pid=27920/tid=27922] ppid=27918 vsize=358176 CPUtime=170.53
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 47806 0 0 0 17018 35 0 0 25 0 3 0 471425053 366772224 84008 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=358176 CPUtime=170.57
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 35569 0 0 0 17030 27 0 0 25 0 3 0 471425053 366772224 84008 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 358176

[startup+402.302 s]

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

[pid=27920] ppid=27918 vsize=489216 CPUtime=582.02
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 116835 0 0 0 58115 87 0 0 25 0 3 0 471424951 500957184 116800 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 122304 116800 98 176 0 122126 0
[pid=27920/tid=27922] ppid=27918 vsize=489216 CPUtime=290.53
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 66585 0 0 0 29005 48 0 0 25 0 3 0 471425053 500957184 116800 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=489216 CPUtime=290.45
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 49582 0 0 0 29008 37 0 0 25 0 3 0 471425053 500957184 116800 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 489216

[startup+642.301 s]
/proc/loadavg: 2.99 2.87 2.47 4/89 27923
/proc/meminfo: memFree=1201656/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=514496 CPUtime=641.99
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 123099 0 0 0 64106 93 0 0 25 0 3 0 471424951 526843904 123064 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 128624 123064 98 176 0 128446 0
[pid=27920/tid=27922] ppid=27918 vsize=514496 CPUtime=320.51
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 69842 0 0 0 31999 52 0 0 25 0 3 0 471425053 526843904 123064 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=514496 CPUtime=320.45
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 52589 0 0 0 32005 40 0 0 25 0 3 0 471425053 526843904 123064 1992294400 134512640 135237372 4294956192 18446744073709551615 134562355 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 514496

[startup+702.301 s]
/proc/loadavg: 2.99 2.89 2.50 4/89 27923
/proc/meminfo: memFree=1182456/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=533216 CPUtime=701.96
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 127823 0 0 0 70100 96 0 0 25 0 3 0 471424951 546013184 127788 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 133304 127788 98 176 0 133126 0
[pid=27920/tid=27922] ppid=27918 vsize=533216 CPUtime=350.49
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 72154 0 0 0 34995 54 0 0 25 0 3 0 471425053 546013184 127788 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=533216 CPUtime=350.44
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 55001 0 0 0 35003 41 0 0 25 0 3 0 471425053 546013184 127788 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 533216

[startup+762.301 s]
/proc/loadavg: 2.99 2.91 2.53 4/89 27923
/proc/meminfo: memFree=1160504/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=554976 CPUtime=761.94
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 133255 0 0 0 76093 101 0 0 25 0 3 0 471424951 568295424 133220 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 138744 133220 98 176 0 138566 0
[pid=27920/tid=27922] ppid=27918 vsize=554976 CPUtime=380.47
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 74802 0 0 0 37991 56 0 0 25 0 3 0 471425053 568295424 133220 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=554976 CPUtime=380.44
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 57785 0 0 0 38000 44 0 0 25 0 3 0 471425053 568295424 133220 1992294400 134512640 135237372 4294956192 18446744073709551615 134562357 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 554976

[startup+822.302 s]
/proc/loadavg: 2.99 2.92 2.56 4/89 27923
/proc/meminfo: memFree=1132408/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=583296 CPUtime=821.91
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 140340 0 0 0 82084 107 0 0 25 0 3 0 471424951 597295104 140305 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 145824 140305 98 176 0 145646 0
[pid=27920/tid=27922] ppid=27918 vsize=583296 CPUtime=410.45
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 78236 0 0 0 40986 59 0 0 25 0 3 0 471425053 597295104 140305 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=583296 CPUtime=410.43
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 61436 0 0 0 40996 47 0 0 25 0 3 0 471425053 597295104 140305 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 583296

[startup+882.308 s]
/proc/loadavg: 2.99 2.93 2.58 4/89 27923
/proc/meminfo: memFree=1108856/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=606496 CPUtime=881.88
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 146140 0 0 0 88075 113 0 0 25 0 3 0 471424951 621051904 146105 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 151624 146105 98 176 0 151446 0
[pid=27920/tid=27922] ppid=27918 vsize=606496 CPUtime=440.44
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 80973 0 0 0 43982 62 0 0 25 0 3 0 471425053 621051904 146105 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=606496 CPUtime=440.41
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 64499 0 0 0 43991 50 0 0 25 0 3 0 471425053 621051904 146105 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 606496

[startup+942.302 s]
/proc/loadavg: 2.99 2.94 2.60 4/89 27923
/proc/meminfo: memFree=1087928/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=627776 CPUtime=941.86
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 151432 0 0 0 94068 118 0 0 25 0 3 0 471424951 642842624 151397 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 156944 151397 98 176 0 156766 0
[pid=27920/tid=27922] ppid=27918 vsize=627776 CPUtime=470.4
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 83289 0 0 0 46976 64 0 0 25 0 3 0 471425053 642842624 151397 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=627776 CPUtime=470.43
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 67475 0 0 0 46990 53 0 0 25 0 3 0 471425053 642842624 151397 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 627776

[startup+1002.3 s]
/proc/loadavg: 2.99 2.95 2.63 4/89 27923
/proc/meminfo: memFree=1068024/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=647456 CPUtime=1001.82
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 156361 0 0 0 100061 121 0 0 25 0 3 0 471424951 662994944 156326 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 161864 156326 98 176 0 161686 0
[pid=27920/tid=27922] ppid=27918 vsize=647456 CPUtime=500.37
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 85761 0 0 0 49971 66 0 0 25 0 3 0 471425053 662994944 156326 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=647456 CPUtime=500.42
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 69932 0 0 0 49988 54 0 0 25 0 3 0 471425053 662994944 156326 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 647456

[startup+1062.3 s]
/proc/loadavg: 2.99 2.95 2.65 4/89 27923
/proc/meminfo: memFree=1046840/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=668736 CPUtime=1061.8
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 161688 0 0 0 106054 126 0 0 25 0 3 0 471424951 684785664 161653 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 167184 161653 98 176 0 167006 0
[pid=27920/tid=27922] ppid=27918 vsize=668736 CPUtime=530.35
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 88498 0 0 0 52966 69 0 0 25 0 3 0 471425053 684785664 161653 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=668736 CPUtime=530.42
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 72522 0 0 0 52986 56 0 0 25 0 3 0 471425053 684785664 161653 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 668736

[startup+1122.3 s]
/proc/loadavg: 2.99 2.96 2.66 4/89 27923
/proc/meminfo: memFree=1025592/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=689696 CPUtime=1121.77
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 166946 0 0 0 112047 130 0 0 25 0 3 0 471424951 706248704 166911 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 172424 166911 98 176 0 172246 0
[pid=27920/tid=27922] ppid=27918 vsize=689696 CPUtime=560.32
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 90936 0 0 0 55961 71 0 0 25 0 3 0 471425053 706248704 166911 1992294400 134512640 135237372 4294956192 18446744073709551615 134562454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=689696 CPUtime=560.41
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 75342 0 0 0 55983 58 0 0 25 0 3 0 471425053 706248704 166911 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 689696

[startup+1182.3 s]
/proc/loadavg: 2.99 2.97 2.68 4/89 27923
/proc/meminfo: memFree=1007096/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=708256 CPUtime=1181.74
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 171574 0 0 0 118040 134 0 0 25 0 3 0 471424951 725254144 171539 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 177064 171539 98 176 0 176886 0
[pid=27920/tid=27922] ppid=27918 vsize=708256 CPUtime=590.32
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 92517 0 0 0 58959 73 0 0 25 0 3 0 471425053 725254144 171539 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=708256 CPUtime=590.4
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 78389 0 0 0 58979 61 0 0 25 0 3 0 471425053 725254144 171539 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 708256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 2.99 2.97 2.69 4/89 27923
/proc/meminfo: memFree=1002040/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=713056 CPUtime=1200.03
/proc/27920/stat : 27920 (ttsth-5-0) S 27918 27920 27847 0 -1 4194304 172792 0 0 0 119868 135 0 0 25 0 3 0 471424951 730169344 172757 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/27920/statm: 178264 172757 98 176 0 178086 0
[pid=27920/tid=27922] ppid=27918 vsize=713056 CPUtime=599.49
/proc/27920/task/27922/stat : 27922 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 92979 0 0 0 59876 73 0 0 25 0 3 0 471425053 730169344 172757 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27920/tid=27923] ppid=27918 vsize=713056 CPUtime=599.51
/proc/27920/task/27923/stat : 27923 (ttsth-5-0) R 27918 27920 27847 0 -1 4194368 79145 0 0 0 59890 61 0 0 25 0 3 0 471425053 730169344 172757 1992294400 134512640 135237372 4294956192 18446744073709551615 134580206 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 713056

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1200.71 s]
/proc/loadavg: 2.99 2.97 2.69 4/89 27923
/proc/meminfo: memFree=1002040/2055924 swapFree=4179644/4192956
[pid=27920] ppid=27918 vsize=0 CPUtime=1200.14
/proc/27920/stat : 27920 (ttsth-5-0) R 27918 27920 27847 0 -1 4195332 172792 0 0 0 119869 145 0 0 17 0 1 0 471424951 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27920/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.72
CPU time (s): 1200.16
CPU user time (s): 1198.7
CPU system time (s): 1.46178
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 713056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.7
system time used= 1.46178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172792
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= 16
involuntary context switches= 16274

runsolver used 1.3328 second user time and 4.14437 second system time

The end

Launcher Data 

Begin job on node83 at 2009-03-31 00:09:05
IDJOB=1531364
IDBENCH=70411
IDSOLVER=549
FILE ID=node83/1531364-1238450945
PBS_JOBID= 9061677
Free space on /tmp= 66508 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/120/unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531364-1238450945/watcher-1531364-1238450945 -o /tmp/evaluation-result-1531364-1238450945/solver-1531364-1238450945 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531364-1238450945.cnf

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

MD5SUM BENCH= b5e7cd1135ca2561f4261d81ae9e01a8
RANDOM SEED=1514943366

node83.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.268
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.268
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1695344 kB
Buffers:         60772 kB
Cached:         207748 kB
SwapCached:       7492 kB
Active:         142992 kB
Inactive:       144008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1695344 kB
SwapTotal:     4192956 kB
SwapFree:      4179644 kB
Dirty:             868 kB
Writeback:           0 kB
Mapped:          25936 kB
Slab:            57684 kB
Committed_AS:  1107296 kB
PageTables:       2680 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= 66504 MiB
End job on node83 at 2009-03-31 00:29:08