Trace number 247399

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 118.565 119.399

DiagnosticValue
CHECKS39782224
NODES80842

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-3_ext.xml
MD5SUMa89165accfc02d89a8e045a0f4b7d6c6
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark34.5147
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/247399-1168392260/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.42	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
4.15	   
4.15	   INFO : Contraction of relations, mem = 103M220
6.64	   
6.64	   constraints being loaded...
10.64	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
10.64	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=8
10.64	       =>  wckTime=10.321  cpuTime=8.2  mem=228M223
11.75	   
11.75	   solver IterativeSystematicSolver being built... 
11.92	       =>  wckTime=11.599  cpuTime=8.34  mem=143M971
11.98	   
11.98	   preprocessing
11.98	     nbConstraintChecks=5246  nbValidityChecks=8981  nbPropagations=58  nbRevisions=1080  nbUselessRevisions=1034
11.98	     nbSingletonTests=22  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
11.98	       =>  wckTime=0.053  cpuTime=0.05  mem=143M971
12.04	   
12.04	   search
12.04	     run=0  nbConstraintChecks=11642  nbValidityChecks=17321  nbPropagations=184  nbRevisions=3164
12.04	     nbUselessRevisions=2870  nbAssignments=26  nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=41
12.04	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
12.04	       =>  wckTime=0.113  cpuTime=0.1  mem=143M971
12.10	   
12.10	   search
12.10	     run=1  nbConstraintChecks=27093  nbValidityChecks=42165  nbPropagations=550  nbRevisions=9446
12.10	     nbUselessRevisions=8493  nbAssignments=64  nbFailedAssignments=23  nbBacktracks=26  nbVisitedNodes=105
12.10	     nbRestartNogoods=2  mapSize=23  nbInferences=0  nbTooLargeKeys=0
12.10	       =>  wckTime=0.176  cpuTime=0.16  mem=143M971
12.19	   
12.19	   search
12.19	     run=2  nbConstraintChecks=49814  nbValidityChecks=77157  nbPropagations=1188  nbRevisions=20188
12.19	     nbUselessRevisions=17978  nbAssignments=118  nbFailedAssignments=48  nbBacktracks=50  nbVisitedNodes=195
12.19	     nbRestartNogoods=6  mapSize=42  nbInferences=0  nbTooLargeKeys=0
12.19	       =>  wckTime=0.262  cpuTime=0.23  mem=143M971
12.28	   
12.28	   search
12.28	     run=3  nbConstraintChecks=75909  nbValidityChecks=117883  nbPropagations=2153  nbRevisions=36218
12.28	     nbUselessRevisions=32087  nbAssignments=185  nbFailedAssignments=75  nbBacktracks=83  nbVisitedNodes=305
12.28	     nbRestartNogoods=7  mapSize=65  nbInferences=0  nbTooLargeKeys=0
12.28	       =>  wckTime=0.355  cpuTime=0.31  mem=143M971
12.39	   
12.39	   search
12.39	     run=4  nbConstraintChecks=111870  nbValidityChecks=171821  nbPropagations=3548  nbRevisions=59033
12.39	     nbUselessRevisions=52129  nbAssignments=271  nbFailedAssignments=103  nbBacktracks=135  nbVisitedNodes=441
12.39	     nbRestartNogoods=11  mapSize=100  nbInferences=0  nbTooLargeKeys=0
12.39	       =>  wckTime=0.464  cpuTime=0.42  mem=143M971
12.58	   
12.58	   search
12.58	     run=5  nbConstraintChecks=172202  nbValidityChecks=264409  nbPropagations=5678  nbRevisions=93517
12.58	     nbUselessRevisions=82279  nbAssignments=423  nbFailedAssignments=169  nbBacktracks=214  nbVisitedNodes=694
12.58	     nbRestartNogoods=14  mapSize=158  nbInferences=0  nbTooLargeKeys=0
12.58	       =>  wckTime=0.656  cpuTime=0.6  mem=143M971
12.86	   
12.86	   search
12.86	     run=6  nbConstraintChecks=265882  nbValidityChecks=405484  nbPropagations=8945  nbRevisions=145961
12.86	     nbUselessRevisions=127873  nbAssignments=635  nbFailedAssignments=259  nbBacktracks=329  nbVisitedNodes=1051
12.86	     nbRestartNogoods=19  mapSize=237  nbInferences=0  nbTooLargeKeys=0
12.86	       =>  wckTime=0.939  cpuTime=0.88  mem=143M971
13.37	   
13.37	   search
13.37	     run=7  nbConstraintChecks=448238  nbValidityChecks=673323  nbPropagations=14206  nbRevisions=230299
13.37	     nbUselessRevisions=200885  nbAssignments=966  nbFailedAssignments=414  nbBacktracks=501  nbVisitedNodes=1643
13.37	     nbRestartNogoods=28  mapSize=375  nbInferences=0  nbTooLargeKeys=0
13.37	       =>  wckTime=1.447  cpuTime=1.39  mem=143M971
14.11	   
14.11	   search
14.11	     run=8  nbConstraintChecks=708667  nbValidityChecks=1058747  nbPropagations=22367  nbRevisions=360539
14.11	     nbUselessRevisions=313612  nbAssignments=1450  nbFailedAssignments=635  nbBacktracks=759  nbVisitedNodes=2504
14.11	     nbRestartNogoods=30  mapSize=576  nbInferences=0  nbTooLargeKeys=0
14.11	       =>  wckTime=2.19  cpuTime=2.12  mem=143M971
15.11	   
15.11	   search
15.11	     run=9  nbConstraintChecks=1058261  nbValidityChecks=1574266  nbPropagations=34536  nbRevisions=553754
15.11	     nbUselessRevisions=480711  nbAssignments=2128  nbFailedAssignments=923  nbBacktracks=1143  nbVisitedNodes=3666
15.11	     nbRestartNogoods=33  mapSize=868  nbInferences=0  nbTooLargeKeys=0
15.11	       =>  wckTime=3.187  cpuTime=3.09  mem=143M971
15.52	   
15.52	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=143M971)
16.42	   
16.42	   search
16.42	     run=10  nbConstraintChecks=1526862  nbValidityChecks=2259327  nbPropagations=52080  nbRevisions=829731
16.42	     nbUselessRevisions=719185  nbAssignments=3101  nbFailedAssignments=1313  nbBacktracks=1719  nbVisitedNodes=5296
16.42	     nbRestartNogoods=41
16.42	       =>  wckTime=4.496  cpuTime=4.39  mem=143M971
18.46	   
18.46	   search
18.46	     run=11  nbConstraintChecks=2254453  nbValidityChecks=3323232  nbPropagations=78239  nbRevisions=1234343
18.46	     nbUselessRevisions=1067944  nbAssignments=4608  nbFailedAssignments=1919  nbBacktracks=2583  nbVisitedNodes=7814
18.46	     nbRestartNogoods=49
18.46	       =>  wckTime=6.539  cpuTime=6.41  mem=143M971
21.37	   
21.37	   search
21.37	     run=12  nbConstraintChecks=3274190  nbValidityChecks=4802018  nbPropagations=116550  nbRevisions=1817750
21.37	     nbUselessRevisions=1569543  nbAssignments=6752  nbFailedAssignments=2760  nbBacktracks=3881  nbVisitedNodes=11419
21.37	     nbRestartNogoods=56
21.37	       =>  wckTime=9.442  cpuTime=9.3  mem=143M971
25.83	   
25.83	   search
25.83	     run=13  nbConstraintChecks=4902730  nbValidityChecks=7206546  nbPropagations=174095  nbRevisions=2692716
25.83	     nbUselessRevisions=2321935  nbAssignments=10135  nbFailedAssignments=4188  nbBacktracks=5830  nbVisitedNodes=17242
25.83	     nbRestartNogoods=61
25.83	       =>  wckTime=13.906  cpuTime=13.74  mem=143M971
32.41	   
32.41	   search
32.41	     run=14  nbConstraintChecks=7272793  nbValidityChecks=10671934  nbPropagations=259697  nbRevisions=3987089
32.41	     nbUselessRevisions=3433926  nbAssignments=15063  nbFailedAssignments=6191  nbBacktracks=8749  nbVisitedNodes=25624
32.41	     nbRestartNogoods=70
32.41	       =>  wckTime=20.49  cpuTime=20.29  mem=144M623
42.56	   
42.56	   search
42.56	     run=15  nbConstraintChecks=10883231  nbValidityChecks=15893335  nbPropagations=387422  nbRevisions=5909091
42.56	     nbUselessRevisions=5084659  nbAssignments=22294  nbFailedAssignments=9035  nbBacktracks=13128  nbVisitedNodes=37868
42.56	     nbRestartNogoods=80
42.56	       =>  wckTime=30.634  cpuTime=30.37  mem=144M623
57.25	   
57.25	   search
57.25	     run=16  nbConstraintChecks=16193321  nbValidityChecks=23609675  nbPropagations=577115  nbRevisions=8755523
57.25	     nbUselessRevisions=7529417  nbAssignments=33303  nbFailedAssignments=13441  nbBacktracks=19697
57.25	     nbVisitedNodes=56525  nbRestartNogoods=89
57.25	       =>  wckTime=45.325  cpuTime=44.99  mem=144M623
79.64	   
79.64	   search
79.64	     run=17  nbConstraintChecks=24786363  nbValidityChecks=36081499  nbPropagations=866331  nbRevisions=13090388
79.64	     nbUselessRevisions=11248381  nbAssignments=50516  nbFailedAssignments=20796  nbBacktracks=29549
79.64	     nbVisitedNodes=86193  nbRestartNogoods=94
79.64	       =>  wckTime=67.713  cpuTime=67.32  mem=144M623
112.12	   
112.12	   search
112.12	     run=18  nbConstraintChecks=37057697  nbValidityChecks=53907754  nbPropagations=1297831  nbRevisions=19562657
112.12	     nbUselessRevisions=16804164  nbAssignments=75401  nbFailedAssignments=30895  nbBacktracks=44329
112.12	     nbVisitedNodes=128511  nbRestartNogoods=107
112.12	       =>  wckTime=100.198  cpuTime=99.46  mem=144M623
119.33	   
119.33	   search
119.33	     run=19  nbConstraintChecks=39776978  nbValidityChecks=57847272  nbPropagations=1761137  nbRevisions=26508201
119.33	     nbUselessRevisions=22765494  nbAssignments=80842  nbFailedAssignments=33107  nbBacktracks=47538
119.33	     nbVisitedNodes=137808  nbRestartNogoods=117
119.33	       =>  wckTime=107.403  cpuTime=106.59  mem=144M623
119.33	   
119.33	   global
119.33	     nbConstraintChecks=39782224  nbValidityChecks=57856253  nbPropagations=1761195  nbRevisions=26509281
119.33	     nbUselessRevisions=22766528  nbRestartNogoods=117  solvingWckTime=107.405  solvingCpuTime=106.59  expiredTime=no
119.33	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=114.98
119.33	       =>  wckTime=119.006  cpuTime=114.93  mem=144M623
119.33	   
119.33	s SATISFIABLE
119.33	v 3 1 2 0 4 2 4 0 1 1 4 1 3 1 3 4 3 0 1 4 
119.33	d NODES 80842
119.33	d CHECKS 39782224
119.33	   
119.33	   totalWckTime=119.088  totalCpuTime=114.99

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/node14/watcher-247399-1168392260 -o ROOT/results/node14/solver-247399-1168392260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247399-1168392260/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: 2.02 1.67 1.29 4/87 5593
/proc/meminfo: memFree=1563272/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=18540 CPUtime=0
/proc/5592/stat : 5592 (runsolver) R 5590 5592 5332 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187620979 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5592/statm: 4635 279 244 17 0 2626 0

