Trace number 3290758

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.16 1204.06

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

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-3290758-1304135507.cnf'
0.00/0.00	c -- header says num vars:          13574
0.00/0.00	c -- header says num clauses:     1301188
2.99/3.02	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
2.99/3.02	c -- vars added      13574
2.99/3.02	c Parsing time:  2.84 s
2.99/3.03	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data  --
3.72/3.21	c asymm  cl-useful: 38/2317/1263470 lits-rem:114 time: 0.50
12.46/5.44	c Flit:     7 Blit:      5 bXBeca:    0 bXProp:   90 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  7.67
13.24/5.65	c Calc non-exist non-lernt bins v-fix:     0 done:  12528 time:  0.34 s
13.24/5.65	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
16.04/6.36	c Subs w/ non-existent bins:   7576 time:  2.86 s
18.43/6.94	c Replacing       90 vars Replaced   882144 lits Time:     2.31 s 
20.24/7.40	c bin-w-bin subsume rem          795 bins  time:  0.02 s
20.65/7.52	c subs with bin:        2  lits-rem:      7784  v-fix:    0  time:  0.46 s
20.65/7.54	c Removed useless bin:       3  fixed:     0  bprops:   2.24M  time:  0.10 s
3868.54/970.87	c lits-rem:         0  cl-subs:    38784  v-elim:   3628  v-fix:    0  time: 3847.96 s
3868.54/970.87	c learnt bin added due to v-elim: 0
3868.54/970.89	c Finding binary XORs  T:     0.08 s  found:       0
3923.66/984.60	c Finding non-binary XORs:    54.40 s (found:       0, avg size: nan)
3923.66/984.60	c calculated reachability. Time: 0.02
3923.66/984.64	c Calc default polars -  time:   0.16 s pos:     376 undec:    2645 neg:   10553
3923.66/984.64	c =========================================================================================
3923.66/984.64	c types(t): F = full restart, N = normal restart
3923.66/984.64	c types(t): S = simplification begin/end, E = solution found
3923.66/984.64	c restart types(rt): st = static, dy = dynamic
3923.66/984.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3923.66/984.64	c  B st     0         0     10929   1220200     28314         0  10367832         0   no data   no data  --
3926.06/985.24	c Decided on dynamic restart strategy
3932.07/986.79	c  N dy    22      4136     10929   1220200     28398      3973  10367831    127059     25.42      8.72  --
3939.64/988.64	c  N dy    53      8202     10929   1220200     28708      7911  10367847    271777     31.82      9.44  --
3948.42/990.82	c  N dy    84     12258     10929   1220200     28783     11842  10367847    403692     32.82      9.50  --
3957.62/993.15	c  N dy   114     16290     10927   1220200     28857     15728  10367847    560614     37.39      9.74  --
3966.40/995.31	c  N dy   144     20291     10927   1220200     28911      9946  10367847    200909     34.98      9.88  --
3976.79/997.93	c  N dy   175     24405     10927   1220200     29002     13929  10367847    347191     39.29      9.96  --
3986.77/1000.41	c  N dy   205     28507     10927   1220200     29059     17940  10367846    521889     41.79     10.11  --
3990.76/1001.44	c  S st   217     30000     10927   1220200     29084     19390  10367846    577908     33.31     10.14  --
4000.36/1003.88	c  S st   217     30502     10927   1220200     29237     20026  10367856    591775     33.31     10.14  --
4000.76/1003.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
4000.76/1003.93	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
4008.74/1005.90	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    4 Bin:   7235 BRemL:     31 BRemN:      0 CBin:       0 P: 60.1M T:  7.83
4008.74/1005.97	c Calc non-exist non-lernt bins v-fix:     0 done:  10916 time:  0.30 s
4008.74/1005.97	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
4011.53/1006.64	c Subs w/ non-existent bins:    192 time:  2.65 s
4011.93/1006.75	c Replacing        5 vars Replaced      137 lits Time:     0.43 s 
4013.13/1007.02	c bin-w-bin subsume rem          100 bins  time:  0.02 s
4015.15/1007.52	c subs with bin:      705  lits-rem:     15344  v-fix:    0  time:  1.98 s
4015.15/1007.54	c Removed useless bin:       7  fixed:     0  bprops:   1.04M  time:  0.08 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-3290758-1304135507/watcher-3290758-1304135507 -o /tmp/evaluation-result-3290758-1304135507/solver-3290758-1304135507 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3290758-1304135507.cnf 

