Trace number 3362337

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
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20? (TO) 4800.17 1203.53

General information on the benchmark

NameSAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
MD5SUM3be662940f394fa876137a905247d755
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 variables28147
Number of clauses108436
Sum of the clauses size373110
Maximum clause length166
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 218786
Number of clauses of size 351588
Number of clauses of size 437440
Number of clauses of size 53
Number of clauses of size over 5605

Solver Data 

0.00/0.00	c Parsing...
0.00/0.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |  108399   372979 |   32519       0        0     nan |  0.000 % |
0.00/0.40	c |         0 |   94840   355025 |      --       0       --      -- |     --   | -13528/-17820
0.00/0.40	c ==============================================================================
0.00/0.40	c Result  :   #vars: 22582   #clauses: 94840   #literals: 355025
0.00/0.40	c CPU time:   0.386941 s
0.00/0.40	c ==============================================================================

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3362337-1305301540/watcher-3362337-1305301540 -o /tmp/evaluation-result-3362337-1305301540/solver-3362337-1305301540 -C 4800 -W 1300 -M 15500 manysat.sh HOME/instance-3362337-1305301540.cnf aimd 1 

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: 8.13 8.08 7.99 5/292 30133
/proc/meminfo: memFree=28962596/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 641752040 8908800 250 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30133/statm: 2175 250 209 178 0 68 0

[startup+0.10036 s]
/proc/loadavg: 8.13 8.08 7.99 5/292 30133
/proc/meminfo: memFree=28962596/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 641752040 8908800 250 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30133/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200359 s]
/proc/loadavg: 8.13 8.08 7.99 5/292 30133
/proc/meminfo: memFree=28962596/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 641752040 8908800 250 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30133/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300323 s]
/proc/loadavg: 8.13 8.08 7.99 5/292 30133
/proc/meminfo: memFree=28962596/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 641752040 8908800 250 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30133/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700217 s]
/proc/loadavg: 8.13 8.08 7.99 5/292 30133
/proc/meminfo: memFree=28962596/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8700

[startup+1.50107 s]
/proc/loadavg: 8.13 8.08 7.99 9/297 30139
/proc/meminfo: memFree=28923380/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=69768 CPUtime=3.51 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 8696 0 0 0 347 4 0 0 19 0 4 0 641752088 71442432 8645 33554432000 134512640 135305190 4294495744 18446744073709551615 134541953 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 17442 8645 84 194 0 17246 0
[pid=30136/tid=30137] ppid=30133 vsize=69768 CPUtime=0.82 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 295 0 0 0 82 0 0 0 19 0 4 0 641752105 71442432 8645 33554432000 134512640 135305190 4294495744 18446744073709551615 134541976 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=69768 CPUtime=0.82 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 331 0 0 0 82 0 0 0 19 0 4 0 641752105 71442432 8645 33554432000 134512640 135305190 4294495744 18446744073709551615 134542046 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=69768 CPUtime=0.82 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 336 0 0 0 81 1 0 0 19 0 4 0 641752105 71442432 8645 33554432000 134512640 135305190 4294495744 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 78468

[startup+3.10079 s]
/proc/loadavg: 8.13 8.08 7.99 9/297 30140
/proc/meminfo: memFree=28917732/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=71616 CPUtime=9.89 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 9307 0 0 0 985 4 0 0 22 0 4 0 641752088 73334784 9256 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 17904 9256 84 194 0 17708 0
[pid=30136/tid=30137] ppid=30133 vsize=71616 CPUtime=2.42 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 452 0 0 0 242 0 0 0 22 0 4 0 641752105 73334784 9256 33554432000 134512640 135305190 4294495744 18446744073709551615 134570397 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=71616 CPUtime=2.42 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 470 0 0 0 242 0 0 0 22 0 4 0 641752105 73334784 9256 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=71616 CPUtime=2.41 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 515 0 0 0 240 1 0 0 22 0 4 0 641752105 73334784 9256 33554432000 134512640 135305190 4294495744 18446744073709551615 134542025 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 80316

