Trace number 3386233

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-05-15 (fixed)? (TO) 4800.28 1234.96

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
MD5SUM953b9cb99bfd26cff0e1ac65be1241f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark630.301
Satisfiable
(Un)Satisfiability was proved
Number of variables569795
Number of clauses8562505
Sum of the clauses size24843745
Maximum clause length186
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27567948
Number of clauses of size 3724416
Number of clauses of size 49898
Number of clauses of size 560873
Number of clauses of size over 5199369

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386233-1305583456/watcher-3386233-1305583456 -o /tmp/evaluation-result-3386233-1305583456/solver-3386233-1305583456 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386233-1305583456.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: 9.38 9.89 8.25 4/549 18333
/proc/meminfo: memFree=16981372/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=40752 CPUtime=0.01 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 5090 0 0 0 1 0 0 0 22 0 1 0 669946627 41730048 5028 33554432000 4194304 4625164 140735279246384 18446744073709551615 4305886 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 10188 5042 291 106 0 5691 0

[startup+0.084458 s]
/proc/loadavg: 9.38 9.89 8.25 4/549 18333
/proc/meminfo: memFree=16981372/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=272800 CPUtime=0.07 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 13053 0 0 0 6 1 0 0 22 0 1 0 669946627 279347200 11859 33554432000 4194304 4625164 140735279246384 18446744073709551615 253640557013 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 68200 11880 296 106 0 63703 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 272800

[startup+0.100454 s]
/proc/loadavg: 9.38 9.89 8.25 4/549 18333
/proc/meminfo: memFree=16981372/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=272532 CPUtime=0.08 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 13816 0 0 0 7 1 0 0 22 0 1 0 669946627 279072768 12000 33554432000 4194304 4625164 140735279246384 18446744073709551615 253640859392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 68133 12000 296 106 0 63636 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 272532

[startup+0.300421 s]
/proc/loadavg: 9.38 9.89 8.25 4/549 18333
/proc/meminfo: memFree=16981372/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=287664 CPUtime=0.29 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 22053 0 0 0 26 3 0 0 23 0 1 0 669946627 294567936 15810 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 71916 15811 297 106 0 67419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 287664

[startup+0.700349 s]
/proc/loadavg: 9.38 9.89 8.25 4/549 18333
/proc/meminfo: memFree=16981372/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=314332 CPUtime=0.69 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 37103 0 0 0 64 5 0 0 25 0 1 0 669946627 321875968 22979 33554432000 4194304 4625164 140735279246384 18446744073709551615 253640859392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 78583 22979 296 106 0 74086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 314332

[startup+1.5002 s]
/proc/loadavg: 9.38 9.89 8.25 5/548 18334
/proc/meminfo: memFree=16851712/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=373676 CPUtime=1.49 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 68381 0 0 0 139 10 0 0 25 0 1 0 669946627 382644224 36526 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 93419 36526 323 106 0 88922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 373676

[startup+3.10091 s]
/proc/loadavg: 9.11 9.83 8.24 5/553 18340
/proc/meminfo: memFree=16647968/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=508256 CPUtime=3.09 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 138760 0 0 0 287 22 0 0 25 0 1 0 669946627 520454144 66963 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18333/statm: 127064 66963 445 106 0 122567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 508256

[startup+6.3003 s]
/proc/loadavg: 9.11 9.83 8.24 8/556 18343
/proc/meminfo: memFree=15624768/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=1359208 CPUtime=10.38 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 315515 0 0 0 992 46 0 0 25 0 4 0 669946627 1391828992 214620 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18333/statm: 339802 214620 453 106 0 335305 0
[pid=18333/tid=18341] ppid=18331 vsize=1359208 CPUtime=1.05 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 14538 0 0 0 103 2 0 0 25 0 4 0 669947048 1391828992 214620 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=1359208 CPUtime=1.01 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 7365 0 0 0 100 1 0 0 25 0 4 0 669947048 1391828992 214620 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=1359208 CPUtime=2.04 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 4593 0 0 0 204 0 0 0 25 0 4 0 669947048 1391828992 214620 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 1359208