running on 4 cores: 1,3,5,7

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: 7.48 7.82 7.91 6/180 29782
/proc/meminfo: memFree=29406128/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=52348 CPUtime=0 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 1306 0 0 0 0 0 0 0 23 0 1 0 603781525 53604352 1242 33554432000 4194304 4797429 140734542865216 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29782/statm: 13087 1242 347 148 0 8016 0

[startup+0.0936031 s]
/proc/loadavg: 7.48 7.82 7.91 6/180 29782
/proc/meminfo: memFree=29406128/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=55644 CPUtime=0.08 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 3670 0 0 0 8 0 0 0 23 0 1 0 603781525 56979456 3546 33554432000 4194304 4797429 140734542865216 18446744073709551615 4299016 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29782/statm: 13911 3547 348 148 0 8840 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 55644

[startup+0.100584 s]
/proc/loadavg: 7.48 7.82 7.91 6/180 29782
/proc/meminfo: memFree=29406128/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=55644 CPUtime=0.09 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 3820 0 0 0 9 0 0 0 23 0 1 0 603781525 56979456 3689 33554432000 4194304 4797429 140734542865216 18446744073709551615 256415088318 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29782/statm: 13911 3692 348 148 0 8840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55644

[startup+0.300558 s]
/proc/loadavg: 7.48 7.82 7.91 6/180 29782
/proc/meminfo: memFree=29406128/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=60324 CPUtime=0.29 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 8750 0 0 0 28 1 0 0 25 0 1 0 603781525 61771776 8362 33554432000 4194304 4797429 140734542865216 18446744073709551615 256415088318 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29782/statm: 15081 8362 349 148 0 10010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60324

[startup+0.70048 s]
/proc/loadavg: 7.48 7.82 7.91 6/180 29782
/proc/meminfo: memFree=29406128/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=219892 CPUtime=0.69 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 28746 0 0 0 65 4 0 0 25 0 1 0 603781525 225169408 25421 33554432000 4194304 4797429 140734542865216 18446744073709551615 256415088151 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29782/statm: 54973 25421 350 148 0 49902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 219892

[startup+1.50033 s]
/proc/loadavg: 7.48 7.82 7.91 6/181 29783
/proc/meminfo: memFree=29262332/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=286948 CPUtime=1.49 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 61855 0 0 0 139 10 0 0 25 0 1 0 603781525 293834752 53522 33554432000 4194304 4797429 140734542865216 18446744073709551615 4431619 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29782/statm: 71737 53526 350 148 0 66666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 286948

[startup+3.10096 s]
/proc/loadavg: 7.48 7.82 7.91 6/181 29783
/proc/meminfo: memFree=29103488/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=770956 CPUtime=3.3 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 124022 0 0 0 311 19 0 0 25 0 4 0 603781525 789458944 109007 33554432000 4194304 4797429 140734542865216 18446744073709551615 4429754 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 192739 109007 376 148 0 187668 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 770956

