Trace number 1779541

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
ManySAT 1.1 aimd 0/2009-03-20 (4 threads)? (TO) 3988.52 1000.03

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-24-s100.cnf
MD5SUM107f2922072d64498e09af3270c7b9c3
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 variables31821
Number of clauses95735
Sum of the clauses size225739
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261338
Number of clauses of size 334333
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	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 |   95535   225263 |   28660       0        0     nan |  0.000 % |
0.91/1.00	c |         0 |   58933   176133 |      --       0       --      -- |     --   | -36262/-48154
0.91/1.00	c ==============================================================================
0.91/1.00	c Result  :   #vars: 14170   #clauses: 58933   #literals: 176133
0.91/1.00	c CPU time:   0.94 s
0.91/1.00	c ==============================================================================
3988.49/1000.02	HOME/manysat.sh: line 55: 24261 Terminated              $MS -verbosity=0 $TMP.cnf $TMP.result -$AIMD $AIMD_FLAG "$@"

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-1779541-1243526484/watcher-1779541-1243526484 -o /tmp/evaluation-result-1779541-1243526484/solver-1779541-1243526484 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779541-1243526484.cnf aimd 0 

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.57 4.62 4.61 3/97 24259
/proc/meminfo: memFree=3008380/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2416 CPUtime=0
/proc/24258/stat : 24258 (manysat.sh) R 24256 24258 27966 0 -1 4194304 334 0 0 0 0 0 0 0 25 0 1 0 1117312511 2473984 274 4294967295 134512640 135169312 3218962720 3218961196 3085727604 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/24258/statm: 604 274 231 161 0 43 0
[pid=24259] ppid=24258 vsize=5440 CPUtime=0.02
/proc/24259/stat : 24259 (SatElite) R 24258 24258 27966 0 -1 4202496 1267 0 0 0 1 1 0 0 25 0 1 0 1117312511 5570560 1204 4294967295 134512640 135034092 3216948992 3216945336 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24259/statm: 1360 1204 50 128 0 1230 0

[startup+0.12398 s]
/proc/loadavg: 4.57 4.62 4.61 3/97 24259
/proc/meminfo: memFree=3008380/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2416 CPUtime=0
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 349 0 0 0 0 0 0 0 25 0 1 0 1117312511 2473984 274 4294967295 134512640 135169312 3218962720 3218961256 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 604 274 231 161 0 43 0
[pid=24259] ppid=24258 vsize=14140 CPUtime=0.12
/proc/24259/stat : 24259 (SatElite) R 24258 24258 27966 0 -1 4202496 3588 0 0 0 8 4 0 0 25 0 1 0 1117312511 14479360 3321 4294967295 134512640 135034092 3216948992 3216944988 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24259/statm: 3535 3321 67 128 0 3405 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16556

[startup+0.213971 s]
/proc/loadavg: 4.57 4.62 4.61 3/97 24259
/proc/meminfo: memFree=3008380/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2416 CPUtime=0
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 349 0 0 0 0 0 0 0 25 0 1 0 1117312511 2473984 274 4294967295 134512640 135169312 3218962720 3218961256 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 604 274 231 161 0 43 0
[pid=24259] ppid=24258 vsize=14396 CPUtime=0.21
/proc/24259/stat : 24259 (SatElite) R 24258 24258 27966 0 -1 4202496 3652 0 0 0 16 5 0 0 25 0 1 0 1117312511 14741504 3385 4294967295 134512640 135034092 3216948992 3216944988 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24259/statm: 3599 3385 67 128 0 3469 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 16812

[startup+0.313962 s]
/proc/loadavg: 4.57 4.62 4.61 3/97 24259
/proc/meminfo: memFree=3008380/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2416 CPUtime=0
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 349 0 0 0 0 0 0 0 25 0 1 0 1117312511 2473984 274 4294967295 134512640 135169312 3218962720 3218961256 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 604 274 231 161 0 43 0
[pid=24259] ppid=24258 vsize=14528 CPUtime=0.31
/proc/24259/stat : 24259 (SatElite) R 24258 24258 27966 0 -1 4202496 3707 0 0 0 26 5 0 0 25 0 1 0 1117312511 14876672 3440 4294967295 134512640 135034092 3216948992 3216944988 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24259/statm: 3632 3440 67 128 0 3502 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 16944

