Trace number 3287473

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.22 1201.89

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
MD5SUM8dae13531986e2a9bdb6559418f57130
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1166.09
Satisfiable
(Un)Satisfiability was proved
Number of variables89190
Number of clauses265718
Sum of the clauses size620006
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2177144
Number of clauses of size 388572
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3287473-1304065486/watcher-3287473-1304065486 -o /tmp/evaluation-result-3287473-1304065486/solver-3287473-1304065486 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3287473-1304065486.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: 7.95 7.99 7.23 5/180 4383
/proc/meminfo: memFree=16523068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=24424 CPUtime=0 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 1561 0 0 0 0 0 0 0 24 0 1 0 518149065 25010176 1498 33554432000 4194304 4623224 140734611840256 18446744073709551615 4296444 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4383/statm: 6106 1510 290 105 0 1610 0

[startup+0.018087 s]
/proc/loadavg: 7.95 7.99 7.23 5/180 4383
/proc/meminfo: memFree=16523068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=33440 CPUtime=0.01 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 2641 0 0 0 1 0 0 0 24 0 1 0 518149065 34242560 2330 33554432000 4194304 4623224 140734611840256 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4383/statm: 8360 2332 297 105 0 3864 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 33440

[startup+0.101072 s]
/proc/loadavg: 7.95 7.99 7.23 5/180 4383
/proc/meminfo: memFree=16523068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=42744 CPUtime=0.09 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 8220 0 0 0 9 0 0 0 24 0 1 0 518149065 43769856 4725 33554432000 4194304 4623224 140734611840256 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4383/statm: 10686 4725 297 105 0 6190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42744

[startup+1.04386 s]
/proc/loadavg: 7.95 7.99 7.23 5/180 4383
/proc/meminfo: memFree=16523068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=325380 CPUtime=3.77 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 25795 0 0 0 374 3 0 0 25 0 4 0 518149065 333189120 18107 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510186 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 81345 18107 342 105 0 76849 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 325380

[startup+1.10085 s]
/proc/loadavg: 7.95 7.99 7.23 5/180 4383
/proc/meminfo: memFree=16523068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=325380 CPUtime=4 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 25987 0 0 0 397 3 0 0 25 0 4 0 518149065 333189120 18299 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 81345 18299 342 105 0 76849 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 325380

[startup+1.50077 s]
/proc/loadavg: 7.95 7.99 7.23 5/180 4383
/proc/meminfo: memFree=16523068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=332676 CPUtime=5.59 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 34454 0 0 0 555 4 0 0 25 0 4 0 518149065 340660224 22286 33554432000 4194304 4623224 140734611840256 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 83169 22288 343 105 0 78673 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 332676

[startup+3.10049 s]
/proc/loadavg: 7.95 7.99 7.23 9/184 4387
/proc/meminfo: memFree=16035068/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=722448 CPUtime=11.89 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 276199 0 0 0 1151 38 0 0 18 0 4 0 518149065 739786752 121826 33554432000 4194304 4623224 140734611840256 18446744073709551615 4360112 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 180612 121826 343 105 0 176116 0
[pid=4383/tid=4385] ppid=4381 vsize=722448 CPUtime=2.92 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 49716 0 0 0 286 6 0 0 18 0 4 0 518149078 739786752 121826 33554432000 4194304 4623224 140734611840256 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=722448 CPUtime=2.93 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50369 0 0 0 288 5 0 0 18 0 4 0 518149078 739786752 121826 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=722448 CPUtime=2.94 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50378 0 0 0 287 7 0 0 19 0 4 0 518149078 739786752 121826 33554432000 4194304 4623224 140734611840256 18446744073709551615 4552555 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 722448

[startup+6.3069 s]
/proc/loadavg: 7.96 7.99 7.23 9/184 4387
/proc/meminfo: memFree=16037488/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=722448 CPUtime=24.7 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 278764 0 0 0 2431 39 0 0 25 0 4 0 518149065 739786752 121995 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510409 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 180612 121995 344 105 0 176116 0
[pid=4383/tid=4385] ppid=4381 vsize=722448 CPUtime=6.11 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 49716 0 0 0 605 6 0 0 25 0 4 0 518149078 739786752 121995 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=722448 CPUtime=6.14 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50373 0 0 0 609 5 0 0 25 0 4 0 518149078 739786752 121995 33554432000 4194304 4623224 140734611840256 18446744073709551615 4289682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=722448 CPUtime=6.14 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 52866 0 0 0 607 7 0 0 25 0 4 0 518149078 739786752 121995 33554432000 4194304 4623224 140734611840256 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 722448