[startup+6.30036 s]
/proc/loadavg: 7.52 7.82 7.91 9/184 29786
/proc/meminfo: memFree=28834760/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1307024 CPUtime=16.04 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 256811 0 0 0 1555 49 0 0 24 0 4 0 603781525 1338392576 144955 33554432000 4194304 4797429 140734542865216 18446744073709551615 4345259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 326756 144955 385 148 0 321685 0
[pid=29782/tid=29784] ppid=29780 vsize=1307024 CPUtime=3.24 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 33932 0 0 0 319 5 0 0 25 0 4 0 603781828 1338392576 144955 33554432000 4194304 4797429 140734542865216 18446744073709551615 4345115 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1307024 CPUtime=3.23 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 29809 0 0 0 316 7 0 0 24 0 4 0 603781828 1338392576 144955 33554432000 4194304 4797429 140734542865216 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1307024 CPUtime=3.24 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 35209 0 0 0 316 8 0 0 24 0 4 0 603781828 1338392576 144955 33554432000 4194304 4797429 140734542865216 18446744073709551615 4345219 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 16.04
Current children cumulated vsize (KiB) 1307024

[startup+12.7012 s]
/proc/loadavg: 7.56 7.83 7.91 9/184 29787
/proc/meminfo: memFree=28414164/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1653672 CPUtime=41.41 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 358589 0 0 0 4073 68 0 0 25 0 4 0 603781525 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4567984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 413418 246712 402 148 0 408347 0
[pid=29782/tid=29784] ppid=29780 vsize=1653672 CPUtime=9.6 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 57100 0 0 0 950 10 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1653672 CPUtime=9.55 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 56389 0 0 0 942 13 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1653672 CPUtime=9.6 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63015 0 0 0 947 13 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 41.41
Current children cumulated vsize (KiB) 1653672

[startup+25.5007 s]
/proc/loadavg: 7.66 7.83 7.91 9/184 29787
/proc/meminfo: memFree=28419864/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1653672 CPUtime=92.54 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 358589 0 0 0 9186 68 0 0 25 0 4 0 603781525 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 413418 246712 402 148 0 408347 0
[pid=29782/tid=29784] ppid=29780 vsize=1653672 CPUtime=22.4 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 57100 0 0 0 2230 10 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1653672 CPUtime=22.28 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 56389 0 0 0 2215 13 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1653672 CPUtime=22.4 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63015 0 0 0 2227 13 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 92.54
Current children cumulated vsize (KiB) 1653672

[startup+51.1009 s]
/proc/loadavg: 7.83 7.86 7.92 9/184 29788
/proc/meminfo: memFree=28409516/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1653672 CPUtime=194.8 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 358589 0 0 0 19412 68 0 0 25 0 4 0 603781525 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 413418 246712 402 148 0 408347 0
[pid=29782/tid=29784] ppid=29780 vsize=1653672 CPUtime=47.99 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 57100 0 0 0 4789 10 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1653672 CPUtime=47.74 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 56389 0 0 0 4761 13 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1653672 CPUtime=48 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63015 0 0 0 4787 13 0 0 25 0 4 0 603781828 1693360128 246712 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568048 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 194.8
Current children cumulated vsize (KiB) 1653672

[startup+102.307 s]
/proc/loadavg: 7.99 7.90 7.92 9/184 29789
/proc/meminfo: memFree=28392648/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1653672 CPUtime=399.34 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 358649 0 0 0 39866 68 0 0 25 0 4 0 603781525 1693360128 246772 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 413418 246772 402 148 0 408347 0
[pid=29782/tid=29784] ppid=29780 vsize=1653672 CPUtime=99.2 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 57119 0 0 0 9910 10 0 0 25 0 4 0 603781828 1693360128 246772 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1653672 CPUtime=98.67 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 56389 0 0 0 9854 13 0 0 25 0 4 0 603781828 1693360128 246772 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1653672 CPUtime=99.21 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63037 0 0 0 9907 14 0 0 25 0 4 0 603781828 1693360128 246772 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 399.34
Current children cumulated vsize (KiB) 1653672

