Trace number 3292073

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-24? (TO) 4800.35 1205.15

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
MD5SUM9a43349587a435e7109b46b3aceb156e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1263.53
Satisfiable
(Un)Satisfiability was proved
Number of variables482093
Number of clauses9676386
Sum of the clauses size28195028
Maximum clause length226
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 29152157
Number of clauses of size 3120945
Number of clauses of size 410067
Number of clauses of size 528986
Number of clauses of size over 5364230

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: 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-3292073-1304106035/watcher-3292073-1304106035 -o /tmp/evaluation-result-3292073-1304106035/solver-3292073-1304106035 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3292073-1304106035.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: 7.57 7.92 7.96 5/180 10126
/proc/meminfo: memFree=27578656/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=26112 CPUtime=0 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 1532 0 0 0 0 0 0 0 22 0 1 0 503019476 26738688 1469 33554432000 4194304 4623224 140736660376992 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 6528 1471 290 105 0 2032 0

[startup+0.066915 s]
/proc/loadavg: 7.57 7.92 7.96 5/180 10126
/proc/meminfo: memFree=27578656/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=289664 CPUtime=0.05 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 10804 0 0 0 4 1 0 0 22 0 1 0 503019476 296615936 9898 33554432000 4194304 4623224 140736660376992 18446744073709551615 254261314005 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 72416 9919 297 105 0 67920 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 289664

[startup+0.100895 s]
/proc/loadavg: 7.57 7.92 7.96 5/180 10126
/proc/meminfo: memFree=27578656/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=291796 CPUtime=0.09 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 12540 0 0 0 8 1 0 0 22 0 1 0 503019476 298799104 10361 33554432000 4194304 4623224 140736660376992 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 72949 10361 297 105 0 68453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 291796

[startup+0.300864 s]
/proc/loadavg: 7.57 7.92 7.96 5/180 10126
/proc/meminfo: memFree=27578656/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=308340 CPUtime=0.29 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 21542 0 0 0 26 3 0 0 23 0 1 0 503019476 315740160 13882 33554432000 4194304 4623224 140736660376992 18446744073709551615 254261313904 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 77085 13915 319 105 0 72589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 308340

[startup+0.700792 s]
/proc/loadavg: 7.57 7.92 7.96 5/180 10126
/proc/meminfo: memFree=27578656/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=333016 CPUtime=0.69 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 37202 0 0 0 63 6 0 0 25 0 1 0 503019476 341008384 19742 33554432000 4194304 4623224 140736660376992 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 83254 19742 297 105 0 78758 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 333016

[startup+1.50065 s]
/proc/loadavg: 7.57 7.92 7.96 6/181 10127
/proc/meminfo: memFree=27484168/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=392696 CPUtime=1.49 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 71481 0 0 0 137 12 0 0 25 0 1 0 503019476 402120704 32038 33554432000 4194304 4623224 140736660376992 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 98174 32039 397 105 0 93678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 392696

[startup+3.10036 s]
/proc/loadavg: 7.57 7.92 7.96 6/181 10127
/proc/meminfo: memFree=27413564/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=513700 CPUtime=3.09 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 143259 0 0 0 282 27 0 0 25 0 1 0 503019476 526028800 54350 33554432000 4194304 4623224 140736660376992 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10126/statm: 128425 54350 297 105 0 123929 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 513700

