Trace number 1726026

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? (TO) 1200.21 707.788

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
MD5SUM87d9c7ce297970bb210f40783f709fcc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010997
Satisfiable
(Un)Satisfiability was proved
Number of variables230
Number of clauses920
Sum of the clauses size2760
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3920
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1726026-1240708604/watcher-1726026-1240708604 -o /tmp/evaluation-result-1726026-1240708604/solver-1726026-1240708604 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1726026-1240708604.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 25514
/proc/meminfo: memFree=1565176/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=1140 CPUtime=0
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 4 0 98886572 1167360 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 285 122 68 163 0 120 0
[pid=25514/tid=25515] ppid=25512 vsize=1140 CPUtime=0
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 98886572 1167360 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=1140 CPUtime=0
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 4 0 98886572 1167360 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134535017 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=1140 CPUtime=0
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 4 0 98886572 1167360 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0573041 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 25514
/proc/meminfo: memFree=1565176/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=3316 CPUtime=0.08
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 181 0 0 0 5 3 0 0 18 0 4 0 98886572 3395584 166 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 829 166 70 163 0 664 0
[pid=25514/tid=25515] ppid=25512 vsize=3316 CPUtime=0.01
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 18 0 0 0 0 1 0 0 17 0 4 0 98886572 3395584 166 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=3316 CPUtime=0.04
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 44 0 0 0 3 1 0 0 17 0 4 0 98886572 3395584 166 1992294400 134512640 135180984 4294956208 18446744073709551615 134522984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=3316 CPUtime=0.02
/proc/25514/task/25517/stat : 25517 (satake) S 25512 25514 25477 0 -1 4194368 36 0 0 0 2 0 0 0 16 0 4 0 98886572 3395584 166 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3316

