Trace number 3290988

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 1205.49

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

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-3290988-1304136074.cnf'
0.00/0.00	c -- header says num vars:          15364
0.00/0.00	c -- header says num clauses:     2133873
4.79/4.81	c -- clauses added:            0 learnts,      2133873 normals,            0 xors
4.79/4.81	c -- vars added      15364
4.79/4.81	c Parsing time:  4.54 s
4.79/4.81	c  N st     0         0     15364   2092882     40002         0  18028837         0   no data   no data  --
5.53/5.03	c asymm  cl-useful: 28/551/2092294 lits-rem:74 time: 0.53
15.02/7.46	c Flit:    10 Blit:      3 bXBeca:    0 bXProp:   88 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  7.83
15.42/7.59	c Calc non-exist non-lernt bins v-fix:     0 done:  14826 time:  0.42 s
15.42/7.59	c Cache  BProp: 0 Set: 0 BXProp: 5 T: 0.00
19.41/8.57	c Subs w/ non-existent bins:   3675 time:  3.88 s
25.40/10.08	c Replacing       93 vars Replaced  1216271 lits Time:     6.06 s 
28.40/10.80	c bin-w-bin subsume rem          411 bins  time:  0.03 s
28.40/10.86	c subs with bin:      214  lits-rem:       220  v-fix:    0  time:  0.22 s
28.40/10.89	c Removed useless bin:       0  fixed:     0  bprops:   2.49M  time:  0.13 s
4774.86/1199.15	c lits-rem:         0  cl-subs:     1994  v-elim:   3905  v-fix:    0  time: 4746.18 s
4774.86/1199.15	c learnt bin added due to v-elim: 0
4774.86/1199.17	c Finding binary XORs  T:     0.08 s  found:       0
4775.66/1199.30	c calculated reachability. Time: 0.02
4775.66/1199.36	c Calc default polars -  time:   0.25 s pos:     466 undec:    2353 neg:   12545
4775.66/1199.36	c =========================================================================================
4775.66/1199.36	c types(t): F = full restart, N = normal restart
4775.66/1199.36	c types(t): S = simplification begin/end, E = solution found
4775.66/1199.36	c restart types(rt): st = static, dy = dynamic
4775.66/1199.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4775.66/1199.37	c  B st     0         0     13011   2072380     33891         0  17860711         0   no data   no data  --
4779.26/1200.26	c Decided on dynamic restart strategy
4784.46/1201.59	c  N dy    22      4106     13006   2072380     34091      3775  17860710    113198     28.06     10.36  --
4795.64/1204.33	c  N dy    52      8113     13004   2072380     34381      7677  17860710    227771     31.23      9.99  --

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-3290988-1304136074/watcher-3290988-1304136074 -o /tmp/evaluation-result-3290988-1304136074/solver-3290988-1304136074 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3290988-1304136074.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.61 7.93 7.51 2/174 6732
/proc/meminfo: memFree=29209412/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=51240 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 1105 0 0 0 0 0 0 0 22 0 1 0 506023128 52469760 1041 33554432000 4194304 4797429 140734409101728 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 12810 1042 347 148 0 7739 0

[startup+0.0162361 s]
/proc/loadavg: 7.61 7.93 7.51 2/174 6732
/proc/meminfo: memFree=29209412/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=53356 CPUtime=0.01 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 1728 0 0 0 1 0 0 0 22 0 1 0 506023128 54636544 1644 33554432000 4194304 4797429 140734409101728 18446744073709551615 4629032 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 13339 1644 347 148 0 8268 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 53356

[startup+0.100226 s]
/proc/loadavg: 7.61 7.93 7.51 2/174 6732
/proc/meminfo: memFree=29209412/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=55772 CPUtime=0.09 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 3880 0 0 0 9 0 0 0 22 0 1 0 506023128 57110528 3708 33554432000 4194304 4797429 140734409101728 18446744073709551615 4431315 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 13943 3708 348 148 0 8872 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55772

[startup+0.300188 s]
/proc/loadavg: 7.61 7.93 7.51 2/174 6732
/proc/meminfo: memFree=29209412/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=60572 CPUtime=0.29 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 8959 0 0 0 28 1 0 0 23 0 1 0 506023128 62025728 8559 33554432000 4194304 4797429 140734409101728 18446744073709551615 4431992 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 15143 8559 349 148 0 10072 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60572

