Trace number 3274205

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24Wrong Cert. 1237.29 309.756

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
MD5SUMd6f66d406779966e0b3cbed9097980e3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.099983
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses336
Sum of the clauses size840
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2280
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 556
Number of clauses of size over 50

Solver Data 

1237.10/309.74	
1237.10/309.74	s SATISFIABLE
1237.10/309.74	
1237.10/309.74	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 0

Verifier Data 

ERROR: clause is not satisfied: 98 -103 -21 -120 36 0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3274205-1304086988/watcher-3274205-1304086988 -o /tmp/evaluation-result-3274205-1304086988/solver-3274205-1304086988 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3274205-1304086988.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.30 7.67 7.93 6/180 1108
/proc/meminfo: memFree=30931504/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 439 0 0 0 0 0 0 0 23 0 4 0 501114751 50388992 376 33554432000 4194304 4623224 140735051276800 18446744073709551615 47514225018796 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 12302 376 301 105 0 7806 0
[pid=1108/tid=1109] ppid=1106 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 501114751 50388992 376 33554432000 4194304 4623224 140735051276800 18446744073709551615 47514225018806 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501114751 50388992 376 33554432000 4194304 4623224 140735051276800 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501114751 50388992 376 33554432000 4194304 4623224 140735051276800 18446744073709551615 220828034102 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.094413 s]
/proc/loadavg: 6.30 7.67 7.93 6/180 1108
/proc/meminfo: memFree=30931504/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=247464 CPUtime=0.35 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 1636 0 0 0 35 0 0 0 18 0 4 0 501114751 253403136 1221 33554432000 4194304 4623224 140735051276800 18446744073709551615 4517577 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 61866 1221 343 105 0 57370 0
[pid=1108/tid=1109] ppid=1106 vsize=247464 CPUtime=0.08 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 413 0 0 0 8 0 0 0 25 0 4 0 501114751 253403136 1221 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376749 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=247464 CPUtime=0.08 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 272 0 0 0 8 0 0 0 25 0 4 0 501114751 253403136 1221 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376820 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=247464 CPUtime=0.08 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 287 0 0 0 8 0 0 0 25 0 4 0 501114751 253403136 1221 33554432000 4194304 4623224 140735051276800 18446744073709551615 4562106 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 247464

[startup+0.10041 s]
/proc/loadavg: 6.30 7.67 7.93 6/180 1108
/proc/meminfo: memFree=30931504/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=247628 CPUtime=0.38 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 1760 0 0 0 38 0 0 0 18 0 4 0 501114751 253571072 1266 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510445 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 61907 1266 343 105 0 57411 0
[pid=1108/tid=1109] ppid=1106 vsize=247628 CPUtime=0.09 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 422 0 0 0 9 0 0 0 25 0 4 0 501114751 253571072 1266 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=247628 CPUtime=0.09 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 381 0 0 0 9 0 0 0 25 0 4 0 501114751 253571072 1266 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=247628 CPUtime=0.09 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 291 0 0 0 9 0 0 0 25 0 4 0 501114751 253571072 1266 33554432000 4194304 4623224 140735051276800 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 247628

[startup+0.300376 s]
/proc/loadavg: 6.30 7.67 7.93 6/180 1108
/proc/meminfo: memFree=30931504/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=249964 CPUtime=1.18 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 3632 0 0 0 118 0 0 0 18 0 4 0 501114751 255963136 2323 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510438 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 62491 2323 343 105 0 57995 0
[pid=1108/tid=1109] ppid=1106 vsize=249964 CPUtime=0.29 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 1098 0 0 0 29 0 0 0 25 0 4 0 501114751 255963136 2323 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376895 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=249964 CPUtime=0.29 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 985 0 0 0 29 0 0 0 25 0 4 0 501114751 255963136 2325 33554432000 4194304 4623224 140735051276800 18446744073709551615 4462966 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=249964 CPUtime=0.29 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 708 0 0 0 29 0 0 0 25 0 4 0 501114751 255963136 2325 33554432000 4194304 4623224 140735051276800 18446744073709551615 4366665 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 249964

