Trace number 1044914

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 ESACSAT 16.5225 16.5913

DiagnosticValue
CHECKS41489
NODES0

General information on the benchmark

Namecsp/marc/
normalized-large-88-sat_ext.xml
MD5SUMdd27e97e48b6e78409370aee787bfb74
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.162
Satisfiable
(Un)Satisfiability was proved
Number of variables88
Number of constraints3828
Maximum constraint arity2
Maximum domain size88
Number of constraints which are defined in extension3828
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1044914-1215023377.xml
0.29/0.32	   
0.29/0.32	   domains being loaded...
0.29/0.32	   
0.29/0.32	   variables being loaded...
0.29/0.36	     nbVariables=88  nbDomainTypes=1  minDomainSize=88  maxDomainSize=88  nbTotalValues=7744
0.29/0.36	       =>  wckTime=0.119  cpuTime=0.1  mem=7M919
0.29/0.36	   
0.29/0.36	   relations being loaded...
2.69/2.79	   
2.69/2.79	   INFO : Contraction of relations, mem = 100M59
13.48/13.51	   
13.48/13.51	   constraints being loaded...
15.87/15.94	     nbConstraints=3828  nbRelationTypes=3827  nbExtensionStructures=3827  nbSharedExtensionStructures=1
15.87/15.95	     nbConflictsStructures=3827  nbSharedConflictsStructures=1  nbSharedBinaryRepresentations=673201  minDegree=87
15.87/15.95	     maxDegree=87  minArity=2  maxArity=2  nbGenerators=0  nbFusions=0  symmetryWckTime=0.193  symmetryCpuTime=0.09
15.87/15.95	       =>  wckTime=15.69  cpuTime=14.31  mem=121M961
16.17/16.28	   
16.17/16.29	   solver IterativeSystematicSolver being built... 
16.35/16.44	       =>  wckTime=16.192  cpuTime=14.43  mem=124M409
16.46/16.51	   
16.46/16.51	   preprocessing
16.46/16.51	     nbConstraintChecks=41489  nbPropagations=177  nbRevisions=11706  nbUselessRevisions=11498  nbSingletonTests=88
16.46/16.51	     nbEffectiveSingletonTests=0  nbACRemovals=7656  nbFoundSingletons=0  firstSolutionCpuTime=14.47
16.46/16.51	     nbRemovedValues=7656  detectedInconsistency=no
16.46/16.51	       =>  wckTime=0.064  cpuTime=0.04  mem=124M409
16.46/16.51	   
16.46/16.51	   global
16.46/16.51	     nbConstraintChecks=41489  nbPropagations=177  nbRevisions=11706  nbUselessRevisions=11498  nbRestartNogoods=0
16.46/16.51	     solvingWckTime=0.068  solvingCpuTime=0.05  expiredTime=no  totalExploration=no  nbFoundSolutions=1
16.46/16.51	     firstSolutionCpuTime=14.47  globalCpuTime=14.52
16.46/16.51	       =>  wckTime=16.263  cpuTime=14.48  mem=125M396
16.46/16.51	   
16.46/16.51	s SATISFIABLE
16.46/16.51	v 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 
16.46/16.51	d NODES 0
16.46/16.51	d CHECKS 41489
16.46/16.52	   
16.46/16.52	   totalWckTime=16.334  totalCpuTime=14.53

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044914-1215023377/watcher-1044914-1215023377 -o /tmp/evaluation-result-1044914-1215023377/solver-1044914-1215023377 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044914-1215023377.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=1616 CPUtime=0
/proc/14246/stat : 14246 (java) D 14244 14246 13556 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 1981311100 1654784 126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14246/statm: 404 151 125 9 0 46 0