[startup+0.71393 s]
/proc/loadavg: 4.57 4.62 4.61 3/97 24259
/proc/meminfo: memFree=3008380/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2416 CPUtime=0
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 349 0 0 0 0 0 0 0 25 0 1 0 1117312511 2473984 274 4294967295 134512640 135169312 3218962720 3218961256 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 604 274 231 161 0 43 0
[pid=24259] ppid=24258 vsize=15916 CPUtime=0.71
/proc/24259/stat : 24259 (SatElite) R 24258 24258 27966 0 -1 4202496 3873 0 0 0 65 6 0 0 25 0 1 0 1117312511 16297984 3606 4294967295 134512640 135034092 3216948992 3216945232 134566212 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24259/statm: 3979 3606 67 128 0 3849 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18332

[startup+1.51387 s]
/proc/loadavg: 4.57 4.62 4.61 2/98 24261
/proc/meminfo: memFree=2998760/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=48756 CPUtime=1.27
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 5300 0 0 0 118 9 0 0 17 0 4 0 1117312619 49926144 5234 4294967295 134512640 135305190 3213978704 3213976880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 12189 5234 79 194 0 11993 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 51176

[startup+3.11374 s]
/proc/loadavg: 4.57 4.62 4.61 6/101 24264
/proc/meminfo: memFree=2988036/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=49464 CPUtime=7.67
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 5482 0 0 0 758 9 0 0 19 0 4 0 1117312619 50651136 5416 4294967295 134512640 135305190 3213978704 3213976608 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 12366 5416 79 194 0 12170 0
[pid=24261/tid=24262] ppid=24258 vsize=49464 CPUtime=1.89
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 198 0 0 0 186 3 0 0 21 0 4 0 1117312631 50651136 5416 4294967295 134512640 135305190 3213978704 3082677440 134530615 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=49464 CPUtime=1.89
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 186 0 0 0 187 2 0 0 21 0 4 0 1117312631 50651136 5416 4294967295 134512640 135305190 3213978704 3074288832 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=49464 CPUtime=1.9
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 283 0 0 0 190 0 0 0 21 0 4 0 1117312631 50651136 5416 4294967295 134512640 135305190 3213978704 3065900224 134530613 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 51884

[startup+6.31347 s]
/proc/loadavg: 4.52 4.61 4.61 5/101 24264
/proc/meminfo: memFree=2986796/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=50380 CPUtime=20.46
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 5731 0 0 0 2037 9 0 0 25 0 4 0 1117312619 51589120 5665 4294967295 134512640 135305190 3213978704 3213976880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 12595 5665 79 194 0 12399 0
[pid=24261/tid=24262] ppid=24258 vsize=50380 CPUtime=5.08
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 249 0 0 0 505 3 0 0 25 0 4 0 1117312631 51589120 5665 4294967295 134512640 135305190 3213978704 3082677440 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=50380 CPUtime=5.09
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 224 0 0 0 507 2 0 0 25 0 4 0 1117312631 51589120 5665 4294967295 134512640 135305190 3213978704 3074288448 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=50380 CPUtime=5.1
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 386 0 0 0 510 0 0 0 25 0 4 0 1117312631 51589120 5665 4294967295 134512640 135305190 3213978704 3065899888 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.53
Current children cumulated vsize (KiB) 52800

[startup+12.7129 s]
/proc/loadavg: 4.48 4.60 4.61 5/101 24264
/proc/meminfo: memFree=2985056/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=51680 CPUtime=46.06
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 6059 0 0 0 4596 10 0 0 25 0 4 0 1117312619 52920320 5993 4294967295 134512640 135305190 3213978704 3213976880 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 12920 5993 79 194 0 12724 0
[pid=24261/tid=24262] ppid=24258 vsize=51680 CPUtime=11.47
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 302 0 0 0 1144 3 0 0 25 0 4 0 1117312631 52920320 5993 4294967295 134512640 135305190 3213978704 3082677440 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=51680 CPUtime=11.49
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 268 0 0 0 1147 2 0 0 25 0 4 0 1117312631 52920320 5993 4294967295 134512640 135305190 3213978704 3074288832 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=51680 CPUtime=11.5
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 573 0 0 0 1149 1 0 0 25 0 4 0 1117312631 52920320 5993 4294967295 134512640 135305190 3213978704 3065900224 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.13
Current children cumulated vsize (KiB) 54100

