Trace number 3288991

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
SArTagnan 2011-03-24? (TO) 4800.32 1201.79

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
MD5SUM9851f8e63efc4505343bf50c1cf30646
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 variables44362
Number of clauses148436
Sum of the clauses size378642
Maximum clause length1419
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 276003
Number of clauses of size 371663
Number of clauses of size 4209
Number of clauses of size 518
Number of clauses of size over 5542

Solver Data


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

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: 3.72 5.00 6.59 2/174 32427
/proc/meminfo: memFree=25645028/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=25768 CPUtime=0 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 1273 0 0 0 0 0 0 0 23 0 1 0 500561194 26386432 1211 33554432000 4194304 4623224 140736925733184 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32427/statm: 6442 1212 300 105 0 1946 0

[startup+0.079775 s]
/proc/loadavg: 3.72 5.00 6.59 2/174 32427
/proc/meminfo: memFree=25645028/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=85184 CPUtime=0.07 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 10064 0 0 0 6 1 0 0 23 0 4 0 500561194 87228416 8083 33554432000 4194304 4623224 140736925733184 18446744073709551615 47747384059816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 21296 8083 306 105 0 16800 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85184

[startup+0.100659 s]
/proc/loadavg: 3.72 5.00 6.59 2/174 32427
/proc/meminfo: memFree=25645028/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=286976 CPUtime=0.15 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 11989 0 0 0 14 1 0 0 18 0 4 0 500561194 293863424 9647 33554432000 4194304 4623224 140736925733184 18446744073709551615 228095118338 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 71744 9647 328 105 0 67248 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 286976

[startup+0.300625 s]
/proc/loadavg: 3.72 5.00 6.59 2/174 32427
/proc/meminfo: memFree=25645028/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=292004 CPUtime=0.95 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 16552 0 0 0 93 2 0 0 18 0 4 0 500561194 299012096 12043 33554432000 4194304 4623224 140736925733184 18446744073709551615 228095148471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 73001 12061 342 105 0 68505 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 292004

[startup+0.70055 s]
/proc/loadavg: 3.72 5.00 6.59 2/174 32427
/proc/meminfo: memFree=25645028/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=297152 CPUtime=2.55 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 18925 0 0 0 253 2 0 0 18 0 4 0 500561194 304283648 14415 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 74288 14415 342 105 0 69792 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 297152

[startup+1.5004 s]
/proc/loadavg: 3.72 5.00 6.59 9/184 32440
/proc/meminfo: memFree=25527404/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=297152 CPUtime=5.74 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 19156 0 0 0 572 2 0 0 19 0 4 0 500561194 304283648 14646 33554432000 4194304 4623224 140736925733184 18446744073709551615 4517842 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 74288 14646 343 105 0 69792 0
[pid=32427/tid=32429] ppid=32425 vsize=297152 CPUtime=1.41 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 2178 0 0 0 141 0 0 0 25 0 4 0 500561202 304283648 14646 33554432000 4194304 4623224 140736925733184 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=297152 CPUtime=1.41 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 2188 0 0 0 141 0 0 0 25 0 4 0 500561202 304283648 14646 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=297152 CPUtime=1.41 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 2342 0 0 0 141 0 0 0 25 0 4 0 500561202 304283648 14646 33554432000 4194304 4623224 140736925733184 18446744073709551615 4549202 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 297152

[startup+3.10111 s]
/proc/loadavg: 4.06 5.05 6.60 10/184 32440
/proc/meminfo: memFree=25520212/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=310160 CPUtime=12.14 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 22378 0 0 0 1211 3 0 0 25 0 4 0 500561194 317603840 16203 33554432000 4194304 4623224 140736925733184 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 77540 16203 343 105 0 73044 0
[pid=32427/tid=32429] ppid=32425 vsize=310160 CPUtime=3 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 2941 0 0 0 300 0 0 0 25 0 4 0 500561202 317603840 16204 33554432000 4194304 4623224 140736925733184 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=310160 CPUtime=3.01 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 3161 0 0 0 301 0 0 0 25 0 4 0 500561202 317603840 16204 33554432000 4194304 4623224 140736925733184 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=310160 CPUtime=3.01 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 3047 0 0 0 301 0 0 0 25 0 4 0 500561202 317603840 16204 33554432000 4194304 4623224 140736925733184 18446744073709551615 4549202 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 310160