[startup+0.701113 s]
/proc/loadavg: 7.61 7.93 7.51 2/174 6732
/proc/meminfo: memFree=29209412/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=212460 CPUtime=0.69 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 25972 0 0 0 66 3 0 0 25 0 1 0 506023128 217559040 23566 33554432000 4194304 4797429 140734409101728 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 53115 23566 350 148 0 48044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212460

[startup+1.50097 s]
/proc/loadavg: 7.61 7.93 7.51 3/175 6733
/proc/meminfo: memFree=29029776/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=290508 CPUtime=1.49 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 61635 0 0 0 139 10 0 0 25 0 1 0 506023128 297480192 54661 33554432000 4194304 4797429 140734409101728 18446744073709551615 228095148240 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 72627 54661 350 148 0 67556 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 290508

[startup+3.10067 s]
/proc/loadavg: 7.61 7.93 7.51 3/175 6733
/proc/meminfo: memFree=28827448/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=663368 CPUtime=3.09 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 122630 0 0 0 291 18 0 0 25 0 1 0 506023128 679288832 108620 33554432000 4194304 4797429 140734409101728 18446744073709551615 4660016 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6732/statm: 165842 108620 350 148 0 160771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 663368

[startup+6.30105 s]
/proc/loadavg: 7.16 7.84 7.48 6/181 6742
/proc/meminfo: memFree=27518244/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=1637804 CPUtime=10.63 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 384421 0 0 0 993 70 0 0 19 0 4 0 506023128 1677111296 216179 33554432000 4194304 4797429 140734409101728 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 409498 216185 384 148 0 404427 0
[pid=6732/tid=6740] ppid=6730 vsize=1637992 CPUtime=1.45 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 49386 0 0 0 136 9 0 0 25 0 4 0 506023609 1677303808 216196 33554432000 4194304 4797429 140734409101728 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=1637992 CPUtime=1.45 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 47154 0 0 0 135 10 0 0 19 0 4 0 506023609 1677303808 216197 33554432000 4194304 4797429 140734409101728 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=1637992 CPUtime=1.44 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 49226 0 0 0 133 11 0 0 19 0 4 0 506023609 1677303808 216197 33554432000 4194304 4797429 140734409101728 18446744073709551615 228095148224 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.63
Current children cumulated vsize (KiB) 1637804

[startup+12.7009 s]
/proc/loadavg: 6.99 7.79 7.47 9/184 6745
/proc/meminfo: memFree=26639980/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2283060 CPUtime=35.98 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 545508 0 0 0 3500 98 0 0 20 0 4 0 506023128 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 570765 377166 879 148 0 565694 0
[pid=6732/tid=6740] ppid=6730 vsize=2283060 CPUtime=7.84 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 92913 0 0 0 767 17 0 0 21 0 4 0 506023609 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2283060 CPUtime=7.73 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91143 0 0 0 755 18 0 0 20 0 4 0 506023609 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2283060 CPUtime=7.77 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 88337 0 0 0 759 18 0 0 20 0 4 0 506023609 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 35.98
Current children cumulated vsize (KiB) 2283060

[startup+25.5005 s]
/proc/loadavg: 7.21 7.80 7.48 9/184 6745
/proc/meminfo: memFree=25965076/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2283060 CPUtime=87.11 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 545508 0 0 0 8613 98 0 0 25 0 4 0 506023128 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4567984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 570765 377166 879 148 0 565694 0
[pid=6732/tid=6740] ppid=6730 vsize=2283060 CPUtime=20.64 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 92913 0 0 0 2047 17 0 0 25 0 4 0 506023609 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2283060 CPUtime=20.45 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91143 0 0 0 2027 18 0 0 25 0 4 0 506023609 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2283060 CPUtime=20.57 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 88337 0 0 0 2039 18 0 0 25 0 4 0 506023609 2337853440 377166 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 87.11
Current children cumulated vsize (KiB) 2283060

[startup+51.1008 s]
/proc/loadavg: 7.56 7.83 7.49 9/184 6746
/proc/meminfo: memFree=25905668/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=189.29 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559201 0 0 0 18826 103 0 0 25 0 4 0 506023128 2454933504 390760 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390760 820 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=46.23 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97385 0 0 0 4605 18 0 0 25 0 4 0 506023609 2454933504 390760 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=45.92 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91493 0 0 0 4573 19 0 0 25 0 4 0 506023609 2454933504 390760 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=46.16 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92787 0 0 0 4597 19 0 0 25 0 4 0 506023609 2454933504 390760 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 189.29
Current children cumulated vsize (KiB) 2397396