[startup+0.700303 s]
/proc/loadavg: 6.30 7.67 7.93 6/180 1108
/proc/meminfo: memFree=30931504/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=252788 CPUtime=2.77 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 6019 0 0 0 277 0 0 0 18 0 4 0 501114751 258854912 3694 33554432000 4194304 4623224 140735051276800 18446744073709551615 4509298 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 63197 3694 343 105 0 58701 0
[pid=1108/tid=1109] ppid=1106 vsize=252788 CPUtime=0.69 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 1815 0 0 0 69 0 0 0 25 0 4 0 501114751 258854912 3694 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=252788 CPUtime=0.68 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 1765 0 0 0 68 0 0 0 25 0 4 0 501114751 258854912 3696 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=252788 CPUtime=0.69 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 1467 0 0 0 69 0 0 0 25 0 4 0 501114751 258854912 3696 33554432000 4194304 4623224 140735051276800 18446744073709551615 4366665 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 252788

[startup+1.50116 s]
/proc/loadavg: 6.30 7.67 7.93 9/184 1112
/proc/meminfo: memFree=30896532/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=257848 CPUtime=5.97 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 10257 0 0 0 596 1 0 0 20 0 4 0 501114751 264036352 5971 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510181 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 64462 5971 345 105 0 59966 0
[pid=1108/tid=1109] ppid=1106 vsize=257848 CPUtime=1.49 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 3787 0 0 0 149 0 0 0 25 0 4 0 501114751 264036352 5971 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=257848 CPUtime=1.48 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 2720 0 0 0 148 0 0 0 25 0 4 0 501114751 264036352 5971 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=257848 CPUtime=1.49 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 2281 0 0 0 149 0 0 0 25 0 4 0 501114751 264036352 5971 33554432000 4194304 4623224 140735051276800 18446744073709551615 4550450 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 257848

[startup+3.10086 s]
/proc/loadavg: 6.30 7.67 7.93 9/184 1112
/proc/meminfo: memFree=30874584/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=266524 CPUtime=12.36 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 16489 0 0 0 1233 3 0 0 25 0 4 0 501114751 272920576 8327 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510907 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 66631 8327 344 105 0 62135 0
[pid=1108/tid=1109] ppid=1106 vsize=266524 CPUtime=3.09 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 5560 0 0 0 308 1 0 0 25 0 4 0 501114751 272920576 8327 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376697 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=266524 CPUtime=3.07 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 5174 0 0 0 306 1 0 0 25 0 4 0 501114751 272920576 8327 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=266524 CPUtime=3.08 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 4149 0 0 0 308 0 0 0 25 0 4 0 501114751 272920576 8327 33554432000 4194304 4623224 140735051276800 18446744073709551615 220832220187 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 266524

[startup+6.30027 s]
/proc/loadavg: 6.44 7.67 7.93 10/184 1112
/proc/meminfo: memFree=30834336/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=273404 CPUtime=25.14 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 45742 0 0 0 2507 7 0 0 25 0 4 0 501114751 279965696 11999 33554432000 4194304 4623224 140735051276800 18446744073709551615 4414916 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 68351 11999 344 105 0 63855 0
[pid=1108/tid=1109] ppid=1106 vsize=273404 CPUtime=6.28 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 8871 0 0 0 627 1 0 0 25 0 4 0 501114751 279965696 11999 33554432000 4194304 4623224 140735051276800 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=273404 CPUtime=6.26 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 6070 0 0 0 625 1 0 0 25 0 4 0 501114751 279965696 11999 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=273404 CPUtime=6.29 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 28579 0 0 0 625 4 0 0 25 0 4 0 501114751 279965696 11999 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376909 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 273404

[startup+12.7011 s]
/proc/loadavg: 6.56 7.68 7.93 10/184 1112
/proc/meminfo: memFree=30782512/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=287196 CPUtime=50.71 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 89931 0 0 0 5057 14 0 0 25 0 4 0 501114751 294088704 15834 33554432000 4194304 4623224 140735051276800 18446744073709551615 4384352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 71799 15834 365 105 0 67303 0
[pid=1108/tid=1109] ppid=1106 vsize=287196 CPUtime=12.69 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 12521 0 0 0 1267 2 0 0 25 0 4 0 501114751 294088704 15834 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=287196 CPUtime=12.61 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 8616 0 0 0 1260 1 0 0 25 0 4 0 501114751 294088704 15834 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=287196 CPUtime=12.69 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 65559 0 0 0 1260 9 0 0 25 0 4 0 501114751 294088704 15834 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 287196