[startup+12.7011 s]
/proc/loadavg: 9.40 9.86 8.27 11/559 18346
/proc/meminfo: memFree=15042960/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=1388380 CPUtime=29.46 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 335262 0 0 0 2897 49 0 0 25 0 4 0 669946627 1421701120 219092 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18333/statm: 347095 219092 427 106 0 342598 0
[pid=18333/tid=18341] ppid=18331 vsize=1388380 CPUtime=4.25 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 14538 0 0 0 423 2 0 0 25 0 4 0 669947048 1421701120 219092 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=1388380 CPUtime=4.21 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 7365 0 0 0 420 1 0 0 25 0 4 0 669947048 1421701120 219092 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=1388380 CPUtime=8.32 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 4593 0 0 0 832 0 0 0 25 0 4 0 669947048 1421701120 219092 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 29.46
Current children cumulated vsize (KiB) 1388380

[startup+25.5008 s]
/proc/loadavg: 9.49 9.87 8.28 11/559 18347
/proc/meminfo: memFree=15015300/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=1388380 CPUtime=67.64 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 335398 0 0 0 6715 49 0 0 25 0 4 0 669946627 1421701120 219227 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390615 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18333/statm: 347095 219227 427 106 0 342598 0
[pid=18333/tid=18341] ppid=18331 vsize=1388380 CPUtime=10.65 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 14538 0 0 0 1063 2 0 0 25 0 4 0 669947048 1421701120 219227 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=1388380 CPUtime=10.61 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 7365 0 0 0 1060 1 0 0 25 0 4 0 669947048 1421701120 219227 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=1388380 CPUtime=20.9 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 4593 0 0 0 2090 0 0 0 25 0 4 0 669947048 1421701120 219227 33554432000 4194304 4625164 140735279246384 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 67.64
Current children cumulated vsize (KiB) 1388380

[startup+51.1012 s]
/proc/loadavg: 9.81 9.91 8.34 11/559 18347
/proc/meminfo: memFree=14896180/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=1465528 CPUtime=143.96 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 456067 0 0 0 14333 63 0 0 25 0 4 0 669946627 1500700672 236983 33554432000 4194304 4625164 140735279246384 18446744073709551615 4512467 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18333/statm: 366382 236983 428 106 0 361885 0
[pid=18333/tid=18341] ppid=18331 vsize=1465528 CPUtime=23.45 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 14538 0 0 0 2343 2 0 0 25 0 4 0 669947048 1500700672 236983 33554432000 4194304 4625164 140735279246384 18446744073709551615 4482035 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=1465528 CPUtime=23.41 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 7365 0 0 0 2340 1 0 0 25 0 4 0 669947048 1500700672 236983 33554432000 4194304 4625164 140735279246384 18446744073709551615 4477916 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=1465528 CPUtime=46.02 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 107768 0 0 0 4590 12 0 0 25 0 4 0 669947048 1500700672 236983 33554432000 4194304 4625164 140735279246384 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 143.96
Current children cumulated vsize (KiB) 1465528

[startup+102.301 s]
/proc/loadavg: 10.04 9.95 8.43 11/559 18349
/proc/meminfo: memFree=14595260/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=1678732 CPUtime=296.63 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 612446 0 0 0 29579 84 0 0 25 0 4 0 669946627 1719021568 279166 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390612 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 419683 279166 421 106 0 415186 0
[pid=18333/tid=18341] ppid=18331 vsize=1678732 CPUtime=50.93 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 21356 0 0 0 5089 4 0 0 25 0 4 0 669947048 1719021568 279166 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=1678732 CPUtime=54.3 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 38068 0 0 0 5425 5 0 0 25 0 4 0 669947048 1719021568 279166 33554432000 4194304 4625164 140735279246384 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=1678732 CPUtime=90.68 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 183475 0 0 0 9048 20 0 0 25 0 4 0 669947048 1719021568 279166 33554432000 4194304 4625164 140735279246384 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 296.63
Current children cumulated vsize (KiB) 1678732

