Trace number 235528

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, and are wall clock time (not CPU 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 109 ESACSAT 77.8812 78.0298

DiagnosticValue
CHECKS638690653
NODES20669

General information on the benchmark

Nametaillard/os-taillard-10/
os-taillard-10-100-5.xml
MD5SUMb441aa0fb65ae62982067745281981f0
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.402938
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size538
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/235528-1168338276/unknown.xml
0.35	   
0.35	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=100  nbDomainTypes=100  minDomainSize=440  maxDomainSize=538
0.42	       =>  wckTime=0.124  cpuTime=0.1  mem=8M840
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
56.26	     nbConstraints=900  nbConvertedConstraints=900  nbConvertConstraintsChecks=218609402  nbExtensionStructures=900
56.26	     nbSharedExtensionStructures=0  nbConflictsStructures=900  nbSharedConflictsStructures=0
56.26	     nbSharedBinaryRepresentations=299802  maxDegree=18  maxArity=2
56.26	       =>  wckTime=55.967  cpuTime=55.12  mem=99M932
56.49	   
56.49	   solver IterativeSystematicSolver being built... 
56.64	       =>  wckTime=56.351  cpuTime=55.25  mem=94M466
56.81	   
56.81	   preprocessing
56.81	     nbConstraintChecks=2992967  nbPropagations=1497  nbRevisions=2383  nbUselessRevisions=948  nbSingletonTests=103
56.81	     nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
56.81	       =>  wckTime=0.16  cpuTime=0.14  mem=94M466
57.09	   
57.09	   search
57.09	     run=0  nbConstraintChecks=1665033  nbPropagations=2534  nbRevisions=5508  nbUselessRevisions=2788  nbAssignments=87
57.09	     nbFailedAssignments=36  nbBacktracks=10  nbVisitedNodes=130  nbRestartNogoods=0  mapSize=7  nbInferences=0
57.09	     nbTooLargeKeys=0
57.10	       =>  wckTime=0.446  cpuTime=0.41  mem=95M408
57.19	   
57.19	   search
57.19	     run=1  nbConstraintChecks=3458744  nbPropagations=6369  nbRevisions=15767  nbUselessRevisions=8199
57.19	     nbAssignments=246  nbFailedAssignments=140  nbBacktracks=25  nbVisitedNodes=408  nbRestartNogoods=3  mapSize=22
57.19	     nbInferences=0  nbTooLargeKeys=0
57.19	       =>  wckTime=0.538  cpuTime=0.5  mem=95M408
59.29	   
59.29	   search
59.29	     run=2  nbConstraintChecks=68399580  nbPropagations=33453  nbRevisions=81430  nbUselessRevisions=40294
59.29	     nbAssignments=2025  nbFailedAssignments=587  nbBacktracks=47  nbVisitedNodes=1356  nbRestartNogoods=43  mapSize=44
59.29	     nbInferences=0  nbTooLargeKeys=0
59.29	       =>  wckTime=2.646  cpuTime=2.58  mem=95M408
59.62	   
59.62	   search
59.62	     run=3  nbConstraintChecks=79027792  nbPropagations=63776  nbRevisions=167700  nbUselessRevisions=83007
59.62	     nbAssignments=2567  nbFailedAssignments=1053  nbBacktracks=82  nbVisitedNodes=2395  nbRestartNogoods=50  mapSize=77
59.62	     nbInferences=0  nbTooLargeKeys=0
59.62	       =>  wckTime=2.976  cpuTime=2.9  mem=95M408
60.07	   
60.07	   search
60.07	     run=4  nbConstraintChecks=90567908  nbPropagations=99689  nbRevisions=294986  nbUselessRevisions=151293
60.07	     nbAssignments=3142  nbFailedAssignments=1503  nbBacktracks=132  nbVisitedNodes=3462  nbRestartNogoods=52
60.07	     mapSize=120  nbInferences=8  nbTooLargeKeys=0
60.07	       =>  wckTime=3.417  cpuTime=3.34  mem=96M351
62.42	   
62.42	   search
62.42	     run=5  nbConstraintChecks=157464060  nbPropagations=162801  nbRevisions=504155  nbUselessRevisions=260208
62.42	     nbAssignments=5278  nbFailedAssignments=2142  nbBacktracks=207  nbVisitedNodes=4891  nbRestartNogoods=86
62.42	     mapSize=189  nbInferences=8  nbTooLargeKeys=0
62.42	       =>  wckTime=5.769  cpuTime=5.68  mem=96M351
65.63	   
65.63	   search
65.63	     run=6  nbConstraintChecks=309179688  nbPropagations=262598  nbRevisions=873160  nbUselessRevisions=456602
65.63	     nbAssignments=8112  nbFailedAssignments=4301  nbBacktracks=320  nbVisitedNodes=9476  nbRestartNogoods=109
65.63	     mapSize=301  nbInferences=8  nbTooLargeKeys=0
65.63	       =>  wckTime=8.978  cpuTime=8.89  mem=97M293
68.96	   
68.96	   search
68.96	     run=7  nbConstraintChecks=401417755  nbPropagations=411641  nbRevisions=1485998  nbUselessRevisions=811373
68.96	     nbAssignments=12765  nbFailedAssignments=6755  nbBacktracks=491  nbVisitedNodes=14924  nbRestartNogoods=170
68.96	     mapSize=464  nbInferences=92  nbTooLargeKeys=0
68.96	       =>  wckTime=12.317  cpuTime=12.22  mem=98M235
75.45	   
75.45	   search
75.45	     run=8  nbConstraintChecks=572348622  nbPropagations=650919  nbRevisions=2660929  nbUselessRevisions=1561262
75.45	     nbAssignments=18566  nbFailedAssignments=9149  nbBacktracks=747  nbVisitedNodes=20210  nbRestartNogoods=229
75.45	     mapSize=678  nbInferences=92  nbTooLargeKeys=0
75.45	       =>  wckTime=18.798  cpuTime=18.68  mem=99M178
77.94	   
77.95	   search
77.95	     run=9  nbConstraintChecks=635697686  nbPropagations=923930  nbRevisions=3924278  nbUselessRevisions=2360594
77.95	     nbAssignments=20669  nbFailedAssignments=9308  nbBacktracks=763  nbVisitedNodes=20655  nbRestartNogoods=298
77.95	     mapSize=691  nbInferences=93  nbTooLargeKeys=0
77.95	       =>  wckTime=21.297  cpuTime=21.17  mem=100M120
77.95	   
77.95	   global
77.95	     nbConstraintChecks=638690653  nbPropagations=925427  nbRevisions=3926661  nbUselessRevisions=2361542
77.95	     nbRestartNogoods=298  solvingWckTime=21.299  solvingCpuTime=21.18  expiredTime=no  totalExploration=no
77.95	     nbFoundSolutions=1  globalCpuTime=76.47
77.95	       =>  wckTime=77.654  cpuTime=76.43  mem=100M120
77.95	   
77.95	s SATISFIABLE
77.95	v 369 75 291 504 199 399 0 132 169 422 399 112 0 345 214 300 291 441 56 192 286 292 182 56 514 156 506 233 395 0 391 164 332 439 196 134 234 31 301 0 296 405 199 448 87 331 353 317 0 122 300 0 452 73 418 192 384 469 213 166 234 301 75 181 419 176 0 369 486 251 0 115 296 31 467 214 353 518 441 146 0 192 87 337 59 124 116 443 384 286 251 192 385 332 130 395 73 409 448 0 
77.95	d NODES 20669
77.95	d CHECKS 638690653
77.95	   
77.95	   totalWckTime=77.729  totalCpuTime=76.47

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-235528-1168338276 -o ROOT/results/node4/solver-235528-1168338276 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235528-1168338276/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 1.96 2.08 2.03 3/86 31664
/proc/meminfo: memFree=857208/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=172 CPUtime=0
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 182223189 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/31663/statm: 43 24 18 14 0 3 0

[startup+0.107585 s]
/proc/loadavg: 1.96 2.08 2.03 3/86 31664
/proc/meminfo: memFree=857208/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=914988 CPUtime=0.09
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 3073 0 1 0 7 2 0 0 23 0 8 0 182223189 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152096428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515627 s]
/proc/loadavg: 1.96 2.08 2.03 3/86 31664
/proc/meminfo: memFree=857208/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915328 CPUtime=0.5
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 7031 0 1 0 45 5 0 0 25 0 8 0 182223189 937295872 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073588974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228832 6772 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3387 s]
/proc/loadavg: 1.96 2.08 2.03 3/93 31671
/proc/meminfo: memFree=823936/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915448 CPUtime=1.32
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 8425 0 1 0 126 6 0 0 25 0 8 0 182223189 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228862 8163 2167 14 0 215332 0
[pid=31663/tid=31665] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31665/stat : 31665 (java) S 31661 31663 31596 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182223192 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31666] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31666/stat : 31666 (java) S 31661 31663 31596 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 182223193 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31667] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31667/stat : 31667 (java) S 31661 31663 31596 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 182223193 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31668] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31668/stat : 31668 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 182223196 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31669] ppid=31661 vsize=915448 CPUtime=0.12
/proc/31663/task/31669/stat : 31669 (java) S 31661 31663 31596 0 -1 64 358 0 0 0 12 0 0 0 16 0 8 0 182223196 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31670] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31670/stat : 31670 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182223196 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31671] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31671/stat : 31671 (java) S 31661 31663 31596 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182223196 937418752 8163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915448