[startup+0.103121 s]
/proc/loadavg: 2.02 1.67 1.29 4/87 5593
/proc/meminfo: memFree=1563272/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=913228 CPUtime=0.07
/proc/5592/stat : 5592 (java) S 5590 5592 5332 0 -1 0 2904 0 1 0 6 1 0 0 18 0 8 0 187620979 935145472 2650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228307 2650 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.515157 s]
/proc/loadavg: 2.02 1.67 1.29 4/87 5593
/proc/meminfo: memFree=1563272/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915328 CPUtime=0.48
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 9389 0 1 0 42 6 0 0 18 0 8 0 187620979 937295872 9128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228832 9128 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34423 s]
/proc/loadavg: 2.02 1.67 1.29 3/94 5600
/proc/meminfo: memFree=1492880/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915328 CPUtime=1.31
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 19905 0 1 0 120 11 0 0 25 0 8 0 187620979 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228832 19643 2147 14 0 215302 0
[pid=5592/tid=5594] ppid=5590 vsize=915328 CPUtime=0.04
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 3493 0 0 0 3 1 0 0 16 0 8 0 187620984 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 187620984 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187620984 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915328 CPUtime=0.07
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 187620987 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.9834 s]
/proc/loadavg: 2.02 1.67 1.29 3/94 5600
/proc/meminfo: memFree=1469584/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915328 CPUtime=2.95
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 28358 0 1 0 277 18 0 0 25 0 8 0 187620979 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228832 28093 2147 14 0 215302 0
[pid=5592/tid=5594] ppid=5590 vsize=915328 CPUtime=0.21
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 11941 0 0 0 15 6 0 0 16 0 8 0 187620984 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 187620984 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187620984 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915328 CPUtime=0.07
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 187620987 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915328

