Trace number 3284088

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
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.65 1216.49

General information on the benchmark

Namevelev-npe-1.0-9dlx-b71.cnf
MD5SUM75d91f0ba4398ccb5b452707c0e7fa27
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.3769
Satisfiable
(Un)Satisfiability was proved
Number of variables889302
Number of clauses14582074
Sum of the clauses size42006170
Maximum clause length5391
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 212803954
Number of clauses of size 3913633
Number of clauses of size 418493
Number of clauses of size 536153
Number of clauses of size over 5809840

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3284088-1304037843.cnf'
0.00/0.00	c -- header says num vars:         889302
0.00/0.00	c -- header says num clauses:    14582074
19.19/19.27	c -- clauses added:            0 learnts,     14582074 normals,            0 xors
19.19/19.27	c -- vars added     889302
19.19/19.27	c Parsing time: 18.28 s
19.32/19.34	c  N st     0         0    889302   1778118  12803934         0  42006124         0   no data   no data  --
20.46/19.60	c asymm  cl-useful: 0/716/1778118 lits-rem:0 time: 0.66
37.19/23.87	c Flit:    30 Blit:    818 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.01
37.19/23.89	c Cleaning up after failed var search:     0.00 s 
53.17/27.81	c Calc non-exist non-lernt bins v-fix:     0 done:   2246 time: 15.27 s
53.17/27.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.05
53.57/27.97	c Subs w/ non-existent bins:      0 time:  0.55 s
67.15/31.39	c bin-w-bin subsume rem            0 bins  time:  8.30 s
72.74/32.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.55 s
74.33/33.19	c Removed useless bin:       0  fixed:     0  bprops:  10.01M  time:  1.63 s
489.42/137.07	c lits-rem:         0  cl-subs:     5991  v-elim:   2863  v-fix:    0  time: 414.87 s
489.42/137.07	c learnt bin added due to v-elim: 0
491.03/137.42	c Finding binary XORs  T:     1.41 s  found:       0
493.82/138.18	c Calc default polars -  time:   1.52 s pos:   10353 undec:    3730 neg:  875219
493.82/138.18	c =========================================================================================
493.82/138.18	c types(t): F = full restart, N = normal restart
493.82/138.18	c types(t): S = simplification begin/end, E = solution found
493.82/138.18	c restart types(rt): st = static, dy = dynamic
493.82/138.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
493.82/138.18	c  B st     0         0    885614   1773672  12782060         0  43400686         0   no data   no data  --
554.13/153.22	c Decided on dynamic restart strategy
613.65/168.13	c  N dy    22      4085    885613   1773672  12782230      3822  43400684   1613884    480.46     19.91  --
720.69/194.90	c  N dy    54      8139    885612   1773672  12783024      7591  43400683   3461128    371.17     17.76  --
816.57/218.97	c  N dy    86     12183    885607   1773672  12783169     11364  43400683   5295070    507.04     16.43  --
893.26/238.10	c  N dy   117     16246    885603   1773672  12783328     15136  43400683   7236703    505.11     15.85  --
975.95/258.89	c  N dy   148     20340    885601   1773672  12783436      9667  43400683    443906    298.64     16.26  --
1054.25/278.47	c  N dy   179     24375    885600   1773672  12783523     13502  43400683   3337028    993.79     15.84  --
1136.55/299.00	c  N dy   210     28391    885599   1773672  12783648     17319  43400683   5896048    617.72     15.64  --
1178.08/309.46	c  S st   223     30000    885598   1773672  12783696     18841  43400683   7009689    626.73     15.47  --
1205.65/316.36	c  S st   223     30501    885597   1773672  12783736     19291  43400683   7057586    626.73     15.47  --
1208.04/316.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   2.34
1931.56/498.03	c Flit:     2 Blit:   2772 bXBeca:    0 bXProp:    0 Bin:    796 BRemL:      5 BRemN:    133 CBin:       0 P: 60.0M T: 723.16
1931.56/498.09	c Cleaning up after failed var search:     0.00 s 
1948.73/502.33	c Calc non-exist non-lernt bins v-fix:     0 done:   1103 time: 16.62 s
1948.73/502.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
1949.95/502.70	c Subs w/ non-existent bins:      0 time:  1.39 s
1967.53/507.03	c bin-w-bin subsume rem            0 bins  time:  7.85 s
1973.10/508.44	c subs with bin:        0  lits-rem:       531  v-fix:    0  time:  5.61 s
1975.11/508.90	c Removed useless bin:       6  fixed:     0  bprops:  10.07M  time:  1.85 s
2678.25/684.94	c lits-rem:         0  cl-subs:     7787  v-elim:   3181  v-fix:    0  time: 703.05 s
2678.25/684.94	c learnt bin added due to v-elim: 0
2679.05/685.19	c asymm  cl-useful: 0/54275/1779722 lits-rem:0 time: 0.98
2681.05/685.60	c  N dy   223     30501    879666   1779722  12704185     12907  44048807   2154456    626.73     15.47  --
2681.05/685.60	c  F st   223     30501    879666   1779722  12704185     12907  44048807   2154456    626.73     15.47  --
2724.99/696.66	c Decided on dynamic restart strategy
2766.55/707.00	c  N dy   244     34558    879666   1779722  12704265     16773  44048805   3629663    418.42     15.38  --
2860.03/730.40	c  N dy   275     38692    879665   1779722  12704358     20720  44048805   5740101    541.79     15.07  --
2934.33/749.03	c  N dy   306     42741    879665   1779722  12704456     24553  44048805   7643497    314.33     14.85  --
2997.83/764.93	c  S st   329     45752    879663   1779722  12704522     27374  44048805   9606656    765.39     14.99  --
3030.60/773.18	c  S st   329     46252    879661   1779722  12704586     27796  44048805   9660389    765.39     14.99  --
3032.99/773.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   2.33
3579.14/910.49	c Flit:     0 Blit:    247 bXBeca:    0 bXProp:    0 Bin:    356 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 546.15
3579.54/910.54	c Cleaning up after failed var search:     0.00 s 
3594.30/914.25	c Calc non-exist non-lernt bins v-fix:     0 done:   2165 time: 14.54 s
3594.30/914.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
3595.51/914.59	c Subs w/ non-existent bins:      0 time:  1.30 s
3610.29/918.29	c bin-w-bin subsume rem            0 bins  time:  7.57 s
3618.68/920.31	c subs with bin:        0  lits-rem:        99  v-fix:    0  time:  8.09 s
3620.30/920.76	c Removed useless bin:      19  fixed:     0  bprops:  10.17M  time:  1.80 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3284088-1304037843/watcher-3284088-1304037843 -o /tmp/evaluation-result-3284088-1304037843/solver-3284088-1304037843 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3284088-1304037843.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.71 4.53 5.83 5/180 28852
/proc/meminfo: memFree=26935032/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=23756 CPUtime=0 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1183 0 0 0 0 0 0 0 22 0 1 0 515383862 24326144 1123 33554432000 4194304 4797429 140733429249216 18446744073709551615 4366859 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 5939 1125 341 148 0 868 0