[startup+2.99186 s]
/proc/loadavg: 1.96 2.08 2.03 3/93 31671
/proc/meminfo: memFree=813056/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915448 CPUtime=2.97
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 9383 0 1 0 291 6 0 0 25 0 8 0 182223189 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228862 9121 2167 14 0 215332 0
[pid=31663/tid=31665] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31665/stat : 31665 (java) S 31661 31663 31596 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182223192 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31666] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31666/stat : 31666 (java) S 31661 31663 31596 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 182223193 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31667] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31667/stat : 31667 (java) S 31661 31663 31596 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 182223193 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31668] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31668/stat : 31668 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 182223196 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31669] ppid=31661 vsize=915448 CPUtime=0.13
/proc/31663/task/31669/stat : 31669 (java) S 31661 31663 31596 0 -1 64 359 0 0 0 13 0 0 0 16 0 8 0 182223196 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31670] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31670/stat : 31670 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182223196 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31671] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31671/stat : 31671 (java) S 31661 31663 31596 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182223196 937418752 9121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915448

[startup+6.27418 s]
/proc/loadavg: 1.96 2.08 2.03 3/93 31671
/proc/meminfo: memFree=775616/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915448 CPUtime=6.26
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 11116 0 1 0 618 8 0 0 25 0 8 0 182223189 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754203 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228862 10854 2167 14 0 215332 0
[pid=31663/tid=31665] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31665/stat : 31665 (java) S 31661 31663 31596 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182223192 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31666] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31666/stat : 31666 (java) S 31661 31663 31596 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 182223193 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31667] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31667/stat : 31667 (java) S 31661 31663 31596 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 182223193 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31668] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31668/stat : 31668 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 182223196 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31669] ppid=31661 vsize=915448 CPUtime=0.14
/proc/31663/task/31669/stat : 31669 (java) S 31661 31663 31596 0 -1 64 360 0 0 0 13 1 0 0 16 0 8 0 182223196 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31670] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31670/stat : 31670 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182223196 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31671] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31671/stat : 31671 (java) S 31661 31663 31596 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182223196 937418752 10854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915448

