Trace number 3284092

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 Strange-Night-1-mt? (TO) 4800.77 1209.6

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
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 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3284092-1304035837.cnf'
0.00/0.00	c -- header says num vars:         889302
0.00/0.00	c -- header says num clauses:    14582074
20.17/5.43	c -- clauses added:            0 learnts,     14582074 normals,            0 xors
20.17/5.43	c -- vars added     889302
20.17/5.43	c Parsing time: 17.19 s
20.17/5.43	c  N st     0         0    889302   1778118  12803934         0  42006124         0   no data   no data  --
20.58/5.57	c asymm  cl-useful: 0/1799/1778118 lits-rem:0 time: 0.83
54.91/14.18	c Flit:    41 Blit:    818 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 32.78
54.91/14.19	c Cleaning up after failed var search:     0.00 s 
69.24/17.70	c bin-w-bin subsume rem            0 bins  time:  6.29 s
74.41/19.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.26 s
115.15/29.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2074 time: 40.68 s
117.17/29.74	c Removed useless bin:    1161  fixed:     0  props:  20.55M  time:  2.11 s
816.28/207.82	c lits-rem:         0  cl-subs:     6664  v-elim:   6172  v-fix:    0  time: 658.67 s
817.45/208.16	c Finding binary XORs  T:     1.30 s  found:       0
820.23/208.84	c Calc default polars -  time:   1.39 s pos:   10123 undec:    7069 neg:  872110
820.23/208.84	c =========================================================================================
820.23/208.84	c types(t): F = full restart, N = normal restart
820.23/208.84	c types(t): S = simplification begin/end, E = solution found
820.23/208.84	c restart types(rt): st = static, dy = dynamic
820.23/208.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
820.23/208.84	c  B st     0         0    882267   1781043  12767106         0  44121128         0   no data   no data  --
884.27/225.55	c  N dy    10      4083    882267   1781043  12767508      3637  44121128    785048     13.49     14.80  --
947.76/241.40	c  N dy    18      8224    882223   1781043  12771164      7378  44121127   1425090     10.81     11.55  --
1034.84/263.26	c  N dy    42     12511    882220   1781043  12771528     11277  44121123   2530208     11.11     11.81  --
1111.94/282.51	c  N dy    68     16637    882190   1781043  12773232     15105  44121120   3320196     11.23     11.83  --
1191.03/302.33	c  N dy    86     20655    882173   1781043  12774523      9736  44121119    329239     11.04     11.69  --
1258.53/319.28	c  N dy   104     24747    882165   1781043  12774765     13546  44121118   1533177     11.01     11.66  --
1266.55/321.26	c  F st   106     25000    882158   1781043  12775442     13781  44121117   1569622     10.99   no data  --
1346.81/341.32	c  N dy   112     30000    882149   1781043  12773706     18595  44116954   2901930     10.99   no data  --
1346.81/341.34	c  S st   112     30000    882149   1781043  12773706     18595  44116954   2901930     10.99   no data  --
1363.22/345.50	c  S st   112     30503    882146   1781043  12773778     19021  44116954   2918821     10.99   no data  --
1365.59/346.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   2.21
2833.65/713.59	c Flit:     0 Blit:   4116 bXBeca:    0 bXProp:    0 Bins:   1050 BRemL:     11 BRemN:      0 P: 200.2M T: 1466.54
2834.05/713.63	c Cleaning up after failed var search:     0.00 s 
2837.64/714.58	c Replacing        1 vars Replaced      614 lits Time:     3.58 s 
2850.33/717.75	c bin-w-bin subsume rem            0 bins  time:  5.16 s
2855.93/719.17	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  5.66 s
2882.69/725.86	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:     0 done:  11802 time: 26.75 s
2884.68/726.36	c Removed useless bin:       0  fixed:     0  props:  20.02M  time:  1.98 s
3640.77/917.97	c lits-rem:         0  cl-subs:     5676  v-elim:   1518  v-fix:    0  time: 722.19 s
3642.28/918.35	c asymm  cl-useful: 0/121830/1786720 lits-rem:0 time: 1.28
3643.81/918.73	c  N dy   112     30503    876511   1786720  12661148     15699  44097896   1698659     10.99   no data  --
3716.80/937.32	c  N dy   135     34510    875249   1786720  12665440     19512  44097895   2790420     11.03     12.05  --
3792.33/956.41	c  N dy   162     38618    875234   1786720  12666192     23359  44097895   4053850     11.13     11.73  --
3861.00/973.94	c  N dy   187     42692    875232   1786720  12666436     27147  44097894   5191773     11.20     12.05  --
3918.16/988.41	c  S st   207     45754    875218   1786720  12667197     15711  44097894    670058     11.22   no data  --
3932.93/992.14	c  S st   207     46260    875212   1786720  12667252     16155  44097894    706728     11.22   no data  --
3934.93/992.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   2.21

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-3284092-1304035837/watcher-3284092-1304035837 -o /tmp/evaluation-result-3284092-1304035837/solver-3284092-1304035837 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3284092-1304035837.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.82 7.56 6.56 5/180 19552
/proc/meminfo: memFree=13130756/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 4 0 515185685 52465664 352 33554432000 4194304 4650419 140736980166912 18446744073709551615 47739242399660 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 12809 352 303 112 0 7774 0
[pid=19552/tid=19553] ppid=19550 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515185685 52465664 352 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515185685 52465664 352 33554432000 4194304 4650419 140736980166912 18446744073709551615 47739242399660 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515185685 52465664 352 33554432000 4194304 4650419 140736980166912 18446744073709551615 47739242399666 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0788981 s]
/proc/loadavg: 7.82 7.56 6.56 5/180 19552
/proc/meminfo: memFree=13130756/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=385488 CPUtime=0.27 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 53071 0 0 0 16 11 0 0 18 0 4 0 515185685 394739712 37824 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613153927 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 96372 37824 341 112 0 91337 0
[pid=19552/tid=19553] ppid=19550 vsize=385488 CPUtime=0.06 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) D 19550 19552 18832 0 -1 4202560 13646 0 0 0 3 3 0 0 18 0 4 0 515185685 394739712 37824 33554432000 4194304 4650419 140736980166912 18446744073709551615 4241552 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=385488 CPUtime=0.06 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 13461 0 0 0 4 2 0 0 18 0 4 0 515185685 394739712 37312 33554432000 4194304 4650419 140736980166912 18446744073709551615 270612808275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=385488 CPUtime=0.06 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 12783 0 0 0 4 2 0 0 18 0 4 0 515185685 394739712 37312 33554432000 4194304 4650419 140736980166912 18446744073709551615 270612808322 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 385488

