Trace number 1561460

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.04 602.301

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
MD5SUM8c48bd8cd24e7f61acdde18197762986
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.3152
Satisfiable
(Un)Satisfiability was proved
Number of variables3857
Number of clauses108164
Sum of the clauses size271431
Maximum clause length49
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272823
Number of clauses of size 326002
Number of clauses of size 44516
Number of clauses of size 54669
Number of clauses of size over 5154

Solver Data 

0.09/0.18	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1561460-1238766477.cnf 
0.09/0.18	c Using SATTIMEOUT of 1200
0.09/0.18	c Using SATRAM of 1800
0.09/0.18	c Size of subset node = 16
0.09/0.18	c Variables = 3857
0.09/0.18	c Clauses = 108164
0.09/0.18	c Literals = 271431
0.09/0.18	c Reduced size:
0.09/0.18	c Variables = 3857
0.09/0.18	c Clauses = 108164
0.09/0.18	c Literals = 271431
0.09/0.18	c a2
0.49/0.50	c a1
1.09/1.18	c Independent sub-problems = 1
1.09/1.18	c Sub-problem with 3857 variables and 108164 clauses
1.09/1.18	c using permutation method 4
1.09/1.18	c count = 1
1.09/1.18	c Ordering finished 1.130 seconds
1.09/1.18	c mapped 1.180 seconds
1.09/1.18	c permuted 1.180 seconds
1.09/1.18	c about to sort
1.19/1.22	c sorted
1.59/1.67	c clauses now 108164
1.59/1.67	c init finished 1.240 seconds
1.59/1.67	c tree built 1.670 seconds
1.59/1.67	c 
1.59/1.67	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.59/1.67	c ---------------------------------|----------------------------------|------------------------------------------------------
1.59/1.67	c ................................ | ..........                       |                        1.7           0.0             
1.59/1.67	c ................................ | ..........                     1 |                        1.7           0.6             
1.59/1.67	c ................................ | ..........                     2 |                        1.7           1.2             
1.59/1.67	c ................................ | ..........                     3 |                        1.7           1.8             
1.59/1.67	c ................................ | ..........                     4 |                        1.7           2.4             
1.59/1.67	c ................................ | ..........                     5 |                        1.7           3.0             
1.59/1.67	c *............................... | ..........                     9 |                        1.7           5.4            6
1.72/1.71	c *............................... | ..........                  1000 | 2                      1.7         574.7        20321
24.06/12.91	c *............................... | ..........                115000 | 5170                  24.1        4771.8      4901989
48.21/25.01	c *............................... | ..........                193000 | 14414                 48.2        4000.8      9194061
72.16/37.02	c *............................... | ..........                261000 | 19236                 72.2        3614.5     13236471
95.90/48.94	c *............................... | ..........                310000 | 25921                 96.0        3228.8     16637492
119.85/60.99	c *............................... | *.........                364000 | 31328                120.1        3031.8     19026294
143.99/73.02	c *............................... | *.........                423000 | 34781                144.1        2936.1     21493331
168.14/85.18	c *............................... | *.........                473000 | 38048                168.3        2810.1     23893821
192.29/97.22	c *............................... | *.........                517000 | 41371                192.4        2687.5     25940527
216.43/109.31	c *............................... | *.........                557000 | 45440                216.5        2573.0     28531068
239.99/121.13	c *............................... | **........                585000 | 49934                240.1        2436.7     30550717
264.12/133.22	c *............................... | **........                612000 | 54947                264.2        2316.3     32456954
287.89/145.14	c *............................... | **........                646000 | 58700                288.0        2243.0     34280274
312.23/157.38	c *............................... | **........                679000 | 62673                312.4        2173.3     35846002
336.96/169.76	c *............................... | **........                709000 | 65610                337.1        2103.0     37408304
360.12/181.33	c *............................... | ***.......                740000 | 68391                360.2        2054.2     38938243
384.26/193.48	c *............................... | ***.......                765000 | 72081                384.5        1989.6     40606217
408.81/205.70	c *............................... | ***.......                783000 | 75949                408.9        1915.0     41994849
432.56/217.69	c *............................... | ***.......                798000 | 80153                432.8        1843.8     43286038
456.50/229.65	c *............................... | ***.......                826000 | 83623                456.7        1808.7     45441578
480.25/241.56	c *............................... | ****......                850000 | 87076                480.4        1769.2     47797537
505.00/253.91	c *............................... | ****......                878000 | 90344                505.1        1738.3     49811977
528.14/265.60	c *............................... | ****......                906000 | 93385                528.4        1714.5     51462862
552.88/277.97	c *............................... | ****......                930000 | 96309                553.1        1681.4     53082649
575.83/289.49	c *............................... | ****......                943000 | 99704                576.1        1636.8     54433573
601.57/302.36	c *............................... | *****.....                955000 | 102955               601.8        1586.9     55805874
624.13/313.62	c *............................... | *****.....                967000 | 106352               624.3        1549.0     56939745
649.87/326.58	c *............................... | *****.....                979000 | 109779               650.1        1505.9     58299143
672.82/338.01	c *............................... | *****.....                991000 | 113285               673.0        1472.6     59691082
697.77/350.50	c *............................... | *****.....               1005000 | 117062               697.9        1440.1     60998044
719.91/361.62	c *............................... | ******....               1036000 | 118924               720.1        1438.8     62829850
743.86/373.61	c *............................... | ******....               1063000 | 120430               744.0        1428.8     64569495
768.01/385.77	c *............................... | ******....               1089000 | 122565               768.3        1417.5     66517213
792.15/397.89	c *............................... | ******....               1121000 | 123922               792.5        1414.6     68348116
816.29/409.92	c *............................... | ******....               1147000 | 125084               816.5        1404.8     69671344
840.64/422.13	c *............................... | *******...               1173000 | 126402               840.9        1395.0     71667151
864.19/433.96	c *............................... | *******...               1196000 | 128381               864.4        1383.6     72932079
887.94/445.82	c *............................... | *******...               1215000 | 130253               888.1        1368.0     74042182
913.08/458.40	c *............................... | *******...               1235000 | 132148               913.2        1352.3     75659153
936.42/470.10	c *............................... | *******...               1247000 | 134511               936.6        1331.4     76707452
961.18/482.52	c *............................... | ********..               1261000 | 136870               961.4        1311.7     77716099
985.13/494.50	c *............................... | ********..               1272000 | 140067               985.3        1291.0     78672281
1009.86/506.91	c *............................... | ********..               1285000 | 142796              1010.0        1272.2     79702392
1032.42/518.29	c *............................... | ********..               1295000 | 145248              1032.8        1253.9     80458253
1055.97/530.03	c *............................... | ********..               1309000 | 147658              1056.2        1239.4     81429634
1080.91/542.58	c *............................... | *********.               1334000 | 149117              1081.2        1233.8     83077792
1104.06/554.12	c *............................... | *********.               1353000 | 150343              1104.3        1225.2     84186930
1128.00/566.15	c *............................... | *********.               1373000 | 151943              1128.3        1216.9     85669425
1152.15/578.27	c *............................... | *********.               1399000 | 153105              1152.5        1213.9     87061941
1175.90/590.14	c *............................... | *********.               1420000 | 154227              1176.2        1207.3     88366567
1199.64/602.08	c CPU limit (1200) reached
1199.64/602.08	c Time = 1200.00 seconds
1199.64/602.08	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-1561460-1238766477/watcher-1561460-1238766477 -o /tmp/evaluation-result-1561460-1238766477/solver-1561460-1238766477 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1561460-1238766477.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.00 1.00 1.00 2/64 30300
/proc/meminfo: memFree=1758760/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1064 CPUtime=0
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4194304 141 0 0 0 0 0 0 0 21 0 1 0 1149310241 1089536 125 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 266 125 77 176 0 88 0