[startup+162.301 s]
/proc/loadavg: 9.51 9.82 8.49 10/558 18350
/proc/meminfo: memFree=14341764/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=1836432 CPUtime=529.52 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 929734 0 0 0 52818 134 0 0 25 0 4 0 669946627 1880506368 321169 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390589 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 459108 321169 414 106 0 454611 0
[pid=18333/tid=18341] ppid=18331 vsize=1836432 CPUtime=110.91 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 30984 0 0 0 11081 10 0 0 25 0 4 0 669947048 1880506368 321169 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=1836432 CPUtime=114.13 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 42779 0 0 0 11407 6 0 0 25 0 4 0 669947048 1880506368 321169 33554432000 4194304 4625164 140735279246384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=1836432 CPUtime=147.18 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 416523 0 0 0 14665 53 0 0 25 0 4 0 669947048 1880506368 321169 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 529.52
Current children cumulated vsize (KiB) 1836432

[startup+222.301 s]
/proc/loadavg: 9.34 9.73 8.53 10/558 18352
/proc/meminfo: memFree=14008304/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=2119428 CPUtime=768.44 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 1330503 0 0 0 76644 200 0 0 25 0 4 0 669946627 2170294272 386612 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 529857 386612 413 106 0 525360 0
[pid=18333/tid=18341] ppid=18331 vsize=2119428 CPUtime=170.92 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 46980 0 0 0 17078 14 0 0 25 0 4 0 669947048 2170294272 386612 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288950 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=2119428 CPUtime=174.13 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 86517 0 0 0 17400 13 0 0 25 0 4 0 669947048 2170294272 386612 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=2119428 CPUtime=207.17 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 637376 0 0 0 20632 85 0 0 25 0 4 0 669947048 2170294272 386612 33554432000 4194304 4625164 140735279246384 18446744073709551615 4375467 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 768.44
Current children cumulated vsize (KiB) 2119428

[startup+282.301 s]
/proc/loadavg: 9.20 9.61 8.57 10/558 18353
/proc/meminfo: memFree=13790624/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=2119428 CPUtime=1007.34 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 1608724 0 0 0 100495 239 0 0 25 0 4 0 669946627 2170294272 398719 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 529857 398720 410 106 0 525360 0
[pid=18333/tid=18341] ppid=18331 vsize=2119428 CPUtime=230.92 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 46997 0 0 0 23078 14 0 0 25 0 4 0 669947048 2170294272 398720 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=2119428 CPUtime=234.13 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 168151 0 0 0 23389 24 0 0 25 0 4 0 669947048 2170294272 398720 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=2119428 CPUtime=267.17 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 827746 0 0 0 26605 112 0 0 25 0 4 0 669947048 2170294272 398721 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1007.34

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

Current children cumulated CPU time (s) 2440.8
Current children cumulated vsize (KiB) 2930432

[startup+702.301 s]
/proc/loadavg: 9.14 9.24 8.76 10/558 18365
/proc/meminfo: memFree=12466988/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=3295044 CPUtime=2679.71 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 3501459 0 0 0 267447 524 0 0 25 0 4 0 669946627 3374125056 631553 33554432000 4194304 4625164 140735279246384 18446744073709551615 4390706 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 823761 631553 344 106 0 819264 0
[pid=18333/tid=18341] ppid=18331 vsize=3295044 CPUtime=650.9 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 212383 0 0 0 65035 55 0 0 25 0 4 0 669947048 3374125056 631553 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=3295044 CPUtime=654.14 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 519110 0 0 0 65336 78 0 0 25 0 4 0 669947048 3374125056 631553 33554432000 4194304 4625164 140735279246384 18446744073709551615 4490552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=3295044 CPUtime=687.19 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 1964980 0 0 0 68450 269 0 0 25 0 4 0 669947048 3374125056 631553 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2679.71
Current children cumulated vsize (KiB) 3295044