[startup+0.102463 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 25514
/proc/meminfo: memFree=1565176/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=3316 CPUtime=0.15
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 191 0 0 0 10 5 0 0 18 0 4 0 98886572 3395584 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 829 176 70 163 0 664 0
[pid=25514/tid=25515] ppid=25512 vsize=3316 CPUtime=0.02
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 23 0 0 0 0 2 0 0 17 0 4 0 98886572 3395584 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=3316 CPUtime=0.06
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 45 0 0 0 5 1 0 0 17 0 4 0 98886572 3395584 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=3316 CPUtime=0.04
/proc/25514/task/25517/stat : 25517 (satake) S 25512 25514 25477 0 -1 4194368 40 0 0 0 4 0 0 0 17 0 4 0 98886572 3395584 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 3316

[startup+0.302476 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 25514
/proc/meminfo: memFree=1565176/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=3316 CPUtime=0.49
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 226 0 0 0 35 14 0 0 18 0 4 0 98886572 3395584 211 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 829 211 70 163 0 664 0
[pid=25514/tid=25515] ppid=25512 vsize=3316 CPUtime=0.08
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 45 0 0 0 1 7 0 0 17 0 4 0 98886572 3395584 211 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=3316 CPUtime=0.2
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 50 0 0 0 17 3 0 0 16 0 4 0 98886572 3395584 211 1992294400 134512640 135180984 4294956208 18446744073709551615 134526496 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=3316 CPUtime=0.18
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 48 0 0 0 15 3 0 0 17 0 4 0 98886572 3395584 211 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 3316

[startup+0.70152 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 25514
/proc/meminfo: memFree=1565176/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=3448 CPUtime=1.14
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 291 0 0 0 78 36 0 0 18 0 4 0 98886572 3530752 276 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 862 276 70 163 0 697 0
[pid=25514/tid=25515] ppid=25512 vsize=3448 CPUtime=0.22
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 95 0 0 0 3 19 0 0 17 0 4 0 98886572 3530752 276 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=3448 CPUtime=0.46
/proc/25514/task/25516/stat : 25516 (satake) S 25512 25514 25477 0 -1 4194368 60 0 0 0 38 8 0 0 16 0 4 0 98886572 3530752 276 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=3448 CPUtime=0.45
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 53 0 0 0 37 8 0 0 15 0 4 0 98886572 3530752 276 1992294400 134512640 135180984 4294956208 18446744073709551615 134524726 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 3448

[startup+1.50261 s]
/proc/loadavg: 0.93 0.97 0.98 2/68 25518
/proc/meminfo: memFree=1563992/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=3448 CPUtime=2.44
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 415 0 0 0 156 88 0 0 18 0 4 0 98886572 3530752 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 862 400 70 163 0 697 0
[pid=25514/tid=25515] ppid=25512 vsize=3448 CPUtime=0.57
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 210 0 0 0 10 47 0 0 17 0 4 0 98886572 3530752 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=3448 CPUtime=0.93
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 67 0 0 0 73 20 0 0 16 0 4 0 98886572 3530752 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=3448 CPUtime=0.92
/proc/25514/task/25517/stat : 25517 (satake) S 25512 25514 25477 0 -1 4194368 55 0 0 0 72 20 0 0 16 0 4 0 98886572 3530752 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 3448

[startup+3.10179 s]
/proc/loadavg: 0.93 0.97 0.98 4/68 25518
/proc/meminfo: memFree=1563160/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=4604 CPUtime=5.07
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 702 0 0 0 302 205 0 0 18 0 4 0 98886572 4714496 687 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 1151 687 70 163 0 986 0
[pid=25514/tid=25515] ppid=25512 vsize=4604 CPUtime=1.3
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 484 0 0 0 23 107 0 0 16 0 4 0 98886572 4714496 687 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=4604 CPUtime=1.89
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 75 0 0 0 142 47 0 0 16 0 4 0 98886572 4714496 687 1992294400 134512640 135180984 4294956208 18446744073709551615 134522829 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=4604 CPUtime=1.85
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 60 0 0 0 135 50 0 0 16 0 4 0 98886572 4714496 687 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 4604

[startup+6.30399 s]
/proc/loadavg: 0.93 0.97 0.98 4/68 25518
/proc/meminfo: memFree=1560920/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=6816 CPUtime=10.4
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 1218 0 0 0 588 452 0 0 18 0 4 0 98886572 6979584 1203 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 1704 1203 70 163 0 1539 0
[pid=25514/tid=25515] ppid=25512 vsize=6816 CPUtime=2.82
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 981 0 0 0 54 228 0 0 15 0 4 0 98886572 6979584 1203 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=6816 CPUtime=3.82
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 83 0 0 0 272 110 0 0 15 0 4 0 98886572 6979584 1203 1992294400 134512640 135180984 4294956208 18446744073709551615 134528600 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=6816 CPUtime=3.73
/proc/25514/task/25517/stat : 25517 (satake) S 25512 25514 25477 0 -1 4194368 71 0 0 0 261 112 0 0 15 0 4 0 98886572 6979584 1203 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.4
Current children cumulated vsize (KiB) 6816

[startup+12.7019 s]
/proc/loadavg: 1.02 0.99 0.98 3/68 25518
/proc/meminfo: memFree=1556640/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=11400 CPUtime=20.89
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 2240 0 0 0 1163 926 0 0 18 0 4 0 98886572 11673600 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 2850 2225 70 163 0 2685 0
[pid=25514/tid=25515] ppid=25512 vsize=11400 CPUtime=5.73
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 1933 0 0 0 116 457 0 0 16 0 4 0 98886572 11673600 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=11400 CPUtime=7.6
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 119 0 0 0 529 231 0 0 15 0 4 0 98886572 11673600 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=11400 CPUtime=7.54
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 105 0 0 0 517 237 0 0 16 0 4 0 98886572 11673600 2225 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.89
Current children cumulated vsize (KiB) 11400

[startup+25.5023 s]
/proc/loadavg: 1.22 1.04 1.00 2/68 25518
/proc/meminfo: memFree=1548768/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=20916 CPUtime=42.47
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 4150 0 0 0 2373 1874 0 0 18 0 4 0 98886572 21417984 4135 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 5229 4135 70 163 0 5064 0
[pid=25514/tid=25515] ppid=25512 vsize=20916 CPUtime=11.51
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 3745 0 0 0 236 915 0 0 16 0 4 0 98886572 21417984 4135 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=20916 CPUtime=15.62
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 165 0 0 0 1082 480 0 0 17 0 4 0 98886572 21417984 4135 1992294400 134512640 135180984 4294956208 18446744073709551615 134520871 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=20916 CPUtime=15.31
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 157 0 0 0 1054 477 0 0 16 0 4 0 98886572 21417984 4135 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.47
Current children cumulated vsize (KiB) 20916

[startup+51.1022 s]
/proc/loadavg: 1.54 1.13 1.03 4/68 25518
/proc/meminfo: memFree=1533664/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=39864 CPUtime=85.13
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 8001 0 0 0 4694 3819 0 0 18 0 4 0 98886572 40820736 7986 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 9966 7986 70 163 0 9801 0
[pid=25514/tid=25515] ppid=25512 vsize=39864 CPUtime=23.46
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 7330 0 0 0 473 1873 0 0 15 0 4 0 98886572 40820736 7986 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=39864 CPUtime=31.67
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 293 0 0 0 2174 993 0 0 16 0 4 0 98886572 40820736 7986 1992294400 134512640 135180984 4294956208 18446744073709551615 134523644 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=39864 CPUtime=29.97
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 295 0 0 0 2045 952 0 0 16 0 4 0 98886572 40820736 7986 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 85.13
Current children cumulated vsize (KiB) 39864

[startup+102.309 s]
/proc/loadavg: 2.06 1.34 1.10 4/68 25518
/proc/meminfo: memFree=1503968/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=73408 CPUtime=170.44
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 15265 0 0 0 9584 7460 0 0 18 0 4 0 98886572 75169792 15250 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 18352 15250 70 163 0 18187 0
[pid=25514/tid=25515] ppid=25512 vsize=73408 CPUtime=45.67
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 13767 0 0 0 926 3641 0 0 15 0 4 0 98886572 75169792 15250 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=73408 CPUtime=63.44
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 759 0 0 0 4412 1932 0 0 15 0 4 0 98886572 75169792 15250 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=73408 CPUtime=61.31
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 656 0 0 0 4245 1886 0 0 16 0 4 0 98886572 75169792 15250 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.44
Current children cumulated vsize (KiB) 73408

[startup+162.302 s]
/proc/loadavg: 2.10 1.48 1.17 4/68 25518
/proc/meminfo: memFree=1472416/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=111840 CPUtime=272.89
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 23202 0 0 0 15916 11373 0 0 18 0 4 0 98886572 114524160 23187 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 27960 23187 70 163 0 27795 0
[pid=25514/tid=25515] ppid=25512 vsize=111840 CPUtime=69.66
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 20888 0 0 0 1421 5545 0 0 15 0 4 0 98886572 114524160 23187 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=111840 CPUtime=102.69

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

Current children cumulated vsize (KiB) 153028

[startup+282.302 s]
/proc/loadavg: 2.29 1.76 1.30 3/68 25518
/proc/meminfo: memFree=1403936/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=191164 CPUtime=475.89
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 40323 0 0 0 27452 20137 0 0 18 0 4 0 98886572 195751936 40308 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 47791 40308 70 163 0 47626 0
[pid=25514/tid=25515] ppid=25512 vsize=191164 CPUtime=123.04
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 36476 0 0 0 2491 9813 0 0 16 0 4 0 98886572 195751936 40308 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=191164 CPUtime=175.62
/proc/25514/task/25516/stat : 25516 (satake) S 25512 25514 25477 0 -1 4194368 2041 0 0 0 12410 5152 0 0 16 0 4 0 98886572 195751936 40308 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=191164 CPUtime=177.2
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 1723 0 0 0 12549 5171 0 0 15 0 4 0 98886572 195751936 40308 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 475.89
Current children cumulated vsize (KiB) 191164

[startup+342.302 s]
/proc/loadavg: 2.28 1.86 1.37 3/68 25518
/proc/meminfo: memFree=1369888/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=237364 CPUtime=578.48
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 48739 0 0 0 33397 24451 0 0 18 0 4 0 98886572 243060736 48724 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 59341 48724 70 163 0 59176 0
[pid=25514/tid=25515] ppid=25512 vsize=237364 CPUtime=149.34
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 43529 0 0 0 3023 11911 0 0 16 0 4 0 98886572 243060736 48724 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=237364 CPUtime=214.32
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 2659 0 0 0 15171 6261 0 0 16 0 4 0 98886572 243060736 48724 1992294400 134512640 135180984 4294956208 18446744073709551615 134527232 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=237364 CPUtime=214.78
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 2468 0 0 0 15201 6277 0 0 16 0 4 0 98886572 243060736 48724 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 578.48
Current children cumulated vsize (KiB) 237364

[startup+402.302 s]
/proc/loadavg: 2.49 1.99 1.44 3/68 25518
/proc/meminfo: memFree=1335904/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=276384 CPUtime=679.92
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 57291 0 0 0 39195 28797 0 0 18 0 4 0 98886572 283017216 57276 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 69096 57276 70 163 0 68931 0
[pid=25514/tid=25515] ppid=25512 vsize=276384 CPUtime=175.92
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 51378 0 0 0 3570 14022 0 0 16 0 4 0 98886572 283017216 57276 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=276384 CPUtime=251
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 2930 0 0 0 17742 7358 0 0 15 0 4 0 98886572 283017216 57276 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=276384 CPUtime=252.97
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 2900 0 0 0 17882 7415 0 0 16 0 4 0 98886572 283017216 57276 1992294400 134512640 135180984 4294956208 18446744073709551615 134519080 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 679.92
Current children cumulated vsize (KiB) 276384

[startup+462.302 s]
/proc/loadavg: 2.29 2.02 1.48 3/68 25518
/proc/meminfo: memFree=1301920/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=319656 CPUtime=783.75
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 65662 0 0 0 45274 33101 0 0 18 0 4 0 98886572 327327744 65647 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 79914 65647 70 163 0 79749 0
[pid=25514/tid=25515] ppid=25512 vsize=319656 CPUtime=202.18
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 58715 0 0 0 4103 16115 0 0 16 0 4 0 98886572 327327744 65647 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=319656 CPUtime=289.81
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 3427 0 0 0 20515 8466 0 0 16 0 4 0 98886572 327327744 65647 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=319656 CPUtime=291.75
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 3437 0 0 0 20655 8520 0 0 16 0 4 0 98886572 327327744 65647 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 783.75
Current children cumulated vsize (KiB) 319656

[startup+522.303 s]
/proc/loadavg: 2.54 2.13 1.55 4/68 25518
/proc/meminfo: memFree=1268064/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=355016 CPUtime=885.86
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 74224 0 0 0 51067 37519 0 0 18 0 4 0 98886572 363536384 74209 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 88754 74209 70 163 0 88589 0
[pid=25514/tid=25515] ppid=25512 vsize=355016 CPUtime=229.11
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 66402 0 0 0 4635 18276 0 0 16 0 4 0 98886572 363536384 74209 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25516] ppid=25512 vsize=355016 CPUtime=327.22
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 3809 0 0 0 23123 9599 0 0 16 0 4 0 98886572 363536384 74209 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=355016 CPUtime=329.5
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 3930 0 0 0 23308 9642 0 0 16 0 4 0 98886572 363536384 74209 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 885.86
Current children cumulated vsize (KiB) 355016

[startup+582.302 s]
/proc/loadavg: 2.28 2.12 1.58 3/68 25518
/proc/meminfo: memFree=1232672/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=408252 CPUtime=987.32
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 82950 0 0 0 56693 42039 0 0 18 0 4 0 98886572 418050048 82935 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 102063 82935 70 163 0 101898 0
[pid=25514/tid=25515] ppid=25512 vsize=408252 CPUtime=256.81
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 74025 0 0 0 5198 20483 0 0 15 0 4 0 98886572 418050048 82935 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=408252 CPUtime=364.11
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 4414 0 0 0 25649 10762 0 0 15 0 4 0 98886572 418050048 82935 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=408252 CPUtime=366.37
/proc/25514/task/25517/stat : 25517 (satake) S 25512 25514 25477 0 -1 4194368 4428 0 0 0 25844 10793 0 0 16 0 4 0 98886572 418050048 82935 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 987.32
Current children cumulated vsize (KiB) 408252

[startup+642.302 s]
/proc/loadavg: 2.26 2.14 1.62 3/68 25518
/proc/meminfo: memFree=1197664/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=444376 CPUtime=1088.7
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 91622 0 0 0 62361 46509 0 0 18 0 4 0 98886572 455041024 91607 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 111094 91607 70 163 0 110929 0
[pid=25514/tid=25515] ppid=25512 vsize=444376 CPUtime=284.19
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 81711 0 0 0 5758 22661 0 0 15 0 4 0 98886572 455041024 91607 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=444376 CPUtime=401.27
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 4917 0 0 0 28218 11909 0 0 16 0 4 0 98886572 455041024 91607 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=444376 CPUtime=403.21
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 4911 0 0 0 28384 11937 0 0 16 0 4 0 98886572 455041024 91607 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1088.7
Current children cumulated vsize (KiB) 444376

[startup+702.303 s]
/proc/loadavg: 2.58 2.25 1.69 4/68 25518
/proc/meminfo: memFree=1161888/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=482544 CPUtime=1190.98
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 100584 0 0 0 67869 51229 0 0 18 0 4 0 98886572 494125056 100569 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 120636 100569 70 163 0 120471 0
[pid=25514/tid=25515] ppid=25512 vsize=482544 CPUtime=313.01
/proc/25514/task/25515/stat : 25515 (satake) S 25512 25514 25477 0 -1 4194368 89766 0 0 0 6331 24970 0 0 15 0 4 0 98886572 494125056 100569 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=482544 CPUtime=438.09
/proc/25514/task/25516/stat : 25516 (satake) R 25512 25514 25477 0 -1 4194368 5422 0 0 0 30688 13121 0 0 16 0 4 0 98886572 494125056 100569 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25514/tid=25517] ppid=25512 vsize=482544 CPUtime=439.85
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 5313 0 0 0 30849 13136 0 0 16 0 4 0 98886572 494125056 100569 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1190.98
Current children cumulated vsize (KiB) 482544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+707.701 s]
/proc/loadavg: 2.61 2.26 1.70 3/68 25518
/proc/meminfo: memFree=1158240/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=485032 CPUtime=1200.11
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 101406 0 0 0 68363 51648 0 0 18 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 121258 101391 70 163 0 121093 0
[pid=25514/tid=25515] ppid=25512 vsize=485032 CPUtime=315.51
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 90522 0 0 0 6377 25174 0 0 16 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=485032 CPUtime=441.34
/proc/25514/task/25516/stat : 25516 (satake) S 25512 25514 25477 0 -1 4194368 5427 0 0 0 30907 13227 0 0 15 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=485032 CPUtime=443.23
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 5374 0 0 0 31078 13245 0 0 16 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 485032

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

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