[startup+6.30121 s]
/proc/loadavg: 8.28 8.11 8.00 9/297 30140
/proc/meminfo: memFree=28904464/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=81976 CPUtime=22.66 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 12036 0 0 0 2260 6 0 0 25 0 4 0 641752088 83943424 11985 33554432000 134512640 135305190 4294495744 18446744073709551615 134558354 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 20494 11985 84 194 0 20298 0
[pid=30136/tid=30137] ppid=30133 vsize=81976 CPUtime=5.63 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 1045 0 0 0 562 1 0 0 25 0 4 0 641752105 83943424 11985 33554432000 134512640 135305190 4294495744 18446744073709551615 134528263 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=81976 CPUtime=5.63 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 1202 0 0 0 562 1 0 0 25 0 4 0 641752105 83943424 11985 33554432000 134512640 135305190 4294495744 18446744073709551615 134528837 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=81976 CPUtime=5.57 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 1200 0 0 0 556 1 0 0 25 0 4 0 641752105 83943424 11985 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.13
Current children cumulated vsize (KiB) 90676

[startup+12.7011 s]
/proc/loadavg: 8.26 8.10 8.00 9/297 30140
/proc/meminfo: memFree=28857624/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=112288 CPUtime=48.2 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 19503 0 0 0 4811 9 0 0 25 0 4 0 641752088 114982912 19452 33554432000 134512640 135305190 4294495744 18446744073709551615 134556558 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 28072 19452 84 194 0 27876 0
[pid=30136/tid=30137] ppid=30133 vsize=112288 CPUtime=12.02 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 2425 0 0 0 1201 1 0 0 25 0 4 0 641752105 114982912 19452 33554432000 134512640 135305190 4294495744 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=112288 CPUtime=12.02 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 3831 0 0 0 1201 1 0 0 25 0 4 0 641752105 114982912 19452 33554432000 134512640 135305190 4294495744 18446744073709551615 134528506 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=112288 CPUtime=11.92 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 2795 0 0 0 1190 2 0 0 25 0 4 0 641752105 114982912 19452 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.67
Current children cumulated vsize (KiB) 120988

[startup+25.5007 s]
/proc/loadavg: 8.20 8.10 8.00 9/297 30140
/proc/meminfo: memFree=28782592/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=160644 CPUtime=99.27 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 31519 0 0 0 9912 15 0 0 25 0 4 0 641752088 164499456 31468 33554432000 134512640 135305190 4294495744 18446744073709551615 134528307 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 40161 31468 84 194 0 39965 0
[pid=30136/tid=30137] ppid=30133 vsize=160644 CPUtime=24.82 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 4687 0 0 0 2479 3 0 0 25 0 4 0 641752105 164499456 31468 33554432000 134512640 135305190 4294495744 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=160644 CPUtime=24.83 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 8409 0 0 0 2480 3 0 0 25 0 4 0 641752105 164499456 31468 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=160644 CPUtime=24.6 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 5060 0 0 0 2456 4 0 0 25 0 4 0 641752105 164499456 31468 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (KiB) 169344

[startup+51.1011 s]
/proc/loadavg: 8.13 8.09 8.00 9/297 30141
/proc/meminfo: memFree=28713124/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=219764 CPUtime=201.43 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 46196 0 0 0 20120 23 0 0 25 0 4 0 641752088 225038336 46145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 54941 46145 84 194 0 54745 0
[pid=30136/tid=30137] ppid=30133 vsize=219764 CPUtime=50.42 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 8111 0 0 0 5037 5 0 0 25 0 4 0 641752105 225038336 46145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=219764 CPUtime=50.43 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 11258 0 0 0 5038 5 0 0 25 0 4 0 641752105 225038336 46145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=219764 CPUtime=49.96 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 8400 0 0 0 4990 6 0 0 25 0 4 0 641752105 225038336 46145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.9
Current children cumulated vsize (KiB) 228464