[startup+0.105274 s]
/proc/loadavg: 7.82 7.56 6.56 5/180 19552
/proc/meminfo: memFree=13130756/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=410896 CPUtime=0.39 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 73390 0 0 0 24 15 0 0 18 0 4 0 515185685 420757504 56151 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 102724 56173 341 112 0 97689 0
[pid=19552/tid=19553] ppid=19550 vsize=410896 CPUtime=0.08 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) S 19550 19552 18832 0 -1 4202560 18174 0 0 0 5 3 0 0 18 0 4 0 515185685 420757504 56182 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215726 0 0 4096 2 18446604453895504192 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=410896 CPUtime=0.08 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18308 0 0 0 5 3 0 0 18 0 4 0 515185685 420757504 56189 33554432000 4194304 4650419 140736980166912 18446744073709551615 270612808129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=410896 CPUtime=0.09 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18470 0 0 0 6 3 0 0 18 0 4 0 515185685 420757504 56197 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 410896

[startup+0.316659 s]
/proc/loadavg: 7.82 7.56 6.56 5/180 19552
/proc/meminfo: memFree=13130756/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=984308 CPUtime=1.13 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) D 19550 19552 18832 0 -1 4202496 217199 0 0 0 72 41 0 0 18 0 4 0 515185685 1007931392 149565 33554432000 4194304 4650419 140736980166912 18446744073709551615 4354216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 246077 149565 341 112 0 241042 0
[pid=19552/tid=19553] ppid=19550 vsize=984308 CPUtime=0.27 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) D 19550 19552 18832 0 -1 4202560 53001 0 0 0 18 9 0 0 18 0 4 0 515185685 1007931392 149565 33554432000 4194304 4650419 140736980166912 18446744073709551615 4316576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=984308 CPUtime=0.28 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) D 19550 19552 18832 0 -1 4202560 54491 0 0 0 18 10 0 0 18 0 4 0 515185685 1007931392 149565 33554432000 4194304 4650419 140736980166912 18446744073709551615 270612807799 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=984308 CPUtime=0.28 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 54838 0 0 0 18 10 0 0 18 0 4 0 515185685 1007931392 149565 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613168554 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 984308