[startup+762.301 s]
/proc/loadavg: 9.19 9.25 8.79 10/558 18366
/proc/meminfo: memFree=12165384/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=3532400 CPUtime=2918.62 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 3869296 0 0 0 291280 582 0 0 25 0 4 0 669946627 3617177600 671191 33554432000 4194304 4625164 140735279246384 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 883100 671214 344 106 0 878603 0
[pid=18333/tid=18341] ppid=18331 vsize=3532400 CPUtime=710.91 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 228977 0 0 0 71030 61 0 0 25 0 4 0 669947048 3617177600 671224 33554432000 4194304 4625164 140735279246384 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=3532400 CPUtime=714.13 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 608651 0 0 0 71319 94 0 0 25 0 4 0 669947048 3617177600 671236 33554432000 4194304 4625164 140735279246384 18446744073709551615 4316721 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=3532400 CPUtime=747.19 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2131242 0 0 0 74425 294 0 0 25 0 4 0 669947048 3617177600 671249 33554432000 4194304 4625164 140735279246384 18446744073709551615 253640556983 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2918.62
Current children cumulated vsize (KiB) 3532400

[startup+822.301 s]
/proc/loadavg: 9.21 9.24 8.81 10/558 18368
/proc/meminfo: memFree=11982156/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=3540384 CPUtime=3157.53 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4094748 0 0 0 315136 617 0 0 25 0 4 0 669946627 3625353216 705236 33554432000 4194304 4625164 140735279246384 18446744073709551615 4519268 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 885096 705236 344 106 0 880599 0
[pid=18333/tid=18341] ppid=18331 vsize=3540384 CPUtime=770.9 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 243149 0 0 0 77023 67 0 0 25 0 4 0 669947048 3625353216 705236 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288809 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=3540384 CPUtime=774.14 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 626407 0 0 0 77317 97 0 0 25 0 4 0 669947048 3625353216 705236 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=3540384 CPUtime=807.18 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2315450 0 0 0 80401 317 0 0 25 0 4 0 669947048 3625353216 705236 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3157.53
Current children cumulated vsize (KiB) 3540384

[startup+882.301 s]
/proc/loadavg: 9.16 9.21 8.83 10/558 18369
/proc/meminfo: memFree=11570656/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=3762116 CPUtime=3396.45 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4365971 0 0 0 338985 660 0 0 25 0 4 0 669946627 3852406784 750389 33554432000 4194304 4625164 140735279246384 18446744073709551615 4508979 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 940529 750389 344 106 0 936032 0
[pid=18333/tid=18341] ppid=18331 vsize=3762116 CPUtime=830.9 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 284490 0 0 0 83014 76 0 0 25 0 4 0 669947048 3852406784 750389 33554432000 4194304 4625164 140735279246384 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=3762116 CPUtime=834.13 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 661723 0 0 0 83310 103 0 0 25 0 4 0 669947048 3852406784 750389 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=3762116 CPUtime=867.19 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2421033 0 0 0 86387 332 0 0 25 0 4 0 669947048 3852406784 750389 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288765 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3396.45
Current children cumulated vsize (KiB) 3762116

[startup+942.301 s]
/proc/loadavg: 9.05 9.17 8.83 10/558 18371
/proc/meminfo: memFree=11274484/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=3778672 CPUtime=3635.36 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4414106 0 0 0 362867 669 0 0 25 0 4 0 669946627 3869360128 781815 33554432000 4194304 4625164 140735279246384 18446744073709551615 4509143 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 944668 781815 344 106 0 940171 0
[pid=18333/tid=18341] ppid=18331 vsize=3778672 CPUtime=890.91 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 292123 0 0 0 89012 79 0 0 25 0 4 0 669947048 3869360128 781815 33554432000 4194304 4625164 140735279246384 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=3778672 CPUtime=894.14 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 681080 0 0 0 89307 107 0 0 25 0 4 0 669947048 3869360128 781815 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=3778672 CPUtime=927.19 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2430012 0 0 0 92385 334 0 0 25 0 4 0 669947048 3869360128 781815 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3635.36
Current children cumulated vsize (KiB) 3778672