[startup+6.30076 s]
/proc/loadavg: 7.44 7.89 7.95 9/184 10130
/proc/meminfo: memFree=26720344/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1220440 CPUtime=12.28 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 302910 0 0 0 1179 49 0 0 25 0 4 0 503019476 1249730560 213418 33554432000 4194304 4623224 140736660376992 18446744073709551615 4498391 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 305110 213418 1522 105 0 300614 0
[pid=10126/tid=10128] ppid=10124 vsize=1220440 CPUtime=1.99 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 9693 0 0 0 199 0 0 0 25 0 4 0 503019906 1249730560 213418 33554432000 4194304 4623224 140736660376992 18446744073709551615 4476713 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1220440 CPUtime=1.99 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 9319 0 0 0 198 1 0 0 25 0 4 0 503019906 1249730560 213418 33554432000 4194304 4623224 140736660376992 18446744073709551615 4476720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1220440 CPUtime=1.98 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 7593 0 0 0 197 1 0 0 25 0 4 0 503019906 1249730560 213418 33554432000 4194304 4623224 140736660376992 18446744073709551615 4476713 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 1220440

[startup+12.7006 s]
/proc/loadavg: 7.49 7.89 7.95 9/184 10131
/proc/meminfo: memFree=26600084/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1317924 CPUtime=37.84 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 342737 0 0 0 3729 55 0 0 25 0 4 0 503019476 1349554176 236082 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412627 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 329481 236082 1700 105 0 324985 0
[pid=10126/tid=10128] ppid=10124 vsize=1317924 CPUtime=8.39 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 9693 0 0 0 839 0 0 0 25 0 4 0 503019906 1349554176 236082 33554432000 4194304 4623224 140736660376992 18446744073709551615 4476708 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1317924 CPUtime=8.39 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 9319 0 0 0 838 1 0 0 25 0 4 0 503019906 1349554176 236082 33554432000 4194304 4623224 140736660376992 18446744073709551615 4476704 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1317924 CPUtime=8.35 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 7670 0 0 0 834 1 0 0 25 0 4 0 503019906 1349554176 236082 33554432000 4194304 4623224 140736660376992 18446744073709551615 4468047 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37.84
Current children cumulated vsize (KiB) 1317924

[startup+25.5003 s]
/proc/loadavg: 7.60 7.90 7.95 9/184 10131
/proc/meminfo: memFree=26481216/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1383460 CPUtime=88.97 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 383053 0 0 0 8833 64 0 0 25 0 4 0 503019476 1416663040 241960 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 345865 241960 1698 105 0 341369 0
[pid=10126/tid=10128] ppid=10124 vsize=1383460 CPUtime=21.19 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 10688 0 0 0 2118 1 0 0 25 0 4 0 503019906 1416663040 241960 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1383460 CPUtime=21.19 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 10073 0 0 0 2118 1 0 0 25 0 4 0 503019906 1416663040 241960 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1383460 CPUtime=21.07 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 44433 0 0 0 2098 9 0 0 25 0 4 0 503019906 1416663040 241960 33554432000 4194304 4623224 140736660376992 18446744073709551615 4363746 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 88.97
Current children cumulated vsize (KiB) 1383460

[startup+51.1008 s]
/proc/loadavg: 7.73 7.90 7.95 9/184 10132
/proc/meminfo: memFree=26215800/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1431320 CPUtime=191.18 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 470648 0 0 0 19036 82 0 0 25 0 4 0 503019476 1465671680 248650 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412555 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 357830 248650 1698 105 0 353334 0
[pid=10126/tid=10128] ppid=10124 vsize=1431320 CPUtime=46.8 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 10758 0 0 0 4679 1 0 0 25 0 4 0 503019906 1465671680 248650 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1431320 CPUtime=46.73 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 10293 0 0 0 4672 1 0 0 25 0 4 0 503019906 1465671680 248650 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1431320 CPUtime=46.53 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 103477 0 0 0 4630 23 0 0 25 0 4 0 503019906 1465671680 248650 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 191.18
Current children cumulated vsize (KiB) 1431320