[startup+25.5007 s]
/proc/loadavg: 6.88 7.69 7.93 10/184 1113
/proc/meminfo: memFree=30708600/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=299900 CPUtime=101.83 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 133766 0 0 0 10163 20 0 0 25 0 4 0 501114751 307097600 24061 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 74975 24061 437 105 0 70479 0
[pid=1108/tid=1109] ppid=1106 vsize=299900 CPUtime=25.49 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 18991 0 0 0 2546 3 0 0 25 0 4 0 501114751 307097600 24061 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=299900 CPUtime=25.35 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 12277 0 0 0 2532 3 0 0 25 0 4 0 501114751 307097600 24061 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=299900 CPUtime=25.48 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 97743 0 0 0 2535 13 0 0 25 0 4 0 501114751 307097600 24061 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 299900

[startup+51.101 s]
/proc/loadavg: 7.33 7.73 7.93 10/184 1113
/proc/meminfo: memFree=30593380/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=333864 CPUtime=204.1 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 176902 0 0 0 20382 28 0 0 25 0 4 0 501114751 341876736 36540 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 83466 36540 654 105 0 78970 0
[pid=1108/tid=1109] ppid=1106 vsize=333864 CPUtime=51.08 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 27284 0 0 0 5104 4 0 0 25 0 4 0 501114751 341876736 36540 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=333864 CPUtime=50.81 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 17304 0 0 0 5077 4 0 0 25 0 4 0 501114751 341876736 36540 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=333864 CPUtime=51.09 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 122104 0 0 0 5091 18 0 0 25 0 4 0 501114751 341876736 36540 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 333864

[startup+102.307 s]
/proc/loadavg: 7.85 7.81 7.94 10/184 1115
/proc/meminfo: memFree=30434880/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=353292 CPUtime=408.65 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 199649 0 0 0 40829 36 0 0 25 0 4 0 501114751 361771008 48711 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 88323 48711 424 105 0 83827 0
[pid=1108/tid=1109] ppid=1106 vsize=353292 CPUtime=102.3 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 32768 0 0 0 10221 9 0 0 25 0 4 0 501114751 361771008 48711 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=353292 CPUtime=101.73 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 24114 0 0 0 10168 5 0 0 25 0 4 0 501114751 361771008 48711 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=353292 CPUtime=102.3 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 127169 0 0 0 10211 19 0 0 25 0 4 0 501114751 361771008 48711 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 353292

[startup+162.301 s]
/proc/loadavg: 8.31 7.94 7.98 10/184 1119
/proc/meminfo: memFree=30277540/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=375716 CPUtime=648.31 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 236195 0 0 0 64788 43 0 0 25 0 4 0 501114751 384733184 59558 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 93929 59558 380 105 0 89433 0
[pid=1108/tid=1109] ppid=1106 vsize=375716 CPUtime=162.3 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 45614 0 0 0 16218 12 0 0 25 0 4 0 501114751 384733184 59558 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=375716 CPUtime=161.4 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 24818 0 0 0 16135 5 0 0 25 0 4 0 501114751 384733184 59558 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=375716 CPUtime=162.29 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 145638 0 0 0 16207 22 0 0 25 0 4 0 501114751 384733184 59558 33554432000 4194304 4623224 140735051276800 18446744073709551615 4550459 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.31
Current children cumulated vsize (KiB) 375716

[startup+222.3 s]
/proc/loadavg: 8.25 7.98 7.99 10/184 1121
/proc/meminfo: memFree=30128596/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=887.97 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 404386 0 0 0 88726 71 0 0 25 0 4 0 501114751 512569344 84094 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 84094 1354 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=222.29 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 62805 0 0 0 22215 14 0 0 25 0 4 0 501114751 512569344 84094 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=221.07 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26040 0 0 0 22100 7 0 0 25 0 4 0 501114751 512569344 84094 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=222.29 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 281546 0 0 0 22185 44 0 0 25 0 4 0 501114751 512569344 84094 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.97
Current children cumulated vsize (KiB) 500556

