Trace number 1777225

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)SAT 2561.64 663.446

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
MD5SUMce4c4bfdd2071e51446dd0a693e805b0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2561.64
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515300

Solver Data 

0.12/0.13	c +------------------------------+
0.12/0.13	c | gNovelty+, version 1.0       |
0.12/0.13	c +------------------------------+
0.12/0.13	c gnovelty+ -h for help
0.12/0.13	c 
2561.52/663.44	s SATISFIABLE
2561.52/663.44	v -1 -2 -3 4 5 6 7 8 -9 10 -11 -12 13 -14 -15 -16 17 18 -19 20 -21 22 -23 24 25 26 -27 28 -29 -30 -31 32 33 -34 -35 36 37 38 -39 -40 -41 -42 -43 -44 -45 -46 -47 48 49 -50 -51 52 -53 -54 -55 -56 57 58 59 60 -61 62 63 64 65 66 67 68 -69 -70 -71 -72 -73 74 -75 76 -77 78 79 80 81 82 -83 -84 85 86 -87 88 -89 90 -91 92 93 94 95 96 97 98 -99 100 101 102 103 -104 -105 106 107 108 109 -110 -111 112 -113 -114 115 116 117 118 119 -120 121 -122 123 -124 125 126 -127 128 -129 130 -131 -132 133 134 135 136 137 138 139 -140 141 -142 143 144 145 -146 147 -148 -149 150 151 -152 -153 -154 -155 156 157 158 159 -160 161 162 163 -164 165 166 167 -168 -169 -170 -171 172 173 -174 -175 -176 -177 178 -179 180 0
2561.52/663.44	c Done in 2518.200000 seconds

Verifier Data 

OK

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1777225-1243440276/watcher-1777225-1243440276 -o /tmp/evaluation-result-1777225-1243440276/solver-1777225-1243440276 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777225-1243440276.cnf 564152044 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: 4.64 4.92 4.90 3/96 7878
/proc/meminfo: memFree=214700/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=509228 CPUtime=0
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 1307 0 0 0 0 0 0 0 18 0 1 0 1108691709 521449472 1264 4294967295 134512640 135680988 3216031328 3216030592 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7878/statm: 127307 1270 99 286 0 127019 0

[startup+0.089201 s]
/proc/loadavg: 4.64 4.92 4.90 3/96 7878
/proc/meminfo: memFree=214700/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=517040 CPUtime=0.09
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 12736 0 0 0 5 4 0 0 18 0 1 0 1108691709 529448960 12692 4294967295 134512640 135680988 3216031328 3216030592 134537708 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7878/statm: 129260 12697 99 286 0 128972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 517040

[startup+0.119189 s]
/proc/loadavg: 4.64 4.92 4.90 3/96 7878
/proc/meminfo: memFree=214700/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=517040 CPUtime=0.12
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 18338 0 0 0 5 7 0 0 18 0 1 0 1108691709 529448960 18294 4294967295 134512640 135680988 3216031328 3216030592 134537905 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7878/statm: 129260 18298 99 286 0 128972 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517040

[startup+0.319173 s]
/proc/loadavg: 4.64 4.92 4.90 3/96 7878
/proc/meminfo: memFree=214700/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=0.82
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 73 9 0 0 18 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 547708

[startup+0.71914 s]
/proc/loadavg: 4.64 4.92 4.90 3/96 7878
/proc/meminfo: memFree=214700/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2.42
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 231 11 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030660 134532911 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 547708

[startup+1.51998 s]
/proc/loadavg: 4.64 4.92 4.90 5/100 7883
/proc/meminfo: memFree=134100/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=5.43
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 522 21 0 0 16 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=1.34
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 132 2 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=1.34
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 131 3 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=1.24
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 120 4 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 547708

[startup+3.11857 s]
/proc/loadavg: 4.64 4.92 4.90 6/100 7883
/proc/meminfo: memFree=134100/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=11.45
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 1114 31 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=2.69
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 265 4 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=2.94
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 286 8 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982260 134533489 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=2.81
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 275 6 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 547708

[startup+6.31968 s]
/proc/loadavg: 4.67 4.92 4.90 5/100 7884
/proc/meminfo: memFree=133852/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=23.9
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 2339 51 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=5.74
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 568 6 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=6.12
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 601 11 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=5.96
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 581 15 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.9
Current children cumulated vsize (KiB) 547708