[startup+162.301 s]
/proc/loadavg: 8.13 7.94 7.93 9/184 29791
/proc/meminfo: memFree=28359968/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=638.98 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367492 0 0 0 63828 70 0 0 25 0 4 0 603781525 1738321920 255558 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255558 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=159.18 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59887 0 0 0 15908 10 0 0 25 0 4 0 603781828 1738321920 255558 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=158.34 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59244 0 0 0 15820 14 0 0 25 0 4 0 603781828 1738321920 255558 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=159.2 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63421 0 0 0 15906 14 0 0 25 0 4 0 603781828 1738321920 255558 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 638.98
Current children cumulated vsize (KiB) 1697580

[startup+222.301 s]
/proc/loadavg: 8.11 7.97 7.94 9/184 29792
/proc/meminfo: memFree=28350536/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=878.65 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367494 0 0 0 87795 70 0 0 25 0 4 0 603781525 1738321920 255560 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568122 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255560 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=219.17 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59887 0 0 0 21907 10 0 0 25 0 4 0 603781828 1738321920 255560 33554432000 4194304 4797429 140734542865216 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=218.01 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59244 0 0 0 21787 14 0 0 25 0 4 0 603781828 1738321920 255560 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=219.2 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63423 0 0 0 21906 14 0 0 25 0 4 0 603781828 1738321920 255560 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 878.65
Current children cumulated vsize (KiB) 1697580

[startup+282.3 s]
/proc/loadavg: 8.10 7.99 7.94 9/184 29794
/proc/meminfo: memFree=28335148/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=1118.32 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367503 0 0 0 111762 70 0 0 25 0 4 0 603781525 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255569 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=279.17 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59887 0 0 0 27907 10 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4528060 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=277.69 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59246 0 0 0 27755 14 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=279.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63427 0 0 0 27905 14 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1118.32

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

[pid=29782] ppid=29780 vsize=1697580 CPUtime=2556.34 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367503 0 0 0 255564 70 0 0 25 0 4 0 603781525 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255569 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=639.14 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59887 0 0 0 63904 10 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=635.74 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59246 0 0 0 63560 14 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=639.2 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63427 0 0 0 63906 14 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2556.34
Current children cumulated vsize (KiB) 1697580

[startup+702.301 s]
/proc/loadavg: 8.05 8.07 8.00 9/184 29814
/proc/meminfo: memFree=28295444/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=2796 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367503 0 0 0 279530 70 0 0 25 0 4 0 603781525 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568122 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255569 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=699.13 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59887 0 0 0 69903 10 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=695.41 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59246 0 0 0 69527 14 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=699.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63427 0 0 0 69905 14 0 0 25 0 4 0 603781828 1738321920 255569 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2796
Current children cumulated vsize (KiB) 1697580

[startup+762.308 s]
/proc/loadavg: 8.02 8.05 8.00 9/184 29816
/proc/meminfo: memFree=28293280/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=3035.7 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367506 0 0 0 303500 70 0 0 25 0 4 0 603781525 1738321920 255572 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255572 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=759.13 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59887 0 0 0 75903 10 0 0 25 0 4 0 603781828 1738321920 255572 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=755.09 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59247 0 0 0 75495 14 0 0 25 0 4 0 603781828 1738321920 255572 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=759.2 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63427 0 0 0 75906 14 0 0 25 0 4 0 603781828 1738321920 255572 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3035.7
Current children cumulated vsize (KiB) 1697580

[startup+822.3 s]
/proc/loadavg: 8.04 8.06 8.00 9/184 29817
/proc/meminfo: memFree=28282676/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=3275.35 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 367758 0 0 0 327465 70 0 0 25 0 4 0 603781525 1738321920 255822 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 255822 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=819.12 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59889 0 0 0 81902 10 0 0 25 0 4 0 603781828 1738321920 255822 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=814.76 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 59494 0 0 0 81462 14 0 0 25 0 4 0 603781828 1738321920 255822 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=819.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 63429 0 0 0 81905 14 0 0 25 0 4 0 603781828 1738321920 255822 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3275.35
Current children cumulated vsize (KiB) 1697580