[startup+25.5119 s]
/proc/loadavg: 4.37 4.57 4.60 6/101 24265
/proc/meminfo: memFree=2982796/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=54256 CPUtime=97.21
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 6728 0 0 0 9707 14 0 0 25 0 4 0 1117312619 55558144 6662 4294967295 134512640 135305190 3213978704 3213976880 134528523 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 13564 6662 79 194 0 13368 0
[pid=24261/tid=24262] ppid=24258 vsize=54256 CPUtime=24.22
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 452 0 0 0 2417 5 0 0 25 0 4 0 1117312631 55558144 6662 4294967295 134512640 135305190 3213978704 3082677440 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=54256 CPUtime=24.29
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 416 0 0 0 2427 2 0 0 25 0 4 0 1117312631 55558144 6662 4294967295 134512640 135305190 3213978704 3074288512 134553353 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=54256 CPUtime=24.3
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 792 0 0 0 2429 1 0 0 25 0 4 0 1117312631 55558144 6662 4294967295 134512640 135305190 3213978704 3065900224 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.28
Current children cumulated vsize (KiB) 56676

[startup+51.1098 s]
/proc/loadavg: 4.47 4.57 4.59 6/102 24422
/proc/meminfo: memFree=2977344/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=58592 CPUtime=199.3
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 7862 0 0 0 19909 21 0 0 25 0 4 0 1117312619 59998208 7796 4294967295 134512640 135305190 3213978704 3213976544 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 14648 7796 79 194 0 14452 0
[pid=24261/tid=24262] ppid=24258 vsize=58592 CPUtime=49.75
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 719 0 0 0 4966 9 0 0 25 0 4 0 1117312631 59998208 7796 4294967295 134512640 135305190 3213978704 3082677440 134528237 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=58592 CPUtime=49.74
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 606 0 0 0 4971 3 0 0 25 0 4 0 1117312631 59998208 7796 4294967295 134512640 135305190 3213978704 3074288832 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=58592 CPUtime=49.84
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 1124 0 0 0 4982 2 0 0 25 0 4 0 1117312631 59998208 7796 4294967295 134512640 135305190 3213978704 3065900224 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.37
Current children cumulated vsize (KiB) 61012

[startup+102.316 s]
/proc/loadavg: 4.45 4.54 4.58 8/102 24513
/proc/meminfo: memFree=2966896/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=69888 CPUtime=403.87
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 10467 0 0 0 40352 35 0 0 25 0 4 0 1117312619 71565312 10401 4294967295 134512640 135305190 3213978704 3213976544 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 17472 10401 79 194 0 17276 0
[pid=24261/tid=24262] ppid=24258 vsize=69888 CPUtime=100.96
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 1195 0 0 0 10087 9 0 0 25 0 4 0 1117312631 71565312 10401 4294967295 134512640 135305190 3213978704 3082677440 134528777 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=69888 CPUtime=100.85
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 1217 0 0 0 10077 8 0 0 25 0 4 0 1117312631 71565312 10401 4294967295 134512640 135305190 3213978704 3074288832 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=69888 CPUtime=101.02
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 1944 0 0 0 10097 5 0 0 25 0 4 0 1117312631 71565312 10401 4294967295 134512640 135305190 3213978704 3065900224 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.94
Current children cumulated vsize (KiB) 72308

[startup+162.311 s]
/proc/loadavg: 4.39 4.52 4.57 7/102 24692
/proc/meminfo: memFree=2962084/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=74340 CPUtime=642.99
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 11589 0 0 0 64247 52 0 0 25 0 4 0 1117312619 76124160 11523 4294967295 134512640 135305190 3213978704 3213976880 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 18585 11523 79 194 0 18389 0
[pid=24261/tid=24262] ppid=24258 vsize=74340 CPUtime=160.94

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

