Trace number 2097898

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
Abscon 112v4 ESACUNSAT 34.8947 34.9992

DiagnosticValue
CHECKS634346
NODES0

General information on the benchmark

Namecsp/fapp/fapp23/
normalized-fapp23-1800-0.xml
MD5SUM4455d4457369a89450eaa6e90b2bdf34
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark34.6327
Satisfiable
(Un)Satisfiability was proved
Number of variables1800
Number of constraints63962
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63962
Global constraints used (with number of constraints)

Solver Data 

0.05/0.08	
0.05/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097898-1247414148.xml
0.29/0.30	   
0.29/0.30	   domains being loaded...
0.29/0.34	   
0.29/0.34	   variables being loaded...
0.49/0.58	     nbVariables=1800  nbDomainTypes=24  minDomainSize=46  maxDomainSize=302  nbTotalValues=455735
0.49/0.58	       =>  wckTime=0.342  cpuTime=0.24  mem=25M456
0.49/0.58	   
0.49/0.58	   predicates being loaded...
0.59/0.64	   
0.59/0.64	   constraints being loaded...
20.97/21.02	   
20.97/21.02	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 93M757)
32.71/32.86	     nbConstraints=33337  nbMergedConstraints=30625  nbConvertedConstraints=2090  nbConvertConstraintsChecks=43158330
32.71/32.86	     nbExtensionStructures=913  nbSharedExtensionStructures=1222  nbConflictsStructures=1824
32.71/32.86	     nbSharedConflictsStructures=1672  nbUnbuiltConflictsStructures=4046  nbSharedBinaryRepresentations=364134
32.71/32.86	     nbEvaluationManagers=4957  nbSharedEvaluationManagers=26290  minDegree=10  maxDegree=47  minArity=2  maxArity=2
32.71/32.86	     nbGenerators=0  nbFusions=0  symmetryWckTime=4.428  symmetryCpuTime=3.77
32.71/32.86	       =>  wckTime=32.617  cpuTime=30.57  mem=109M273
33.40/33.56	   
33.40/33.56	   solver IterativeSystematicSolver being built... 
34.19/34.37	       =>  wckTime=34.136  cpuTime=31.11  mem=198M31
34.80/34.92	   
34.80/34.92	   preprocessing
34.80/34.92	     nbConstraintChecks=634346  nbValidityChecks=18675  nbPropagations=44  nbRevisions=2806  nbUselessRevisions=1673
34.80/34.92	     nbRemovedValues=138672  detectedInconsistency=yes
34.80/34.92	       =>  wckTime=0.529  cpuTime=0.51  mem=199M70
34.80/34.92	   
34.80/34.92	   global
34.80/34.92	     nbConstraintChecks=634346  nbValidityChecks=18675  nbPropagations=44  nbRevisions=2806  nbUselessRevisions=1673
34.80/34.92	     nbRestartNogoods=0  solvingWckTime=0.533  solvingCpuTime=0.51  expiredTime=no  totalExploration=yes
34.80/34.92	     nbFoundSolutions=0  globalCpuTime=31.66
34.80/34.92	       =>  wckTime=34.682  cpuTime=31.63  mem=199M70
34.80/34.94	   
34.80/34.94	s UNSATISFIABLE
34.80/34.94	d NODES 0
34.80/34.94	d CHECKS 634346
34.80/34.94	   
34.80/34.94	   totalWckTime=34.762  totalCpuTime=31.68

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097898-1247414148/watcher-2097898-1247414148 -o /tmp/evaluation-result-2097898-1247414148/solver-2097898-1247414148 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097898-1247414148.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.01 4/80 30984
/proc/meminfo: memFree=1729056/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=272 CPUtime=0
/proc/30984/stat : 30984 (java) R 30982 30984 29353 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28481187 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 12591908 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30984/statm: 68 37 28 9 0 6 0

[startup+0.0669079 s]
/proc/loadavg: 2.02 2.03 2.01 4/80 30984
/proc/meminfo: memFree=1729056/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=864144 CPUtime=0.05
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 3068 0 1 0 4 1 0 0 18 0 9 0 28481187 884883456 2553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216036 2553 1222 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144

[startup+0.101942 s]
/proc/loadavg: 2.02 2.03 2.01 4/80 30984
/proc/meminfo: memFree=1729056/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=865980 CPUtime=0.09
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 3839 0 1 0 7 2 0 0 18 0 9 0 28481187 886763520 3282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216495 3283 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980