[startup+0.705399 s]
/proc/loadavg: 7.82 7.56 6.56 5/180 19552
/proc/meminfo: memFree=13130756/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=1357268 CPUtime=2.55 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 310806 0 0 0 189 66 0 0 18 0 4 0 515185685 1389842432 241385 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 339317 241426 345 112 0 334282 0
[pid=19552/tid=19553] ppid=19550 vsize=1357268 CPUtime=0.63 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) S 19550 19552 18832 0 -1 4202560 75164 0 0 0 48 15 0 0 18 0 4 0 515185685 1389842432 241442 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215726 0 0 4096 2 18446604453895504192 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=1357268 CPUtime=0.63 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) S 19550 19552 18832 0 -1 4202560 79362 0 0 0 46 17 0 0 18 0 4 0 515185685 1389842432 241482 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215726 0 0 4096 2 18446604453895504192 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=1357268 CPUtime=0.65 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 75998 0 0 0 48 17 0 0 18 0 4 0 515185685 1389842432 241500 33554432000 4194304 4650419 140736980166912 18446744073709551615 4373322 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 1357268

[startup+2.02176 s]
/proc/loadavg: 7.82 7.56 6.56 5/180 19552
/proc/meminfo: memFree=13130756/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=1816964 CPUtime=7.41 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 394932 0 0 0 610 131 0 0 18 0 4 0 515185685 1860571136 325511 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 454241 325512 345 112 0 449206 0
[pid=19552/tid=19553] ppid=19550 vsize=1816964 CPUtime=1.84 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 96210 0 0 0 152 32 0 0 18 0 4 0 515185685 1860571136 325517 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=1816964 CPUtime=1.83 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 101655 0 0 0 151 32 0 0 18 0 4 0 515185685 1860571136 325517 33554432000 4194304 4650419 140736980166912 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=1816964 CPUtime=1.86 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 95325 0 0 0 155 31 0 0 18 0 4 0 515185685 1860571136 325519 33554432000 4194304 4650419 140736980166912 18446744073709551615 4372341 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1816964

[startup+3.10057 s]
/proc/loadavg: 7.91 7.58 6.57 9/184 19556
/proc/meminfo: memFree=11765980/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=1948772 CPUtime=11.49 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 479205 0 0 0 979 170 0 0 18 0 4 0 515185685 1995542528 409784 33554432000 4194304 4650419 140736980166912 18446744073709551615 4545872 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 487193 409790 345 112 0 482158 0
[pid=19552/tid=19553] ppid=19550 vsize=1948772 CPUtime=2.84 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 116697 0 0 0 243 41 0 0 18 0 4 0 515185685 1995542528 409790 33554432000 4194304 4650419 140736980166912 18446744073709551615 4545938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=1948772 CPUtime=2.86 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 123170 0 0 0 242 44 0 0 18 0 4 0 515185685 1995542528 409790 33554432000 4194304 4650419 140736980166912 18446744073709551615 270612807783 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=1948772 CPUtime=2.88 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 116264 0 0 0 248 40 0 0 18 0 4 0 515185685 1995542528 409791 33554432000 4194304 4650419 140736980166912 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 1948772

[startup+6.30102 s]
/proc/loadavg: 7.91 7.58 6.57 10/184 19556
/proc/meminfo: memFree=10638084/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=3155964 CPUtime=23.76 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 787394 0 0 0 2106 270 0 0 19 0 4 0 515185685 3231707136 660037 33554432000 4194304 4650419 140736980166912 18446744073709551615 4370480 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19552/statm: 788991 660037 372 112 0 783956 0
[pid=19552/tid=19553] ppid=19550 vsize=3155964 CPUtime=5.9 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 198641 0 0 0 524 66 0 0 19 0 4 0 515185685 3231707136 660037 33554432000 4194304 4650419 140736980166912 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=3155964 CPUtime=5.94 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 209612 0 0 0 522 72 0 0 19 0 4 0 515185685 3231707136 660037 33554432000 4194304 4650419 140736980166912 18446744073709551615 4370585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=3155964 CPUtime=5.97 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 173356 0 0 0 537 60 0 0 19 0 4 0 515185685 3231707136 660037 33554432000 4194304 4650419 140736980166912 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.76
Current children cumulated vsize (KiB) 3155964