[startup+12.7007 s]
/proc/loadavg: 7.96 7.99 7.24 9/184 4388
/proc/meminfo: memFree=16025624/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=722448 CPUtime=50.24 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 312146 0 0 0 4979 45 0 0 25 0 4 0 518149065 739786752 125401 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 180612 125401 344 105 0 176116 0
[pid=4383/tid=4385] ppid=4381 vsize=722448 CPUtime=12.47 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 49716 0 0 0 1241 6 0 0 25 0 4 0 518149078 739786752 125401 33554432000 4194304 4623224 140734611840256 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=722448 CPUtime=12.53 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50374 0 0 0 1248 5 0 0 25 0 4 0 518149078 739786752 125401 33554432000 4194304 4623224 140734611840256 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=722448 CPUtime=12.53 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 86157 0 0 0 1240 13 0 0 25 0 4 0 518149078 739786752 125401 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.24
Current children cumulated vsize (KiB) 722448

[startup+25.5004 s]
/proc/loadavg: 8.04 8.01 7.25 9/184 4388
/proc/meminfo: memFree=16014212/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=722448 CPUtime=101.37 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 379495 0 0 0 10081 56 0 0 25 0 4 0 518149065 739786752 128553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 180612 128553 345 105 0 176116 0
[pid=4383/tid=4385] ppid=4381 vsize=722448 CPUtime=25.2 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 49739 0 0 0 2514 6 0 0 25 0 4 0 518149078 739786752 128553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4484187 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=722448 CPUtime=25.33 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50418 0 0 0 2528 5 0 0 25 0 4 0 518149078 739786752 128553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=722448 CPUtime=25.33 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 153275 0 0 0 2509 24 0 0 25 0 4 0 518149078 739786752 128553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 722448

[startup+51.1007 s]
/proc/loadavg: 8.02 8.01 7.27 9/184 4389
/proc/meminfo: memFree=15970232/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=731652 CPUtime=203.63 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 477707 0 0 0 20292 71 0 0 25 0 4 0 518149065 749211648 136954 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 182913 136954 345 105 0 178417 0
[pid=4383/tid=4385] ppid=4381 vsize=731652 CPUtime=50.67 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 49756 0 0 0 5060 7 0 0 25 0 4 0 518149078 749211648 136954 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=731652 CPUtime=50.93 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50624 0 0 0 5088 5 0 0 25 0 4 0 518149078 749211648 136954 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=731652 CPUtime=50.93 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 250138 0 0 0 5054 39 0 0 25 0 4 0 518149078 749211648 136954 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364107 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.63
Current children cumulated vsize (KiB) 731652

[startup+102.3 s]
/proc/loadavg: 8.06 8.02 7.31 9/184 4390
/proc/meminfo: memFree=15895332/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=832432 CPUtime=408.12 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 735636 0 0 0 40695 117 0 0 25 0 4 0 518149065 852410368 148748 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 208108 148748 345 105 0 203612 0
[pid=4383/tid=4385] ppid=4381 vsize=832432 CPUtime=101.58 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50029 0 0 0 10151 7 0 0 25 0 4 0 518149078 852410368 148748 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376505 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=832432 CPUtime=102.12 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 64563 0 0 0 10204 8 0 0 25 0 4 0 518149078 852410368 148748 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=832432 CPUtime=102.12 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 492775 0 0 0 10131 81 0 0 25 0 4 0 518149078 852410368 148748 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 832432

[startup+162.3 s]
/proc/loadavg: 8.06 8.03 7.36 9/184 4392
/proc/meminfo: memFree=15850672/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=871636 CPUtime=647.8 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 917271 0 0 0 64634 146 0 0 25 0 4 0 518149065 892555264 159578 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 217909 159578 345 105 0 213413 0
[pid=4383/tid=4385] ppid=4381 vsize=871636 CPUtime=161.25 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 50889 0 0 0 16118 7 0 0 25 0 4 0 518149078 892555264 159578 33554432000 4194304 4623224 140734611840256 18446744073709551615 4463064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=871636 CPUtime=162.13 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 65892 0 0 0 16204 9 0 0 25 0 4 0 518149078 892555264 159578 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=871636 CPUtime=162.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 660121 0 0 0 16106 107 0 0 25 0 4 0 518149078 892555264 159578 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 871636