[startup+102.307 s]
/proc/loadavg: 7.89 7.87 7.53 9/184 6747
/proc/meminfo: memFree=25909732/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=393.83 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559211 0 0 0 39280 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 820 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=97.44 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 9726 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=96.83 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 9664 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=97.37 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92789 0 0 0 9718 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 393.83
Current children cumulated vsize (KiB) 2397396

[startup+162.301 s]
/proc/loadavg: 8.03 7.91 7.56 9/184 6749
/proc/meminfo: memFree=25909328/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=633.48 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559211 0 0 0 63245 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 820 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=157.44 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 15726 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=156.51 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 15632 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=157.37 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92789 0 0 0 15718 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 633.48
Current children cumulated vsize (KiB) 2397396

[startup+222.301 s]
/proc/loadavg: 8.08 7.94 7.59 9/184 6751
/proc/meminfo: memFree=25909292/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=873.15 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559211 0 0 0 87212 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 820 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=217.44 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 21726 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=216.17 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 21598 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=217.37 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92789 0 0 0 21718 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 873.15
Current children cumulated vsize (KiB) 2397396

[startup+282.301 s]
/proc/loadavg: 8.10 7.96 7.61 9/184 6752
/proc/meminfo: memFree=25909384/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=1112.82 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559218 0 0 0 111179 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568122 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 813 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=277.44 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 27726 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=275.84 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 27565 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=277.37 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92796 0 0 0 27718 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1112.82

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

[pid=6732] ppid=6730 vsize=2397396 CPUtime=2550.84 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 254981 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=637.46 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 63728 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=633.8 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 63361 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=637.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 63720 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2550.84
Current children cumulated vsize (KiB) 2397396

[startup+702.3 s]
/proc/loadavg: 8.09 8.02 7.75 9/184 6763
/proc/meminfo: memFree=25851244/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=2790.49 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 278946 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=697.45 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 69727 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=693.46 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 69327 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=697.38 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 69719 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2790.49
Current children cumulated vsize (KiB) 2397396

[startup+762.307 s]
/proc/loadavg: 8.07 8.03 7.77 9/184 6765
/proc/meminfo: memFree=25850720/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=3030.18 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 302915 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=757.46 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 75728 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=753.13 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 75294 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=757.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 75720 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3030.18
Current children cumulated vsize (KiB) 2397396

[startup+822.301 s]
/proc/loadavg: 8.11 8.05 7.79 9/184 6767
/proc/meminfo: memFree=25850804/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=3269.83 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 326880 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=817.46 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 81728 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=812.79 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 81260 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=817.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 81720 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3269.83
Current children cumulated vsize (KiB) 2397396

[startup+882.301 s]
/proc/loadavg: 8.11 8.07 7.82 9/184 6768
/proc/meminfo: memFree=25850648/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=3509.49 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 350846 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568013 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=877.46 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 87728 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=872.44 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 87225 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=877.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 87720 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3509.49
Current children cumulated vsize (KiB) 2397396

[startup+942.301 s]
/proc/loadavg: 8.11 8.08 7.83 9/184 6770
/proc/meminfo: memFree=25850488/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=3749.16 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 374813 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568122 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=937.46 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 93728 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=932.1 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 93191 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=937.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 93720 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3749.16
Current children cumulated vsize (KiB) 2397396

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 7.85 9/184 6771
/proc/meminfo: memFree=25850460/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=3988.82 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 559318 0 0 0 398779 103 0 0 25 0 4 0 506023128 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 390770 713 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=997.47 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 97387 0 0 0 99729 18 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=991.76 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 91496 0 0 0 99157 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=997.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92896 0 0 0 99720 19 0 0 25 0 4 0 506023609 2454933504 390770 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3988.82
Current children cumulated vsize (KiB) 2397396

[startup+1062.3 s]
/proc/loadavg: 8.32 8.15 7.88 9/184 6773
/proc/meminfo: memFree=25839512/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=4228.51 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 562285 0 0 0 422747 104 0 0 25 0 4 0 506023128 2454933504 393704 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 393704 682 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=1057.48 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 98466 0 0 0 105729 19 0 0 25 0 4 0 506023609 2454933504 393704 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=1051.44 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 92308 0 0 0 105125 19 0 0 25 0 4 0 506023609 2454933504 393704 33554432000 4194304 4797429 140734409101728 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=1057.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92919 0 0 0 105720 19 0 0 25 0 4 0 506023609 2454933504 393704 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4228.51
Current children cumulated vsize (KiB) 2397396