[startup+12.7009 s]
/proc/loadavg: 8.07 7.63 6.59 9/184 19556
/proc/meminfo: memFree=10456548/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=3155964 CPUtime=49.33 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 792170 0 0 0 4662 271 0 0 25 0 4 0 515185685 3231707136 664813 33554432000 4194304 4650419 140736980166912 18446744073709551615 4243915 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19552/statm: 788991 664813 372 112 0 783956 0
[pid=19552/tid=19553] ppid=19550 vsize=3155964 CPUtime=12.3 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 198810 0 0 0 1164 66 0 0 25 0 4 0 515185685 3231707136 664813 33554432000 4194304 4650419 140736980166912 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=3155964 CPUtime=12.34 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 209763 0 0 0 1162 72 0 0 25 0 4 0 515185685 3231707136 664813 33554432000 4194304 4650419 140736980166912 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=3155964 CPUtime=12.37 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 177603 0 0 0 1176 61 0 0 25 0 4 0 515185685 3231707136 664813 33554432000 4194304 4650419 140736980166912 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.33
Current children cumulated vsize (KiB) 3155964

[startup+25.5006 s]
/proc/loadavg: 8.06 7.64 6.61 9/184 19556
/proc/meminfo: memFree=9302448/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=4431868 CPUtime=100.37 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 1083335 0 0 0 9717 320 0 0 25 0 4 0 515185685 4538232832 955782 33554432000 4194304 4650419 140736980166912 18446744073709551615 4255712 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19552/statm: 1107967 955782 385 112 0 1102932 0
[pid=19552/tid=19553] ppid=19550 vsize=4431868 CPUtime=25.08 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 288320 0 0 0 2428 80 0 0 25 0 4 0 515185685 4538232832 955782 33554432000 4194304 4650419 140736980166912 18446744073709551615 4340039 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=4431868 CPUtime=25.11 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 299212 0 0 0 2424 87 0 0 25 0 4 0 515185685 4538232832 955782 33554432000 4194304 4650419 140736980166912 18446744073709551615 4446397 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=4431868 CPUtime=25.15 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 200400 0 0 0 2451 64 0 0 25 0 4 0 515185685 4538232832 955782 33554432000 4194304 4650419 140736980166912 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.37
Current children cumulated vsize (KiB) 4431868

[startup+51.1011 s]
/proc/loadavg: 8.09 7.69 6.66 10/184 19557
/proc/meminfo: memFree=8792616/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=5001056 CPUtime=202.29 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 1427361 0 0 0 19837 392 0 0 20 0 4 0 515185685 5121081344 1080395 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19552/statm: 1250264 1080395 389 112 0 1245229 0
[pid=19552/tid=19553] ppid=19550 vsize=5001056 CPUtime=50.67 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 386696 0 0 0 4968 99 0 0 20 0 4 0 515185685 5121081344 1080395 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=5001056 CPUtime=50.61 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 384065 0 0 0 4956 105 0 0 25 0 4 0 515185685 5121081344 1080395 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=5001056 CPUtime=50.47 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 231989 0 0 0 4975 72 0 0 25 0 4 0 515185685 5121081344 1080395 33554432000 4194304 4650419 140736980166912 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.29
Current children cumulated vsize (KiB) 5001056

[startup+102.301 s]
/proc/loadavg: 8.13 7.76 6.74 10/184 19558
/proc/meminfo: memFree=8403712/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=5383484 CPUtime=403.08 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 7479729 0 0 0 38641 1667 0 0 19 0 4 0 515185685 5512687616 1174539 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19552/statm: 1345871 1174539 390 112 0 1340836 0
[pid=19552/tid=19553] ppid=19550 vsize=5383484 CPUtime=101.77 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 1399843 0 0 0 9860 317 0 0 18 0 4 0 515185685 5512687616 1174539 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=5383484 CPUtime=101.71 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3208928 0 0 0 9474 697 0 0 22 0 4 0 515185685 5512687616 1174539 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=5383484 CPUtime=97.96 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 251107 0 0 0 9717 79 0 0 18 0 4 0 515185685 5512687616 1174539 33554432000 4194304 4650419 140736980166912 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 403.08
Current children cumulated vsize (KiB) 5383484

[startup+162.3 s]

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

[pid=19552/tid=19555] ppid=19550 vsize=8603008 CPUtime=689.76 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 666042 0 0 0 68744 232 0 0 25 0 4 0 515185685 8809480192 1846825 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2788.92
Current children cumulated vsize (KiB) 8603008