[startup+222.3 s]
/proc/loadavg: 8.06 8.03 7.40 9/184 4393
/proc/meminfo: memFree=15778368/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=977128 CPUtime=887.47 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 1120413 0 0 0 88564 183 0 0 25 0 4 0 518149065 1000579072 170575 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 244282 170575 345 105 0 239786 0
[pid=4383/tid=4385] ppid=4381 vsize=977128 CPUtime=220.94 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 64203 0 0 0 22083 11 0 0 25 0 4 0 518149078 1000579072 170575 33554432000 4194304 4623224 140734611840256 18446744073709551615 4461113 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=977128 CPUtime=222.12 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 68958 0 0 0 22201 11 0 0 25 0 4 0 518149078 1000579072 170575 33554432000 4194304 4623224 140734611840256 18446744073709551615 4463064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=977128 CPUtime=222.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 846103 0 0 0 22075 138 0 0 25 0 4 0 518149078 1000579072 170575 33554432000 4194304 4623224 140734611840256 18446744073709551615 4577681 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.47
Current children cumulated vsize (KiB) 977128

[startup+282.3 s]
/proc/loadavg: 8.09 8.05 7.45 9/184 4395
/proc/meminfo: memFree=15724532/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1007244 CPUtime=1127.15 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 1433530 0 0 0 112479 236 0 0 25 0 4 0 518149065 1031417856 181890 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 251811 181891 345 105 0 247315 0
[pid=4383/tid=4385] ppid=4381 vsize=1007244 CPUtime=280.61 cores=0,2,4,6

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

[pid=4383] ppid=4381 vsize=1462936 CPUtime=2565.15 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 3486084 0 0 0 255947 568 0 0 25 0 4 0 518149065 1498046464 281553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 365734 281553 345 105 0 361238 0
[pid=4383/tid=4385] ppid=4381 vsize=1462936 CPUtime=638.66 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 94085 0 0 0 63847 19 0 0 25 0 4 0 518149078 1498046464 281553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4486194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1462936 CPUtime=642.12 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 106818 0 0 0 64187 25 0 0 25 0 4 0 518149078 1498046464 281553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1462936 CPUtime=642.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 3107006 0 0 0 63719 494 0 0 25 0 4 0 518149078 1498046464 281553 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.15
Current children cumulated vsize (KiB) 1462936

[startup+702.301 s]
/proc/loadavg: 8.08 8.03 7.64 9/184 4437
/proc/meminfo: memFree=16287164/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1467028 CPUtime=2804.82 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 3866812 0 0 0 279855 627 0 0 25 0 4 0 518149065 1502236672 291843 33554432000 4194304 4623224 140734611840256 18446744073709551615 4519747 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 366757 291843 345 105 0 362261 0
[pid=4383/tid=4385] ppid=4381 vsize=1467028 CPUtime=698.34 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 94503 0 0 0 69815 19 0 0 25 0 4 0 518149078 1502236672 291843 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1467028 CPUtime=702.12 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 107460 0 0 0 70187 25 0 0 25 0 4 0 518149078 1502236672 291843 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1467028 CPUtime=702.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 3485473 0 0 0 69660 553 0 0 25 0 4 0 518149078 1502236672 291843 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.82
Current children cumulated vsize (KiB) 1467028

[startup+762.301 s]
/proc/loadavg: 8.08 8.04 7.67 9/184 4439
/proc/meminfo: memFree=16206164/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1532564 CPUtime=3044.49 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 4262516 0 0 0 303758 691 0 0 25 0 4 0 518149065 1569345536 308625 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 383141 308625 345 105 0 378645 0
[pid=4383/tid=4385] ppid=4381 vsize=1532564 CPUtime=758.02 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 96177 0 0 0 75782 20 0 0 25 0 4 0 518149078 1569345536 308625 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1532564 CPUtime=762.12 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 111721 0 0 0 76183 29 0 0 25 0 4 0 518149078 1569345536 308625 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1532564 CPUtime=762.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 3873916 0 0 0 75601 612 0 0 25 0 4 0 518149078 1569345536 308625 33554432000 4194304 4623224 140734611840256 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.49
Current children cumulated vsize (KiB) 1532564

[startup+822.301 s]
/proc/loadavg: 8.08 8.04 7.69 9/184 4440
/proc/meminfo: memFree=16136088/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1600176 CPUtime=3284.17 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 4611080 0 0 0 327673 744 0 0 25 0 4 0 518149065 1638580224 318657 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510282 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 400044 318657 345 105 0 395548 0
[pid=4383/tid=4385] ppid=4381 vsize=1600176 CPUtime=817.7 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 96799 0 0 0 81750 20 0 0 25 0 4 0 518149078 1638580224 318657 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1600176 CPUtime=822.12 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 113000 0 0 0 82183 29 0 0 25 0 4 0 518149078 1638580224 318657 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1600176 CPUtime=822.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 4219277 0 0 0 81549 664 0 0 25 0 4 0 518149078 1638580224 318657 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.17
Current children cumulated vsize (KiB) 1600176