[startup+12.718 s]
/proc/loadavg: 4.61 4.91 4.90 6/100 7884
/proc/meminfo: memFree=133760/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=48.35
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 4741 94 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=11.92
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 1179 13 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=11.99
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 1176 23 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=12.02
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 1178 24 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.35
Current children cumulated vsize (KiB) 547708

[startup+25.5167 s]
/proc/loadavg: 4.77 4.93 4.90 6/100 7886
/proc/meminfo: memFree=133848/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=98.6
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 9690 170 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=24.66
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 2431 35 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=24.44
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 2407 37 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=24.54
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 2409 45 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590132 134532936 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (KiB) 547708

[startup+51.1165 s]
/proc/loadavg: 4.92 4.95 4.91 8/100 8071
/proc/meminfo: memFree=133528/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=198.93
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 19562 331 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=49.63
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 4886 77 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=49.69
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 4885 84 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=49.49
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 4867 82 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 198.93
Current children cumulated vsize (KiB) 547708

[startup+102.322 s]
/proc/loadavg: 4.94 4.94 4.91 6/100 8258
/proc/meminfo: memFree=133504/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=395.01
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 38848 653 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=98.32
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 9658 174 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=98.8
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 9724 156 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=98.84
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 9722 162 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 395.01
Current children cumulated vsize (KiB) 547708

[startup+162.316 s]
/proc/loadavg: 4.93 4.92 4.90 7/100 8445
/proc/meminfo: memFree=133496/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=626.1
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 61551 1059 0 0 16 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030660 134533350 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=155.88
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 15320 268 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=156.63
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 15394 269 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=156.43
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 15388 255 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 626.1
Current children cumulated vsize (KiB) 547708

[startup+222.312 s]
/proc/loadavg: 4.70 4.88 4.89 6/100 8636
/proc/meminfo: memFree=133528/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=857.08
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 84230 1478 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=213.26
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 20945 381 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=213.92
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 21020 372 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=214.49
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 21081 368 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 857.08
Current children cumulated vsize (KiB) 547708

[startup+282.306 s]
/proc/loadavg: 4.83 4.87 4.89 6/100 8825
/proc/meminfo: memFree=133488/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=1089.23
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 107037 1886 0 0 16 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=271.28
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 26646 482 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374388 134534872 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=271.99
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 26740 459 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 0 0 0 0

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

/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 38119 680 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1553.19
Current children cumulated vsize (KiB) 547708

[startup+462.314 s]
/proc/loadavg: 5.24 4.94 4.90 8/100 9390
/proc/meminfo: memFree=133752/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=1785.7
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 175508 3062 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=445.86
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 43799 787 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=446.05
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 43876 729 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=446.31
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 43843 788 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 547708

[startup+522.318 s]
/proc/loadavg: 5.02 4.94 4.90 6/100 9581
/proc/meminfo: memFree=133760/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2017.46
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 198257 3489 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=504.09
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 49528 881 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=503.77
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 49545 832 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=504.12
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 49519 893 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2017.46
Current children cumulated vsize (KiB) 547708

[startup+582.314 s]
/proc/loadavg: 4.92 4.93 4.90 6/100 9770
/proc/meminfo: memFree=133876/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2248.1
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 220953 3857 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=562.33
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 55256 977 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=560.63
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 55148 915 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=561.75
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 55189 986 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2248.1
Current children cumulated vsize (KiB) 547708

[startup+642.316 s]
/proc/loadavg: 5.30 5.04 4.94 6/100 9963
/proc/meminfo: memFree=134116/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2481.47
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 243944 4203 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=620.19
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 60965 1054 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=618.99
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 60902 997 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982260 134533068 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=620.37
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 60952 1085 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2481.47
Current children cumulated vsize (KiB) 547708

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

[startup+652.716 s]
/proc/loadavg: 5.25 5.04 4.94 6/100 9964
/proc/meminfo: memFree=134024/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2521.38
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 247868 4270 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=629.93
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 61918 1075 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=629.25
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 61914 1011 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=630.14
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 61911 1103 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2521.38
Current children cumulated vsize (KiB) 547708

[startup+659.121 s]
/proc/loadavg: 5.14 5.02 4.93 6/100 9964
/proc/meminfo: memFree=134088/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2545.17
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 250207 4310 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=636.19
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 62536 1083 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=635.06
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62483 1023 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=635.93
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62480 1113 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2545.17
Current children cumulated vsize (KiB) 547708