[startup+762.3 s]
/proc/loadavg: 4.24 6.14 6.65 5/175 19594
/proc/meminfo: memFree=6111972/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=8679316 CPUtime=3028.47 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 25345338 0 0 0 297733 5114 0 0 25 0 4 0 515185685 8887619584 1866611 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19552/statm: 2169829 1866611 529 112 0 2164794 0
[pid=19552/tid=19553] ppid=19550 vsize=8679316 CPUtime=760.11 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 6203742 0 0 0 74744 1267 0 0 25 0 4 0 515185685 8887619584 1866611 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=8679316 CPUtime=761.35 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10737363 0 0 0 74014 2121 0 0 25 0 4 0 515185685 8887619584 1866611 33554432000 4194304 4650419 140736980166912 18446744073709551615 4231034 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=8679316 CPUtime=749.74 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 1396293 0 0 0 74614 360 0 0 25 0 4 0 515185685 8887619584 1866611 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3028.47
Current children cumulated vsize (KiB) 8679316

[startup+822.301 s]
/proc/loadavg: 4.14 5.76 6.49 5/175 19596
/proc/meminfo: memFree=6154860/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=8613780 CPUtime=3268.07 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 29069965 0 0 0 321077 5730 0 0 19 0 4 0 515185685 8820510720 1853941 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19552/statm: 2153445 1853952 522 112 0 2148410 0
[pid=19552/tid=19553] ppid=19550 vsize=8613780 CPUtime=820.1 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 6860438 0 0 0 80635 1375 0 0 19 0 4 0 515185685 8820510720 1853957 33554432000 4194304 4650419 140736980166912 18446744073709551615 270612808129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=8613780 CPUtime=821.29 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10896846 0 0 0 79977 2152 0 0 25 0 4 0 515185685 8820510720 1853964 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=8613780 CPUtime=809.7 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 2971537 0 0 0 80354 616 0 0 25 0 4 0 515185685 8820510720 1853970 33554432000 4194304 4650419 140736980166912 18446744073709551615 4440593 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3268.07
Current children cumulated vsize (KiB) 8613780

[startup+882.306 s]
/proc/loadavg: 3.98 5.42 6.32 5/175 19597
/proc/meminfo: memFree=5733040/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=8939632 CPUtime=3503.25 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 37500940 0 0 0 343137 7188 0 0 18 0 4 0 515185685 9154183168 1954019 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2234908 1954033 734 112 0 2229873 0
[pid=19552/tid=19553] ppid=19550 vsize=8939632 CPUtime=879.92 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 9392934 0 0 0 86180 1812 0 0 18 0 4 0 515185685 9154183168 1954040 33554432000 4194304 4650419 140736980166912 18446744073709551615 4442087 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=8939632 CPUtime=881.21 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 12795041 0 0 0 85609 2512 0 0 18 0 4 0 515185685 9154183168 1954050 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=8939632 CPUtime=865.26 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3229240 0 0 0 85865 661 0 0 20 0 4 0 515185685 9154183168 1954058 33554432000 4194304 4650419 140736980166912 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3503.25
Current children cumulated vsize (KiB) 8939632

[startup+942.3 s]
/proc/loadavg: 3.87 5.12 6.16 5/175 19599
/proc/meminfo: memFree=5616724/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=9140532 CPUtime=3736.3 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 45819726 0 0 0 365084 8546 0 0 25 0 4 0 515185685 9359904768 1992941 33554432000 4194304 4650419 140736980166912 18446744073709551615 4365054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2285133 1992941 1132 112 0 2280098 0
[pid=19552/tid=19553] ppid=19550 vsize=9140532 CPUtime=937.5 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10669262 0 0 0 91728 2022 0 0 25 0 4 0 515185685 9359904768 1992941 33554432000 4194304 4650419 140736980166912 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=9140532 CPUtime=941.16 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 16889050 0 0 0 90930 3186 0 0 18 0 4 0 515185685 9359904768 1992941 33554432000 4194304 4650419 140736980166912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=9140532 CPUtime=921.78 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3278227 0 0 0 91506 672 0 0 18 0 4 0 515185685 9359904768 1992941 33554432000 4194304 4650419 140736980166912 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3736.3
Current children cumulated vsize (KiB) 9140532