[startup+102.307 s]
/proc/loadavg: 7.98 7.95 7.96 9/184 10133
/proc/meminfo: memFree=25593100/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1610420 CPUtime=395.71 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 679267 0 0 0 39451 120 0 0 25 0 4 0 503019476 1649070080 280562 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 402605 280562 2802 105 0 398109 0
[pid=10126/tid=10128] ppid=10124 vsize=1610420 CPUtime=98 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 11643 0 0 0 9799 1 0 0 25 0 4 0 503019906 1649070080 280562 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1610420 CPUtime=97.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 17733 0 0 0 9792 2 0 0 25 0 4 0 503019906 1649070080 280562 33554432000 4194304 4623224 140736660376992 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1610420 CPUtime=97.45 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 289839 0 0 0 9687 58 0 0 25 0 4 0 503019906 1649070080 280562 33554432000 4194304 4623224 140736660376992 18446744073709551615 4548136 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 395.71
Current children cumulated vsize (KiB) 1610420

[startup+162.301 s]
/proc/loadavg: 8.08 7.98 7.97 9/184 10135
/proc/meminfo: memFree=25064172/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1610420 CPUtime=635.37 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 913421 0 0 0 63375 162 0 0 25 0 4 0 503019476 1649070080 293574 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 402605 293574 2364 105 0 398109 0
[pid=10126/tid=10128] ppid=10124 vsize=1610420 CPUtime=158 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 12756 0 0 0 15799 1 0 0 25 0 4 0 503019906 1649070080 293574 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1610420 CPUtime=157.93 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 19235 0 0 0 15791 2 0 0 25 0 4 0 503019906 1649070080 293574 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1610420 CPUtime=157.13 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 512154 0 0 0 15615 98 0 0 25 0 4 0 503019906 1649070080 293574 33554432000 4194304 4623224 140736660376992 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 635.37
Current children cumulated vsize (KiB) 1610420

[startup+222.3 s]
/proc/loadavg: 8.11 8.01 7.98 9/184 10136
/proc/meminfo: memFree=24698308/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1702284 CPUtime=875.04 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 1226792 0 0 0 87287 217 0 0 25 0 4 0 503019476 1743138816 310728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 425571 310728 2357 105 0 421075 0
[pid=10126/tid=10128] ppid=10124 vsize=1702284 CPUtime=218 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 13159 0 0 0 21799 1 0 0 25 0 4 0 503019906 1743138816 310728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289942 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1702284 CPUtime=217.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 39613 0 0 0 21788 6 0 0 25 0 4 0 503019906 1743138816 310728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1702284 CPUtime=216.8 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 746573 0 0 0 21540 140 0 0 25 0 4 0 503019906 1743138816 310728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 875.04
Current children cumulated vsize (KiB) 1702284

[startup+282.301 s]
/proc/loadavg: 8.12 8.04 7.99 9/184 10138
/proc/meminfo: memFree=24348924/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=1758012 CPUtime=1114.72 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 1456987 0 0 0 111212 260 0 0 25 0 4 0 503019476 1800204288 332214 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412627 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 439503 332214 1585 105 0 435007 0
[pid=10126/tid=10128] ppid=10124 vsize=1758012 CPUtime=278 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 24682 0 0 0 27797 3 0 0 25 0 4 0 503019906 1800204288 332214 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=1758012 CPUtime=277.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 70760 0 0 0 27783 11 0 0 25 0 4 0 503019906 1800204288 332214 33554432000 4194304 4623224 140736660376992 18446744073709551615 4317214 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=1758012 CPUtime=276.48 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 930256 0 0 0 27473 175 0 0 25 0 4 0 503019906 1800204288 332214 33554432000 4194304 4623224 140736660376992 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1114.72

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

[pid=10126/tid=10130] ppid=10124 vsize=4235660 CPUtime=694.19 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 1417713 0 0 0 69165 254 0 0 25 0 4 0 503019906 4337315840 885089 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2792.44
Current children cumulated vsize (KiB) 4235660