[startup+0.043225 s]
/proc/loadavg: 4.71 4.53 5.83 5/180 28852
/proc/meminfo: memFree=26935032/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=58284 CPUtime=0.03 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 10756 0 0 0 3 0 0 0 22 0 1 0 515383862 59682816 7519 33554432000 4194304 4797429 140733429249216 18446744073709551615 4688061 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 14571 7536 342 148 0 9500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 58284

[startup+0.100216 s]
/proc/loadavg: 4.71 4.53 5.83 5/180 28852
/proc/meminfo: memFree=26935032/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=99932 CPUtime=0.09 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 23530 0 0 0 7 2 0 0 22 0 1 0 515383862 102330368 16675 33554432000 4194304 4797429 140733429249216 18446744073709551615 210204705194 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 24983 16675 342 148 0 19912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 99932

[startup+0.300184 s]
/proc/loadavg: 4.71 4.53 5.83 5/180 28852
/proc/meminfo: memFree=26935032/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=273648 CPUtime=0.28 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 70979 0 0 0 21 7 0 0 23 0 1 0 515383862 280215552 47592 33554432000 4194304 4797429 140733429249216 18446744073709551615 4417153 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 68412 47606 342 148 0 63341 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 273648

[startup+0.701116 s]
/proc/loadavg: 4.71 4.53 5.83 5/180 28852
/proc/meminfo: memFree=26935032/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=587200 CPUtime=0.69 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 163144 0 0 0 52 17 0 0 25 0 1 0 515383862 601292800 105941 33554432000 4194304 4797429 140733429249216 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 146800 105944 342 148 0 141729 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 587200