[startup+1002.3 s]
/proc/loadavg: 9.15 9.17 8.85 10/558 18373
/proc/meminfo: memFree=10932944/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=4262816 CPUtime=3874.28 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4687291 0 0 0 386725 703 0 0 25 0 4 0 669946627 4365123584 827034 33554432000 4194304 4625164 140735279246384 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 1065704 827034 463 106 0 1061207 0
[pid=18333/tid=18341] ppid=18331 vsize=4262816 CPUtime=950.9 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 370970 0 0 0 95002 88 0 0 25 0 4 0 669947048 4365123584 827034 33554432000 4194304 4625164 140735279246384 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=4262816 CPUtime=954.14 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 765843 0 0 0 95297 117 0 0 25 0 4 0 669947048 4365123584 827034 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=4262816 CPUtime=987.19 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2514348 0 0 0 98375 344 0 0 25 0 4 0 669947048 4365123584 827034 33554432000 4194304 4625164 140735279246384 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3874.28
Current children cumulated vsize (KiB) 4262816

[startup+1062.3 s]
/proc/loadavg: 9.20 9.18 8.87 10/558 18374
/proc/meminfo: memFree=10719968/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=4332620 CPUtime=4113.19 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4720462 0 0 0 410609 710 0 0 25 0 4 0 669946627 4436602880 851219 33554432000 4194304 4625164 140735279246384 18446744073709551615 4519268 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 1083155 851219 344 106 0 1078658 0
[pid=18333/tid=18341] ppid=18331 vsize=4332620 CPUtime=1010.91 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 375326 0 0 0 101002 89 0 0 25 0 4 0 669947048 4436602880 851219 33554432000 4194304 4625164 140735279246384 18446744073709551615 4330621 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=4332620 CPUtime=1014.15 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 780173 0 0 0 101295 120 0 0 25 0 4 0 669947048 4436602880 851219 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317294 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=4332620 CPUtime=1047.2 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2520291 0 0 0 104374 346 0 0 25 0 4 0 669947048 4436602880 851219 33554432000 4194304 4625164 140735279246384 18446744073709551615 4288699 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4113.19
Current children cumulated vsize (KiB) 4332620

[startup+1122.3 s]
/proc/loadavg: 9.16 9.17 8.89 10/558 18376
/proc/meminfo: memFree=10474388/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=4406204 CPUtime=4352.18 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4785819 0 0 0 434494 724 0 0 25 0 4 0 669946627 4511952896 874071 33554432000 4194304 4625164 140735279246384 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 1101551 874071 344 106 0 1097054 0
[pid=18333/tid=18341] ppid=18331 vsize=4406204 CPUtime=1070.93 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 377827 0 0 0 107003 90 0 0 25 0 4 0 669947048 4511952896 874071 33554432000 4194304 4625164 140735279246384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=4406204 CPUtime=1074.17 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 796870 0 0 0 107293 124 0 0 25 0 4 0 669947048 4511952896 874071 33554432000 4194304 4625164 140735279246384 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=4406204 CPUtime=1107.21 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2556881 0 0 0 110369 352 0 0 25 0 4 0 669947048 4511952896 874071 33554432000 4194304 4625164 140735279246384 18446744073709551615 4334224 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4352.18
Current children cumulated vsize (KiB) 4406204

