Trace number 1781125

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
satake 2009-03-22 (4 threads)? (TO) 2997.74 1000.04

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
MD5SUM18ad1dee1e9d863458e75a20545ae68a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1430
Number of clauses79453
Sum of the clauses size236162
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22358
Number of clauses of size 377072
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781125-1243652668/watcher-1781125-1243652668 -o /tmp/evaluation-result-1781125-1243652668/solver-1781125-1243652668 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781125-1243652668.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.80 2.95 2.98 3/99 2464
/proc/meminfo: memFree=3079688/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=968 CPUtime=0
/proc/2463/stat : 2463 (satake) R 2461 2463 30957 0 -1 4202496 108 0 0 0 0 0 0 0 25 0 2 0 946843571 991232 64 4294967295 134512640 135180984 3216023136 3216022480 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 242 64 54 164 0 77 0
[pid=2463/tid=2464] ppid=2461 vsize=968 CPUtime=0
/proc/2463/task/2464/stat : 2464 (satake) R 2461 2463 30957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 946843571 991232 64 4294967295 134512640 135180984 3216023136 3086725956 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.096923 s]
/proc/loadavg: 2.80 2.95 2.98 3/99 2464
/proc/meminfo: memFree=3079688/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=14516 CPUtime=0.19
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 3407 0 0 0 19 0 0 0 25 0 5 0 946843571 14864384 2753 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 3629 2753 68 164 0 3464 0
[pid=2463/tid=2464] ppid=2461 vsize=14516 CPUtime=0
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 34 0 0 0 0 0 0 0 25 0 5 0 946843571 14864384 2753 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14516

[startup+0.113329 s]
/proc/loadavg: 2.80 2.95 2.98 3/99 2464
/proc/meminfo: memFree=3079688/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=13424 CPUtime=0.22
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 3513 0 0 0 22 0 0 0 25 0 5 0 946843571 13746176 2554 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 3356 2554 68 164 0 3191 0
[pid=2463/tid=2464] ppid=2461 vsize=13424 CPUtime=0
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 36 0 0 0 0 0 0 0 25 0 5 0 946843571 13746176 2554 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13424

[startup+0.313309 s]
/proc/loadavg: 2.80 2.95 2.98 3/99 2464
/proc/meminfo: memFree=3079688/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=13956 CPUtime=0.88
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 3829 0 0 0 77 11 0 0 25 0 5 0 946843571 14290944 2870 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 3489 2870 68 164 0 3324 0
[pid=2463/tid=2464] ppid=2461 vsize=13956 CPUtime=0.06
/proc/2463/task/2464/stat : 2464 (satake) R 2461 2463 30957 0 -1 4202560 58 0 0 0 0 6 0 0 22 0 5 0 946843571 14290944 2870 4294967295 134512640 135180984 3216023136 3086725148 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 13956

[startup+0.713277 s]
/proc/loadavg: 2.80 2.95 2.98 3/99 2464
/proc/meminfo: memFree=3079688/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=15640 CPUtime=2.15
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 4179 0 0 0 191 24 0 0 25 0 5 0 946843571 16015360 3220 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 3910 3220 68 164 0 3745 0
[pid=2463/tid=2464] ppid=2461 vsize=15640 CPUtime=0.14
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 85 0 0 0 1 13 0 0 17 0 5 0 946843571 16015360 3220 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 15640

[startup+1.51321 s]
/proc/loadavg: 2.80 2.95 2.98 4/103 2468
/proc/meminfo: memFree=3067552/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=18148 CPUtime=4.7
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 4806 0 0 0 424 46 0 0 25 0 5 0 946843571 18583552 3847 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 4537 3847 68 164 0 4372 0
[pid=2463/tid=2464] ppid=2461 vsize=18148 CPUtime=0.3
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 125 0 0 0 6 24 0 0 16 0 5 0 946843571 18583552 3847 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=18148 CPUtime=1.46
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 1408 0 0 0 136 10 0 0 25 0 5 0 946843571 18583552 3847 4294967295 134512640 135180984 3216023136 3086659156 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=18148 CPUtime=1.47
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 1536 0 0 0 141 6 0 0 25 0 5 0 946843571 18583552 3847 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=18148 CPUtime=1.47
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 1626 0 0 0 141 6 0 0 25 0 5 0 946843571 18583552 3847 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 18148