[startup+1.501 s]
/proc/loadavg: 4.71 4.53 5.83 6/181 28853
/proc/meminfo: memFree=26301148/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=1172072 CPUtime=1.49 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 336092 0 0 0 110 39 0 0 25 0 1 0 515383862 1200201728 221193 33554432000 4194304 4797429 140733429249216 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 293018 221202 342 148 0 287947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1172072

[startup+3.10074 s]
/proc/loadavg: 4.71 4.53 5.83 6/181 28853
/proc/meminfo: memFree=25728888/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=1485352 CPUtime=3.09 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 433622 0 0 0 260 49 0 0 25 0 1 0 515383862 1521000448 318133 33554432000 4194304 4797429 140733429249216 18446744073709551615 4660237 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 371338 318133 350 148 0 366267 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1485352

[startup+6.30018 s]
/proc/loadavg: 4.73 4.54 5.82 6/181 28853
/proc/meminfo: memFree=25469240/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=1832060 CPUtime=6.29 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 501632 0 0 0 571 58 0 0 25 0 1 0 515383862 1876029440 385439 33554432000 4194304 4797429 140733429249216 18446744073709551615 210204344006 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 458048 385444 350 148 0 452977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1832060

[startup+12.7011 s]
/proc/loadavg: 4.75 4.54 5.82 6/181 28853
/proc/meminfo: memFree=24902312/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=2567796 CPUtime=12.69 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 640772 0 0 0 1192 77 0 0 25 0 1 0 515383862 2629423104 523191 33554432000 4194304 4797429 140733429249216 18446744073709551615 210204308165 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28852/statm: 641949 523192 350 148 0 636878 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2567796

[startup+25.5009 s]
/proc/loadavg: 5.05 4.62 5.82 9/184 28856
/proc/meminfo: memFree=23784424/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=4308532 CPUtime=43.99 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 999161 0 0 0 4265 134 0 0 25 0 4 0 515383862 4411936768 805461 33554432000 4194304 4797429 140733429249216 18446744073709551615 210204305599 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1077133 805461 382 148 0 1072062 0
[pid=28852/tid=28854] ppid=28850 vsize=4308532 CPUtime=6.18 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 49681 0 0 0 609 9 0 0 25 0 4 0 515385789 4411936768 805461 33554432000 4194304 4797429 140733429249216 18446744073709551615 4360128 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=4308532 CPUtime=6.15 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 44306 0 0 0 607 8 0 0 25 0 4 0 515385789 4411936768 805461 33554432000 4194304 4797429 140733429249216 18446744073709551615 4360136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=4308532 CPUtime=6.18 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 37035 0 0 0 611 7 0 0 25 0 4 0 515385789 4411936768 805461 33554432000 4194304 4797429 140733429249216 18446744073709551615 4359985 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 43.99
Current children cumulated vsize (KiB) 4308532

[startup+51.1007 s]
/proc/loadavg: 6.19 4.92 5.89 9/184 28857
/proc/meminfo: memFree=22350804/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=5842940 CPUtime=146.24 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1354322 0 0 0 14442 182 0 0 25 0 4 0 515383862 5983170560 1142455 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1460735 1142455 401 148 0 1455664 0
[pid=28852/tid=28854] ppid=28850 vsize=5842940 CPUtime=31.78 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 137825 0 0 0 3156 22 0 0 25 0 4 0 515385789 5983170560 1142455 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=5842940 CPUtime=31.75 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 138433 0 0 0 3155 20 0 0 25 0 4 0 515385789 5983170560 1142455 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=5842940 CPUtime=31.64 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 117104 0 0 0 3147 17 0 0 25 0 4 0 515385789 5983170560 1142455 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 146.24
Current children cumulated vsize (KiB) 5842940