[startup+1002.3 s]
/proc/loadavg: 3.99 4.93 6.03 5/175 19600
/proc/meminfo: memFree=5369608/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=9459144 CPUtime=3973.68 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 47177698 0 0 0 388594 8774 0 0 25 0 4 0 515185685 9686163456 2052176 33554432000 4194304 4650419 140736980166912 18446744073709551615 4230784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2364786 2052176 687 112 0 2359751 0
[pid=19552/tid=19553] ppid=19550 vsize=9459144 CPUtime=996.51 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10673122 0 0 0 97626 2025 0 0 25 0 4 0 515185685 9686163456 2052176 33554432000 4194304 4650419 140736980166912 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=9459144 CPUtime=1001.15 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18143687 0 0 0 96723 3392 0 0 25 0 4 0 515185685 9686163456 2052176 33554432000 4194304 4650419 140736980166912 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=9459144 CPUtime=980.96 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3336358 0 0 0 97413 683 0 0 25 0 4 0 515185685 9686163456 2052176 33554432000 4194304 4650419 140736980166912 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3973.68
Current children cumulated vsize (KiB) 9459144

[startup+1062.3 s]
/proc/loadavg: 3.99 4.75 5.90 5/175 19602
/proc/meminfo: memFree=5083256/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=9786824 CPUtime=4213.42 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 47253391 0 0 0 412549 8793 0 0 25 0 4 0 515185685 10021707776 2124440 33554432000 4194304 4650419 140736980166912 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2446706 2124440 687 112 0 2441671 0
[pid=19552/tid=19553] ppid=19550 vsize=9786824 CPUtime=1056.24 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10686068 0 0 0 103596 2028 0 0 25 0 4 0 515185685 10021707776 2124440 33554432000 4194304 4650419 140736980166912 18446744073709551615 4231007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=9786824 CPUtime=1061.16 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18148067 0 0 0 102722 3394 0 0 25 0 4 0 515185685 10021707776 2124440 33554432000 4194304 4650419 140736980166912 18446744073709551615 4310880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=9786824 CPUtime=1040.97 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3382699 0 0 0 103402 695 0 0 25 0 4 0 515185685 10021707776 2124440 33554432000 4194304 4650419 140736980166912 18446744073709551615 4314688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4213.42
Current children cumulated vsize (KiB) 9786824

[startup+1122.3 s]
/proc/loadavg: 4.03 4.63 5.78 5/175 19604
/proc/meminfo: memFree=4894948/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=9983440 CPUtime=4453.13 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 47300546 0 0 0 436510 8803 0 0 25 0 4 0 515185685 10223042560 2170715 33554432000 4194304 4650419 140736980166912 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2495860 2170715 687 112 0 2490825 0
[pid=19552/tid=19553] ppid=19550 vsize=9983440 CPUtime=1115.95 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10696086 0 0 0 109565 2030 0 0 25 0 4 0 515185685 10223042560 2170715 33554432000 4194304 4650419 140736980166912 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=9983440 CPUtime=1121.15 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18151393 0 0 0 108720 3395 0 0 25 0 4 0 515185685 10223042560 2170715 33554432000 4194304 4650419 140736980166912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=9983440 CPUtime=1100.97 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3411713 0 0 0 109396 701 0 0 25 0 4 0 515185685 10223042560 2170715 33554432000 4194304 4650419 140736980166912 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4453.13
Current children cumulated vsize (KiB) 9983440