[startup+1182.3 s]
/proc/loadavg: 9.22 9.19 8.91 10/558 18377
/proc/meminfo: memFree=10305924/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=4476948 CPUtime=4591.02 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 4958418 0 0 0 458349 753 0 0 25 0 4 0 669946627 4584394752 892721 33554432000 4194304 4625164 140735279246384 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 1119237 892721 344 106 0 1114740 0
[pid=18333/tid=18341] ppid=18331 vsize=4476948 CPUtime=1130.9 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 381414 0 0 0 113000 90 0 0 25 0 4 0 669947048 4584394752 892721 33554432000 4194304 4625164 140735279246384 18446744073709551615 4483899 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=4476948 CPUtime=1134.15 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 820343 0 0 0 113282 133 0 0 25 0 4 0 669947048 4584394752 892721 33554432000 4194304 4625164 140735279246384 18446744073709551615 4316731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=4476948 CPUtime=1167.2 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2695089 0 0 0 116349 371 0 0 25 0 4 0 669947048 4584394752 892721 33554432000 4194304 4625164 140735279246384 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4591.02
Current children cumulated vsize (KiB) 4476948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1234.8 s]
/proc/loadavg: 9.18 9.18 8.92 11/558 18379
/proc/meminfo: memFree=10146032/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=4476948 CPUtime=4800.12 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4202496 5111191 0 0 0 479236 776 0 0 25 0 4 0 669946627 4584394752 914884 33554432000 4194304 4625164 140735279246384 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18333/statm: 1119237 914884 344 106 0 1114740 0
[pid=18333/tid=18341] ppid=18331 vsize=4476948 CPUtime=1183.43 cores=1,3,5,7
/proc/18333/task/18341/stat : 18341 (SArTagnan) R 18331 18333 18192 0 -1 4202560 384367 0 0 0 118252 91 0 0 25 0 4 0 669947048 4584394752 914884 33554432000 4194304 4625164 140735279246384 18446744073709551615 4330613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=4476948 CPUtime=1186.67 cores=1,3,5,7
/proc/18333/task/18342/stat : 18342 (SArTagnan) R 18331 18333 18192 0 -1 4202560 844222 0 0 0 118530 137 0 0 25 0 4 0 669947048 4584394752 914884 33554432000 4194304 4625164 140735279246384 18446744073709551615 4317225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=4476948 CPUtime=1219.72 cores=1,3,5,7
/proc/18333/task/18343/stat : 18343 (SArTagnan) R 18331 18333 18192 0 -1 4202560 2814003 0 0 0 121583 389 0 0 25 0 4 0 669947048 4584394752 914884 33554432000 4194304 4625164 140735279246384 18446744073709551615 4550179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 4476948

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

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

[startup+1234.93 s]
/proc/loadavg: 9.18 9.18 8.92 11/558 18379
/proc/meminfo: memFree=10146032/32951124 swapFree=56449236/67111528
[pid=18333] ppid=18331 vsize=0 CPUtime=4800.24 cores=1,3,5,7
/proc/18333/stat : 18333 (SArTagnan) R 18331 18333 18192 0 -1 4203524 5111191 0 0 0 479238 786 0 0 25 0 1 0 669946627 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18333/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1234.96
CPU time (s): 4800.28
CPU user time (s): 4792.38
CPU system time (s): 7.8978
CPU usage (%): 388.701
Max. virtual memory (cumulated for all children) (KiB): 4571356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.38
system time used= 7.8978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5111191
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= 3819
involuntary context switches= 23225

runsolver used 6.00409 second user time and 16.4945 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-17 00:04:22
IDJOB=3386233
IDBENCH=88159
IDSOLVER=1871
FILE ID=node106/3386233-1305583456
RUNJOBID= node106-1305582154-18211
PBS_JOBID= 13350309
Free space on /tmp= 73040 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386233-1305583456/watcher-3386233-1305583456 -o /tmp/evaluation-result-3386233-1305583456/solver-3386233-1305583456 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386233-1305583456.cnf -threads=4

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

MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=1493151852

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16981660 kB
Buffers:        318932 kB
Cached:        7540332 kB
SwapCached:      27532 kB
Active:        6364592 kB
Inactive:      9298776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16981660 kB
SwapTotal:    67111528 kB
SwapFree:     56449236 kB
Dirty:          402044 kB
Writeback:           0 kB
AnonPages:     7785352 kB
Mapped:          25964 kB
Slab:           156260 kB
PageTables:      78192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167975876 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= 73020 MiB
End job on node106 at 2011-05-17 00:24:59