[startup+6.30052 s]
/proc/loadavg: 4.06 5.05 6.60 9/184 32440
/proc/meminfo: memFree=25358160/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=459884 CPUtime=24.88 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 127988 0 0 0 2470 18 0 0 21 0 4 0 500561194 470921216 54001 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 114971 54001 344 105 0 110475 0
[pid=32427/tid=32429] ppid=32425 vsize=459884 CPUtime=6.16 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 23599 0 0 0 614 2 0 0 25 0 4 0 500561202 470921216 54001 33554432000 4194304 4623224 140736925733184 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=459884 CPUtime=6.2 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 19252 0 0 0 617 3 0 0 21 0 4 0 500561202 470921216 54001 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=459884 CPUtime=6.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 35245 0 0 0 616 5 0 0 25 0 4 0 500561202 470921216 54001 33554432000 4194304 4623224 140736925733184 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 459884

[startup+12.7003 s]
/proc/loadavg: 4.67 5.14 6.62 9/184 32440
/proc/meminfo: memFree=25326172/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=468120 CPUtime=50.44 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 174365 0 0 0 5019 25 0 0 25 0 4 0 500561194 479354880 56141 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510130 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 117030 56141 344 105 0 112534 0
[pid=32427/tid=32429] ppid=32425 vsize=468120 CPUtime=12.53 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 24489 0 0 0 1250 3 0 0 25 0 4 0 500561202 479354880 56141 33554432000 4194304 4623224 140736925733184 18446744073709551615 4462645 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=468120 CPUtime=12.6 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 19332 0 0 0 1257 3 0 0 25 0 4 0 500561202 479354880 56141 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=468120 CPUtime=12.61 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 76397 0 0 0 1250 11 0 0 25 0 4 0 500561202 479354880 56141 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 468120

[startup+25.501 s]
/proc/loadavg: 5.18 5.24 6.63 9/184 32441
/proc/meminfo: memFree=25170064/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=477636 CPUtime=101.56 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 260391 0 0 0 10114 42 0 0 25 0 4 0 500561194 489099264 63362 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 119409 63362 344 105 0 114913 0
[pid=32427/tid=32429] ppid=32425 vsize=477636 CPUtime=25.26 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 28850 0 0 0 2521 5 0 0 25 0 4 0 500561202 489099264 63362 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=477636 CPUtime=25.4 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 24125 0 0 0 2536 4 0 0 20 0 4 0 500561202 489099264 63362 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=477636 CPUtime=25.4 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 153020 0 0 0 2515 25 0 0 25 0 4 0 500561202 489099264 63362 33554432000 4194304 4623224 140736925733184 18446744073709551615 4364377 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 477636

[startup+51.1002 s]
/proc/loadavg: 6.14 5.46 6.66 10/184 32441
/proc/meminfo: memFree=25109800/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=479548 CPUtime=203.83 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 428317 0 0 0 20313 70 0 0 25 0 4 0 500561194 491057152 67515 33554432000 4194304 4623224 140736925733184 18446744073709551615 4507447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 119887 67515 345 105 0 115391 0
[pid=32427/tid=32429] ppid=32425 vsize=479548 CPUtime=50.72 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 29282 0 0 0 5067 5 0 0 25 0 4 0 500561202 491057152 67515 33554432000 4194304 4623224 140736925733184 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=479548 CPUtime=50.99 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 24787 0 0 0 5095 4 0 0 25 0 4 0 500561202 491057152 67515 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=479548 CPUtime=51 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 319645 0 0 0 5048 52 0 0 25 0 4 0 500561202 491057152 67515 33554432000 4194304 4623224 140736925733184 18446744073709551615 228095148128 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 479548

[startup+102.307 s]
/proc/loadavg: 7.37 5.93 6.75 9/184 32443
/proc/meminfo: memFree=24984544/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=522352 CPUtime=408.38 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 619341 0 0 0 40734 104 0 0 25 0 4 0 500561194 534888448 86488 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 130588 86488 345 105 0 126092 0
[pid=32427/tid=32429] ppid=32425 vsize=522352 CPUtime=101.65 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 41415 0 0 0 10156 9 0 0 25 0 4 0 500561202 534888448 86488 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=522352 CPUtime=102.2 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 35501 0 0 0 10213 7 0 0 25 0 4 0 500561202 534888448 86488 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=522352 CPUtime=102.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 487097 0 0 0 10142 79 0 0 25 0 4 0 500561202 534888448 86488 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 522352