Current children cumulated vsize (KiB) 99060

[startup+582.316 s]
/proc/loadavg: 4.67 4.65 4.62 6/101 25967
/proc/meminfo: memFree=2934932/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=102052 CPUtime=2319.48
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 18339 0 0 0 231786 162 0 0 25 0 4 0 1117312619 104501248 18273 4294967295 134512640 135305190 3213978704 3213976880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 25513 18273 79 194 0 25317 0
[pid=24261/tid=24262] ppid=24258 vsize=102052 CPUtime=580.41
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 2648 0 0 0 58001 40 0 0 25 0 4 0 1117312631 104501248 18273 4294967295 134512640 135305190 3213978704 3082677168 134556720 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=102052 CPUtime=578.83
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3132 0 0 0 57837 46 0 0 25 0 4 0 1117312631 104501248 18273 4294967295 134512640 135305190 3213978704 3074288832 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=102052 CPUtime=579.98
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4877 0 0 0 57962 36 0 0 25 0 4 0 1117312631 104501248 18273 4294967295 134512640 135305190 3213978704 3065899952 134557163 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2320.55
Current children cumulated vsize (KiB) 104472

[startup+642.311 s]
/proc/loadavg: 4.39 4.57 4.59 5/101 26155
/proc/meminfo: memFree=2933164/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=102756 CPUtime=2558.85
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 18547 0 0 0 255701 184 0 0 25 0 4 0 1117312619 105222144 18481 4294967295 134512640 135305190 3213978704 3213976544 134551712 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 25689 18481 79 194 0 25493 0
[pid=24261/tid=24262] ppid=24258 vsize=102756 CPUtime=640.17
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 2668 0 0 0 63974 43 0 0 25 0 4 0 1117312631 105222144 18481 4294967295 134512640 135305190 3213978704 3082677440 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=102756 CPUtime=638.63
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3272 0 0 0 63809 54 0 0 25 0 4 0 1117312631 105222144 18481 4294967295 134512640 135305190 3213978704 3074288832 134528224 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=102756 CPUtime=639.8
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4924 0 0 0 63937 43 0 0 25 0 4 0 1117312631 105222144 18481 4294967295 134512640 135305190 3213978704 3065900224 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2559.92
Current children cumulated vsize (KiB) 105176

[startup+702.316 s]
/proc/loadavg: 4.57 4.60 4.60 5/101 26342
/proc/meminfo: memFree=2933296/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=103188 CPUtime=2798.56
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 18650 0 0 0 279663 193 0 0 25 0 4 0 1117312619 105664512 18584 4294967295 134512640 135305190 3213978704 3213976608 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 25797 18584 79 194 0 25601 0
[pid=24261/tid=24262] ppid=24258 vsize=103188 CPUtime=700.1
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 2670 0 0 0 69965 45 0 0 25 0 4 0 1117312631 105664512 18584 4294967295 134512640 135305190 3213978704 3082677168 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=103188 CPUtime=698.5
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3295 0 0 0 69794 56 0 0 25 0 4 0 1117312631 105664512 18584 4294967295 134512640 135305190 3213978704 3074288832 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=103188 CPUtime=699.69
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4936 0 0 0 69922 47 0 0 25 0 4 0 1117312631 105664512 18584 4294967295 134512640 135305190 3213978704 3065900224 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2799.63
Current children cumulated vsize (KiB) 105608