[startup+707.701 s]
/proc/loadavg: 2.61 2.26 1.70 3/68 25518
/proc/meminfo: memFree=1158240/2055920 swapFree=4178508/4192956
[pid=25514] ppid=25512 vsize=485032 CPUtime=1200.11
/proc/25514/stat : 25514 (satake) S 25512 25514 25477 0 -1 4194304 101406 0 0 0 68363 51648 0 0 18 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25514/statm: 121258 101391 70 163 0 121093 0
[pid=25514/tid=25515] ppid=25512 vsize=485032 CPUtime=315.51
/proc/25514/task/25515/stat : 25515 (satake) R 25512 25514 25477 0 -1 4194368 90522 0 0 0 6377 25174 0 0 16 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25514/tid=25516] ppid=25512 vsize=485032 CPUtime=441.34
/proc/25514/task/25516/stat : 25516 (satake) S 25512 25514 25477 0 -1 4194368 5427 0 0 0 30907 13227 0 0 15 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25514/tid=25517] ppid=25512 vsize=485032 CPUtime=443.23
/proc/25514/task/25517/stat : 25517 (satake) R 25512 25514 25477 0 -1 4194368 5374 0 0 0 31078 13245 0 0 16 0 4 0 98886572 496672768 101391 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 485032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 707.788
CPU time (s): 1200.21
CPU user time (s): 683.644
CPU system time (s): 516.563
CPU usage (%): 169.572
Max. virtual memory (cumulated for all children) (KiB): 485032

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.644
system time used= 516.563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101410
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= 23529507
involuntary context switches= 21176806

runsolver used 0.85287 second user time and 2.15567 second system time

The end

Launcher Data 

Begin job on node63 at 2009-04-26 03:16:44
IDJOB=1726026
IDBENCH=24602
IDSOLVER=553
FILE ID=node63/1726026-1240708604
PBS_JOBID= 9186856
Free space on /tmp= 66340 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1726026-1240708604/watcher-1726026-1240708604 -o /tmp/evaluation-result-1726026-1240708604/solver-1726026-1240708604 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1726026-1240708604.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 87d9c7ce297970bb210f40783f709fcc
RANDOM SEED=1622470449

node63.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1565592 kB
Buffers:         55852 kB
Cached:         357960 kB
SwapCached:       7516 kB
Active:         146968 kB
Inactive:       276988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1565592 kB
SwapTotal:     4192956 kB
SwapFree:      4178508 kB
Dirty:             832 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            52136 kB
Committed_AS:   538472 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66340 MiB
End job on node63 at 2009-04-26 03:28:34