[startup+0.301948 s]
/proc/loadavg: 2.02 2.03 2.01 4/80 30984
/proc/meminfo: memFree=1729056/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=866492 CPUtime=0.29
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 6125 0 1 0 26 3 0 0 18 0 9 0 28481187 887287808 5491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216623 5491 1987 9 0 211081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866492

[startup+0.70201 s]
/proc/loadavg: 2.02 2.03 2.01 4/80 30984
/proc/meminfo: memFree=1729056/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=867588 CPUtime=0.68
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 12134 0 1 0 62 6 0 0 18 0 9 0 28481187 888410112 11488 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216897 11488 2039 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867588

[startup+1.50214 s]
/proc/loadavg: 2.02 2.03 2.01 3/89 30993
/proc/meminfo: memFree=1672920/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=867500 CPUtime=1.49
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 20882 0 1 0 139 10 0 0 18 0 9 0 28481187 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216875 20210 2029 9 0 211333 0
[pid=30984/tid=30986] ppid=30982 vsize=867500 CPUtime=1.24
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 15794 0 1 0 117 7 0 0 25 0 9 0 28481188 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 104513821 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30987] ppid=30982 vsize=867500 CPUtime=0.06
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 3742 0 0 0 5 1 0 0 17 0 9 0 28481190 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30988] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28481192 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=867500 CPUtime=0.16
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 643 0 0 0 16 0 0 0 16 0 9 0 28481192 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30992] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28481192 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28481192 888320000 20210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867500

[startup+3.10139 s]
/proc/loadavg: 2.02 2.03 2.01 3/89 30993
/proc/meminfo: memFree=1643864/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=867500 CPUtime=3.09
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 25439 0 1 0 297 12 0 0 18 0 9 0 28481187 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216875 24765 2029 9 0 211333 0
[pid=30984/tid=30986] ppid=30982 vsize=867500 CPUtime=2.66
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 15796 0 1 0 258 8 0 0 25 0 9 0 28481188 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4126747834 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30987] ppid=30982 vsize=867500 CPUtime=0.24
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 8296 0 0 0 21 3 0 0 16 0 9 0 28481190 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30988] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28481192 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=867500 CPUtime=0.16
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 644 0 0 0 16 0 0 0 17 0 9 0 28481192 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30992] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28481192 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28481192 888320000 24765 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867500

[startup+6.30291 s]
/proc/loadavg: 2.10 2.05 2.01 3/89 30993
/proc/meminfo: memFree=1618392/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=867500 CPUtime=6.28
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 28665 0 1 0 614 14 0 0 18 0 9 0 28481187 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216875 27984 2032 9 0 211333 0
[pid=30984/tid=30986] ppid=30982 vsize=867500 CPUtime=5.62
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 15834 0 1 0 553 9 0 0 25 0 9 0 28481188 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4126942256 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30987] ppid=30982 vsize=867500 CPUtime=0.42
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 11443 0 0 0 38 4 0 0 17 0 9 0 28481190 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30988] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28481192 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=867500 CPUtime=0.21
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 685 0 0 0 21 0 0 0 15 0 9 0 28481192 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30992] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28481192 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28481192 888320000 27984 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867500

[startup+12.7019 s]
/proc/loadavg: 2.09 2.05 2.01 3/78 31018
/proc/meminfo: memFree=1699184/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=867500 CPUtime=12.68
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 30319 0 1 0 1250 18 0 0 18 0 9 0 28481187 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216875 29635 2032 9 0 211333 0
[pid=30984/tid=30986] ppid=30982 vsize=867500 CPUtime=11.91
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 15839 0 1 0 1179 12 0 0 25 0 9 0 28481188 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4126467491 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30987] ppid=30982 vsize=867500 CPUtime=0.51
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 13084 0 0 0 47 4 0 0 17 0 9 0 28481190 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30988] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28481192 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=867500 CPUtime=0.22
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 693 0 0 0 22 0 0 0 15 0 9 0 28481192 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30992] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28481192 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28481192 888320000 29635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867500

[startup+25.503 s]
/proc/loadavg: 2.21 2.08 2.02 3/89 31032
/proc/meminfo: memFree=1542680/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=867500 CPUtime=25.47
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 36411 0 1 0 2520 27 0 0 18 0 9 0 28481187 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 216875 35719 2033 9 0 211333 0
[pid=30984/tid=30986] ppid=30982 vsize=867500 CPUtime=24.3
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 15849 0 1 0 2412 18 0 0 25 0 9 0 28481188 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4127009190 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30987] ppid=30982 vsize=867500 CPUtime=0.86
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 19137 0 0 0 79 7 0 0 17 0 9 0 28481190 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30988] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28481190 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28481192 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=867500 CPUtime=0.27
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 722 0 0 0 27 0 0 0 16 0 9 0 28481192 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30992] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28481192 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=867500 CPUtime=0
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28481192 888320000 35719 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 867500

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