[startup+762.311 s]
/proc/loadavg: 4.72 4.63 4.61 5/101 26530
/proc/meminfo: memFree=2930808/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=106520 CPUtime=3038.03
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 19484 0 0 0 303600 203 0 0 25 0 4 0 1117312619 109076480 19418 4294967295 134512640 135305190 3213978704 3213976880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 26630 19418 79 194 0 26434 0
[pid=24261/tid=24262] ppid=24258 vsize=106520 CPUtime=760.06
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 2803 0 0 0 75960 46 0 0 25 0 4 0 1117312631 109076480 19418 4294967295 134512640 135305190 3213978704 3082677440 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=106520 CPUtime=758.32
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3855 0 0 0 75770 62 0 0 25 0 4 0 1117312631 109076480 19418 4294967295 134512640 135305190 3213978704 3074288512 134554294 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=106520 CPUtime=759.4
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 5015 0 0 0 75891 49 0 0 25 0 4 0 1117312631 109076480 19418 4294967295 134512640 135305190 3213978704 3065900224 134528615 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.1
Current children cumulated vsize (KiB) 108940

[startup+822.306 s]
/proc/loadavg: 4.39 4.54 4.58 5/101 26722
/proc/meminfo: memFree=2925608/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=110884 CPUtime=3277.48
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 20595 0 0 0 327535 213 0 0 25 0 4 0 1117312619 113545216 20529 4294967295 134512640 135305190 3213978704 3213976880 134528777 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 27721 20529 79 194 0 27525 0
[pid=24261/tid=24262] ppid=24258 vsize=110884 CPUtime=819.9
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3095 0 0 0 81942 48 0 0 25 0 4 0 1117312631 113545216 20529 4294967295 134512640 135305190 3213978704 3082677104 134551513 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=110884 CPUtime=818.03
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3969 0 0 0 81738 65 0 0 25 0 4 0 1117312631 113545216 20529 4294967295 134512640 135305190 3213978704 3074288832 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=110884 CPUtime=819.34
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 5412 0 0 0 81883 51 0 0 25 0 4 0 1117312631 113545216 20529 4294967295 134512640 135305190 3213978704 3065900224 134530595 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.55
Current children cumulated vsize (KiB) 113304

[startup+882.311 s]
/proc/loadavg: 4.59 4.55 4.58 5/101 26910
/proc/meminfo: memFree=2924624/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=111840 CPUtime=3517.17
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 20839 0 0 0 351489 228 0 0 25 0 4 0 1117312619 114524160 20773 4294967295 134512640 135305190 3213978704 3213976608 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 27960 20773 79 194 0 27764 0
[pid=24261/tid=24262] ppid=24258 vsize=111840 CPUtime=879.7
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3095 0 0 0 87918 52 0 0 25 0 4 0 1117312631 114524160 20773 4294967295 134512640 135305190 3213978704 3082677440 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=111840 CPUtime=877.97
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4000 0 0 0 87729 68 0 0 25 0 4 0 1117312631 114524160 20773 4294967295 134512640 135305190 3213978704 3074288448 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=111840 CPUtime=879.3
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 5488 0 0 0 87873 57 0 0 25 0 4 0 1117312631 114524160 20773 4294967295 134512640 135305190 3213978704 3065899952 134556734 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.24
Current children cumulated vsize (KiB) 114260