[startup+0.052141 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30300
/proc/meminfo: memFree=1758760/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=3232 CPUtime=0.04
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4194304 711 0 0 0 4 0 0 0 21 0 1 0 1149310241 3309568 695 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 841 696 78 176 0 663 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3232

[startup+0.101144 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30300
/proc/meminfo: memFree=1758760/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=5544 CPUtime=0.09
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4194304 1257 0 0 0 9 0 0 0 21 0 1 0 1149310241 5677056 1241 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 1386 1241 78 176 0 1208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5544

[startup+0.301177 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30300
/proc/meminfo: memFree=1758760/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=15632 CPUtime=0.29
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4194304 3770 0 0 0 28 1 0 0 23 0 1 0 1149310241 16007168 3753 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 3908 3753 79 176 0 3730 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15632

[startup+0.701256 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 30300
/proc/meminfo: memFree=1758760/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=16704 CPUtime=0.69
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4194304 4264 0 0 0 68 1 0 0 25 0 1 0 1149310241 17104896 4035 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 4176 4035 80 176 0 3998 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16704

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30301
/proc/meminfo: memFree=1741976/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=22904 CPUtime=1.48
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4194304 5834 0 0 0 147 1 0 0 25 0 1 0 1149310241 23453696 5499 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 5726 5499 91 176 0 5548 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22904

[startup+3.10174 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 30303
/proc/meminfo: memFree=1729224/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=59352 CPUtime=4.51
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 10012 0 0 0 448 3 0 0 25 0 3 0 1149310241 60776448 9571 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 14838 9571 98 176 0 14660 0
[pid=30300/tid=30302] ppid=30298 vsize=59352 CPUtime=1.41
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 1780 0 0 0 141 0 0 0 25 0 3 0 1149310408 60776448 9571 1992294400 134512640 135237372 4294956192 18446744073709551615 134590501 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=59352 CPUtime=1.41
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 1405 0 0 0 141 0 0 0 21 0 3 0 1149310408 60776448 9571 1992294400 134512640 135237372 4294956192 18446744073709551615 134590281 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 59352

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 30303
/proc/meminfo: memFree=1704792/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=83220 CPUtime=10.9
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 15674 0 0 0 1082 8 0 0 25 0 3 0 1149310241 85217280 15233 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 20805 15233 98 176 0 20627 0
[pid=30300/tid=30302] ppid=30298 vsize=83220 CPUtime=4.61
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 4446 0 0 0 459 2 0 0 25 0 3 0 1149310408 85217280 15233 1992294400 134512640 135237372 4294956192 18446744073709551615 134591126 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=83220 CPUtime=4.6
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 4401 0 0 0 457 3 0 0 17 0 3 0 1149310408 85217280 15233 1992294400 134512640 135237372 4294956192 18446744073709551615 134562314 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 83220

[startup+12.7016 s]
/proc/loadavg: 1.15 1.03 1.01 3/67 30303
/proc/meminfo: memFree=1660760/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=124768 CPUtime=23.66
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 25975 0 0 0 2353 13 0 0 25 0 3 0 1149310241 127762432 25534 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 31192 25534 98 176 0 31014 0
[pid=30300/tid=30302] ppid=30298 vsize=124768 CPUtime=11.02
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 9222 0 0 0 1097 5 0 0 25 0 3 0 1149310408 127762432 25534 1992294400 134512640 135237372 4294956192 18446744073709551615 134592299 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=124768 CPUtime=10.97
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 9926 0 0 0 1091 6 0 0 25 0 3 0 1149310408 127762432 25534 1992294400 134512640 135237372 4294956192 18446744073709551615 134588138 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 124768

[startup+25.5022 s]
/proc/loadavg: 1.28 1.06 1.02 3/67 30303
/proc/meminfo: memFree=1586840/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=198700 CPUtime=49.21
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 43672 0 0 0 4899 22 0 0 25 0 3 0 1149310241 203468800 43231 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 49675 43231 98 176 0 49497 0
[pid=30300/tid=30302] ppid=30298 vsize=198700 CPUtime=23.8
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 17179 0 0 0 2372 8 0 0 21 0 3 0 1149310408 203468800 43231 1992294400 134512640 135237372 4294956192 18446744073709551615 134562413 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=198700 CPUtime=23.72
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 19666 0 0 0 2361 11 0 0 25 0 3 0 1149310408 203468800 43231 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.21
Current children cumulated vsize (KiB) 198700

[startup+51.1012 s]
/proc/loadavg: 1.53 1.14 1.04 3/67 30303
/proc/meminfo: memFree=1466136/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=323980 CPUtime=100.29
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 73936 0 0 0 9991 38 0 0 25 0 3 0 1149310241 331755520 73495 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 80995 73495 98 176 0 80817 0
[pid=30300/tid=30302] ppid=30298 vsize=323980 CPUtime=49.39
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 29432 0 0 0 4924 15 0 0 25 0 3 0 1149310408 331755520 73495 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=323980 CPUtime=49.21
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 37677 0 0 0 4901 20 0 0 25 0 3 0 1149310408 331755520 73495 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.29
Current children cumulated vsize (KiB) 323980

[startup+102.305 s]
/proc/loadavg: 1.81 1.28 1.10 3/67 30303
/proc/meminfo: memFree=1308440/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=484728 CPUtime=202.47
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 112944 0 0 0 20188 59 0 0 25 0 3 0 1149310241 496361472 112503 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 121182 112503 98 176 0 121004 0
[pid=30300/tid=30302] ppid=30298 vsize=484728 CPUtime=100.58
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 47829 0 0 0 10033 25 0 0 25 0 3 0 1149310408 496361472 112503 1992294400 134512640 135237372 4294956192 18446744073709551615 134680237 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=484728 CPUtime=100.21
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 58288 0 0 0 9990 31 0 0 25 0 3 0 1149310408 496361472 112503 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.47
Current children cumulated vsize (KiB) 484728

[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.15 3/67 30303
/proc/meminfo: memFree=1161752/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=636608 CPUtime=322.2
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 149670 0 0 0 32139 81 0 0 25 0 3 0 1149310241 651886592 149229 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 159152 149229 98 176 0 158974 0
[pid=30300/tid=30302] ppid=30298 vsize=636608 CPUtime=160.55
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 62615 0 0 0 16020 35 0 0 25 0 3 0 1149310408 651886592 149229 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=636608 CPUtime=159.97
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 80228 0 0 0 15954 43 0 0 25 0 3 0 1149310408 651886592 149229 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.2
Current children cumulated vsize (KiB) 636608

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.20 3/67 30303
/proc/meminfo: memFree=1044120/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=756596 CPUtime=441.94
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 178878 0 0 0 44096 98 0 0 25 0 3 0 1149310241 774754304 178437 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 189149 178437 98 176 0 188971 0
[pid=30300/tid=30302] ppid=30298 vsize=756596 CPUtime=220.53
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 75082 0 0 0 22008 45 0 0 25 0 3 0 1149310408 774754304 178437 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=756596 CPUtime=219.71
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 96969 0 0 0 21922 49 0 0 25 0 3 0 1149310408 774754304 178437 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.94
Current children cumulated vsize (KiB) 756596

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.25 3/67 30303
/proc/meminfo: memFree=892248/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=913496 CPUtime=561.67
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 217073 0 0 0 56047 120 0 0 25 0 3 0 1149310241 935419904 216632 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 228374 216632 98 176 0 228196 0
[pid=30300/tid=30302] ppid=30298 vsize=913496 CPUtime=280.51
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 85544 0 0 0 27997 54 0 0 25 0 3 0 1149310408 935419904 216632 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=913496 CPUtime=279.47
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 124702 0 0 0 27884 63 0 0 25 0 3 0 1149310408 935419904 216632 1992294400 134512640 135237372 4294956192 18446744073709551615 134590501 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.67
Current children cumulated vsize (KiB) 913496

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/67 30303
/proc/meminfo: memFree=788696/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1021204 CPUtime=681.4
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 242590 0 0 0 68007 133 0 0 25 0 3 0 1149310241 1045712896 242149 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 255301 242149 98 176 0 255123 0
[pid=30300/tid=30302] ppid=30298 vsize=1021204 CPUtime=340.49
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 92781 0 0 0 33989 60 0 0 25 0 3 0 1149310408 1045712896 242149 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1021204 CPUtime=339.23
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 142982 0 0 0 33853 70 0 0 25 0 3 0 1149310408 1045712896 242149 1992294400 134512640 135237372 4294956192 18446744073709551615 134562413 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 681.4
Current children cumulated vsize (KiB) 1021204

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.33 3/67 30303
/proc/meminfo: memFree=653272/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1161004 CPUtime=801.13
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 276510 0 0 0 79963 150 0 0 25 0 3 0 1149310241 1188868096 276069 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 290251 276069 98 176 0 290073 0
[pid=30300/tid=30302] ppid=30298 vsize=1161004 CPUtime=400.46
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 111152 0 0 0 39976 70 0 0 25 0 3 0 1149310408 1188868096 276069 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1161004 CPUtime=398.99
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 158531 0 0 0 39822 77 0 0 25 0 3 0 1149310408 1188868096 276069 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.13
Current children cumulated vsize (KiB) 1161004

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/67 30303
/proc/meminfo: memFree=539992/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1275360 CPUtime=920.86
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 304630 0 0 0 91922 164 0 0 25 0 3 0 1149310241 1305968640 304189 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 318840 304189 98 176 0 318662 0
[pid=30300/tid=30302] ppid=30298 vsize=1275360 CPUtime=460.44
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 125896 0 0 0 45967 77 0 0 25 0 3 0 1149310408 1305968640 304189 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1275360 CPUtime=458.74
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 171907 0 0 0 45790 84 0 0 25 0 3 0 1149310408 1305968640 304189 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.86
Current children cumulated vsize (KiB) 1275360

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/67 30303
/proc/meminfo: memFree=466456/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1351620 CPUtime=1040.6
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 323114 0 0 0 103885 175 0 0 25 0 3 0 1149310241 1384058880 322673 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 337905 322673 98 176 0 337727 0
[pid=30300/tid=30302] ppid=30298 vsize=1351620 CPUtime=520.42
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 133413 0 0 0 51960 82 0 0 25 0 3 0 1149310408 1384058880 322673 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1351620 CPUtime=518.5
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 182874 0 0 0 51760 90 0 0 25 0 3 0 1149310408 1384058880 322673 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1040.6
Current children cumulated vsize (KiB) 1351620

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 30303
/proc/meminfo: memFree=358040/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1460664 CPUtime=1160.33
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 349955 0 0 0 115844 189 0 0 25 0 3 0 1149310241 1495719936 349514 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 365166 349514 98 176 0 364988 0
[pid=30300/tid=30302] ppid=30298 vsize=1460664 CPUtime=580.4
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 148389 0 0 0 57950 90 0 0 25 0 3 0 1149310408 1495719936 349514 1992294400 134512640 135237372 4294956192 18446744073709551615 134562314 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1460664 CPUtime=578.26
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 194739 0 0 0 57729 97 0 0 25 0 3 0 1149310408 1495719936 349514 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.33
Current children cumulated vsize (KiB) 1460664

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=348440/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1470628 CPUtime=1173.1
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 352317 0 0 0 117120 190 0 0 25 0 3 0 1149310241 1505923072 351876 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 367657 351876 98 176 0 367479 0
[pid=30300/tid=30302] ppid=30298 vsize=1470628 CPUtime=586.79
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 149591 0 0 0 58588 91 0 0 25 0 3 0 1149310408 1505923072 351876 1992294400 134512640 135237372 4294956192 18446744073709551615 134587921 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1470628 CPUtime=584.63
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 195899 0 0 0 58366 97 0 0 25 0 3 0 1149310408 1505923072 351876 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1173.1
Current children cumulated vsize (KiB) 1470628

[startup+595.105 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=339672/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1479256 CPUtime=1185.88
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 354430 0 0 0 118396 192 0 0 25 0 3 0 1149310241 1514758144 353989 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 369814 353989 98 176 0 369636 0
[pid=30300/tid=30302] ppid=30298 vsize=1479256 CPUtime=593.19
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 150713 0 0 0 59228 91 0 0 25 0 3 0 1149310408 1514758144 353989 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1479256 CPUtime=591.01
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 196890 0 0 0 59003 98 0 0 25 0 3 0 1149310408 1514758144 353989 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1185.88
Current children cumulated vsize (KiB) 1479256

[startup+598.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=334680/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1483960 CPUtime=1192.27
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 355652 0 0 0 119034 193 0 0 25 0 3 0 1149310241 1519575040 355211 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 370990 355211 98 176 0 370812 0
[pid=30300/tid=30302] ppid=30298 vsize=1483960 CPUtime=596.39
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 151384 0 0 0 59547 92 0 0 25 0 3 0 1149310408 1519575040 355211 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1483960 CPUtime=594.19
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 197441 0 0 0 59321 98 0 0 25 0 3 0 1149310408 1519575040 355211 1992294400 134512640 135237372 4294956192 18446744073709551615 134562317 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1192.27
Current children cumulated vsize (KiB) 1483960

[startup+599.901 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=333272/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1486232 CPUtime=1195.45
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 356208 0 0 0 119352 193 0 0 25 0 3 0 1149310241 1521901568 355767 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 371558 355767 98 176 0 371380 0
[pid=30300/tid=30302] ppid=30298 vsize=1486232 CPUtime=597.99
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 151721 0 0 0 59707 92 0 0 25 0 3 0 1149310408 1521901568 355767 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1486232 CPUtime=595.78
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 197660 0 0 0 59480 98 0 0 25 0 3 0 1149310408 1521901568 355767 1992294400 134512640 135237372 4294956192 18446744073709551615 134562394 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1195.45
Current children cumulated vsize (KiB) 1486232

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=331800/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1489132 CPUtime=1198.65
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 356860 0 0 0 119672 193 0 0 25 0 3 0 1149310241 1524871168 356419 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 372283 356419 98 176 0 372105 0
[pid=30300/tid=30302] ppid=30298 vsize=1489132 CPUtime=599.58
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 152159 0 0 0 59866 92 0 0 25 0 3 0 1149310408 1524871168 356419 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1489132 CPUtime=597.38
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 197874 0 0 0 59640 98 0 0 25 0 3 0 1149310408 1524871168 356419 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.65
Current children cumulated vsize (KiB) 1489132

[startup+601.902 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=329624/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=1489288 CPUtime=1199.44
/proc/30300/stat : 30300 (ttsth-5-0) S 30298 30300 29773 0 -1 4194304 356980 0 0 0 119751 193 0 0 25 0 3 0 1149310241 1525030912 356539 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30300/statm: 372322 356539 98 176 0 372144 0
[pid=30300/tid=30302] ppid=30298 vsize=1489288 CPUtime=599.98
/proc/30300/task/30302/stat : 30302 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 152215 0 0 0 59906 92 0 0 25 0 3 0 1149310408 1525030912 356540 1992294400 134512640 135237372 4294956192 18446744073709551615 134546026 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30300/tid=30303] ppid=30298 vsize=1489288 CPUtime=597.77
/proc/30300/task/30303/stat : 30303 (ttsth-5-0) R 30298 30300 29773 0 -1 4194368 197938 0 0 0 59679 98 0 0 25 0 3 0 1149310408 1525030912 356540 1992294400 134512640 135237372 4294956192 18446744073709551615 134562317 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.44
Current children cumulated vsize (KiB) 1489288

[startup+602.102 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=329624/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=0 CPUtime=1199.83
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4195332 357035 0 0 0 119789 194 0 0 16 0 1 0 1149310241 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.83
Current children cumulated vsize (KiB) 0

[startup+602.202 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 30303
/proc/meminfo: memFree=329624/2055920 swapFree=4176304/4192956
[pid=30300] ppid=30298 vsize=0 CPUtime=1199.93
/proc/30300/stat : 30300 (ttsth-5-0) R 30298 30300 29773 0 -1 4195332 357035 0 0 0 119789 204 0 0 17 0 1 0 1149310241 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/30300/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.93
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 602.301
CPU time (s): 1200.04
CPU user time (s): 1197.89
CPU system time (s): 2.14567
CPU usage (%): 199.242
Max. virtual memory (cumulated for all children) (KiB): 1489288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.89
system time used= 2.14567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357035
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= 115
involuntary context switches= 9176

runsolver used 0.630904 second user time and 1.57076 second system time

The end

Launcher Data 

Begin job on node53 at 2009-04-03 15:47:57
IDJOB=1561460
IDBENCH=70915
IDSOLVER=549
FILE ID=node53/1561460-1238766477
PBS_JOBID= 9085467
Free space on /tmp= 66444 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_9_3_5_exp.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561460-1238766477/watcher-1561460-1238766477 -o /tmp/evaluation-result-1561460-1238766477/solver-1561460-1238766477 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1561460-1238766477.cnf

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

MD5SUM BENCH= 8c48bd8cd24e7f61acdde18197762986
RANDOM SEED=557024399

node53.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.264
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.264
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:      2055920 kB
MemFree:       1759176 kB
Buffers:         34444 kB
Cached:         174052 kB
SwapCached:      10600 kB
Active:          61812 kB
Inactive:       158896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1759176 kB
SwapTotal:     4192956 kB
SwapFree:      4176304 kB
Dirty:            2500 kB
Writeback:           0 kB
Mapped:          17908 kB
Slab:            61968 kB
Committed_AS:  2832108 kB
PageTables:       1384 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= 66444 MiB
End job on node53 at 2009-04-03 15:57:59