[startup+31.908 s]
/proc/loadavg: 2.19 2.07 2.02 3/89 31036
/proc/meminfo: memFree=1516816/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=868148 CPUtime=31.82
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 48162 1863 1 0 3106 33 40 3 18 0 9 0 28481187 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 217037 42160 2045 9 0 211495 0
[pid=30984/tid=30986] ppid=30982 vsize=868148 CPUtime=30.24
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 20860 1863 1 0 2961 20 40 3 25 0 9 0 28481188 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4127282858 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30987] ppid=30982 vsize=868148 CPUtime=1.66
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 25582 1863 0 0 114 9 40 3 16 0 9 0 28481190 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30988] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 1863 0 0 0 0 40 3 16 0 9 0 28481190 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 1863 0 0 0 0 40 3 16 0 9 0 28481190 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 1863 0 0 0 0 40 3 24 0 9 0 28481192 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=868148 CPUtime=0.73
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 866 1863 0 0 30 0 40 3 16 0 9 0 28481192 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30992] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 1863 0 0 0 0 40 3 25 0 9 0 28481192 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 13 1863 0 0 0 0 40 3 15 0 9 0 28481192 888983552 42160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.82
Current children cumulated vsize (KiB) 868148

[startup+33.5013 s]
/proc/loadavg: 2.18 2.07 2.02 4/89 31036
/proc/meminfo: memFree=1516624/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=868148 CPUtime=33.4
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 70331 1863 1 0 3261 36 40 3 18 0 9 0 28481187 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 217037 42959 2638 9 0 211495 0
[pid=30984/tid=30986] ppid=30982 vsize=868148 CPUtime=31.18
/proc/30984/task/30986/stat : 30986 (java) S 30982 30984 29353 0 -1 64 22971 1863 1 0 3055 20 40 3 25 0 9 0 28481188 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30987] ppid=30982 vsize=868148 CPUtime=2.29
/proc/30984/task/30987/stat : 30987 (java) R 30982 30984 29353 0 -1 64 45636 1863 0 0 173 13 40 3 21 0 9 0 28481190 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 102768136 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30988] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 16 1863 0 0 0 0 40 3 16 0 9 0 28481190 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30989] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 5 1863 0 0 0 0 40 3 16 0 9 0 28481190 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30990] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 1863 0 0 0 0 40 3 24 0 9 0 28481192 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=868148 CPUtime=0.74
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 870 1863 0 0 31 0 40 3 16 0 9 0 28481192 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30992] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 1863 0 0 0 0 40 3 25 0 9 0 28481192 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=868148 CPUtime=0.43
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 13 1863 0 0 0 0 40 3 15 0 9 0 28481192 888983552 42959 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.4
Current children cumulated vsize (KiB) 868148

[startup+34.3014 s]
/proc/loadavg: 2.18 2.07 2.02 4/89 31036
/proc/meminfo: memFree=1479504/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=868236 CPUtime=34.19
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 97770 1863 1 0 3332 44 40 3 18 0 9 0 28481187 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 217059 58808 2661 9 0 211495 0
[pid=30984/tid=30986] ppid=30982 vsize=868236 CPUtime=31.66
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 33436 1863 1 0 3101 22 40 3 25 0 9 0 28481188 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4126386117 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30987] ppid=30982 vsize=868236 CPUtime=2.55
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 62464 1863 0 0 193 19 40 3 16 0 9 0 28481190 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30988] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 19 1863 0 0 0 0 40 3 16 0 9 0 28481190 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30989] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 24 1863 0 0 0 0 40 3 15 0 9 0 28481190 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30990] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 1863 0 0 0 0 40 3 24 0 9 0 28481192 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=868236 CPUtime=0.79
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 994 1863 0 0 36 0 40 3 15 0 9 0 28481192 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30992] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 1863 0 0 0 0 40 3 25 0 9 0 28481192 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 13 1863 0 0 0 0 40 3 15 0 9 0 28481192 889073664 58808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.19
Current children cumulated vsize (KiB) 868236