[startup+942.306 s]
/proc/loadavg: 4.73 4.59 4.58 6/101 27101
/proc/meminfo: memFree=2923732/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=112780 CPUtime=3757
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 21030 0 0 0 375456 244 0 0 25 0 4 0 1117312619 115486720 20964 4294967295 134512640 135305190 3213978704 3213976880 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 28195 20964 79 194 0 27999 0
[pid=24261/tid=24262] ppid=24258 vsize=112780 CPUtime=939.69
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3095 0 0 0 93912 57 0 0 25 0 4 0 1117312631 115486720 20964 4294967295 134512640 135305190 3213978704 3082677440 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=112780 CPUtime=937.87
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4057 0 0 0 93713 74 0 0 25 0 4 0 1117312631 115486720 20964 4294967295 134512640 135305190 3213978704 3074288832 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=112780 CPUtime=939.23
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 5621 0 0 0 93862 61 0 0 25 0 4 0 1117312631 115486720 20964 4294967295 134512640 135305190 3213978704 3065900224 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.07
Current children cumulated vsize (KiB) 115200



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.70 4.59 4.58 5/101 27288
/proc/meminfo: memFree=2923816/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=112972 CPUtime=3987.42
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 21096 0 0 0 398486 256 0 0 25 0 4 0 1117312619 115683328 21030 4294967295 134512640 135305190 3213978704 3213976880 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 28243 21030 79 194 0 28047 0
[pid=24261/tid=24262] ppid=24258 vsize=112972 CPUtime=997.32
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3153 0 0 0 99672 60 0 0 25 0 4 0 1117312631 115683328 21030 4294967295 134512640 135305190 3213978704 3082677168 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=112972 CPUtime=995.33
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4058 0 0 0 99454 79 0 0 25 0 4 0 1117312631 115683328 21030 4294967295 134512640 135305190 3213978704 3074288832 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=112972 CPUtime=996.9
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 5626 0 0 0 99626 64 0 0 25 0 4 0 1117312631 115683328 21030 4294967295 134512640 135305190 3213978704 3065899952 134556720 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3988.49
Current children cumulated vsize (KiB) 115392

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1000.01 s]
/proc/loadavg: 4.70 4.59 4.58 5/101 27288
/proc/meminfo: memFree=2923816/3368532 swapFree=1953788/1959888
[pid=24258] ppid=24256 vsize=2420 CPUtime=1.07
/proc/24258/stat : 24258 (manysat.sh) S 24256 24258 27966 0 -1 4194304 370 4070 0 0 0 0 100 7 18 0 1 0 1117312511 2478080 275 4294967295 134512640 135169312 3218962720 3218958936 3085725422 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/24258/statm: 605 275 231 161 0 44 0
[pid=24261] ppid=24258 vsize=112972 CPUtime=3987.42
/proc/24261/stat : 24261 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202496 21096 0 0 0 398486 256 0 0 25 0 4 0 1117312619 115683328 21030 4294967295 134512640 135305190 3213978704 3213976880 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24261/statm: 28243 21030 79 194 0 28047 0
[pid=24261/tid=24262] ppid=24258 vsize=112972 CPUtime=997.32
/proc/24261/task/24262/stat : 24262 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 3153 0 0 0 99672 60 0 0 25 0 4 0 1117312631 115683328 21030 4294967295 134512640 135305190 3213978704 3082677168 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24261/tid=24263] ppid=24258 vsize=112972 CPUtime=995.33
/proc/24261/task/24263/stat : 24263 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 4058 0 0 0 99454 79 0 0 25 0 4 0 1117312631 115683328 21030 4294967295 134512640 135305190 3213978704 3074288832 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24261/tid=24264] ppid=24258 vsize=112972 CPUtime=996.9
/proc/24261/task/24264/stat : 24264 (manysat1.1_stat) R 24258 24258 27966 0 -1 4202560 5626 0 0 0 99626 64 0 0 25 0 4 0 1117312631 115683328 21030 4294967295 134512640 135305190 3213978704 3065899952 134556720 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3988.49
Current children cumulated vsize (KiB) 115392

Child status: 143
Real time (s): 1000.03
CPU time (s): 3988.52
CPU user time (s): 3985.89
CPU system time (s): 2.63
CPU usage (%): 398.84
Max. virtual memory (cumulated for all children) (KiB): 115392

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

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:01:24
IDJOB=1779541
IDBENCH=70874
IDSOLVER=620
FILE ID=/1779541-1243526484
PBS_JOBID=
Free space on /tmp= 6475 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779541-1243526484/watcher-1779541-1243526484 -o /tmp/evaluation-result-1779541-1243526484/solver-1779541-1243526484 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779541-1243526484.cnf aimd 0

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

MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED= 1297404444

Linux (none) 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.061
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.061
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.12
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.061
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.14
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.061
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3012524 kB
Buffers:         52460 kB
Cached:         202844 kB
SwapCached:       2256 kB
Active:         117560 kB
Inactive:       147316 kB
HighTotal:     2489216 kB
HighFree:      2274808 kB
LowTotal:       879316 kB
LowFree:        737716 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            2932 kB
Writeback:           0 kB
AnonPages:        9056 kB
Mapped:           3232 kB
Slab:            80796 kB
SReclaimable:    67520 kB
SUnreclaim:      13276 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88680 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6475 MiB
End job on  at 2009-05-28 18:18:04