[startup+0.028945 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=861876 CPUtime=0.03
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 2251 0 1 0 2 1 0 0 18 0 5 0 1981311100 882561024 1862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.153327 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=865884 CPUtime=0.14
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 4201 0 1 0 12 2 0 0 18 0 9 0 1981311100 886665216 3636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216471 3636 1813 9 0 211026 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865884

[startup+0.301344 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=867284 CPUtime=0.29
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 5869 0 1 0 26 3 0 0 18 0 9 0 1981311100 888098816 5243 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216821 5244 1953 9 0 211349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 867284

[startup+0.70139 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=867388 CPUtime=0.69
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 14308 0 1 0 61 8 0 0 18 0 9 0 1981311100 888205312 13679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216847 13680 1968 9 0 211375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867388

[startup+1.50148 s]
/proc/loadavg: 2.48 2.14 2.03 3/102 14255
/proc/meminfo: memFree=1302104/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=867972 CPUtime=1.48
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 25526 0 1 0 135 13 0 0 18 0 9 0 1981311100 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216993 24893 1982 9 0 211521 0
[pid=14246/tid=14247] ppid=14244 vsize=867972 CPUtime=1.19
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15650 0 1 0 111 8 0 0 25 0 9 0 1981311101 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4126596520 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=867972 CPUtime=0.18
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 8715 0 0 0 15 3 0 0 17 0 9 0 1981311103 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=867972 CPUtime=0.08
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 465 0 0 0 8 0 0 0 16 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867972

[startup+3.10166 s]
/proc/loadavg: 2.48 2.14 2.03 3/102 14255
/proc/meminfo: memFree=1265816/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868160 CPUtime=3.09
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 33372 0 1 0 292 17 0 0 18 0 9 0 1981311100 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217040 32686 2047 9 0 211568 0
[pid=14246/tid=14247] ppid=14244 vsize=868160 CPUtime=2.48
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15661 0 1 0 239 9 0 0 25 0 9 0 1981311101 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868160 CPUtime=0.47
/proc/14246/task/14249/stat : 14249 (java) R 14244 14246 13556 0 -1 64 16524 0 0 0 41 6 0 0 16 0 9 0 1981311103 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868160 CPUtime=0.1
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 491 0 0 0 10 0 0 0 16 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 868160

[startup+6.30301 s]
/proc/loadavg: 2.48 2.14 2.03 3/102 14255
/proc/meminfo: memFree=1249688/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868384 CPUtime=6.29
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 34333 0 1 0 609 20 0 0 18 0 9 0 1981311100 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217096 33509 2609 9 0 211624 0
[pid=14246/tid=14247] ppid=14244 vsize=868384 CPUtime=5.48
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15668 0 1 0 536 12 0 0 25 0 9 0 1981311101 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868384 CPUtime=0.64
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 17373 0 0 0 58 6 0 0 16 0 9 0 1981311103 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868384 CPUtime=0.13
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 596 0 0 0 13 0 0 0 15 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 868384

[startup+12.7027 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1223008/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868384 CPUtime=12.68
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 42021 0 1 0 1238 30 0 0 18 0 9 0 1981311100 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217096 41183 2610 9 0 211624 0
[pid=14246/tid=14247] ppid=14244 vsize=868384 CPUtime=11.56
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15682 0 1 0 1137 19 0 0 25 0 9 0 1981311101 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4126412759 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868384 CPUtime=0.95
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 25042 0 0 0 86 9 0 0 16 0 9 0 1981311103 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868384 CPUtime=0.14
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 601 0 0 0 14 0 0 0 16 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 868384

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

[startup+14.3079 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1213856/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868384 CPUtime=14.29
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 43241 0 1 0 1397 32 0 0 18 0 9 0 1981311100 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217096 42392 2612 9 0 211624 0
[pid=14246/tid=14247] ppid=14244 vsize=868384 CPUtime=13.08
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15722 0 1 0 1288 20 0 0 25 0 9 0 1981311101 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4126883273 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868384 CPUtime=1
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 26138 0 0 0 90 10 0 0 16 0 9 0 1981311103 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868384 CPUtime=0.19
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 685 0 0 0 18 1 0 0 15 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 868384

[startup+15.9021 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1213856/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=869032 CPUtime=15.87
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 46167 323 1 0 1548 35 3 1 18 0 10 0 1981311100 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217258 44317 2614 9 0 211786 0
[pid=14246/tid=14247] ppid=14244 vsize=869032 CPUtime=14.52
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 16543 323 1 0 1428 20 3 1 16 0 10 0 1981311101 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4125924542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14249] ppid=14244 vsize=869032 CPUtime=1.12
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 28021 323 0 0 97 11 3 1 17 0 10 0 1981311103 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14250] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 323 0 0 0 0 3 1 16 0 10 0 1981311103 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 323 0 0 0 0 3 1 16 0 10 0 1981311103 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 18 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=869032 CPUtime=0.27
/proc/14246/task/14253/stat : 14253 (java) R 14244 14246 13556 0 -1 64 767 323 0 0 22 1 3 1 16 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 102017902 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14254] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 19 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 10 323 0 0 0 0 3 1 15 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 869032

[startup+16.3011 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1213856/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=869120 CPUtime=16.26
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 57127 323 1 0 1585 37 3 1 18 0 10 0 1981311100 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217280 46180 2635 9 0 211786 0
[pid=14246/tid=14247] ppid=14244 vsize=869120 CPUtime=14.56
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 17324 323 1 0 1432 20 3 1 17 0 10 0 1981311101 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4125976360 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14249] ppid=14244 vsize=869120 CPUtime=1.46
/proc/14246/task/14249/stat : 14249 (java) R 14244 14246 13556 0 -1 64 38117 323 0 0 129 13 3 1 18 0 10 0 1981311103 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14250] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 18 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14251] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 9 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14252] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 18 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=869120 CPUtime=0.27
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 841 323 0 0 22 1 3 1 15 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14254] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 19 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 10 323 0 0 0 0 3 1 15 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.26
Current children cumulated vsize (KiB) 869120