[startup+162.301 s]
/proc/loadavg: 7.81 6.32 6.83 9/184 32444
/proc/meminfo: memFree=24837824/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=715836 CPUtime=648.03 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 1056548 0 0 0 64619 184 0 0 25 0 4 0 500561194 733016064 116854 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 178959 116854 345 105 0 174463 0
[pid=32427/tid=32429] ppid=32425 vsize=715836 CPUtime=161.32 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 63169 0 0 0 16116 16 0 0 25 0 4 0 500561202 733016064 116854 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=715836 CPUtime=162.19 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 52949 0 0 0 16205 14 0 0 25 0 4 0 500561202 733016064 116854 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=715836 CPUtime=162.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 872516 0 0 0 16079 142 0 0 25 0 4 0 500561202 733016064 116854 33554432000 4194304 4623224 140736925733184 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.03
Current children cumulated vsize (KiB) 715836

[startup+222.301 s]
/proc/loadavg: 7.96 6.63 6.91 9/184 32446
/proc/meminfo: memFree=24726576/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=814220 CPUtime=887.7 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 1435437 0 0 0 88517 253 0 0 25 0 4 0 500561194 833761280 138688 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510217 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 203555 138688 345 105 0 199059 0
[pid=32427/tid=32429] ppid=32425 vsize=814220 CPUtime=221 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 84733 0 0 0 22077 23 0 0 25 0 4 0 500561202 833761280 138688 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=814220 CPUtime=222.19 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 57979 0 0 0 22201 18 0 0 25 0 4 0 500561202 833761280 138688 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=814220 CPUtime=222.2 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 1223382 0 0 0 22020 200 0 0 25 0 4 0 500561202 833761280 138688 33554432000 4194304 4623224 140736925733184 18446744073709551615 4363711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.7
Current children cumulated vsize (KiB) 814220

[startup+282.3 s]

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

[pid=32427] ppid=32425 vsize=1411180 CPUtime=2805.18 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 3879983 0 0 0 279841 677 0 0 25 0 4 0 500561194 1445048320 287112 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 352795 287112 345 105 0 348299 0
[pid=32427/tid=32429] ppid=32425 vsize=1411180 CPUtime=698.45 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 147359 0 0 0 69792 53 0 0 25 0 4 0 500561202 1445048320 287112 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1411180 CPUtime=702.21 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 138754 0 0 0 70172 49 0 0 25 0 4 0 500561202 1445048320 287112 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1411180 CPUtime=702.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 3493382 0 0 0 69663 558 0 0 25 0 4 0 500561202 1445048320 287112 33554432000 4194304 4623224 140736925733184 18446744073709551615 4363977 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.18
Current children cumulated vsize (KiB) 1411180

[startup+762.307 s]
/proc/loadavg: 8.10 7.86 7.42 9/184 32469
/proc/meminfo: memFree=23512960/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1489568 CPUtime=3044.9 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 4170507 0 0 0 303765 725 0 0 25 0 4 0 500561194 1525317632 300497 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 372392 300497 345 105 0 367896 0
[pid=32427/tid=32429] ppid=32425 vsize=1489568 CPUtime=758.14 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 151583 0 0 0 75757 57 0 0 25 0 4 0 500561202 1525317632 300497 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1489568 CPUtime=762.21 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 141163 0 0 0 76171 50 0 0 25 0 4 0 500561202 1525317632 300497 33554432000 4194304 4623224 140736925733184 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1489568 CPUtime=762.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 3776527 0 0 0 75621 600 0 0 25 0 4 0 500561202 1525317632 300497 33554432000 4194304 4623224 140736925733184 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.9
Current children cumulated vsize (KiB) 1489568

[startup+822.301 s]
/proc/loadavg: 8.04 7.88 7.45 9/184 32471
/proc/meminfo: memFree=23368356/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1569132 CPUtime=3284.57 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 4277245 0 0 0 327709 748 0 0 25 0 4 0 500561194 1606791168 317202 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 392283 317202 345 105 0 387787 0
[pid=32427/tid=32429] ppid=32425 vsize=1569132 CPUtime=817.83 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 156317 0 0 0 81723 60 0 0 25 0 4 0 500561202 1606791168 317202 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1569132 CPUtime=822.21 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 144934 0 0 0 82167 54 0 0 25 0 4 0 500561202 1606791168 317202 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1569132 CPUtime=822.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 3873832 0 0 0 81605 616 0 0 25 0 4 0 500561202 1606791168 317202 33554432000 4194304 4623224 140736925733184 18446744073709551615 4550704 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.57
Current children cumulated vsize (KiB) 1569132

