Trace number 1778206

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) 3688.26 1000.03

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
MD5SUM19d216b508c325e77d8047e01d28266c
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 variables440
Number of clauses1870
Sum of the clauses size5610
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31870
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.05/0.08	c +------------------------------+
0.05/0.08	c | gNovelty+, version 1.0       |
0.05/0.08	c +------------------------------+
0.05/0.08	c gnovelty+ -h for help
0.05/0.08	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-1778206-1243470692/watcher-1778206-1243470692 -o /tmp/evaluation-result-1778206-1243470692/solver-1778206-1243470692 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778206-1243470692.cnf 1679466969 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.64 4.16 4.21 3/109 4823
/proc/meminfo: memFree=710280/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=509232 CPUtime=0
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 1388 0 0 0 0 0 0 0 18 0 1 0 1111731996 521453568 1345 4294967295 134512640 135680988 3216029280 3216028544 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/4823/statm: 127308 1353 99 286 0 127020 0

[startup+0.05749 s]
/proc/loadavg: 3.64 4.16 4.21 3/109 4823
/proc/meminfo: memFree=710280/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=517044 CPUtime=0.05
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 14601 0 0 0 1 4 0 0 18 0 1 0 1111731996 529453056 14557 4294967295 134512640 135680988 3216029280 3216028544 134537779 0 0 0 0 0 0 0 17 1 0 0 0
/proc/4823/statm: 129261 14567 99 286 0 128973 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517044

[startup+0.107516 s]
/proc/loadavg: 3.64 4.16 4.21 3/109 4823
/proc/meminfo: memFree=710280/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=0.14
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 4 10 0 0 19 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545804

[startup+0.307472 s]
/proc/loadavg: 3.64 4.16 4.21 3/109 4823
/proc/meminfo: memFree=710280/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=0.87
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 36 51 0 0 17 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 545804

[startup+0.707565 s]
/proc/loadavg: 3.64 4.16 4.21 3/109 4823
/proc/meminfo: memFree=710280/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=2.33
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 108 125 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 545804

[startup+1.50743 s]
/proc/loadavg: 3.64 4.16 4.21 5/113 4827
/proc/meminfo: memFree=632036/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=5.27
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 263 264 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=1.27
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 63 64 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=1.33
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 73 60 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=1.28
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 59 69 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 545804

[startup+3.1074 s]
/proc/loadavg: 3.64 4.16 4.21 5/113 4828
/proc/meminfo: memFree=632036/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=11.15
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 567 548 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028476 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=2.7
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 137 133 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=2.8
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 154 126 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=2.79
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 135 144 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 545804

[startup+6.30719 s]
/proc/loadavg: 3.67 4.16 4.21 5/113 4828
/proc/meminfo: memFree=631820/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=22.81
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 1172 1109 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=5.66
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 290 276 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=5.74
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 295 279 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=5.7
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 301 269 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.81
Current children cumulated vsize (KiB) 545804

[startup+12.7068 s]
/proc/loadavg: 3.85 4.19 4.22 7/113 4829
/proc/meminfo: memFree=631572/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=46.72
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 2417 2255 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=11.64
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 605 559 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=11.74
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 603 571 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=11.69
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 596 573 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.72
Current children cumulated vsize (KiB) 545804

[startup+25.5062 s]
/proc/loadavg: 3.74 4.15 4.20 5/113 4829
/proc/meminfo: memFree=631692/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=94.54
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 4824 4630 0 0 16 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=23.6
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 1213 1147 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=23.65
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 1198 1167 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=23.79
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 1204 1175 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 94.54
Current children cumulated vsize (KiB) 545804

[startup+51.1049 s]
/proc/loadavg: 3.97 4.17 4.21 4/113 5014
/proc/meminfo: memFree=631496/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=189.13
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 9741 9172 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=47.15
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 2466 2249 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=47.46
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 2417 2329 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=47.48
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 2426 2322 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 189.13
Current children cumulated vsize (KiB) 545804

[startup+102.312 s]
/proc/loadavg: 4.16 4.18 4.21 5/113 5205
/proc/meminfo: memFree=631168/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=378.01
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 19643 18158 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=94.53
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 4939 4514 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=94.48
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 4849 4599 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=94.78
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 4975 4503 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 378.01
Current children cumulated vsize (KiB) 545804

[startup+162.319 s]
/proc/loadavg: 4.01 4.13 4.19 5/113 5394
/proc/meminfo: memFree=631360/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=598.57
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 31092 28765 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=150.12
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 7853 7159 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=149.09
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 7664 7245 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=150.05
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 7857 7148 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 598.57
Current children cumulated vsize (KiB) 545804

[startup+222.316 s]
/proc/loadavg: 4.00 4.11 4.17 5/113 5581
/proc/meminfo: memFree=631548/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=818.1
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 42672 39138 0 0 16 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=205.17
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 10772 9745 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=204.48
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 10639 9809 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=205.34
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 10765 9769 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 818.1
Current children cumulated vsize (KiB) 545804

[startup+282.313 s]
/proc/loadavg: 4.04 4.10 4.17 4/113 5768
/proc/meminfo: memFree=631316/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=1039.67
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 54109 49858 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=260.29
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 13628 12401 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=260.1
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 13524 12486 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=4823] ppid=4821 vsize=545804 CPUtime=1484.59
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 77307 71152 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=371.64
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 19392 17772 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=371.2
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 19341 17779 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=372.51
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 19387 17864 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1484.59
Current children cumulated vsize (KiB) 545804

[startup+462.304 s]
/proc/loadavg: 4.24 4.18 4.18 6/113 6339
/proc/meminfo: memFree=631780/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=1706.09
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 88684 81925 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=427.06
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 22309 20397 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=426.32
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 22175 20457 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=428.01
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 22224 20577 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897196 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1706.09
Current children cumulated vsize (KiB) 545804