[startup+102.306 s]
/proc/loadavg: 7.21 5.39 6.00 9/184 28858
/proc/meminfo: memFree=22328280/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=5842940 CPUtime=350.82 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1356871 0 0 0 34899 183 0 0 25 0 4 0 515383862 5983170560 1145001 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1460735 1145001 401 148 0 1455664 0
[pid=28852/tid=28854] ppid=28850 vsize=5842940 CPUtime=82.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 138675 0 0 0 8276 22 0 0 25 0 4 0 515385789 5983170560 1145001 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=5842940 CPUtime=82.96 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 139282 0 0 0 8275 21 0 0 25 0 4 0 515385789 5983170560 1145001 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=5842940 CPUtime=82.59 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 117104 0 0 0 8242 17 0 0 25 0 4 0 515385789 5983170560 1145001 33554432000 4194304 4797429 140733429249216 18446744073709551615 4525937 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 350.82
Current children cumulated vsize (KiB) 5842940

[startup+162.301 s]
/proc/loadavg: 7.71 5.86 6.12 9/184 28860
/proc/meminfo: memFree=22104824/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=6077128 CPUtime=590.48 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1419993 0 0 0 58854 194 0 0 25 0 4 0 515383862 6222979072 1198457 33554432000 4194304 4797429 140733429249216 18446744073709551615 4377168 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1519282 1198457 409 148 0 1514211 0
[pid=28852/tid=28854] ppid=28850 vsize=6077128 CPUtime=142.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 154311 0 0 0 14273 25 0 0 25 0 4 0 515385789 6222979072 1198457 33554432000 4194304 4797429 140733429249216 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=6077128 CPUtime=142.82 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 154094 0 0 0 14258 24 0 0 25 0 4 0 515385789 6222979072 1198457 33554432000 4194304 4797429 140733429249216 18446744073709551615 4422982 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=6077128 CPUtime=142.41 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 134099 0 0 0 14221 20 0 0 25 0 4 0 515385789 6222979072 1198457 33554432000 4194304 4797429 140733429249216 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 590.48
Current children cumulated vsize (KiB) 6077128

[startup+222.301 s]
/proc/loadavg: 8.02 6.28 6.24 9/184 28862
/proc/meminfo: memFree=21822236/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=6301636 CPUtime=830.14 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1488805 0 0 0 82804 210 0 0 25 0 4 0 515383862 6452875264 1267073 33554432000 4194304 4797429 140733429249216 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1575409 1267073 413 148 0 1570338 0
[pid=28852/tid=28854] ppid=28850 vsize=6301636 CPUtime=202.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 167999 0 0 0 20270 28 0 0 25 0 4 0 515385789 6452875264 1267073 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259126 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=6301636 CPUtime=202.48 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 190231 0 0 0 20217 31 0 0 25 0 4 0 515385789 6452875264 1267073 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=6301636 CPUtime=202.41 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 143444 0 0 0 20218 23 0 0 25 0 4 0 515385789 6452875264 1267073 33554432000 4194304 4797429 140733429249216 18446744073709551615 4354716 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 830.14
Current children cumulated vsize (KiB) 6301636

[startup+282.301 s]
/proc/loadavg: 8.04 6.61 6.36 9/184 28864
/proc/meminfo: memFree=21739856/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=6476068 CPUtime=1069.83 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1547713 0 0 0 106764 219 0 0 25 0 4 0 515383862 6631493632 1282614 33554432000 4194304 4797429 140733429249216 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1619017 1282614 413 148 0 1613946 0
[pid=28852/tid=28854] ppid=28850 vsize=6476068 CPUtime=262.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 177781 0 0 0 26269 29 0 0 25 0 4 0 515385789 6631493632 1282614 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259099 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=6476068 CPUtime=262.17 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 195202 0 0 0 26186 31 0 0 25 0 4 0 515385789 6631493632 1282614 33554432000 4194304 4797429 140733429249216 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=6476068 CPUtime=262.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 153058 0 0 0 26217 25 0 0 25 0 4 0 515385789 6631493632 1282614 33554432000 4194304 4797429 140733429249216 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1069.83
Current children cumulated vsize (KiB) 6476068