[startup+660.719 s]
/proc/loadavg: 5.14 5.02 4.93 6/100 9964
/proc/meminfo: memFree=134088/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2551.49
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 250829 4320 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=637.79
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 62693 1086 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=636.61
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62633 1028 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=637.5
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62636 1114 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2551.49
Current children cumulated vsize (KiB) 547708

[startup+662.314 s]
/proc/loadavg: 5.14 5.02 4.93 7/100 9964
/proc/meminfo: memFree=134104/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2557.56
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 251432 4324 0 0 16 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030660 134533489 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=639.27
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 62840 1087 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=638.2
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62791 1029 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=639.09
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62795 1114 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2557.56
Current children cumulated vsize (KiB) 547708

[startup+663.114 s]
/proc/loadavg: 5.14 5.02 4.93 7/100 9964
/proc/meminfo: memFree=134104/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2560.33
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 251701 4332 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=639.92
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 62905 1087 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=639.01
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62871 1030 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=639.74
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62857 1117 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2560.33
Current children cumulated vsize (KiB) 547708

[startup+663.315 s]
/proc/loadavg: 5.14 5.02 4.93 5/100 9964
/proc/meminfo: memFree=134104/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2561.15
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 251783 4332 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=640.13
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 62926 1087 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=639.21
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62891 1030 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=639.94
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62877 1117 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.15
Current children cumulated vsize (KiB) 547708

[startup+663.414 s]
/proc/loadavg: 5.14 5.02 4.93 5/100 9964
/proc/meminfo: memFree=134104/3368532 swapFree=1953788/1959888
[pid=7878] ppid=7876 vsize=547708 CPUtime=2561.52
/proc/7878/stat : 7878 (gnovelty+) R 7876 7878 10015 0 -1 4202496 20352 0 0 0 251820 4332 0 0 15 0 4 0 1108691709 560852992 20308 4294967295 134512640 135680988 3216031328 3216030572 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7878/statm: 136927 20308 103 286 0 136639 0
[pid=7878/tid=7881] ppid=7876 vsize=547708 CPUtime=640.22
/proc/7878/task/7881/stat : 7881 (gnovelty+) R 7876 7878 10015 0 -1 4202560 82 0 0 0 62935 1087 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3077374300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7878/tid=7882] ppid=7876 vsize=547708 CPUtime=639.3
/proc/7878/task/7882/stat : 7882 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62900 1030 0 0 15 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3067982172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7878/tid=7883] ppid=7876 vsize=547708 CPUtime=640.04
/proc/7878/task/7883/stat : 7883 (gnovelty+) R 7876 7878 10015 0 -1 4202560 84 0 0 0 62887 1117 0 0 16 0 4 0 1108691723 560852992 20308 4294967295 134512640 135680988 3216031328 3058590132 134533068 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.52
Current children cumulated vsize (KiB) 547708

Child status: 10
Real time (s): 663.446
CPU time (s): 2561.64
CPU user time (s): 2518.3
CPU system time (s): 43.34
CPU usage (%): 386.112
Max. virtual memory (cumulated for all children) (KiB): 547708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.3
system time used= 43.34
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20368
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= 1029146
involuntary context switches= 27619

runsolver used 0.1 second user time and 0.18 second system time

The end

Launcher Data 

Begin job on  at 2009-05-27 18:04:36
IDJOB=1777225
IDBENCH=70257
IDSOLVER=617
FILE ID=/1777225-1243440276
PBS_JOBID=
Free space on /tmp= 6476 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S1352224201-070.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777225-1243440276/watcher-1777225-1243440276 -o /tmp/evaluation-result-1777225-1243440276/solver-1777225-1243440276 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777225-1243440276.cnf 564152044 4

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

MD5SUM BENCH= ce4c4bfdd2071e51446dd0a693e805b0
RANDOM SEED= 564152044

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.061
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.41
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.061
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.061
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.061
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:        214700 kB
Buffers:         46968 kB
Cached:        2936860 kB
SwapCached:       2256 kB
Active:        1731516 kB
Inactive:      1261828 kB
HighTotal:     2489216 kB
HighFree:        84944 kB
LowTotal:       879316 kB
LowFree:        129756 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            1796 kB
Writeback:           0 kB
AnonPages:        8752 kB
Mapped:           3432 kB
Slab:           150812 kB
SReclaimable:   137316 kB
SUnreclaim:      13496 kB
PageTables:        496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88480 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6476 MiB
End job on  at 2009-05-27 18:15:40