[startup+102.301 s]
/proc/loadavg: 8.14 8.10 8.01 9/297 30142
/proc/meminfo: memFree=28677644/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=248308 CPUtime=405.76 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 53517 0 0 0 40544 32 0 0 25 0 4 0 641752088 254267392 53466 33554432000 134512640 135305190 4294495744 18446744073709551615 134546042 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 62077 53466 84 194 0 61881 0
[pid=30136/tid=30137] ppid=30133 vsize=248308 CPUtime=101.62 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 9412 0 0 0 10155 7 0 0 25 0 4 0 641752105 254267392 53466 33554432000 134512640 135305190 4294495744 18446744073709551615 134542053 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=248308 CPUtime=101.63 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 12993 0 0 0 10157 6 0 0 25 0 4 0 641752105 254267392 53466 33554432000 134512640 135305190 4294495744 18446744073709551615 134530561 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=248308 CPUtime=100.68 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 10050 0 0 0 10061 7 0 0 25 0 4 0 641752105 254267392 53466 33554432000 134512640 135305190 4294495744 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.23
Current children cumulated vsize (KiB) 257008

[startup+162.301 s]
/proc/loadavg: 8.12 8.11 8.01 9/297 30144
/proc/meminfo: memFree=28589048/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=331936 CPUtime=645.12 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 74352 0 0 0 64463 49 0 0 25 0 4 0 641752088 339902464 74301 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 82984 74301 84 194 0 82788 0
[pid=30136/tid=30137] ppid=30133 vsize=331936 CPUtime=161.61 cores=1,3,5,7

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

/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 30096 0 0 0 75705 25 0 0 25 0 4 0 641752105 649834496 148723 33554432000 134512640 135305190 4294495744 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.68
Current children cumulated vsize (KiB) 643304

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 8.01 10/297 30227
/proc/meminfo: memFree=28152368/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=659952 CPUtime=3278.6 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 155157 0 0 0 327732 128 0 0 25 0 4 0 641752088 675790848 155106 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 164988 155106 84 194 0 164792 0
[pid=30136/tid=30137] ppid=30133 vsize=659952 CPUtime=821.29 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 26759 0 0 0 82106 23 0 0 25 0 4 0 641752105 675790848 155106 33554432000 134512640 135305190 4294495744 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=659952 CPUtime=818.34 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 48065 0 0 0 81797 37 0 0 25 0 4 0 641752105 675790848 155106 33554432000 134512640 135305190 4294495744 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=659952 CPUtime=817.3 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 31176 0 0 0 81703 27 0 0 25 0 4 0 641752105 675790848 155106 33554432000 134512640 135305190 4294495744 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.07
Current children cumulated vsize (KiB) 668652

[startup+882.311 s]
/proc/loadavg: 8.09 8.08 8.01 9/297 30229
/proc/meminfo: memFree=28132240/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=663264 CPUtime=3518.06 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 156072 0 0 0 351676 130 0 0 25 0 4 0 641752088 679182336 156021 33554432000 134512640 135305190 4294495744 18446744073709551615 134570400 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 165816 156021 84 194 0 165620 0
[pid=30136/tid=30137] ppid=30133 vsize=663264 CPUtime=881.3 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 26871 0 0 0 88107 23 0 0 25 0 4 0 641752105 679182336 156021 33554432000 134512640 135305190 4294495744 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=663264 CPUtime=877.76 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 48394 0 0 0 87739 37 0 0 25 0 4 0 641752105 679182336 156021 33554432000 134512640 135305190 4294495744 18446744073709551615 134528548 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=663264 CPUtime=877.31 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 31353 0 0 0 87704 27 0 0 25 0 4 0 641752105 679182336 156021 33554432000 134512640 135305190 4294495744 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.53
Current children cumulated vsize (KiB) 671964

