Trace number 1777555

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
gNovelty+-T 2009-03-22 (4 threads)? (TO) 3799 1000.04

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
MD5SUM3576a3cf7cfc1985034b5d4b3a46f902
Bench CategoryRANDOM (random 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 variables12000
Number of clauses50400
Sum of the clauses size151200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 350400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.31/0.37	c +------------------------------+
0.31/0.37	c | gNovelty+, version 1.0       |
0.31/0.37	c +------------------------------+
0.31/0.37	c gnovelty+ -h for help
0.31/0.37	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1777555-1243448724/watcher-1777555-1243448724 -o /tmp/evaluation-result-1777555-1243448724/solver-1777555-1243448724 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777555-1243448724.cnf 1501656789 4 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.86 3.90 3.95 3/96 8496
/proc/meminfo: memFree=3039328/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=509232 CPUtime=0.01
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 1387 0 0 0 0 1 0 0 18 0 1 0 1098973563 521453568 1345 4294967295 134512640 135680988 3219638736 3219638000 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/8496/statm: 127308 1354 99 286 0 127020 0

[startup+0.109879 s]
/proc/loadavg: 3.86 3.90 3.95 3/96 8496
/proc/meminfo: memFree=3039328/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=517044 CPUtime=0.11
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 12698 0 0 0 6 5 0 0 18 0 1 0 1098973563 529453056 12654 4294967295 134512640 135680988 3219638736 3219638000 134537708 0 0 0 0 0 0 0 17 1 0 0 0
/proc/8496/statm: 129261 12665 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044

[startup+0.209867 s]
/proc/loadavg: 3.86 3.90 3.95 3/96 8496
/proc/meminfo: memFree=3039328/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=517044 CPUtime=0.21
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 20179 0 0 0 14 7 0 0 18 0 1 0 1098973563 529453056 20135 4294967295 134512640 135680988 3219638736 3219638000 134538748 0 0 0 0 0 0 0 17 1 0 0 0
/proc/8496/statm: 129261 20135 99 286 0 128973 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 517044

[startup+0.309858 s]
/proc/loadavg: 3.86 3.90 3.95 3/96 8496
/proc/meminfo: memFree=3039328/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=517044 CPUtime=0.31
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 20317 0 0 0 24 7 0 0 18 0 1 0 1098973563 529453056 20273 4294967295 134512640 135680988 3219638736 3219638000 134538748 0 0 0 0 0 0 0 17 1 0 0 0
/proc/8496/statm: 129261 20273 99 286 0 128973 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 517044

[startup+0.709836 s]
/proc/loadavg: 3.86 3.90 3.95 3/96 8496
/proc/meminfo: memFree=3039328/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=1.65
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 148 17 0 0 16 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 554012

[startup+1.5098 s]
/proc/loadavg: 3.86 3.90 3.95 6/100 8500
/proc/meminfo: memFree=2952852/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=4.81
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 419 62 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=1.13
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 96 17 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=1.07
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 99 8 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=1.12
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 99 13 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 554012

[startup+3.11006 s]
/proc/loadavg: 3.86 3.90 3.95 7/100 8502
/proc/meminfo: memFree=2952852/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=11.09
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 905 204 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=2.69
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 219 50 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=2.65
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 217 48 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258860 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=2.69
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 223 46 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 554012

[startup+6.30945 s]
/proc/loadavg: 3.87 3.90 3.95 5/100 8502
/proc/meminfo: memFree=2952604/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=23.3
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 1882 448 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=5.67
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 462 105 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494324 134535206 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=5.76
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 464 112 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=5.79
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 467 112 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.3
Current children cumulated vsize (KiB) 554012

[startup+12.7092 s]
/proc/loadavg: 3.88 3.91 3.95 5/100 8505
/proc/meminfo: memFree=2952264/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=47.91
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 3821 970 0 0 16 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=11.7
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 936 234 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=11.94
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 952 242 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=11.99
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 940 259 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.91
Current children cumulated vsize (KiB) 554012

[startup+25.5081 s]
/proc/loadavg: 4.06 3.94 3.96 7/100 8505
/proc/meminfo: memFree=2952236/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=97.7
/proc/8496/stat : 8496 (gnovelty+) S 8494 8496 15881 0 -1 4202496 22079 0 0 0 7516 2254 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=24.12
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 1845 567 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494324 134533832 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=24.38
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 1882 556 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=24.44
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 1872 572 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 97.7
Current children cumulated vsize (KiB) 554012

[startup+51.1065 s]
/proc/loadavg: 4.04 3.95 3.96 5/100 8507
/proc/meminfo: memFree=2952136/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=195.43
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 14836 4707 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=48.8
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 3696 1184 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=48.79
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 3705 1174 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=48.29
/proc/8496/task/8500/stat : 8500 (gnovelty+) S 8494 8496 15881 0 -1 4202560 398 0 0 0 3654 1175 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023532 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 195.43
Current children cumulated vsize (KiB) 554012

[startup+102.313 s]
/proc/loadavg: 4.02 3.95 3.96 5/100 8698
/proc/meminfo: memFree=2951524/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=389.71
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 29207 9764 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=97.04
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 7268 2436 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=96.97
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 7288 2409 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=96.91
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 7214 2477 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 389.71
Current children cumulated vsize (KiB) 554012

[startup+162.309 s]
/proc/loadavg: 4.22 4.02 3.98 5/100 8887
/proc/meminfo: memFree=2951764/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=619.94
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 45940 16054 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=154.53
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 11396 4057 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=154.43
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 11442 4001 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=154.52
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 11409 4043 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023532 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 619.94
Current children cumulated vsize (KiB) 554012

[startup+222.315 s]
/proc/loadavg: 3.98 3.99 3.98 5/100 9073
/proc/meminfo: memFree=2951772/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=847.64
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 61853 22911 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=211.68
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 15489 5679 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=211.33
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 15265 5868 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=210.88
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 15394 5694 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 847.64
Current children cumulated vsize (KiB) 554012

[startup+282.311 s]
/proc/loadavg: 3.78 3.94 3.96 6/100 9261
/proc/meminfo: memFree=2951276/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=1073.63
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 77335 30028 0 0 16 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=267.86
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 19340 7446 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=267.88
/proc/8496/task/8499/stat : 8499 (gnovelty+) S 8494 8496 15881 0 -1 4202560 400 0 0 0 19038 7750 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0

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

[pid=8496] ppid=8494 vsize=554012 CPUtime=1758.38
/proc/8496/stat : 8496 (gnovelty+) S 8494 8496 15881 0 -1 4202496 22079 0 0 0 124670 51168 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=440.01
/proc/8496/task/8498/stat : 8498 (gnovelty+) S 8494 8496 15881 0 -1 4202560 388 0 0 0 31329 12672 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=437.48
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 30329 13419 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258900 134998532 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=439.68
/proc/8496/task/8500/stat : 8500 (gnovelty+) S 8494 8496 15881 0 -1 4202560 398 0 0 0 31589 12379 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1758.38
Current children cumulated vsize (KiB) 554012

[startup+522.305 s]
/proc/loadavg: 3.95 3.90 3.93 5/100 10016
/proc/meminfo: memFree=2951152/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=1986.65
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 140028 58637 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=497.01
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 35312 14389 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=494.41
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 34021 15420 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258860 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=496.85
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 35483 14202 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1986.65
Current children cumulated vsize (KiB) 554012

[startup+582.311 s]
/proc/loadavg: 4.10 3.95 3.94 6/100 10204
/proc/meminfo: memFree=2951276/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=2214.56
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 155502 65954 0 0 16 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=554.42
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 39342 16100 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=550.97
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 37727 17370 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=553.29
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 39350 15979 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2214.56
Current children cumulated vsize (KiB) 554012

[startup+642.307 s]
/proc/loadavg: 3.98 3.94 3.94 5/100 10393
/proc/meminfo: memFree=2950780/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=2443.49
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 170711 73638 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=611.47
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 43195 17952 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=608.24
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 41406 19418 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=610.42
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 43182 17860 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2443.49
Current children cumulated vsize (KiB) 554012

[startup+702.313 s]
/proc/loadavg: 3.93 3.93 3.93 5/100 10580
/proc/meminfo: memFree=2950780/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=2671.61
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 185336 81825 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637932 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=668.75
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 46906 19969 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=664.76
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 44899 21577 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258860 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=667.45
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 46859 19886 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2671.61
Current children cumulated vsize (KiB) 554012

[startup+762.319 s]
/proc/loadavg: 3.90 3.93 3.92 5/100 10769
/proc/meminfo: memFree=2950896/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=2898.2
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 199906 89914 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=725.06
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 50505 22001 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=721.47
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 48497 23650 0 0 16 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=724.14
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 50470 21944 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023532 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2898.2
Current children cumulated vsize (KiB) 554012

[startup+822.314 s]
/proc/loadavg: 3.85 3.91 3.91 8/100 10955
/proc/meminfo: memFree=2950904/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=3125.98
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 215038 97560 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=782.31
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 54412 23819 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=778.16
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 52184 25632 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=780.94
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 54148 23946 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3125.98
Current children cumulated vsize (KiB) 554012

[startup+882.31 s]
/proc/loadavg: 3.67 3.84 3.89 6/100 11147
/proc/meminfo: memFree=2950780/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=3352.3
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 230127 105103 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=838.82
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 58208 25674 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=834.47
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 55836 27611 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258860 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=837.54
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 57913 25841 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3352.3
Current children cumulated vsize (KiB) 554012

[startup+942.306 s]
/proc/loadavg: 3.47 3.76 3.86 7/100 11336
/proc/meminfo: memFree=2950780/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=3581.47
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 245681 112466 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=896.37
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 62210 27427 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=891.49
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 59558 29591 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=894.81
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 61783 27698 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3581.47
Current children cumulated vsize (KiB) 554012



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.93 3.83 3.87 5/100 11523
/proc/meminfo: memFree=2950656/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=3798.93
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 260485 119408 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=950.98
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 66033 29065 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=945.52
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 63057 31495 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=948.84
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 65532 29352 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3798.93
Current children cumulated vsize (KiB) 554012

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

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

[startup+1000.01 s]
/proc/loadavg: 3.93 3.83 3.87 5/100 11523
/proc/meminfo: memFree=2950656/3368532 swapFree=1954072/1959888
[pid=8496] ppid=8494 vsize=554012 CPUtime=3798.93
/proc/8496/stat : 8496 (gnovelty+) R 8494 8496 15881 0 -1 4202496 22079 0 0 0 260485 119408 0 0 15 0 4 0 1098973563 567308288 22035 4294967295 134512640 135680988 3219638736 3219637980 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8496/statm: 138503 22035 103 286 0 138215 0
[pid=8496/tid=8498] ppid=8494 vsize=554012 CPUtime=950.98
/proc/8496/task/8498/stat : 8498 (gnovelty+) R 8494 8496 15881 0 -1 4202560 388 0 0 0 66033 29065 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3075494236 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8496/tid=8499] ppid=8494 vsize=554012 CPUtime=945.52
/proc/8496/task/8499/stat : 8499 (gnovelty+) R 8494 8496 15881 0 -1 4202560 400 0 0 0 63057 31495 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3064258908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8496/tid=8500] ppid=8494 vsize=554012 CPUtime=948.84
/proc/8496/task/8500/stat : 8500 (gnovelty+) R 8494 8496 15881 0 -1 4202560 398 0 0 0 65532 29352 0 0 15 0 4 0 1098973601 567308288 22035 4294967295 134512640 135680988 3219638736 3053023580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3798.93
Current children cumulated vsize (KiB) 554012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3799
CPU user time (s): 2604.89
CPU system time (s): 1194.11
CPU usage (%): 379.886
Max. virtual memory (cumulated for all children) (KiB): 554012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2604.89
system time used= 1194.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22079
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= 57314862
involuntary context switches= 134783

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-27 20:25:24
IDJOB=1777555
IDBENCH=70367
IDSOLVER=617
FILE ID=tipi44/1777555-1243448724
PBS_JOBID=
Free space on /tmp= 15893 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777555-1243448724/watcher-1777555-1243448724 -o /tmp/evaluation-result-1777555-1243448724/solver-1777555-1243448724 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777555-1243448724.cnf 1501656789 4

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 3576a3cf7cfc1985034b5d4b3a46f902
RANDOM SEED= 1501656789

Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3039772 kB
Buffers:        130892 kB
Cached:          91324 kB
SwapCached:       2184 kB
Active:          89196 kB
Inactive:       142680 kB
HighTotal:     2489216 kB
HighFree:      2385828 kB
LowTotal:       879316 kB
LowFree:        653944 kB
SwapTotal:     1959888 kB
SwapFree:      1954072 kB
Dirty:            2288 kB
Writeback:           0 kB
AnonPages:        8796 kB
Mapped:           3324 kB
Slab:            86884 kB
SReclaimable:    76868 kB
SUnreclaim:      10016 kB
PageTables:        476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    87896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-27 20:42:04