[startup+342.301 s]
/proc/loadavg: 8.01 6.86 6.46 9/184 28865
/proc/meminfo: memFree=21007104/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=7321052 CPUtime=1309.52 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 1738167 0 0 0 130710 242 0 0 25 0 4 0 515383862 7496757248 1464763 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259112 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 1830263 1464763 413 148 0 1825192 0
[pid=28852/tid=28854] ppid=28850 vsize=7321052 CPUtime=322.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 232259 0 0 0 32264 34 0 0 25 0 4 0 515385789 7496757248 1464763 33554432000 4194304 4797429 140733429249216 18446744073709551615 4558682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=7321052 CPUtime=321.86 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 252638 0 0 0 32147 39 0 0 25 0 4 0 515385789 7496757248 1464763 33554432000 4194304 4797429 140733429249216 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=28852/tid=28856] ppid=28850 vsize=8656932 CPUtime=682.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 300449 0 0 0 68200 42 0 0 25 0 4 0 515385789 8864698368 1738463 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2747.77
Current children cumulated vsize (KiB) 8656932

[startup+762.307 s]
/proc/loadavg: 8.10 7.78 7.04 9/184 28876
/proc/meminfo: memFree=19816084/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=8656932 CPUtime=2987.47 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2075154 0 0 0 298456 291 0 0 25 0 4 0 515383862 8864698368 1744752 33554432000 4194304 4797429 140733429249216 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2164233 1744752 414 148 0 2159162 0
[pid=28852/tid=28854] ppid=28850 vsize=8656932 CPUtime=742.99 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 316188 0 0 0 74252 47 0 0 25 0 4 0 515385789 8864698368 1744752 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=8656932 CPUtime=739.8 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 338080 0 0 0 73931 49 0 0 25 0 4 0 515385789 8864698368 1744752 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=8656932 CPUtime=742.43 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 300449 0 0 0 74201 42 0 0 25 0 4 0 515385789 8864698368 1744752 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2987.47
Current children cumulated vsize (KiB) 8656932

[startup+822.301 s]
/proc/loadavg: 8.04 7.82 7.10 9/184 28878
/proc/meminfo: memFree=19727080/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=8749648 CPUtime=3227.15 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2106271 0 0 0 322420 295 0 0 25 0 4 0 515383862 8959639552 1768768 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259683 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2187412 1768768 414 148 0 2182341 0
[pid=28852/tid=28854] ppid=28850 vsize=8749648 CPUtime=802.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 319273 0 0 0 80251 47 0 0 25 0 4 0 515385789 8959639552 1768768 33554432000 4194304 4797429 140733429249216 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=8749648 CPUtime=799.5 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 347521 0 0 0 79900 50 0 0 25 0 4 0 515385789 8959639552 1768768 33554432000 4194304 4797429 140733429249216 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=8749648 CPUtime=802.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 311144 0 0 0 80199 43 0 0 25 0 4 0 515385789 8959639552 1768768 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3227.15
Current children cumulated vsize (KiB) 8749648

[startup+882.301 s]
/proc/loadavg: 8.05 7.86 7.16 9/184 28880
/proc/meminfo: memFree=19622340/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=8805768 CPUtime=3466.87 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2138582 0 0 0 346388 299 0 0 25 0 4 0 515383862 9017106432 1789912 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259072 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2201442 1789912 414 148 0 2196371 0
[pid=28852/tid=28854] ppid=28850 vsize=8805768 CPUtime=862.99 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 330630 0 0 0 86250 49 0 0 25 0 4 0 515385789 9017106432 1789912 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=8805768 CPUtime=859.21 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 353056 0 0 0 85870 51 0 0 25 0 4 0 515385789 9017106432 1789912 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=8805768 CPUtime=862.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 313991 0 0 0 86199 43 0 0 25 0 4 0 515385789 9017106432 1789912 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259106 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3466.87
Current children cumulated vsize (KiB) 8805768