[startup+282.3 s]
/proc/loadavg: 8.16 8.00 8.00 9/184 1123
/proc/meminfo: memFree=30033708/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1127.65 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 427723 0 0 0 112689 76 0 0 25 0 4 0 501114751 512569344 87016 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 87016 1103 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=282.29 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 63936 0 0 0 28215 14 0 0 25 0 4 0 501114751 512569344 87016 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=280.74 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26235 0 0 0 28067 7 0 0 25 0 4 0 501114751 512569344 87016 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=282.29 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 284819 0 0 0 28184 45 0 0 25 0 4 0 501114751 512569344 87016 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.65
Current children cumulated vsize (KiB) 500556

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

[startup+294.301 s]
/proc/loadavg: 8.12 8.00 8.00 10/184 1123
/proc/meminfo: memFree=29995880/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1175.59 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 432589 0 0 0 117482 77 0 0 25 0 4 0 501114751 512569344 87383 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 87383 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=294.29 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64244 0 0 0 29415 14 0 0 25 0 4 0 501114751 512569344 87383 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=292.67 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26241 0 0 0 29260 7 0 0 25 0 4 0 501114751 512569344 87383 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=294.29 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 284827 0 0 0 29384 45 0 0 25 0 4 0 501114751 512569344 87383 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1175.59
Current children cumulated vsize (KiB) 500556

[startup+300.701 s]
/proc/loadavg: 8.11 8.00 8.00 9/184 1123
/proc/meminfo: memFree=29988808/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1201.15 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 434030 0 0 0 120038 77 0 0 25 0 4 0 501114751 512569344 87559 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 87559 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=300.69 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64349 0 0 0 30055 14 0 0 25 0 4 0 501114751 512569344 87559 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=299.04 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26241 0 0 0 29897 7 0 0 25 0 4 0 501114751 512569344 87559 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=300.69 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 284879 0 0 0 30024 45 0 0 25 0 4 0 501114751 512569344 87559 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1201.15
Current children cumulated vsize (KiB) 500556

[startup+303.9 s]
/proc/loadavg: 8.10 8.00 8.00 10/184 1123
/proc/meminfo: memFree=29984096/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1213.93 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 434366 0 0 0 121316 77 0 0 25 0 4 0 501114751 512569344 87895 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 87895 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=303.89 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64556 0 0 0 30375 14 0 0 25 0 4 0 501114751 512569344 87895 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=302.22 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26275 0 0 0 30215 7 0 0 25 0 4 0 501114751 512569344 87895 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=303.89 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 284964 0 0 0 30344 45 0 0 25 0 4 0 501114751 512569344 87895 33554432000 4194304 4623224 140735051276800 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1213.93
Current children cumulated vsize (KiB) 500556

[startup+307.101 s]
/proc/loadavg: 8.10 8.00 8.00 10/184 1123
/proc/meminfo: memFree=29981120/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1226.71 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 434531 0 0 0 122594 77 0 0 25 0 4 0 501114751 512569344 88059 33554432000 4194304 4623224 140735051276800 18446744073709551615 4517479 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 88059 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=307.09 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64587 0 0 0 30695 14 0 0 25 0 4 0 501114751 512569344 88059 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=305.4 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26309 0 0 0 30533 7 0 0 25 0 4 0 501114751 512569344 88059 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=307.09 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 285058 0 0 0 30664 45 0 0 25 0 4 0 501114751 512569344 88059 33554432000 4194304 4623224 140735051276800 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1226.71
Current children cumulated vsize (KiB) 500556

[startup+308.701 s]
/proc/loadavg: 8.10 8.00 8.00 10/184 1123
/proc/meminfo: memFree=29980624/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1233.11 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 434603 0 0 0 123234 77 0 0 25 0 4 0 501114751 512569344 88131 33554432000 4194304 4623224 140735051276800 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 88131 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=308.69 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64595 0 0 0 30855 14 0 0 25 0 4 0 501114751 512569344 88131 33554432000 4194304 4623224 140735051276800 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=307 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26309 0 0 0 30693 7 0 0 25 0 4 0 501114751 512569344 88131 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=308.69 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 285122 0 0 0 30824 45 0 0 25 0 4 0 501114751 512569344 88131 33554432000 4194304 4623224 140735051276800 18446744073709551615 4364926 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1233.11
Current children cumulated vsize (KiB) 500556