[startup+12.7678 s]
/proc/loadavg: 1.96 2.08 2.03 3/93 31671
/proc/meminfo: memFree=705280/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915448 CPUtime=12.75
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 14706 0 1 0 1265 10 0 0 25 0 8 0 182223189 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228862 14444 2168 14 0 215332 0
[pid=31663/tid=31665] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31665/stat : 31665 (java) S 31661 31663 31596 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182223192 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31666] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31666/stat : 31666 (java) S 31661 31663 31596 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 182223193 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31667] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31667/stat : 31667 (java) S 31661 31663 31596 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 182223193 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31668] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31668/stat : 31668 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 182223196 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31669] ppid=31661 vsize=915448 CPUtime=0.16
/proc/31663/task/31669/stat : 31669 (java) S 31661 31663 31596 0 -1 64 372 0 0 0 15 1 0 0 16 0 8 0 182223196 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31670] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31670/stat : 31670 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182223196 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31671] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31671/stat : 31671 (java) S 31661 31663 31596 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182223196 937418752 14444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915448

[startup+25.613 s]
/proc/loadavg: 2.04 2.09 2.04 3/93 31709
/proc/meminfo: memFree=1493888/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915448 CPUtime=25.58
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 23697 0 1 0 2543 15 0 0 25 0 8 0 182223189 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228862 23433 2179 14 0 215332 0
[pid=31663/tid=31665] ppid=31661 vsize=915448 CPUtime=0.27
/proc/31663/task/31665/stat : 31665 (java) S 31661 31663 31596 0 -1 64 7193 0 0 0 24 3 0 0 16 0 8 0 182223192 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31666] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31666/stat : 31666 (java) S 31661 31663 31596 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182223193 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31667] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31667/stat : 31667 (java) S 31661 31663 31596 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182223193 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31668] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31668/stat : 31668 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 182223196 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31669] ppid=31661 vsize=915448 CPUtime=0.16
/proc/31663/task/31669/stat : 31669 (java) S 31661 31663 31596 0 -1 64 373 0 0 0 15 1 0 0 17 0 8 0 182223196 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31670] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31670/stat : 31670 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182223196 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31671] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31671/stat : 31671 (java) S 31661 31663 31596 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182223196 937418752 23433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915448