[startup+6.26971 s]
/proc/loadavg: 2.02 1.68 1.29 3/94 5600
/proc/meminfo: memFree=1431184/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=6.2
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 40254 0 1 0 594 26 0 0 25 0 8 0 187620979 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 38409 2153 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=1.08
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 23823 0 0 0 96 12 0 0 22 0 8 0 187620984 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.08
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 187620987 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915400

[startup+12.7633 s]
/proc/loadavg: 2.02 1.68 1.29 3/94 5600
/proc/meminfo: memFree=1323872/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=12.65
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64109 0 1 0 1227 38 0 0 25 0 8 0 187620979 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 62257 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 17 0 8 0 187620984 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.22
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 371 0 0 0 21 1 0 0 15 0 8 0 187620987 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915400

[startup+25.6425 s]
/proc/loadavg: 2.01 1.70 1.30 3/94 5600
/proc/meminfo: memFree=1323808/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=25.48
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64130 0 1 0 2509 39 0 0 25 0 8 0 187620979 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 62274 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.25
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 389 0 0 0 24 1 0 0 15 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915400

[startup+51.28 s]
/proc/loadavg: 2.01 1.72 1.32 3/94 5600
/proc/meminfo: memFree=1323552/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=50.97
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64131 0 1 0 5058 39 0 0 25 0 8 0 187620979 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 62274 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.25
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915400