[startup+16.5061 s]
/proc/loadavg: 2.68 2.20 2.05 5/104 14259
/proc/meminfo: memFree=1198088/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=869120 CPUtime=16.46
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 60237 323 1 0 1603 39 3 1 18 0 10 0 1981311100 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217280 46311 2636 9 0 211786 0
[pid=14259] ppid=14246 vsize=144 CPUtime=0
/proc/14259/stat : 14259 (rm) R 14246 14246 13556 0 -1 4194304 47 0 0 0 0 0 0 0 19 0 1 0 1981312687 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 259412522377 0 4 0 0 0 0 0 17 1 0 0
/proc/14259/statm: 36 22 16 8 0 3 0
[pid=14246/tid=14247] ppid=14244 vsize=869120 CPUtime=14.7
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 20350 323 1 0 1445 21 3 1 17 0 10 0 1981311101 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4127159078 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14249] ppid=14244 vsize=869120 CPUtime=1.46
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 38117 323 0 0 129 13 3 1 16 0 10 0 1981311103 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 18 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14251] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 9 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 18 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=869120 CPUtime=0.32
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 925 323 0 0 27 1 3 1 16 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14254] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 19 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 10 323 0 0 0 0 3 1 15 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14258] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14258/stat : 14258 (java) S 14244 14246 13556 0 -1 64 49 323 0 0 0 0 3 1 17 0 10 0 1981312687 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.46
Current children cumulated vsize (KiB) 869264

Child status: 0
Real time (s): 16.5913
CPU time (s): 16.5225
CPU user time (s): 16.0826
CPU system time (s): 0.439933
CPU usage (%): 99.5853
Max. virtual memory (cumulated for all children) (KiB): 869264

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

runsolver used 0.023996 second user time and 0.065989 second system time

The end

Launcher Data (download as text)

Begin job on node42 at 2008-07-02 20:29:46
IDJOB=1044914
IDBENCH=53553
IDSOLVER=364
FILE ID=node42/1044914-1215023377
PBS_JOBID= 7874385
Free space on /tmp= 66432 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/marc/normalized-large-88-sat_ext.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044914-1215023377/watcher-1044914-1215023377 -o /tmp/evaluation-result-1044914-1215023377/solver-1044914-1215023377 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044914-1215023377.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= dd27e97e48b6e78409370aee787bfb74
RANDOM SEED=129771018

node42.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.214
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.214
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:       1371656 kB
Buffers:         52656 kB
Cached:         457064 kB
SwapCached:       6808 kB
Active:         360520 kB
Inactive:       249108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1371656 kB
SwapTotal:     4192956 kB
SwapFree:      4180076 kB
Dirty:           86376 kB
Writeback:           0 kB
Mapped:         116292 kB
Slab:            59180 kB
Committed_AS:  4124680 kB
PageTables:       2272 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= 66428 MiB
End job on node42 at 2008-07-02 20:30:03