[startup+309.5 s]
/proc/loadavg: 8.09 8.00 8.00 10/184 1123
/proc/meminfo: memFree=29979756/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1236.3 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 434630 0 0 0 123553 77 0 0 25 0 4 0 501114751 512569344 88158 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 88158 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=309.49 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64599 0 0 0 30935 14 0 0 25 0 4 0 501114751 512569344 88158 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=307.79 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26309 0 0 0 30772 7 0 0 25 0 4 0 501114751 512569344 88158 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=309.49 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 285145 0 0 0 30904 45 0 0 25 0 4 0 501114751 512569344 88158 33554432000 4194304 4623224 140735051276800 18446744073709551615 4377608 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1236.3
Current children cumulated vsize (KiB) 500556

[startup+309.7 s]
/proc/loadavg: 8.09 8.00 8.00 10/184 1123
/proc/meminfo: memFree=29979756/32951124 swapFree=67105204/67111528
[pid=1108] ppid=1106 vsize=500556 CPUtime=1237.1 cores=1,3,5,7
/proc/1108/stat : 1108 (SArTagnan) R 1106 1108 32751 0 -1 4202496 434633 0 0 0 123633 77 0 0 25 0 4 0 501114751 512569344 88161 33554432000 4194304 4623224 140735051276800 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1108/statm: 125139 88161 1101 105 0 120643 0
[pid=1108/tid=1109] ppid=1106 vsize=500556 CPUtime=309.69 cores=1,3,5,7
/proc/1108/task/1109/stat : 1109 (SArTagnan) R 1106 1108 32751 0 -1 4202560 64600 0 0 0 30955 14 0 0 25 0 4 0 501114751 512569344 88161 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1108/tid=1110] ppid=1106 vsize=500556 CPUtime=307.99 cores=1,3,5,7
/proc/1108/task/1110/stat : 1110 (SArTagnan) R 1106 1108 32751 0 -1 4202560 26309 0 0 0 30792 7 0 0 25 0 4 0 501114751 512569344 88161 33554432000 4194304 4623224 140735051276800 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1108/tid=1111] ppid=1106 vsize=500556 CPUtime=309.69 cores=1,3,5,7
/proc/1108/task/1111/stat : 1111 (SArTagnan) R 1106 1108 32751 0 -1 4202560 285145 0 0 0 30924 45 0 0 25 0 4 0 501114751 512569344 88161 33554432000 4194304 4623224 140735051276800 18446744073709551615 4544894 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1237.1
Current children cumulated vsize (KiB) 500556

Child status: 10
Real time (s): 309.756
CPU time (s): 1237.29
CPU user time (s): 1236.5
CPU system time (s): 0.791879
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 500556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1236.5
system time used= 0.791879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434646
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= 331
involuntary context switches= 4657

runsolver used 0.469928 second user time and 1.22281 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 16:23:08
IDJOB=3274205
IDBENCH=83155
IDSOLVER=1656
FILE ID=node147/3274205-1304086988
RUNJOBID= node147-1304086988-1086
PBS_JOBID= 13170522
Free space on /tmp= 72660 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n140-s18527668-sat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3274205-1304086988/watcher-3274205-1304086988 -o /tmp/evaluation-result-3274205-1304086988/solver-3274205-1304086988 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3274205-1304086988.cnf -threads=4

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

MD5SUM BENCH= d6f66d406779966e0b3cbed9097980e3
RANDOM SEED=1262362058

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30932032 kB
Buffers:        270420 kB
Cached:        1362436 kB
SwapCached:       2904 kB
Active:         125748 kB
Inactive:      1570644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30932032 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:             916 kB
Writeback:           0 kB
AnonPages:       61500 kB
Mapped:          14792 kB
Slab:           260420 kB
PageTables:       4348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   236896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72660 MiB
End job on node147 at 2011-04-29 16:28:18