[startup+882.301 s]
/proc/loadavg: 8.20 8.08 7.72 9/184 4442
/proc/meminfo: memFree=16054848/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1600176 CPUtime=3523.84 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 5016395 0 0 0 351579 805 0 0 25 0 4 0 518149065 1638580224 333227 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 400044 333227 345 105 0 395548 0
[pid=4383/tid=4385] ppid=4381 vsize=1600176 CPUtime=877.37 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 97202 0 0 0 87717 20 0 0 25 0 4 0 518149078 1638580224 333228 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1600176 CPUtime=882.13 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 115221 0 0 0 88183 30 0 0 25 0 4 0 518149078 1638580224 333228 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1600176 CPUtime=882.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 4620791 0 0 0 87489 724 0 0 25 0 4 0 518149078 1638580224 333228 33554432000 4194304 4623224 140734611840256 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.84
Current children cumulated vsize (KiB) 1600176

[startup+942.301 s]
/proc/loadavg: 8.17 8.09 7.75 9/184 4443
/proc/meminfo: memFree=15976328/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1665712 CPUtime=3763.54 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 5358781 0 0 0 375497 857 0 0 25 0 4 0 518149065 1705689088 345641 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 416428 345641 345 105 0 411932 0
[pid=4383/tid=4385] ppid=4381 vsize=1665712 CPUtime=937.05 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 97911 0 0 0 93685 20 0 0 25 0 4 0 518149078 1705689088 345641 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1665712 CPUtime=942.13 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 115511 0 0 0 94183 30 0 0 25 0 4 0 518149078 1705689088 345641 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376956 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1665712 CPUtime=942.13 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 4961010 0 0 0 93438 775 0 0 25 0 4 0 518149078 1705689088 345641 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.54
Current children cumulated vsize (KiB) 1665712

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 7.76 9/184 4445
/proc/meminfo: memFree=15888512/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1665712 CPUtime=4003.19 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 5757453 0 0 0 399399 920 0 0 25 0 4 0 518149065 1705689088 356512 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 416428 356512 345 105 0 411932 0
[pid=4383/tid=4385] ppid=4381 vsize=1665712 CPUtime=996.73 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 98452 0 0 0 99652 21 0 0 25 0 4 0 518149078 1705689088 356512 33554432000 4194304 4623224 140734611840256 18446744073709551615 4377707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1665712 CPUtime=1002.13 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 116091 0 0 0 100182 31 0 0 25 0 4 0 518149078 1705689088 356512 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1665712 CPUtime=1002.12 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 5357209 0 0 0 99376 836 0 0 25 0 4 0 518149078 1705689088 356512 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.19
Current children cumulated vsize (KiB) 1665712

[startup+1062.31 s]
/proc/loadavg: 8.09 8.08 7.78 9/184 4447
/proc/meminfo: memFree=15809752/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1835016 CPUtime=4242.88 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 6234766 0 0 0 423292 996 0 0 25 0 4 0 518149065 1879056384 370827 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 458754 370827 345 105 0 454258 0
[pid=4383/tid=4385] ppid=4381 vsize=1835016 CPUtime=1056.41 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 98801 0 0 0 105620 21 0 0 25 0 4 0 518149078 1879056384 370827 33554432000 4194304 4623224 140734611840256 18446744073709551615 4463378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1835016 CPUtime=1062.13 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 148509 0 0 0 106176 37 0 0 25 0 4 0 518149078 1879056384 370827 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1835016 CPUtime=1062.12 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 5774639 0 0 0 105310 902 0 0 25 0 4 0 518149078 1879056384 370827 33554432000 4194304 4623224 140734611840256 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.88
Current children cumulated vsize (KiB) 1835016

[startup+1122.3 s]
/proc/loadavg: 8.03 8.07 7.79 9/184 4448
/proc/meminfo: memFree=15715488/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=1969608 CPUtime=4482.53 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 6593431 0 0 0 447201 1052 0 0 25 0 4 0 518149065 2016878592 386497 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 492402 386497 345 105 0 487906 0
[pid=4383/tid=4385] ppid=4381 vsize=1969608 CPUtime=1116.08 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 99665 0 0 0 111587 21 0 0 25 0 4 0 518149078 2016878592 386497 33554432000 4194304 4623224 140734611840256 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=1969608 CPUtime=1122.14 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 151214 0 0 0 112175 39 0 0 25 0 4 0 518149078 2016878592 386497 33554432000 4194304 4623224 140734611840256 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=1969608 CPUtime=1122.11 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 6128628 0 0 0 111255 956 0 0 25 0 4 0 518149078 2016878592 386497 33554432000 4194304 4623224 140734611840256 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.53
Current children cumulated vsize (KiB) 1969608