[startup+942.301 s]
/proc/loadavg: 8.09 7.91 7.21 9/184 28881
/proc/meminfo: memFree=18958200/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=9714000 CPUtime=3706.56 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2304533 0 0 0 370339 317 0 0 25 0 4 0 515383862 9947136000 1951715 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2428500 1951715 414 148 0 2423429 0
[pid=28852/tid=28854] ppid=28850 vsize=9714000 CPUtime=922.98 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 337675 0 0 0 92249 49 0 0 25 0 4 0 515385789 9947136000 1951715 33554432000 4194304 4797429 140733429249216 18446744073709551615 4236528 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=9714000 CPUtime=918.91 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 409692 0 0 0 91834 57 0 0 25 0 4 0 515385789 9947136000 1951715 33554432000 4194304 4797429 140733429249216 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=9714000 CPUtime=922.43 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 369426 0 0 0 92193 50 0 0 25 0 4 0 515385789 9947136000 1951715 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3706.56
Current children cumulated vsize (KiB) 9714000

[startup+1002.3 s]
/proc/loadavg: 8.14 7.96 7.27 9/184 28882
/proc/meminfo: memFree=18775316/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=9976144 CPUtime=3946.23 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2361307 0 0 0 394298 325 0 0 25 0 4 0 515383862 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2494036 2000269 414 148 0 2488965 0
[pid=28852/tid=28854] ppid=28850 vsize=9976144 CPUtime=982.99 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 390839 0 0 0 98243 56 0 0 25 0 4 0 515385789 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=9976144 CPUtime=978.58 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 413300 0 0 0 97800 58 0 0 25 0 4 0 515385789 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=9976144 CPUtime=982.43 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 369426 0 0 0 98193 50 0 0 25 0 4 0 515385789 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3946.23
Current children cumulated vsize (KiB) 9976144

[startup+1062.3 s]
/proc/loadavg: 8.24 8.01 7.33 9/184 28893
/proc/meminfo: memFree=18751624/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=9976144 CPUtime=4185.84 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2361307 0 0 0 418259 325 0 0 25 0 4 0 515383862 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2494036 2000269 414 148 0 2488965 0
[pid=28852/tid=28854] ppid=28850 vsize=9976144 CPUtime=1042.99 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 390839 0 0 0 104243 56 0 0 25 0 4 0 515385789 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=9976144 CPUtime=1038.25 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 413300 0 0 0 103767 58 0 0 25 0 4 0 515385789 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=9976144 CPUtime=1042.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 369426 0 0 0 104192 50 0 0 25 0 4 0 515385789 10215571456 2000269 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4185.84
Current children cumulated vsize (KiB) 9976144

[startup+1122.3 s]
/proc/loadavg: 8.15 8.02 7.38 9/184 28895
/proc/meminfo: memFree=18727160/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=9981240 CPUtime=4425.51 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2371200 0 0 0 442225 326 0 0 25 0 4 0 515383862 10220789760 2007490 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2495310 2007490 416 148 0 2490239 0
[pid=28852/tid=28854] ppid=28850 vsize=9981240 CPUtime=1102.99 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 390855 0 0 0 110243 56 0 0 25 0 4 0 515385789 10220789760 2007490 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=9981240 CPUtime=1097.92 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 416532 0 0 0 109733 59 0 0 25 0 4 0 515385789 10220789760 2007490 33554432000 4194304 4797429 140733429249216 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=9981240 CPUtime=1102.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 376071 0 0 0 110191 51 0 0 25 0 4 0 515385789 10220789760 2007490 33554432000 4194304 4797429 140733429249216 18446744073709551615 4236524 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4425.51
Current children cumulated vsize (KiB) 9981240