[startup+3.11309 s]
/proc/loadavg: 2.80 2.95 2.98 4/103 2468
/proc/meminfo: memFree=3064208/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=21156 CPUtime=9.65
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 5745 0 0 0 891 74 0 0 25 0 5 0 946843571 21663744 4786 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 5289 4786 68 164 0 5124 0
[pid=2463/tid=2464] ppid=2461 vsize=21156 CPUtime=0.46
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 181 0 0 0 9 37 0 0 15 0 5 0 946843571 21663744 4786 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=21156 CPUtime=3.06
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 1677 0 0 0 288 18 0 0 25 0 5 0 946843571 21663744 4786 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=21156 CPUtime=3.06
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 1847 0 0 0 295 11 0 0 25 0 5 0 946843571 21663744 4786 4294967295 134512640 135180984 3216023136 3086593736 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=21156 CPUtime=3.07
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 1929 0 0 0 299 8 0 0 25 0 5 0 946843571 21663744 4786 4294967295 134512640 135180984 3216023136 3086528432 134532533 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 21156

[startup+6.31282 s]
/proc/loadavg: 2.81 2.95 2.98 4/103 2659
/proc/meminfo: memFree=3056680/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=26380 CPUtime=19.14
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 7222 0 0 0 1818 96 0 0 25 0 5 0 946843571 27013120 6263 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 6595 6263 68 164 0 6430 0
[pid=2463/tid=2464] ppid=2461 vsize=26380 CPUtime=0.6
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 249 0 0 0 12 48 0 0 16 0 5 0 946843571 27013120 6263 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=26380 CPUtime=6.22
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 2109 0 0 0 601 21 0 0 25 0 5 0 946843571 27013120 6263 4294967295 134512640 135180984 3216023136 3086659456 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=26380 CPUtime=6.11
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 2325 0 0 0 597 14 0 0 25 0 5 0 946843571 27013120 6263 4294967295 134512640 135180984 3216023136 3086593736 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=26380 CPUtime=6.21
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 2428 0 0 0 608 13 0 0 25 0 5 0 946843571 27013120 6263 4294967295 134512640 135180984 3216023136 3086528364 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (KiB) 26380

[startup+12.7123 s]
/proc/loadavg: 2.83 2.95 2.98 4/103 2660
/proc/meminfo: memFree=3047332/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=36632 CPUtime=38.32
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 9410 0 0 0 3711 121 0 0 25 0 5 0 946843571 37511168 8451 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 9158 8451 68 164 0 8993 0
[pid=2463/tid=2464] ppid=2461 vsize=36632 CPUtime=0.77
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 318 0 0 0 17 60 0 0 16 0 5 0 946843571 37511168 8451 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=36632 CPUtime=12.61
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 2691 0 0 0 1233 28 0 0 25 0 5 0 946843571 37511168 8451 4294967295 134512640 135180984 3216023136 3086659440 134528557 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=36632 CPUtime=12.34
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 3080 0 0 0 1219 15 0 0 25 0 5 0 946843571 37511168 8451 4294967295 134512640 135180984 3216023136 3086593620 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=36632 CPUtime=12.61
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 3210 0 0 0 1243 18 0 0 25 0 5 0 946843571 37511168 8451 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.32
Current children cumulated vsize (KiB) 36632