[startup+1182.3 s]
/proc/loadavg: 4.12 4.54 5.68 5/175 19605
/proc/meminfo: memFree=4828376/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=9983492 CPUtime=4692.86 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 47370812 0 0 0 460469 8817 0 0 25 0 4 0 515185685 10223095808 2188201 33554432000 4194304 4650419 140736980166912 18446744073709551615 4231007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2495873 2188201 687 112 0 2490838 0
[pid=19552/tid=19553] ppid=19550 vsize=9983492 CPUtime=1175.67 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10702190 0 0 0 115537 2030 0 0 25 0 4 0 515185685 10223095808 2188201 33554432000 4194304 4650419 140736980166912 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=9983492 CPUtime=1181.16 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18155013 0 0 0 114718 3398 0 0 25 0 4 0 515185685 10223095808 2188201 33554432000 4194304 4650419 140736980166912 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=9983492 CPUtime=1160.96 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3466967 0 0 0 115386 710 0 0 25 0 4 0 515185685 10223095808 2188201 33554432000 4194304 4650419 140736980166912 18446744073709551615 4230684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4692.86
Current children cumulated vsize (KiB) 9983492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1209.2 s]
/proc/loadavg: 4.08 4.50 5.63 5/175 19606
/proc/meminfo: memFree=4838084/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=9983976 CPUtime=4800.35 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) R 19550 19552 18832 0 -1 4202496 47406972 0 0 0 471211 8824 0 0 25 0 4 0 515185685 10223591424 2184736 33554432000 4194304 4650419 140736980166912 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 2495994 2184736 687 112 0 2490959 0
[pid=19552/tid=19553] ppid=19550 vsize=9983976 CPUtime=1202.44 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 10703047 0 0 0 118214 2030 0 0 25 0 4 0 515185685 10223591424 2184736 33554432000 4194304 4650419 140736980166912 18446744073709551615 4231019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19552/tid=19554] ppid=19550 vsize=9983976 CPUtime=1208.07 cores=0,2,4,6
/proc/19552/task/19554/stat : 19554 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 18189385 0 0 0 117401 3406 0 0 25 0 4 0 515185685 10223591424 2184736 33554432000 4194304 4650419 140736980166912 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19552/tid=19555] ppid=19550 vsize=9983976 CPUtime=1187.87 cores=0,2,4,6
/proc/19552/task/19555/stat : 19555 (strangenight1-m) R 19550 19552 18832 0 -1 4202560 3467210 0 0 0 118077 710 0 0 25 0 4 0 515185685 10223591424 2184736 33554432000 4194304 4650419 140736980166912 18446744073709551615 4230784 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 9983976

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

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

[startup+1209.4 s]
/proc/loadavg: 4.08 4.50 5.63 5/175 19606
/proc/meminfo: memFree=4838084/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=0 CPUtime=4800.56 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) Z 19550 19552 18832 0 -1 4203548 47406972 0 0 0 471213 8843 0 0 25 0 2 0 515185685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 0 0 0 0 0 0 0
[pid=19552/tid=19553] ppid=19550 vsize=0 CPUtime=1202.64 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4203588 10703047 0 0 0 118215 2049 0 0 25 0 2 0 515185685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.56
Current children cumulated vsize (KiB) 0

[startup+1209.5 s]
/proc/loadavg: 4.08 4.50 5.63 5/175 19606
/proc/meminfo: memFree=4838084/32951124 swapFree=67111528/67111528
[pid=19552] ppid=19550 vsize=0 CPUtime=4800.66 cores=0,2,4,6
/proc/19552/stat : 19552 (strangenight1-m) Z 19550 19552 18832 0 -1 4203548 47406972 0 0 0 471213 8853 0 0 25 0 2 0 515185685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19552/statm: 0 0 0 0 0 0 0
[pid=19552/tid=19553] ppid=19550 vsize=0 CPUtime=1202.74 cores=0,2,4,6
/proc/19552/task/19553/stat : 19553 (strangenight1-m) R 19550 19552 18832 0 -1 4203588 10703047 0 0 0 118215 2059 0 0 25 0 2 0 515185685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.66
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1209.6
CPU time (s): 4800.77
CPU user time (s): 4712.13
CPU system time (s): 88.6335
CPU usage (%): 396.889
Max. virtual memory (cumulated for all children) (KiB): 10171368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4712.13
system time used= 88.6335
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47406972
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= 234266
involuntary context switches= 21498

runsolver used 1.86172 second user time and 4.31134 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 02:10:47
IDJOB=3284092
IDBENCH=71686
IDSOLVER=1588
FILE ID=node108/3284092-1304035837
RUNJOBID= node108-1304035219-19470
PBS_JOBID= 13170344
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284092-1304035837/watcher-3284092-1304035837 -o /tmp/evaluation-result-3284092-1304035837/solver-3284092-1304035837 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3284092-1304035837.cnf

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

MD5SUM BENCH= 75d91f0ba4398ccb5b452707c0e7fa27
RANDOM SEED=864524563

node108.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.820
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.64
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.820
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.820
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.820
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.77
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.820
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.82
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.820
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.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13131044 kB
Buffers:       2295344 kB
Cached:       16424528 kB
SwapCached:          0 kB
Active:       11098800 kB
Inactive:      8135480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13131044 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          323140 kB
Writeback:           0 kB
AnonPages:      513856 kB
Mapped:          15532 kB
Slab:           521928 kB
PageTables:       5792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   816860 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= 71804 MiB
End job on node108 at 2011-04-29 02:30:59