[startup+942.3 s]
/proc/loadavg: 8.08 8.08 8.01 9/297 30240
/proc/meminfo: memFree=28086224/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=689228 CPUtime=3757.38 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 162402 0 0 0 375596 142 0 0 25 0 4 0 641752088 705769472 162351 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 172307 162351 84 194 0 172111 0
[pid=30136/tid=30137] ppid=30133 vsize=689228 CPUtime=941.27 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 27514 0 0 0 94103 24 0 0 25 0 4 0 641752105 705769472 162351 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=689228 CPUtime=937.18 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 51272 0 0 0 93674 44 0 0 25 0 4 0 641752105 705769472 162351 33554432000 134512640 135305190 4294495744 18446744073709551615 134530721 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=689228 CPUtime=937.25 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 32379 0 0 0 93697 28 0 0 25 0 4 0 641752105 705769472 162351 33554432000 134512640 135305190 4294495744 18446744073709551615 134551628 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.85
Current children cumulated vsize (KiB) 697928

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 8.02 9/297 30241
/proc/meminfo: memFree=28007920/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=696976 CPUtime=3996.83 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 164384 0 0 0 399538 145 0 0 25 0 4 0 641752088 713703424 164333 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 174244 164333 84 194 0 174048 0
[pid=30136/tid=30137] ppid=30133 vsize=696976 CPUtime=1001.27 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 27855 0 0 0 100102 25 0 0 25 0 4 0 641752105 713703424 164333 33554432000 134512640 135305190 4294495744 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=696976 CPUtime=996.63 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 52607 0 0 0 99617 46 0 0 25 0 4 0 641752105 713703424 164333 33554432000 134512640 135305190 4294495744 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=696976 CPUtime=997.26 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 32450 0 0 0 99697 29 0 0 25 0 4 0 641752105 713703424 164333 33554432000 134512640 135305190 4294495744 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.3
Current children cumulated vsize (KiB) 705676

[startup+1062.3 s]
/proc/loadavg: 8.19 8.12 8.03 9/297 30243
/proc/meminfo: memFree=27993864/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=698948 CPUtime=4236.22 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 164782 0 0 0 423475 147 0 0 25 0 4 0 641752088 715722752 164731 33554432000 134512640 135305190 4294495744 18446744073709551615 134528265 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 174737 164731 84 194 0 174541 0
[pid=30136/tid=30137] ppid=30133 vsize=698948 CPUtime=1061.27 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 27941 0 0 0 106102 25 0 0 25 0 4 0 641752105 715722752 164731 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=698948 CPUtime=1056.06 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 52784 0 0 0 105559 47 0 0 25 0 4 0 641752105 715722752 164731 33554432000 134512640 135305190 4294495744 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=698948 CPUtime=1057.25 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 32508 0 0 0 105696 29 0 0 25 0 4 0 641752105 715722752 164731 33554432000 134512640 135305190 4294495744 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.69
Current children cumulated vsize (KiB) 707648

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.03 10/298 30247
/proc/meminfo: memFree=27962792/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=700704 CPUtime=4475.67 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 165196 0 0 0 447419 148 0 0 25 0 4 0 641752088 717520896 165145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 175176 165145 84 194 0 174980 0
[pid=30136/tid=30137] ppid=30133 vsize=700704 CPUtime=1121.27 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 27985 0 0 0 112102 25 0 0 25 0 4 0 641752105 717520896 165145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=700704 CPUtime=1115.51 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 53072 0 0 0 111504 47 0 0 25 0 4 0 641752105 717520896 165145 33554432000 134512640 135305190 4294495744 18446744073709551615 134551697 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=700704 CPUtime=1117.25 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 32590 0 0 0 111696 29 0 0 25 0 4 0 641752105 717520896 165145 33554432000 134512640 135305190 4294495744 18446744073709551615 134528329 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.14
Current children cumulated vsize (KiB) 709404