[startup+762.307 s]
/proc/loadavg: 8.22 8.13 8.03 9/184 10151
/proc/meminfo: memFree=18318360/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=4471196 CPUtime=3032.15 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 3387283 0 0 0 302618 597 0 0 25 0 4 0 503019476 4578504704 933627 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1117799 933627 335 105 0 1113303 0
[pid=10126/tid=10128] ppid=10124 vsize=4471196 CPUtime=758 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 146874 0 0 0 75766 34 0 0 25 0 4 0 503019906 4578504704 933627 33554432000 4194304 4623224 140736660376992 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=4471196 CPUtime=757.95 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 339719 0 0 0 75727 68 0 0 25 0 4 0 503019906 4578504704 933627 33554432000 4194304 4623224 140736660376992 18446744073709551615 4317915 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=4471196 CPUtime=753.86 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 1454560 0 0 0 75128 258 0 0 25 0 4 0 503019906 4578504704 933627 33554432000 4194304 4623224 140736660376992 18446744073709551615 4562877 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3032.15
Current children cumulated vsize (KiB) 4471196

[startup+822.301 s]
/proc/loadavg: 8.19 8.14 8.04 9/184 10152
/proc/meminfo: memFree=17891236/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=4678412 CPUtime=3271.79 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 3550058 0 0 0 326551 628 0 0 25 0 4 0 503019476 4790693888 1019204 33554432000 4194304 4623224 140736660376992 18446744073709551615 4278653 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1169603 1019204 335 105 0 1165107 0
[pid=10126/tid=10128] ppid=10124 vsize=4678412 CPUtime=818 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 155634 0 0 0 81765 35 0 0 25 0 4 0 503019906 4790693888 1019204 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=4678412 CPUtime=817.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 356471 0 0 0 81721 73 0 0 25 0 4 0 503019906 4790693888 1019204 33554432000 4194304 4623224 140736660376992 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=4678412 CPUtime=813.54 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 1458091 0 0 0 81095 259 0 0 25 0 4 0 503019906 4790693888 1019204 33554432000 4194304 4623224 140736660376992 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3271.79
Current children cumulated vsize (KiB) 4678412

[startup+882.301 s]
/proc/loadavg: 8.12 8.12 8.04 9/184 10154
/proc/meminfo: memFree=16651420/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=5779304 CPUtime=3511.46 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 4338271 0 0 0 350390 756 0 0 25 0 4 0 503019476 5918007296 1177324 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1444826 1177324 335 105 0 1440330 0
[pid=10126/tid=10128] ppid=10124 vsize=5779304 CPUtime=878 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 156654 0 0 0 87765 35 0 0 25 0 4 0 503019906 5918007296 1177324 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357776 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=5779304 CPUtime=877.93 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 369713 0 0 0 87718 75 0 0 25 0 4 0 503019906 5918007296 1177324 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=5779304 CPUtime=873.21 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 1750784 0 0 0 87014 307 0 0 25 0 4 0 503019906 5918007296 1177324 33554432000 4194304 4623224 140736660376992 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3511.46
Current children cumulated vsize (KiB) 5779304

[startup+942.301 s]
/proc/loadavg: 8.09 8.11 8.04 9/184 10155
/proc/meminfo: memFree=15554808/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=5939476 CPUtime=3751.15 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 4780964 0 0 0 374280 835 0 0 25 0 4 0 503019476 6082023424 1213009 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1484869 1213009 376 105 0 1480373 0
[pid=10126/tid=10128] ppid=10124 vsize=5939476 CPUtime=938.01 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 157160 0 0 0 93765 36 0 0 25 0 4 0 503019906 6082023424 1213009 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=5939476 CPUtime=937.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 434014 0 0 0 93707 87 0 0 25 0 4 0 503019906 6082023424 1213009 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=5939476 CPUtime=932.89 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 2114956 0 0 0 92920 369 0 0 25 0 4 0 503019906 6082023424 1213009 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3751.15
Current children cumulated vsize (KiB) 5939476