[startup+1182.3 s]
/proc/loadavg: 8.06 8.07 7.81 9/184 4450
/proc/meminfo: memFree=15607592/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=2039468 CPUtime=4722.19 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 6959012 0 0 0 471106 1113 0 0 25 0 4 0 518149065 2088415232 402143 33554432000 4194304 4623224 140734611840256 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 509867 402143 345 105 0 505371 0
[pid=4383/tid=4385] ppid=4381 vsize=2039468 CPUtime=1175.75 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 106830 0 0 0 117549 26 0 0 25 0 4 0 518149078 2088415232 402143 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=2039468 CPUtime=1182.13 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 152093 0 0 0 118174 39 0 0 25 0 4 0 518149078 2088415232 402143 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=2039468 CPUtime=1182.11 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 6485256 0 0 0 117200 1011 0 0 25 0 4 0 518149078 2088415232 402143 33554432000 4194304 4623224 140734611840256 18446744073709551615 230808814706 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.19
Current children cumulated vsize (KiB) 2039468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.04 8.06 7.81 9/184 4450
/proc/meminfo: memFree=15573724/32951124 swapFree=67111528/67111528
[pid=4383] ppid=4381 vsize=2039468 CPUtime=4800.11 cores=0,2,4,6
/proc/4383/stat : 4383 (SArTagnan) R 4381 4383 2759 0 -1 4202496 7094911 0 0 0 478877 1134 0 0 25 0 4 0 518149065 2088415232 409403 33554432000 4194304 4623224 140734611840256 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4383/statm: 509867 409403 345 105 0 505371 0
[pid=4383/tid=4385] ppid=4381 vsize=2039468 CPUtime=1195.15 cores=0,2,4,6
/proc/4383/task/4385/stat : 4385 (SArTagnan) R 4381 4383 2759 0 -1 4202560 106923 0 0 0 119489 26 0 0 25 0 4 0 518149078 2088415232 409403 33554432000 4194304 4623224 140734611840256 18446744073709551615 4377885 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4383/tid=4386] ppid=4381 vsize=2039468 CPUtime=1201.64 cores=0,2,4,6
/proc/4383/task/4386/stat : 4386 (SArTagnan) R 4381 4383 2759 0 -1 4202560 154178 0 0 0 120123 41 0 0 25 0 4 0 518149078 2088415232 409403 33554432000 4194304 4623224 140734611840256 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4383/tid=4387] ppid=4381 vsize=2039468 CPUtime=1201.62 cores=0,2,4,6
/proc/4383/task/4387/stat : 4387 (SArTagnan) R 4381 4383 2759 0 -1 4202560 6618767 0 0 0 119131 1031 0 0 25 0 4 0 518149078 2088415232 409403 33554432000 4194304 4623224 140734611840256 18446744073709551615 4364683 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 2039468

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.89
CPU time (s): 4800.22
CPU user time (s): 4788.8
CPU system time (s): 11.4283
CPU usage (%): 399.388
Max. virtual memory (cumulated for all children) (KiB): 2039468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.8
system time used= 11.4283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7094911
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= 8057
involuntary context switches= 24555

runsolver used 1.9647 second user time and 4.54831 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 10:24:46
IDJOB=3287473
IDBENCH=82467
IDSOLVER=1656
FILE ID=node104/3287473-1304065486
RUNJOBID= node104-1304064385-4121
PBS_JOBID= 13170438
Free space on /tmp= 71532 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3287473-1304065486/watcher-3287473-1304065486 -o /tmp/evaluation-result-3287473-1304065486/solver-3287473-1304065486 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3287473-1304065486.cnf -threads=4

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

MD5SUM BENCH= 8dae13531986e2a9bdb6559418f57130
RANDOM SEED=341744590

node104.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.855
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.71
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16523232 kB
Buffers:       2197840 kB
Cached:       11824556 kB
SwapCached:          0 kB
Active:        4145848 kB
Inactive:     11693304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16523232 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4596 kB
Writeback:           0 kB
AnonPages:     1815924 kB
Mapped:          15464 kB
Slab:           523076 kB
PageTables:       7864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2422148 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= 71536 MiB
End job on node104 at 2011-04-29 10:44:50