[startup+34.7015 s]
/proc/loadavg: 2.18 2.07 2.02 4/89 31036
/proc/meminfo: memFree=1479504/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=868236 CPUtime=34.6
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 97822 1863 1 0 3372 45 40 3 18 0 9 0 28481187 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 217059 58846 2663 9 0 211495 0
[pid=30984/tid=30986] ppid=30982 vsize=868236 CPUtime=32.02
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 33468 1863 1 0 3137 22 40 3 25 0 9 0 28481188 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4127524686 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30987] ppid=30982 vsize=868236 CPUtime=2.55
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 62464 1863 0 0 193 19 40 3 16 0 9 0 28481190 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30988] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 19 1863 0 0 0 0 40 3 16 0 9 0 28481190 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30989] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 24 1863 0 0 0 0 40 3 15 0 9 0 28481190 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30990] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 1863 0 0 0 0 40 3 24 0 9 0 28481192 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=868236 CPUtime=0.82
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 1014 1863 0 0 39 0 40 3 15 0 9 0 28481192 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30992] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 1863 0 0 0 0 40 3 25 0 9 0 28481192 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 13 1863 0 0 0 0 40 3 15 0 9 0 28481192 889073664 58846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.6
Current children cumulated vsize (KiB) 868236

[startup+34.9025 s]
/proc/loadavg: 2.18 2.07 2.02 4/89 31036
/proc/meminfo: memFree=1479504/2055920 swapFree=4192812/4192956
[pid=30984] ppid=30982 vsize=868236 CPUtime=34.8
/proc/30984/stat : 30984 (java) S 30982 30984 29353 0 -1 0 97824 1863 1 0 3392 45 40 3 18 0 9 0 28481187 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30984/statm: 217059 58848 2663 9 0 211495 0
[pid=30984/tid=30986] ppid=30982 vsize=868236 CPUtime=32.22
/proc/30984/task/30986/stat : 30986 (java) R 30982 30984 29353 0 -1 64 33468 1863 1 0 3157 22 40 3 25 0 9 0 28481188 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4127196087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30987] ppid=30982 vsize=868236 CPUtime=2.55
/proc/30984/task/30987/stat : 30987 (java) S 30982 30984 29353 0 -1 64 62464 1863 0 0 193 19 40 3 16 0 9 0 28481190 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30988] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30988/stat : 30988 (java) S 30982 30984 29353 0 -1 64 19 1863 0 0 0 0 40 3 16 0 9 0 28481190 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30989] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30989/stat : 30989 (java) S 30982 30984 29353 0 -1 64 24 1863 0 0 0 0 40 3 15 0 9 0 28481190 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30990] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30990/stat : 30990 (java) S 30982 30984 29353 0 -1 64 2 1863 0 0 0 0 40 3 24 0 9 0 28481192 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30991] ppid=30982 vsize=868236 CPUtime=0.83
/proc/30984/task/30991/stat : 30991 (java) S 30982 30984 29353 0 -1 64 1016 1863 0 0 40 0 40 3 15 0 9 0 28481192 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30984/tid=30992] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30992/stat : 30992 (java) S 30982 30984 29353 0 -1 64 1 1863 0 0 0 0 40 3 25 0 9 0 28481192 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30984/tid=30993] ppid=30982 vsize=868236 CPUtime=0.43
/proc/30984/task/30993/stat : 30993 (java) S 30982 30984 29353 0 -1 64 13 1863 0 0 0 0 40 3 15 0 9 0 28481192 889073664 58848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.8
Current children cumulated vsize (KiB) 868236

Child status: 0
Real time (s): 34.9992
CPU time (s): 34.8947
CPU user time (s): 34.3718
CPU system time (s): 0.52292
CPU usage (%): 99.7015
Max. virtual memory (cumulated for all children) (KiB): 868236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.3718
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99720
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2950
involuntary context switches= 3228

runsolver used 0.050992 second user time and 0.120981 second system time

The end

Launcher Data 

Begin job on node26 at 2009-07-12 17:55:49
IDJOB=2097898
IDBENCH=57959
IDSOLVER=774
FILE ID=node26/2097898-1247414148
PBS_JOBID= 9510592
Free space on /tmp= 66384 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp23/normalized-fapp23-1800-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097898-1247414148/watcher-2097898-1247414148 -o /tmp/evaluation-result-2097898-1247414148/solver-2097898-1247414148 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097898-1247414148.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4455d4457369a89450eaa6e90b2bdf34
RANDOM SEED=223929495

node26.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.281
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.281
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1729536 kB
Buffers:         37512 kB
Cached:         128204 kB
SwapCached:          0 kB
Active:         180600 kB
Inactive:        90452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1729536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           15788 kB
Writeback:           0 kB
Mapped:         123400 kB
Slab:            40456 kB
Committed_AS:   987936 kB
PageTables:       1924 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node26 at 2009-07-12 17:56:24