[startup+1002.3 s]
/proc/loadavg: 8.03 8.09 8.03 9/184 10157
/proc/meminfo: memFree=15373328/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=5873940 CPUtime=3990.83 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 5135333 0 0 0 398187 896 0 0 25 0 4 0 503019476 6014914560 1217728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1468485 1217728 335 105 0 1463989 0
[pid=10126/tid=10128] ppid=10124 vsize=5873940 CPUtime=998.01 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 157243 0 0 0 99765 36 0 0 25 0 4 0 503019906 6014914560 1217728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=5873940 CPUtime=997.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 435117 0 0 0 99707 87 0 0 25 0 4 0 503019906 6014914560 1217728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=5873940 CPUtime=992.55 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 2464680 0 0 0 98827 428 0 0 25 0 4 0 503019906 6014914560 1217728 33554432000 4194304 4623224 140736660376992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3990.83
Current children cumulated vsize (KiB) 5873940

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.04 10/184 10190
/proc/meminfo: memFree=24324712/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=6005012 CPUtime=4230.5 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 5516469 0 0 0 422080 970 0 0 25 0 4 0 503019476 6149132288 1268495 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1501253 1268495 335 105 0 1496757 0
[pid=10126/tid=10128] ppid=10124 vsize=6005012 CPUtime=1058.01 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 157416 0 0 0 105765 36 0 0 25 0 4 0 503019906 6149132288 1268495 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=6005012 CPUtime=1057.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 435331 0 0 0 105707 87 0 0 25 0 4 0 503019906 6149132288 1268495 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=6005012 CPUtime=1052.23 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 2787066 0 0 0 104738 485 0 0 25 0 4 0 503019906 6149132288 1268495 33554432000 4194304 4623224 140736660376992 18446744073709551615 4545353 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4230.5
Current children cumulated vsize (KiB) 6005012

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.04 10/184 10191
/proc/meminfo: memFree=23537716/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=7157556 CPUtime=4470.11 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 6545085 0 0 0 445871 1140 0 0 25 0 4 0 503019476 7329337344 1439459 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412493 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1789389 1439459 374 105 0 1784893 0
[pid=10126/tid=10128] ppid=10124 vsize=7157556 CPUtime=1118.01 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 158001 0 0 0 111765 36 0 0 25 0 4 0 503019906 7329337344 1439459 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=7157556 CPUtime=1117.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 435639 0 0 0 111707 87 0 0 25 0 4 0 503019906 7329337344 1439459 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=7157556 CPUtime=1111.85 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 3223392 0 0 0 110624 561 0 0 25 0 4 0 503019906 7329337344 1439459 33554432000 4194304 4623224 140736660376992 18446744073709551615 4545353 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4470.11
Current children cumulated vsize (KiB) 7157556