[startup+1182.3 s]
/proc/loadavg: 8.22 8.16 8.05 9/297 30249
/proc/meminfo: memFree=27873112/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=769948 CPUtime=4715.1 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 182496 0 0 0 471351 159 0 0 25 0 4 0 641752088 788426752 182445 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 192487 182445 84 194 0 192291 0
[pid=30136/tid=30137] ppid=30133 vsize=769948 CPUtime=1181.24 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 31805 0 0 0 118096 28 0 0 25 0 4 0 641752105 788426752 182445 33554432000 134512640 135305190 4294495744 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 7 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=769948 CPUtime=1174.98 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 56908 0 0 0 117449 49 0 0 25 0 4 0 641752105 788426752 182445 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=769948 CPUtime=1177.26 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 36818 0 0 0 117694 32 0 0 25 0 4 0 641752105 788426752 182445 33554432000 134512640 135305190 4294495744 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.57
Current children cumulated vsize (KiB) 778648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 8.21 8.16 8.05 10/297 30250
/proc/meminfo: memFree=27855624/32951124 swapFree=54427468/67111528
[pid=30133] ppid=30131 vsize=8700 CPUtime=0.47 cores=1,3,5,7
/proc/30133/stat : 30133 (manysat.sh) S 30131 30133 29121 0 -1 4202496 357 4708 0 0 0 0 45 2 17 0 1 0 641752040 8908800 253 33554432000 4194304 4922060 140733520009248 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/30133/statm: 2175 253 209 178 0 68 0
[pid=30136] ppid=30133 vsize=770676 CPUtime=4799.7 cores=1,3,5,7
/proc/30136/stat : 30136 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202496 182682 0 0 0 479809 161 0 0 25 0 4 0 641752088 789172224 182631 33554432000 134512640 135305190 4294495744 18446744073709551615 134528636 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/30136/statm: 192669 182631 84 194 0 192473 0
[pid=30136/tid=30137] ppid=30133 vsize=770676 CPUtime=1202.29 cores=1,3,5,7
/proc/30136/task/30137/stat : 30137 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 31805 0 0 0 120201 28 0 0 25 0 4 0 641752105 789172224 182631 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=30136/tid=30138] ppid=30133 vsize=770676 CPUtime=1196.17 cores=1,3,5,7
/proc/30136/task/30138/stat : 30138 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 56936 0 0 0 119568 49 0 0 25 0 4 0 641752105 789172224 182631 33554432000 134512640 135305190 4294495744 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=30136/tid=30139] ppid=30133 vsize=770676 CPUtime=1198.37 cores=1,3,5,7
/proc/30136/task/30139/stat : 30139 (manysat1.1_stat) R 30133 30133 29121 0 -1 4202560 36918 0 0 0 119804 33 0 0 25 0 4 0 641752105 789172224 182631 33554432000 134512640 135305190 4294495744 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 779376

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30133 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=459930
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.483926
# while last known CPU time is 4800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1203.53
CPU time (s): 4800.17
CPU user time (s): 4798.54
CPU system time (s): 1.63
CPU usage (%): 398.84
Max. virtual memory (cumulated for all children) (KiB): 779376

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

runsolver used 2.94755 second user time and 8.01778 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-13 17:45:41
IDJOB=3362337
IDBENCH=84223
IDSOLVER=1838
FILE ID=node138/3362337-1305301540
RUNJOBID= node138-1305296392-29140
PBS_JOBID= 13321415
Free space on /tmp= 47576 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3362337-1305301540/watcher-3362337-1305301540 -o /tmp/evaluation-result-3362337-1305301540/solver-3362337-1305301540 -C 4800 -W 1300 -M 15500  manysat.sh HOME/instance-3362337-1305301540.cnf aimd 1

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=1021343954

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:      28962884 kB
Buffers:        207380 kB
Cached:        3046960 kB
SwapCached:      18472 kB
Active:        1102288 kB
Inactive:      2687480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28962884 kB
SwapTotal:    67111528 kB
SwapFree:     54427468 kB
Dirty:            3936 kB
Writeback:           4 kB
AnonPages:      528260 kB
Mapped:           9556 kB
Slab:            96024 kB
PageTables:      41320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 40040364 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= 47540 MiB
End job on node138 at 2011-05-13 18:05:46