[startup+102.536 s]
/proc/loadavg: 2.06 1.76 1.36 3/101 6115
/proc/meminfo: memFree=1018208/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=101.88
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64131 0 1 0 10141 47 0 0 25 0 8 0 187620979 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5592/statm: 228850 62274 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.25
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 119.399
CPU time (s): 118.565
CPU user time (s): 118.056
CPU system time (s): 0.508922
CPU usage (%): 99.3012
Max. virtual memory (cumulated for all children) (KiB): 919404

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

runsolver used 0.138978 s user time and 0.417936 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Wed Jan 10 01:24:20 UTC 2007


IDJOB= 247399
IDBENCH= 11123
FILE ID= node14/247399-1168392260

PBS_JOBID= 3522774

Free space on /tmp= 66526 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247399-1168392260/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-247399-1168392260 -o ROOT/results/node14/solver-247399-1168392260 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247399-1168392260/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a89165accfc02d89a8e045a0f4b7d6c6

RANDOM SEED= 40501426

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.227
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.227
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:       1563688 kB
Buffers:         60384 kB
Cached:         303372 kB
SwapCached:       3240 kB
Active:         296552 kB
Inactive:       133980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1563688 kB
SwapTotal:     4192956 kB
SwapFree:      4158768 kB
Dirty:           23756 kB
Writeback:           0 kB
Mapped:          74584 kB
Slab:            46512 kB
Committed_AS:  6976076 kB
PageTables:       2280 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= 66370 MiB



End job on node14 on Wed Jan 10 01:26:20 UTC 2007