[startup+1182.3 s]
/proc/loadavg: 8.18 8.05 7.42 9/184 28897
/proc/meminfo: memFree=18656192/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=10000528 CPUtime=4665.2 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2396505 0 0 0 466190 330 0 0 25 0 4 0 515383862 10240540672 2022648 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2500132 2022648 416 148 0 2495061 0
[pid=28852/tid=28854] ppid=28850 vsize=10000528 CPUtime=1162.99 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 407227 0 0 0 116241 58 0 0 25 0 4 0 515385789 10240540672 2022648 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259664 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=10000528 CPUtime=1157.6 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 421073 0 0 0 115701 59 0 0 25 0 4 0 515385789 10240540672 2022648 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=10000528 CPUtime=1162.42 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 380463 0 0 0 116191 51 0 0 25 0 4 0 515385789 10240540672 2022648 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4665.2
Current children cumulated vsize (KiB) 10000528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1216.1 s]
/proc/loadavg: 6.80 7.73 7.34 5/175 28918
/proc/meminfo: memFree=18472336/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=10673028 CPUtime=4800.24 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) R 28850 28852 27869 0 -1 4202496 2531138 0 0 0 479676 348 0 0 25 0 4 0 515383862 10929180672 2140414 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 2668257 2140414 416 148 0 2663186 0
[pid=28852/tid=28854] ppid=28850 vsize=10673028 CPUtime=1196.79 cores=0,2,4,6
/proc/28852/task/28854/stat : 28854 (techdemo) R 28850 28852 27869 0 -1 4202560 423868 0 0 0 119619 60 0 0 25 0 4 0 515385789 10929180672 2140414 33554432000 4194304 4797429 140733429249216 18446744073709551615 4259072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=10673028 CPUtime=1191.23 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4202560 481398 0 0 0 119056 67 0 0 25 0 4 0 515385789 10929180672 2140414 33554432000 4194304 4797429 140733429249216 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28852/tid=28856] ppid=28850 vsize=10673028 CPUtime=1196.22 cores=0,2,4,6
/proc/28852/task/28856/stat : 28856 (techdemo) R 28850 28852 27869 0 -1 4202560 438130 0 0 0 119563 59 0 0 25 0 4 0 515385789 10929180672 2140414 33554432000 4194304 4797429 140733429249216 18446744073709551615 4557672 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 10673028

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

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

[startup+1216.21 s]
/proc/loadavg: 6.80 7.73 7.34 5/175 28918
/proc/meminfo: memFree=18472336/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=0 CPUtime=4800.36 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) Z 28850 28852 27869 0 -1 4203548 2531138 0 0 0 479678 358 0 0 25 0 2 0 515383862 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 0 0 0 0 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=0 CPUtime=1191.34 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4203588 481398 0 0 0 119057 77 0 0 25 0 2 0 515385789 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 0

[startup+1216.4 s]
/proc/loadavg: 6.80 7.73 7.34 5/175 28918
/proc/meminfo: memFree=18472336/32951124 swapFree=67088964/67111528
[pid=28852] ppid=28850 vsize=0 CPUtime=4800.55 cores=0,2,4,6
/proc/28852/stat : 28852 (techdemo) Z 28850 28852 27869 0 -1 4203548 2531138 0 0 0 479678 377 0 0 25 0 2 0 515383862 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28852/statm: 0 0 0 0 0 0 0
[pid=28852/tid=28855] ppid=28850 vsize=0 CPUtime=1191.53 cores=0,2,4,6
/proc/28852/task/28855/stat : 28855 (techdemo) R 28850 28852 27869 0 -1 4203588 481398 0 0 0 119057 96 0 0 25 0 2 0 515385789 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1216.49
CPU time (s): 4800.65
CPU user time (s): 4796.79
CPU system time (s): 3.86741
CPU usage (%): 394.631
Max. virtual memory (cumulated for all children) (KiB): 10673028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.79
system time used= 3.86741
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2531138
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= 4100
involuntary context switches= 24213

runsolver used 1.85872 second user time and 4.25035 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 02:44:14
IDJOB=3284088
IDBENCH=71686
IDSOLVER=1584
FILE ID=node130/3284088-1304037843
RUNJOBID= node130-1304037843-28829
PBS_JOBID= 13170322
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284088-1304037843/watcher-3284088-1304037843 -o /tmp/evaluation-result-3284088-1304037843/solver-3284088-1304037843 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3284088-1304037843.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 75d91f0ba4398ccb5b452707c0e7fa27
RANDOM SEED=1114146475

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26935072 kB
Buffers:       1128548 kB
Cached:        4272180 kB
SwapCached:      22432 kB
Active:         726916 kB
Inactive:      4862188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26935072 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:          335472 kB
Writeback:           0 kB
AnonPages:      165728 kB
Mapped:          15780 kB
Slab:           362076 kB
PageTables:       4984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   749916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71676 MiB
End job on node130 at 2011-04-29 03:04:32