[startup+882.3 s]
/proc/loadavg: 8.06 7.92 7.49 9/184 32473
/proc/meminfo: memFree=23221532/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1634668 CPUtime=3524.25 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 4689836 0 0 0 351608 817 0 0 25 0 4 0 500561194 1673900032 332591 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 408667 332591 345 105 0 404171 0
[pid=32427/tid=32429] ppid=32425 vsize=1634668 CPUtime=877.5 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 160630 0 0 0 87686 64 0 0 25 0 4 0 500561202 1673900032 332591 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1634668 CPUtime=882.21 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 150404 0 0 0 88162 59 0 0 25 0 4 0 500561202 1673900032 332591 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1634668 CPUtime=882.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 4275486 0 0 0 87544 677 0 0 25 0 4 0 500561202 1673900032 332591 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.25
Current children cumulated vsize (KiB) 1634668

[startup+942.3 s]
/proc/loadavg: 8.06 7.94 7.52 9/184 32474
/proc/meminfo: memFree=23071224/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1706892 CPUtime=3763.94 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 4971285 0 0 0 375530 864 0 0 25 0 4 0 500561194 1747857408 348770 33554432000 4194304 4623224 140736925733184 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 426723 348770 345 105 0 422227 0
[pid=32427/tid=32429] ppid=32425 vsize=1706892 CPUtime=937.18 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 164784 0 0 0 93650 68 0 0 25 0 4 0 500561202 1747857408 348770 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1706892 CPUtime=942.21 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 188350 0 0 0 94156 65 0 0 25 0 4 0 500561202 1747857408 348770 33554432000 4194304 4623224 140736925733184 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1706892 CPUtime=942.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 4514146 0 0 0 93508 713 0 0 25 0 4 0 500561202 1747857408 348770 33554432000 4194304 4623224 140736925733184 18446744073709551615 4545903 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.94
Current children cumulated vsize (KiB) 1706892

[startup+1002.3 s]
/proc/loadavg: 8.06 7.97 7.55 10/184 32476
/proc/meminfo: memFree=22941996/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1734236 CPUtime=4003.62 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 5171210 0 0 0 399462 900 0 0 25 0 4 0 500561194 1775857664 361245 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 433559 361245 345 105 0 429063 0
[pid=32427/tid=32429] ppid=32425 vsize=1734236 CPUtime=996.86 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 167152 0 0 0 99616 70 0 0 25 0 4 0 500561202 1775857664 361245 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1734236 CPUtime=1002.21 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 192634 0 0 0 100152 69 0 0 25 0 4 0 500561202 1775857664 361245 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1734236 CPUtime=1002.22 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 4706597 0 0 0 99479 743 0 0 25 0 4 0 500561202 1775857664 361245 33554432000 4194304 4623224 140736925733184 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.62
Current children cumulated vsize (KiB) 1734236

[startup+1062.3 s]
/proc/loadavg: 8.10 8.00 7.59 9/184 32477
/proc/meminfo: memFree=22816976/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1799772 CPUtime=4243.32 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 5572246 0 0 0 423370 962 0 0 25 0 4 0 500561194 1842966528 373248 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 449943 373248 345 105 0 445447 0
[pid=32427/tid=32429] ppid=32425 vsize=1799772 CPUtime=1056.56 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 169051 0 0 0 105585 71 0 0 25 0 4 0 500561202 1842966528 373248 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1799772 CPUtime=1062.22 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 196034 0 0 0 106148 74 0 0 25 0 4 0 500561202 1842966528 373248 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1799772 CPUtime=1062.22 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 5101523 0 0 0 105423 799 0 0 25 0 4 0 500561202 1842966528 373248 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.32
Current children cumulated vsize (KiB) 1799772

[startup+1122.3 s]
/proc/loadavg: 8.17 8.04 7.63 9/184 32479
/proc/meminfo: memFree=22689372/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1804676 CPUtime=4483.01 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 5943698 0 0 0 447276 1025 0 0 25 0 4 0 500561194 1847988224 386113 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 451169 386113 345 105 0 446673 0
[pid=32427/tid=32429] ppid=32425 vsize=1804676 CPUtime=1116.24 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 172792 0 0 0 111552 72 0 0 25 0 4 0 500561202 1847988224 386113 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1804676 CPUtime=1122.22 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 199925 0 0 0 112145 77 0 0 25 0 4 0 500561202 1847988224 386113 33554432000 4194304 4623224 140736925733184 18446744073709551615 4377034 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1804676 CPUtime=1122.22 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 5464805 0 0 0 111364 858 0 0 25 0 4 0 500561202 1847988224 386113 33554432000 4194304 4623224 140736925733184 18446744073709551615 228095107029 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1804676