[startup+51.2285 s]
/proc/loadavg: 2.03 2.08 2.03 3/93 31709
/proc/meminfo: memFree=1221504/2055920 swapFree=4182144/4192956
[pid=31663] ppid=31661 vsize=915448 CPUtime=51.16
/proc/31663/stat : 31663 (java) R 31661 31663 31596 0 -1 0 33690 0 1 0 5094 22 0 0 25 0 8 0 182223189 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31663/statm: 228862 33423 2179 14 0 215332 0
[pid=31663/tid=31665] ppid=31661 vsize=915448 CPUtime=0.65
/proc/31663/task/31665/stat : 31665 (java) S 31661 31663 31596 0 -1 64 17123 0 0 0 58 7 0 0 16 0 8 0 182223192 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31666] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31666/stat : 31666 (java) S 31661 31663 31596 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182223193 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31667] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31667/stat : 31667 (java) S 31661 31663 31596 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182223193 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31668] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31668/stat : 31668 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 182223196 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31669] ppid=31661 vsize=915448 CPUtime=0.17
/proc/31663/task/31669/stat : 31669 (java) S 31661 31663 31596 0 -1 64 378 0 0 0 16 1 0 0 17 0 8 0 182223196 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31670] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31670/stat : 31670 (java) S 31661 31663 31596 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182223196 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31663/tid=31671] ppid=31661 vsize=915448 CPUtime=0
/proc/31663/task/31671/stat : 31671 (java) S 31661 31663 31596 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182223196 937418752 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915448

Child status: 0
Real time (s): 78.0298
CPU time (s): 77.8812
CPU user time (s): 77.5892
CPU system time (s): 0.291955
CPU usage (%): 99.8095
Max. virtual memory (cumulated for all children) (KiB): 915448

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

runsolver used 0.100984 s user time and 0.254961 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Jan  9 10:24:36 UTC 2007


IDJOB= 235528
IDBENCH= 6776
FILE ID= node4/235528-1168338276

PBS_JOBID= 3503138

Free space on /tmp= 66530 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-100-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235528-1168338276/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-235528-1168338276 -o ROOT/results/node4/solver-235528-1168338276 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235528-1168338276/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b441aa0fb65ae62982067745281981f0

RANDOM SEED= 141040122

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.223
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.223
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:        857688 kB
Buffers:         56884 kB
Cached:         232572 kB
SwapCached:       2060 kB
Active:         913176 kB
Inactive:       222984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        857688 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1936 kB
Writeback:           0 kB
Mapped:         857516 kB
Slab:            45112 kB
Committed_AS:  6266640 kB
PageTables:       3924 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= 66530 MiB



End job on node4 on Tue Jan  9 10:25:54 UTC 2007