[startup+25.5113 s]
/proc/loadavg: 2.87 2.95 2.98 4/103 2662
/proc/meminfo: memFree=3034572/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=49748 CPUtime=76.7
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 12506 0 0 0 7525 145 0 0 25 0 5 0 946843571 50941952 11547 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 12437 11547 68 164 0 12272 0
[pid=2463/tid=2464] ppid=2461 vsize=49748 CPUtime=0.88
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 368 0 0 0 22 66 0 0 16 0 5 0 946843571 50941952 11547 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=49748 CPUtime=25.39
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 3419 0 0 0 2507 32 0 0 25 0 5 0 946843571 50941952 11547 4294967295 134512640 135180984 3216023136 3086659440 134528462 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=49748 CPUtime=25.03
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 4075 0 0 0 2483 20 0 0 25 0 5 0 946843571 50941952 11547 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=49748 CPUtime=25.41
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 4533 0 0 0 2514 27 0 0 25 0 5 0 946843571 50941952 11547 4294967295 134512640 135180984 3216023136 3086528368 134528536 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 76.7
Current children cumulated vsize (KiB) 49748

[startup+51.1092 s]
/proc/loadavg: 2.91 2.95 2.98 4/103 2663
/proc/meminfo: memFree=3017444/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=66892 CPUtime=153.43
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 16816 0 0 0 15164 179 0 0 25 0 5 0 946843571 68497408 15857 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 16723 15857 68 164 0 16558 0
[pid=2463/tid=2464] ppid=2461 vsize=66892 CPUtime=1.04
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 425 0 0 0 26 78 0 0 15 0 5 0 946843571 68497408 15857 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=66892 CPUtime=50.93
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 4671 0 0 0 5053 40 0 0 25 0 5 0 946843571 68497408 15857 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=66892 CPUtime=50.47
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 5521 0 0 0 5021 26 0 0 25 0 5 0 946843571 68497408 15857 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=66892 CPUtime=51
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 6088 0 0 0 5065 35 0 0 25 0 5 0 946843571 68497408 15857 4294967295 134512640 135180984 3216023136 3086528364 134519924 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 153.43
Current children cumulated vsize (KiB) 66892

[startup+102.315 s]
/proc/loadavg: 2.96 2.96 2.98 4/103 2853
/proc/meminfo: memFree=2997784/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=87252 CPUtime=306.88
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 21583 0 0 0 30481 207 0 0 25 0 5 0 946843571 89346048 20624 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 21813 20624 68 164 0 21648 0
[pid=2463/tid=2464] ppid=2461 vsize=87252 CPUtime=1.21
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 482 0 0 0 30 91 0 0 15 0 5 0 946843571 89346048 20624 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=87252 CPUtime=102.05
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 6317 0 0 0 10161 44 0 0 25 0 5 0 946843571 89346048 20624 4294967295 134512640 135180984 3216023136 3086659436 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=87252 CPUtime=101.48
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 7143 0 0 0 10116 32 0 0 25 0 5 0 946843571 89346048 20624 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=87252 CPUtime=102.15
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 7530 0 0 0 10175 40 0 0 25 0 5 0 946843571 89346048 20624 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 306.88
Current children cumulated vsize (KiB) 87252

[startup+162.31 s]
/proc/loadavg: 2.98 2.97 2.98 4/103 3044
/proc/meminfo: memFree=2981144/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=103768 CPUtime=486.68
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 25611 0 0 0 48424 244 0 0 25 0 5 0 946843571 106258432 24652 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 25942 24652 68 164 0 25777 0
[pid=2463/tid=2464] ppid=2461 vsize=103768 CPUtime=1.41
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 548 0 0 0 38 103 0 0 16 0 5 0 946843571 106258432 24652 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=103768 CPUtime=161.92
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 7702 0 0 0 16137 55 0 0 25 0 5 0 946843571 106258432 24652 4294967295 134512640 135180984 3216023136 3086659440 134528441 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=103768 CPUtime=161.26
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 8415 0 0 0 16089 37 0 0 25 0 5 0 946843571 106258432 24652 4294967295 134512640 135180984 3216023136 3086593904 134528652 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=103768 CPUtime=162.1
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 8835 0 0 0 16161 49 0 0 25 0 5 0 946843571 106258432 24652 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 486.68

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