[startup+1182.3 s]
/proc/loadavg: 8.10 8.05 7.65 9/184 32481
/proc/meminfo: memFree=22513400/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1937592 CPUtime=4722.71 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 6351983 0 0 0 471183 1088 0 0 25 0 4 0 500561194 1984094208 404614 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 484398 404614 347 105 0 479902 0
[pid=32427/tid=32429] ppid=32425 vsize=1937592 CPUtime=1175.93 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 211800 0 0 0 117513 80 0 0 25 0 4 0 500561202 1984094208 404614 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376732 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1937592 CPUtime=1182.22 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 204181 0 0 0 118142 80 0 0 25 0 4 0 500561202 1984094208 404614 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1937592 CPUtime=1182.21 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 5828911 0 0 0 117312 909 0 0 25 0 4 0 500561202 1984094208 404614 33554432000 4194304 4623224 140736925733184 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1937592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.06 7.66 9/184 32481
/proc/meminfo: memFree=22465776/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1937592 CPUtime=4800.21 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 6483379 0 0 0 478910 1111 0 0 25 0 4 0 500561194 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 484398 408877 345 105 0 479902 0
[pid=32427/tid=32429] ppid=32425 vsize=1937592 CPUtime=1195.23 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 213414 0 0 0 119441 82 0 0 25 0 4 0 500561202 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1937592 CPUtime=1201.62 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 205166 0 0 0 120082 80 0 0 25 0 4 0 500561202 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1937592 CPUtime=1201.63 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 5957468 0 0 0 119232 931 0 0 25 0 4 0 500561202 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1937592

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

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

[startup+1201.7 s]
/proc/loadavg: 8.12 8.06 7.66 9/184 32481
/proc/meminfo: memFree=22465776/32951124 swapFree=67111524/67111528
[pid=32427] ppid=32425 vsize=1937592 CPUtime=4800.21 cores=0,2,4,6
/proc/32427/stat : 32427 (SArTagnan) R 32425 32427 30205 0 -1 4202496 6483379 0 0 0 478910 1111 0 0 25 0 4 0 500561194 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32427/statm: 484398 408877 345 105 0 479902 0
[pid=32427/tid=32429] ppid=32425 vsize=1937592 CPUtime=1195.23 cores=0,2,4,6
/proc/32427/task/32429/stat : 32429 (SArTagnan) R 32425 32427 30205 0 -1 4202560 213414 0 0 0 119441 82 0 0 25 0 4 0 500561202 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32427/tid=32430] ppid=32425 vsize=1937592 CPUtime=1201.62 cores=0,2,4,6
/proc/32427/task/32430/stat : 32430 (SArTagnan) R 32425 32427 30205 0 -1 4202560 205166 0 0 0 120082 80 0 0 25 0 4 0 500561202 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32427/tid=32431] ppid=32425 vsize=1937592 CPUtime=1201.63 cores=0,2,4,6
/proc/32427/task/32431/stat : 32431 (SArTagnan) R 32425 32427 30205 0 -1 4202560 5957468 0 0 0 119232 931 0 0 25 0 4 0 500561202 1984094208 408877 33554432000 4194304 4623224 140736925733184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1937592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.79
CPU time (s): 4800.32
CPU user time (s): 4789.13
CPU system time (s): 11.1953
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 2064204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.13
system time used= 11.1953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6483384
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= 5313
involuntary context switches= 20460

runsolver used 1.90471 second user time and 4.49432 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 14:50:57
IDJOB=3288991
IDBENCH=83110
IDSOLVER=1656
FILE ID=node142/3288991-1304081457
RUNJOBID= node142-1304081457-32413
PBS_JOBID= 13170458
Free space on /tmp= 71312 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288991-1304081457/watcher-3288991-1304081457 -o /tmp/evaluation-result-3288991-1304081457/solver-3288991-1304081457 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3288991-1304081457.cnf -threads=4

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

MD5SUM BENCH= 9851f8e63efc4505343bf50c1cf30646
RANDOM SEED=1917565356

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:      25645556 kB
Buffers:       1672584 kB
Cached:        5026360 kB
SwapCached:          4 kB
Active:         851568 kB
Inactive:      5914908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25645556 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3200 kB
Writeback:           0 kB
AnonPages:       67024 kB
Mapped:          14480 kB
Slab:           476656 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191284 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= 71308 MiB
End job on node142 at 2011-04-29 15:11:01