[startup+1122.3 s]
/proc/loadavg: 8.18 8.14 7.89 9/184 6775
/proc/meminfo: memFree=25825600/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=4468.13 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 565762 0 0 0 446708 105 0 0 25 0 4 0 506023128 2454933504 397181 33554432000 4194304 4797429 140734409101728 18446744073709551615 4567984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 397181 682 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=1117.48 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 98903 0 0 0 111729 19 0 0 25 0 4 0 506023609 2454933504 397181 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=1111.07 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 93878 0 0 0 111087 20 0 0 25 0 4 0 506023609 2454933504 397181 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=1117.39 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 92919 0 0 0 111720 19 0 0 25 0 4 0 506023609 2454933504 397181 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4468.13
Current children cumulated vsize (KiB) 2397396

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 7.90 9/184 6776
/proc/meminfo: memFree=25815020/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2397396 CPUtime=4707.77 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 568334 0 0 0 470671 106 0 0 25 0 4 0 506023128 2454933504 399665 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 599349 399665 595 148 0 594278 0
[pid=6732/tid=6740] ppid=6730 vsize=2397396 CPUtime=1177.48 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 99295 0 0 0 117729 19 0 0 25 0 4 0 506023609 2454933504 399665 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2397396 CPUtime=1170.69 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 94060 0 0 0 117049 20 0 0 25 0 4 0 506023609 2454933504 399665 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2397396 CPUtime=1177.4 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 93006 0 0 0 117721 19 0 0 25 0 4 0 506023609 2454933504 399665 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4707.77
Current children cumulated vsize (KiB) 2397396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.4 s]
/proc/loadavg: 8.08 8.11 7.91 9/184 6777
/proc/meminfo: memFree=25776068/32951124 swapFree=67111348/67111528
[pid=6732] ppid=6730 vsize=2435284 CPUtime=4800.05 cores=1,3,5,7
/proc/6732/stat : 6732 (techdemo) R 6730 6732 6135 0 -1 4202496 578114 0 0 0 479894 111 0 0 25 0 4 0 506023128 2493730816 409426 33554432000 4194304 4797429 140734409101728 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6732/statm: 608821 409426 603 148 0 603750 0
[pid=6732/tid=6740] ppid=6730 vsize=2435284 CPUtime=1200.59 cores=1,3,5,7
/proc/6732/task/6740/stat : 6740 (techdemo) R 6730 6732 6135 0 -1 4202560 106310 0 0 0 120037 22 0 0 25 0 4 0 506023609 2493730816 409426 33554432000 4194304 4797429 140734409101728 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6732/tid=6741] ppid=6730 vsize=2435284 CPUtime=1193.65 cores=1,3,5,7
/proc/6732/task/6741/stat : 6741 (techdemo) R 6730 6732 6135 0 -1 4202560 94060 0 0 0 119345 20 0 0 25 0 4 0 506023609 2493730816 409426 33554432000 4194304 4797429 140734409101728 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6732/tid=6742] ppid=6730 vsize=2435284 CPUtime=1200.5 cores=1,3,5,7
/proc/6732/task/6742/stat : 6742 (techdemo) R 6730 6732 6135 0 -1 4202560 93006 0 0 0 120031 19 0 0 25 0 4 0 506023609 2493730816 409426 33554432000 4194304 4797429 140734409101728 18446744073709551615 4491075 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 2435284

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): 1205.49
CPU time (s): 4800.16
CPU user time (s): 4798.96
CPU system time (s): 1.19282
CPU usage (%): 398.192
Max. virtual memory (cumulated for all children) (KiB): 2435284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.96
system time used= 1.19282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578114
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= 11371
involuntary context switches= 33602

runsolver used 1.37479 second user time and 5.51716 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 06:01:17
IDJOB=3290988
IDBENCH=83463
IDSOLVER=1584
FILE ID=node142/3290988-1304136074
RUNJOBID= node142-1304134870-6585
PBS_JOBID= 13170793
Free space on /tmp= 73200 MiB

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

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=656858586

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.75
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.846
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.82
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29209692 kB
Buffers:       1087872 kB
Cached:        2083924 kB
SwapCached:        176 kB
Active:         284236 kB
Inactive:      2955936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29209692 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:          136012 kB
Writeback:           0 kB
AnonPages:       67836 kB
Mapped:          14864 kB
Slab:           438364 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188476 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= 73096 MiB
End job on node142 at 2011-04-30 06:21:24