[startup+1182.3 s]
/proc/loadavg: 8.22 8.12 8.05 10/184 10193
/proc/meminfo: memFree=23306260/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=7223092 CPUtime=4709.78 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 6915603 0 0 0 469770 1208 0 0 25 0 4 0 503019476 7396446208 1462774 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1805773 1462774 335 105 0 1801277 0
[pid=10126/tid=10128] ppid=10124 vsize=7223092 CPUtime=1178.01 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 158141 0 0 0 117765 36 0 0 25 0 4 0 503019906 7396446208 1462774 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=7223092 CPUtime=1177.94 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 435769 0 0 0 117707 87 0 0 25 0 4 0 503019906 7396446208 1462774 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=7223092 CPUtime=1171.51 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 3564936 0 0 0 116533 618 0 0 25 0 4 0 503019906 7396446208 1462774 33554432000 4194304 4623224 140736660376992 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4709.78
Current children cumulated vsize (KiB) 7223092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.9 s]
/proc/loadavg: 8.15 8.11 8.05 9/184 10193
/proc/meminfo: memFree=23299024/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=7223092 CPUtime=4800.08 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) R 10124 10126 9954 0 -1 4202496 7023153 0 0 0 478782 1226 0 0 25 0 4 0 503019476 7396446208 1469100 33554432000 4194304 4623224 140736660376992 18446744073709551615 4412527 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 1805773 1469100 335 105 0 1801277 0
[pid=10126/tid=10128] ppid=10124 vsize=7223092 CPUtime=1200.62 cores=1,3,5,7
/proc/10126/task/10128/stat : 10128 (SArTagnan) R 10124 10126 9954 0 -1 4202560 158151 0 0 0 120026 36 0 0 25 0 4 0 503019906 7396446208 1469100 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10126/tid=10129] ppid=10124 vsize=7223092 CPUtime=1200.55 cores=1,3,5,7
/proc/10126/task/10129/stat : 10129 (SArTagnan) R 10124 10126 9954 0 -1 4202560 435769 0 0 0 119968 87 0 0 25 0 4 0 503019906 7396446208 1469100 33554432000 4194304 4623224 140736660376992 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=7223092 CPUtime=1193.99 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4202560 3666593 0 0 0 118764 635 0 0 25 0 4 0 503019906 7396446208 1469100 33554432000 4194304 4623224 140736660376992 18446744073709551615 4545527 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 7223092

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

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

[startup+1205.01 s]
/proc/loadavg: 8.15 8.11 8.05 9/184 10193
/proc/meminfo: memFree=23299024/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=0 CPUtime=4800.2 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) Z 10124 10126 9954 0 -1 4203548 7023153 0 0 0 478784 1236 0 0 25 0 2 0 503019476 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 0 0 0 0 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=0 CPUtime=1194.1 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4203588 3666593 0 0 0 118765 645 0 0 25 0 2 0 503019906 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 0

[startup+1205.1 s]
/proc/loadavg: 8.15 8.11 8.05 9/184 10193
/proc/meminfo: memFree=23299024/32951124 swapFree=67111348/67111528
[pid=10126] ppid=10124 vsize=0 CPUtime=4800.29 cores=1,3,5,7
/proc/10126/stat : 10126 (SArTagnan) Z 10124 10126 9954 0 -1 4203548 7023153 0 0 0 478784 1245 0 0 25 0 2 0 503019476 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10126/statm: 0 0 0 0 0 0 0
[pid=10126/tid=10130] ppid=10124 vsize=0 CPUtime=1194.19 cores=1,3,5,7
/proc/10126/task/10130/stat : 10130 (SArTagnan) R 10124 10126 9954 0 -1 4203588 3666593 0 0 0 118765 654 0 0 25 0 2 0 503019906 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.15
CPU time (s): 4800.35
CPU user time (s): 4787.84
CPU system time (s): 12.5101
CPU usage (%): 398.318
Max. virtual memory (cumulated for all children) (KiB): 8665364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.84
system time used= 12.5101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7023153
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= 5193
involuntary context switches= 30131

runsolver used 1.76473 second user time and 4.81827 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 21:40:42
IDJOB=3292073
IDBENCH=85008
IDSOLVER=1656
FILE ID=node140/3292073-1304106035
RUNJOBID= node140-1304104680-9973
PBS_JOBID= 13170652
Free space on /tmp= 72380 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292073-1304106035/watcher-3292073-1304106035 -o /tmp/evaluation-result-3292073-1304106035/solver-3292073-1304106035 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3292073-1304106035.cnf -threads=4

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

MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=1846714302

node140.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.833
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.833
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.14
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.833
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.833
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:      27578688 kB
Buffers:       1008844 kB
Cached:        1976256 kB
SwapCached:        180 kB
Active:        2382076 kB
Inactive:      2493104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27578688 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:          213856 kB
Writeback:           0 kB
AnonPages:     1889872 kB
Mapped:          15452 kB
Slab:           429964 kB
PageTables:       8360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2409104 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= 72456 MiB
End job on node140 at 2011-04-29 22:00:48