[pid=2463/tid=2466] ppid=2461 vsize=129548 CPUtime=521.2
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 9628 0 0 0 52013 107 0 0 25 0 5 0 946843571 132657152 30417 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=129548 CPUtime=520.04
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 9852 0 0 0 51950 54 0 0 25 0 5 0 946843571 132657152 30417 4294967295 134512640 135180984 3216023136 3086594016 134531534 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=129548 CPUtime=521.93
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 10788 0 0 0 52106 87 0 0 25 0 5 0 946843571 132657152 30417 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1565.75
Current children cumulated vsize (KiB) 129548

[startup+582.306 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 4393
/proc/meminfo: memFree=2953144/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=135064 CPUtime=1745.56
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 32686 0 0 0 174085 471 0 0 25 0 5 0 946843571 138305536 31719 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 33766 31719 68 164 0 33601 0
[pid=2463/tid=2464] ppid=2461 vsize=135064 CPUtime=2.78
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1067 0 0 0 76 202 0 0 15 0 5 0 946843571 138305536 31719 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=135064 CPUtime=581.12
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 9862 0 0 0 57997 115 0 0 25 0 5 0 946843571 138305536 31719 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=135064 CPUtime=579.79
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 10206 0 0 0 57920 59 0 0 25 0 5 0 946843571 138305536 31719 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=135064 CPUtime=581.88
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 11440 0 0 0 58093 95 0 0 25 0 5 0 946843571 138305536 31719 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1745.56
Current children cumulated vsize (KiB) 135064

[startup+642.311 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 4581
/proc/meminfo: memFree=2950788/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=137048 CPUtime=1925.4
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 33143 0 0 0 192050 490 0 0 25 0 5 0 946843571 140337152 32176 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 34262 32176 68 164 0 34097 0
[pid=2463/tid=2464] ppid=2461 vsize=137048 CPUtime=2.84
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1081 0 0 0 76 208 0 0 15 0 5 0 946843571 140337152 32176 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=137048 CPUtime=641.01
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10098 0 0 0 63978 123 0 0 25 0 5 0 946843571 140337152 32176 4294967295 134512640 135180984 3216023136 3086659436 134520036 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=137048 CPUtime=639.69
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 10309 0 0 0 63909 60 0 0 25 0 5 0 946843571 140337152 32176 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=137048 CPUtime=641.86
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 11544 0 0 0 64087 99 0 0 25 0 5 0 946843571 140337152 32176 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1925.4
Current children cumulated vsize (KiB) 137048

[startup+702.316 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 4770
/proc/meminfo: memFree=2948680/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=138188 CPUtime=2105.27
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 33474 0 0 0 210029 498 0 0 25 0 5 0 946843571 141504512 32499 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 34547 32499 68 164 0 34382 0
[pid=2463/tid=2464] ppid=2461 vsize=138188 CPUtime=2.87
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1095 0 0 0 76 211 0 0 15 0 5 0 946843571 141504512 32499 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=138188 CPUtime=700.95
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10141 0 0 0 69968 127 0 0 25 0 5 0 946843571 141504512 32499 4294967295 134512640 135180984 3216023136 3086659440 134528511 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=138188 CPUtime=699.64
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 10472 0 0 0 69904 60 0 0 25 0 5 0 946843571 141504512 32499 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=138188 CPUtime=701.82
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 11655 0 0 0 70082 100 0 0 25 0 5 0 946843571 141504512 32499 4294967295 134512640 135180984 3216023136 3086528368 134528633 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2105.27
Current children cumulated vsize (KiB) 138188

[startup+762.311 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 4960
/proc/meminfo: memFree=2947540/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=141368 CPUtime=2285.11
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 33872 0 0 0 227967 544 0 0 25 0 5 0 946843571 144760832 32897 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 35342 32897 68 164 0 35177 0
[pid=2463/tid=2464] ppid=2461 vsize=141368 CPUtime=3.18
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1176 0 0 0 84 234 0 0 15 0 5 0 946843571 144760832 32897 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=141368 CPUtime=760.88
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10192 0 0 0 75955 133 0 0 25 0 5 0 946843571 144760832 32897 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=141368 CPUtime=759.3
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 10557 0 0 0 75866 64 0 0 25 0 5 0 946843571 144760832 32897 4294967295 134512640 135180984 3216023136 3086593904 134528406 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=141368 CPUtime=761.75
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 11836 0 0 0 76062 113 0 0 25 0 5 0 946843571 144760832 32897 4294967295 134512640 135180984 3216023136 3086528368 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2285.11
Current children cumulated vsize (KiB) 141368

[startup+822.306 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 5147
/proc/meminfo: memFree=2945208/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=144044 CPUtime=2464.99
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 34411 0 0 0 245940 559 0 0 25 0 5 0 946843571 147501056 33436 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 36011 33436 68 164 0 35846 0
[pid=2463/tid=2464] ppid=2461 vsize=144044 CPUtime=3.23
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1215 0 0 0 86 237 0 0 15 0 5 0 946843571 147501056 33436 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=144044 CPUtime=820.81
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10222 0 0 0 81941 140 0 0 25 0 5 0 946843571 147501056 33436 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=144044 CPUtime=819.23
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 10615 0 0 0 81858 65 0 0 25 0 5 0 946843571 147501056 33436 4294967295 134512640 135180984 3216023136 3086593900 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=144044 CPUtime=821.73
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 12248 0 0 0 82056 117 0 0 25 0 5 0 946843571 147501056 33436 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2464.99
Current children cumulated vsize (KiB) 144044

[startup+882.312 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 5335
/proc/meminfo: memFree=2939256/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=151356 CPUtime=2644.88
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 36194 0 0 0 263916 572 0 0 25 0 5 0 946843571 154988544 35219 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 37839 35219 68 164 0 37674 0
[pid=2463/tid=2464] ppid=2461 vsize=151356 CPUtime=3.28
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1236 0 0 0 87 241 0 0 15 0 5 0 946843571 154988544 35219 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=151356 CPUtime=880.74
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10726 0 0 0 87928 146 0 0 25 0 5 0 946843571 154988544 35219 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=151356 CPUtime=879.16
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 11240 0 0 0 87849 67 0 0 25 0 5 0 946843571 154988544 35219 4294967295 134512640 135180984 3216023136 3086593904 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=151356 CPUtime=881.71
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 12881 0 0 0 88053 118 0 0 25 0 5 0 946843571 154988544 35219 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2644.88
Current children cumulated vsize (KiB) 151356

[startup+942.307 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 5527
/proc/meminfo: memFree=2935040/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=155600 CPUtime=2824.77
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 37238 0 0 0 281888 589 0 0 25 0 5 0 946843571 159334400 36263 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 38900 36263 68 164 0 38735 0
[pid=2463/tid=2464] ppid=2461 vsize=155600 CPUtime=3.36
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1266 0 0 0 89 247 0 0 15 0 5 0 946843571 159334400 36263 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=155600 CPUtime=940.72
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10772 0 0 0 93921 151 0 0 25 0 5 0 946843571 159334400 36263 4294967295 134512640 135180984 3216023136 3086659440 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=155600 CPUtime=939.03
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 11855 0 0 0 93835 68 0 0 25 0 5 0 946843571 159334400 36263 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=155600 CPUtime=941.67
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 13234 0 0 0 94044 123 0 0 25 0 5 0 946843571 159334400 36263 4294967295 134512640 135180984 3216023136 3086528360 134520667 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2824.77
Current children cumulated vsize (KiB) 155600



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 2.99 2.97 2.98 4/103 5716
/proc/meminfo: memFree=2932908/3368532 swapFree=1959840/1959888
[pid=2463] ppid=2461 vsize=157280 CPUtime=2997.7
/proc/2463/stat : 2463 (satake) S 2461 2463 30957 0 -1 4202496 37599 0 0 0 299161 609 0 0 25 0 5 0 946843571 161054720 36624 4294967295 134512640 135180984 3216023136 3216022572 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2463/statm: 39320 36624 68 164 0 39155 0
[pid=2463/tid=2464] ppid=2461 vsize=157280 CPUtime=3.43
/proc/2463/task/2464/stat : 2464 (satake) S 2461 2463 30957 0 -1 4202560 1298 0 0 0 92 251 0 0 16 0 5 0 946843571 161054720 36624 4294967295 134512640 135180984 3216023136 3086725136 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2463/tid=2466] ppid=2461 vsize=157280 CPUtime=998.3
/proc/2463/task/2466/stat : 2466 (satake) R 2461 2463 30957 0 -1 4202560 10930 0 0 0 99667 163 0 0 25 0 5 0 946843571 161054720 36624 4294967295 134512640 135180984 3216023136 3086659440 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2463/tid=2467] ppid=2461 vsize=157280 CPUtime=996.65
/proc/2463/task/2467/stat : 2467 (satake) R 2461 2463 30957 0 -1 4202560 11888 0 0 0 99595 70 0 0 25 0 5 0 946843571 161054720 36624 4294967295 134512640 135180984 3216023136 3086593904 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2463/tid=2468] ppid=2461 vsize=157280 CPUtime=999.32
/proc/2463/task/2468/stat : 2468 (satake) R 2461 2463 30957 0 -1 4202560 13372 0 0 0 99807 125 0 0 25 0 5 0 946843571 161054720 36624 4294967295 134512640 135180984 3216023136 3086528368 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2997.7
Current children cumulated vsize (KiB) 157280

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 2997.74
CPU user time (s): 2991.64
CPU system time (s): 6.1
CPU usage (%): 299.762
Max. virtual memory (cumulated for all children) (KiB): 157280

deleting IPC queue 15728640
deleting IPC queue 15761409
deleting IPC queue 15794178
deleting IPC queue 15826947
deleting IPC queue 15859716
deleting IPC queue 15892485
deleting IPC queue 15925254
deleting IPC queue 15958023
deleting IPC queue 15990792
deleting IPC queue 16023561
deleting IPC queue 16056330
deleting IPC queue 16089099
deleting IPC queue 16121868
deleting IPC queue 16154637
deleting IPC queue 16187406
deleting IPC queue 16220175

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2991.64
system time used= 6.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37599
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= 269563
involuntary context switches= 221881

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 05:04:28
IDJOB=1781125
IDBENCH=71098
IDSOLVER=629
FILE ID=tipi39/1781125-1243652668
PBS_JOBID=
Free space on /tmp= 5743 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781125-1243652668/watcher-1781125-1243652668 -o /tmp/evaluation-result-1781125-1243652668/solver-1781125-1243652668 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781125-1243652668.cnf 4 10000

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

MD5SUM BENCH= 18ad1dee1e9d863458e75a20545ae68a
RANDOM SEED= 157345245

Linux tipi39 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3079688 kB
Buffers:         57336 kB
Cached:         127424 kB
SwapCached:          0 kB
Active:          91880 kB
Inactive:       109160 kB
HighTotal:     2489216 kB
HighFree:      2348032 kB
LowTotal:       879316 kB
LowFree:        731656 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1848 kB
Writeback:           0 kB
AnonPages:       16076 kB
Mapped:           6188 kB
Slab:            77536 kB
SReclaimable:    67284 kB
SUnreclaim:      10252 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-30 05:21:10