[startup+522.31 s]
/proc/loadavg: 4.24 4.19 4.18 5/113 6526
/proc/meminfo: memFree=631540/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=1925.93
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 100231 92362 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=481.77
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 25182 22995 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=481.37
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 25119 23018 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=483.23
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 25131 23192 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1925.93
Current children cumulated vsize (KiB) 545804

[startup+582.307 s]
/proc/loadavg: 4.04 4.14 4.17 5/113 6713
/proc/meminfo: memFree=631540/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=2146.25
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 111822 102803 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=536.85
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 28038 25647 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=536.34
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 28054 25580 0 0 16 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=538.26
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 28027 25799 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2146.25
Current children cumulated vsize (KiB) 545804

[startup+642.314 s]
/proc/loadavg: 4.25 4.19 4.18 5/113 6901
/proc/meminfo: memFree=631316/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=2368.12
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 123247 113565 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028476 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=592.29
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 30894 28335 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=591.79
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 30909 28270 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=593.61
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 30876 28485 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897196 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2368.12
Current children cumulated vsize (KiB) 545804

[startup+702.311 s]
/proc/loadavg: 4.34 4.21 4.19 5/113 7089
/proc/meminfo: memFree=631532/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=2588.76
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 134844 124032 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=647.27
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 33796 30931 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=647.2
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 33834 30886 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=648.81
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 33751 31130 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2588.76
Current children cumulated vsize (KiB) 545804

[startup+762.308 s]
/proc/loadavg: 4.51 4.27 4.20 5/113 7278
/proc/meminfo: memFree=630880/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=2810.96
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 146174 134922 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028476 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=703
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 36628 33672 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=702.87
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 36674 33613 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=704.05
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 36580 33825 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2810.96
Current children cumulated vsize (KiB) 545804

[startup+822.315 s]
/proc/loadavg: 4.31 4.25 4.20 5/113 7469
/proc/meminfo: memFree=630696/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=3031.3
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 157837 145293 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=758.09
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 39530 36279 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=758
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 39612 36188 0 0 16 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289324 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=759.18
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 39471 36447 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3031.3
Current children cumulated vsize (KiB) 545804

[startup+882.312 s]
/proc/loadavg: 4.29 4.25 4.19 5/113 7657
/proc/meminfo: memFree=630548/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=3253.74
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 169433 155941 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=813.59
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 42498 38861 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=813.61
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 42460 38901 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=814.37
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 42340 39097 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3253.74
Current children cumulated vsize (KiB) 545804

[startup+942.309 s]
/proc/loadavg: 4.22 4.23 4.19 5/113 7844
/proc/meminfo: memFree=630764/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=3475.48
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 180870 166678 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=868.93
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 45334 41559 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=869.07
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 45357 41550 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=869.94
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 45209 41785 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3475.48
Current children cumulated vsize (KiB) 545804



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.52 4.32 4.22 6/113 8035
/proc/meminfo: memFree=631004/3368532 swapFree=1959840/1959888
[pid=4823] ppid=4821 vsize=545804 CPUtime=3688.21
/proc/4823/stat : 4823 (gnovelty+) R 4821 4823 7955 0 -1 4202496 19807 0 0 0 191896 176925 0 0 15 0 4 0 1111731996 558903296 19762 4294967295 134512640 135680988 3216029280 3216028524 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4823/statm: 136451 19762 103 286 0 136163 0
[pid=4823/tid=4825] ppid=4821 vsize=545804 CPUtime=921.98
/proc/4823/task/4825/stat : 4825 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 48075 44123 0 0 16 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3077681500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4823/tid=4826] ppid=4821 vsize=545804 CPUtime=921.92
/proc/4823/task/4826/stat : 4826 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 48070 44122 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3068289372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4823/tid=4827] ppid=4821 vsize=545804 CPUtime=923.84
/proc/4823/task/4827/stat : 4827 (gnovelty+) R 4821 4823 7955 0 -1 4202560 7 0 0 0 48029 44355 0 0 15 0 4 0 1111732004 558903296 19762 4294967295 134512640 135680988 3216029280 3058897244 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3688.21
Current children cumulated vsize (KiB) 545804

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): 1000.03
CPU time (s): 3688.26
CPU user time (s): 1918.97
CPU system time (s): 1769.29
CPU usage (%): 368.814
Max. virtual memory (cumulated for all children) (KiB): 545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1918.97
system time used= 1769.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19807
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= 100946610
involuntary context switches= 249372

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 02:31:32
IDJOB=1778206
IDBENCH=70584
IDSOLVER=617
FILE ID=/1778206-1243470692
PBS_JOBID=
Free space on /tmp= 7987 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S444219303-098.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778206-1243470692/watcher-1778206-1243470692 -o /tmp/evaluation-result-1778206-1243470692/solver-1778206-1243470692 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778206-1243470692.cnf 1679466969 4

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

MD5SUM BENCH= 19d216b508c325e77d8047e01d28266c
RANDOM SEED= 1679466969

Linux (none) 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.073
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.073
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.12
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.073
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.073
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:        710428 kB
Buffers:         41748 kB
Cached:        2434840 kB
SwapCached:          0 kB
Active:        1299480 kB
Inactive:      1196268 kB
HighTotal:     2489216 kB
HighFree:       450036 kB
LowTotal:       879316 kB
LowFree:        260392 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1380 kB
Writeback:           0 kB
AnonPages:       19184 kB
Mapped:           7772 kB
Slab:           151980 kB
SReclaimable:   138576 kB
SUnreclaim:      13404 kB
PageTables:        508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   110900 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7987 MiB
End job on  at 2009-05-28 02:48:14