[startup+882.301 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 29819
/proc/meminfo: memFree=28268020/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=3515.02 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 369903 0 0 0 351431 71 0 0 25 0 4 0 603781525 1738321920 257952 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 257952 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=879.12 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59896 0 0 0 87902 10 0 0 25 0 4 0 603781828 1738321920 257952 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=874.43 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 60130 0 0 0 87429 14 0 0 25 0 4 0 603781828 1738321920 257952 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=879.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 64135 0 0 0 87905 14 0 0 25 0 4 0 603781828 1738321920 257952 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3515.02
Current children cumulated vsize (KiB) 1697580

[startup+942.301 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 29820
/proc/meminfo: memFree=28262900/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1697580 CPUtime=3754.69 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 370827 0 0 0 375398 71 0 0 25 0 4 0 603781525 1738321920 257878 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 424395 257878 404 148 0 419324 0
[pid=29782/tid=29784] ppid=29780 vsize=1697580 CPUtime=939.11 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 59896 0 0 0 93901 10 0 0 25 0 4 0 603781828 1738321920 257878 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1697580 CPUtime=934.11 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 60338 0 0 0 93397 14 0 0 25 0 4 0 603781828 1738321920 257878 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1697580 CPUtime=939.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 64505 0 0 0 93905 14 0 0 25 0 4 0 603781828 1738321920 257878 33554432000 4194304 4797429 140734542865216 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3754.69
Current children cumulated vsize (KiB) 1697580

[startup+1002.3 s]
/proc/loadavg: 8.20 8.09 8.01 9/184 29822
/proc/meminfo: memFree=28138260/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1843392 CPUtime=3994.36 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 401283 0 0 0 399358 78 0 0 25 0 4 0 603781525 1887633408 288285 33554432000 4194304 4797429 140734542865216 18446744073709551615 4424654 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 460848 288285 418 148 0 455777 0
[pid=29782/tid=29784] ppid=29780 vsize=1843392 CPUtime=999.11 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 67995 0 0 0 99900 11 0 0 25 0 4 0 603781828 1887633408 288285 33554432000 4194304 4797429 140734542865216 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1843392 CPUtime=993.77 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 70915 0 0 0 99361 16 0 0 25 0 4 0 603781828 1887633408 288285 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1843392 CPUtime=999.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 66228 0 0 0 99905 14 0 0 25 0 4 0 603781828 1887633408 288285 33554432000 4194304 4797429 140734542865216 18446744073709551615 4345259 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3994.36
Current children cumulated vsize (KiB) 1843392

[startup+1062.3 s]
/proc/loadavg: 8.21 8.10 8.02 9/184 29824
/proc/meminfo: memFree=28073372/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1890496 CPUtime=4234.04 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 416269 0 0 0 423322 82 0 0 25 0 4 0 603781525 1935867904 303249 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 472624 303249 418 148 0 467553 0
[pid=29782/tid=29784] ppid=29780 vsize=1890496 CPUtime=1059.1 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 72096 0 0 0 105898 12 0 0 25 0 4 0 603781828 1935867904 303249 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1890496 CPUtime=1053.45 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 70915 0 0 0 105329 16 0 0 25 0 4 0 603781828 1935867904 303249 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1890496 CPUtime=1059.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 75988 0 0 0 105902 17 0 0 25 0 4 0 603781828 1935867904 303249 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4234.04
Current children cumulated vsize (KiB) 1890496

[startup+1122.3 s]
/proc/loadavg: 8.20 8.11 8.02 9/184 29825
/proc/meminfo: memFree=28077696/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1890496 CPUtime=4473.71 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 416274 0 0 0 447289 82 0 0 25 0 4 0 603781525 1935867904 303254 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 472624 303254 418 148 0 467553 0
[pid=29782/tid=29784] ppid=29780 vsize=1890496 CPUtime=1119.1 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 72096 0 0 0 111898 12 0 0 25 0 4 0 603781828 1935867904 303254 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1890496 CPUtime=1113.12 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 70915 0 0 0 111296 16 0 0 25 0 4 0 603781828 1935867904 303254 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1890496 CPUtime=1119.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 75993 0 0 0 111902 17 0 0 25 0 4 0 603781828 1935867904 303254 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4473.71
Current children cumulated vsize (KiB) 1890496

[startup+1182.3 s]
/proc/loadavg: 7.91 8.03 8.00 9/184 29858
/proc/meminfo: memFree=28397060/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1890496 CPUtime=4713.38 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 416277 0 0 0 471256 82 0 0 25 0 4 0 603781525 1935867904 303257 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 472624 303257 418 148 0 467553 0
[pid=29782/tid=29784] ppid=29780 vsize=1890496 CPUtime=1179.09 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 72096 0 0 0 117897 12 0 0 25 0 4 0 603781828 1935867904 303257 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1890496 CPUtime=1172.8 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 70915 0 0 0 117264 16 0 0 25 0 4 0 603781828 1935867904 303257 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1890496 CPUtime=1179.19 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 75996 0 0 0 117902 17 0 0 25 0 4 0 603781828 1935867904 303257 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4713.38
Current children cumulated vsize (KiB) 1890496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204 s]
/proc/loadavg: 7.94 8.03 8.00 9/184 29858
/proc/meminfo: memFree=28384276/32950928 swapFree=67111364/67111528
[pid=29782] ppid=29780 vsize=1890496 CPUtime=4800.08 cores=1,3,5,7
/proc/29782/stat : 29782 (techdemo) R 29780 29782 29250 0 -1 4202496 416278 0 0 0 479926 82 0 0 25 0 4 0 603781525 1935867904 303258 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 472624 303258 418 148 0 467553 0
[pid=29782/tid=29784] ppid=29780 vsize=1890496 CPUtime=1200.8 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (techdemo) R 29780 29782 29250 0 -1 4202560 72096 0 0 0 120068 12 0 0 25 0 4 0 603781828 1935867904 303258 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=1890496 CPUtime=1194.38 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (techdemo) R 29780 29782 29250 0 -1 4202560 70915 0 0 0 119422 16 0 0 25 0 4 0 603781828 1935867904 303258 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=1890496 CPUtime=1200.9 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (techdemo) R 29780 29782 29250 0 -1 4202560 75997 0 0 0 120073 17 0 0 25 0 4 0 603781828 1935867904 303258 33554432000 4194304 4797429 140734542865216 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1890496

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.06
CPU time (s): 4800.16
CPU user time (s): 4799.29
CPU system time (s): 0.871867
CPU usage (%): 398.663
Max. virtual memory (cumulated for all children) (KiB): 1890496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.29
system time used= 0.871867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416278
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= 12857
involuntary context switches= 32844

runsolver used 1.86972 second user time and 4.70728 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 05:51:49
IDJOB=3290758
IDBENCH=83447
IDSOLVER=1584
FILE ID=node115/3290758-1304135507
RUNJOBID= node115-1304135443-29729
PBS_JOBID= 13170791
Free space on /tmp= 72804 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290758-1304135507/watcher-3290758-1304135507 -o /tmp/evaluation-result-3290758-1304135507/solver-3290758-1304135507 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3290758-1304135507.cnf

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1077827474

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29406284 kB
Buffers:        826156 kB
Cached:        1968676 kB
SwapCached:          0 kB
Active:         529548 kB
Inactive:      2587992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29406284 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           71524 kB
Writeback:           0 kB
AnonPages:      322364 kB
Mapped:          15700 kB
Slab:           362636 kB
PageTables:       5368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   928000 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= 72800 MiB
End job on node115 at 2011-04-30 06:11:55