Trace number 213208

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 52.2991 52.8256

DiagnosticValue
CHECKS9251028
NODES383246

General information on the benchmark

NamepseudoSeries/aim/
aim-200-3-4-2.xml
MD5SUMa16c1eeb11da6903bcb4f27b8ea1be99
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.392939
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints880
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension880
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.36	   instance
0.36	     name=/tmp/evaluation/213208-1168225456/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.46	     nbVariables=400  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.46	       =>  wckTime=0.134  cpuTime=0.11  mem=7M50
0.46	   
0.46	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
0.78	     nbConstraints=880  nbConvertedConstraints=200  nbConvertConstraintsChecks=12  nbExtensionStructures=1
0.78	     nbSharedExtensionStructures=199  nbConflictsStructures=2  nbSharedConflictsStructures=878
0.78	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=1  nbSharedEvaluationManagers=679  maxDegree=8  maxArity=3
0.78	       =>  wckTime=0.451  cpuTime=0.31  mem=12M901
0.82	   
0.82	   solver IterativeSystematicSolver being built... 
1.04	       =>  wckTime=0.717  cpuTime=0.49  mem=19M759
1.15	   
1.15	   preprocessing
1.15	     nbConstraintChecks=1767  nbValidityChecks=207  nbPropagations=1342  nbRevisions=1500  nbUselessRevisions=960
1.15	     nbSingletonTests=457  nbEffectiveSingletonTests=0  nbESACBranches=15  nbRemovedValues=0  detectedInconsistency=no
1.15	       =>  wckTime=0.106  cpuTime=0.07  mem=19M759
1.19	   
1.19	   search
1.19	     run=0  nbConstraintChecks=623  nbValidityChecks=202  nbPropagations=1597  nbRevisions=2093  nbUselessRevisions=1301
1.19	     nbAssignments=83  nbFailedAssignments=3  nbBacktracks=11  nbVisitedNodes=90  nbRestartNogoods=0  mapSize=5
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.15  cpuTime=0.11  mem=20M800
1.22	   
1.22	   search
1.22	     run=1  nbConstraintChecks=1226  nbValidityChecks=438  nbPropagations=3451  nbRevisions=4779
1.22	     nbUselessRevisions=2944  nbAssignments=183  nbFailedAssignments=7  nbBacktracks=37  nbVisitedNodes=195
1.22	     nbRestartNogoods=1  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.174  cpuTime=0.13  mem=20M800
1.25	   
1.25	   search
1.25	     run=2  nbConstraintChecks=2308  nbValidityChecks=1068  nbPropagations=5836  nbRevisions=8613
1.25	     nbUselessRevisions=5265  nbAssignments=391  nbFailedAssignments=13  nbBacktracks=92  nbVisitedNodes=325
1.25	     nbRestartNogoods=4  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.207  cpuTime=0.15  mem=20M800
1.27	   
1.27	   search
1.27	     run=3  nbConstraintChecks=3658  nbValidityChecks=1996  nbPropagations=8802  nbRevisions=14034
1.27	     nbUselessRevisions=8564  nbAssignments=522  nbFailedAssignments=19  nbBacktracks=135  nbVisitedNodes=467
1.27	     nbRestartNogoods=5  mapSize=28  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.231  cpuTime=0.17  mem=20M800
1.30	   
1.30	   search
1.30	     run=4  nbConstraintChecks=5871  nbValidityChecks=3869  nbPropagations=12959  nbRevisions=22370
1.30	     nbUselessRevisions=13585  nbAssignments=752  nbFailedAssignments=29  nbBacktracks=186  nbVisitedNodes=587
1.30	     nbRestartNogoods=8  mapSize=44  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.256  cpuTime=0.2  mem=20M800
1.33	   
1.33	   search
1.33	     run=5  nbConstraintChecks=6788  nbValidityChecks=4565  nbPropagations=17541  nbRevisions=31743
1.33	     nbUselessRevisions=19215  nbAssignments=923  nbFailedAssignments=34  nbBacktracks=295  nbVisitedNodes=761
1.33	     nbRestartNogoods=11  mapSize=53  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.286  cpuTime=0.22  mem=20M800
1.37	   
1.37	   search
1.37	     run=6  nbConstraintChecks=8514  nbValidityChecks=6139  nbPropagations=23076  nbRevisions=43515
1.37	     nbUselessRevisions=26288  nbAssignments=1173  nbFailedAssignments=44  nbBacktracks=416  nbVisitedNodes=974
1.37	     nbRestartNogoods=14  mapSize=71  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.329  cpuTime=0.26  mem=20M800
1.42	   
1.42	   search
1.42	     run=7  nbConstraintChecks=10744  nbValidityChecks=8082  nbPropagations=29791  nbRevisions=58196
1.42	     nbUselessRevisions=35017  nbAssignments=1430  nbFailedAssignments=62  nbBacktracks=610  nbVisitedNodes=1266
1.42	     nbRestartNogoods=16  mapSize=104  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.373  cpuTime=0.3  mem=20M800
1.49	   
1.49	   search
1.49	     run=8  nbConstraintChecks=14740  nbValidityChecks=11931  nbPropagations=38519  nbRevisions=78333
1.49	     nbUselessRevisions=47024  nbAssignments=1765  nbFailedAssignments=85  nbBacktracks=872  nbVisitedNodes=1644
1.49	     nbRestartNogoods=18  mapSize=145  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.441  cpuTime=0.36  mem=20M800
1.58	   
1.58	   search
1.58	     run=9  nbConstraintChecks=22355  nbValidityChecks=19685  nbPropagations=50967  nbRevisions=109296
1.58	     nbUselessRevisions=65743  nbAssignments=2244  nbFailedAssignments=142  nbBacktracks=1256  nbVisitedNodes=2227
1.58	     nbRestartNogoods=20  mapSize=245  nbInferences=0  nbTooLargeKeys=0
1.58	       =>  wckTime=0.534  cpuTime=0.44  mem=20M800
1.71	   
1.71	   search
1.71	     run=10  nbConstraintChecks=30757  nbValidityChecks=27839  nbPropagations=67588  nbRevisions=151525
1.71	     nbUselessRevisions=91170  nbAssignments=2960  nbFailedAssignments=208  nbBacktracks=1841  nbVisitedNodes=3051
1.71	     nbRestartNogoods=24  mapSize=387  nbInferences=0  nbTooLargeKeys=0
1.71	       =>  wckTime=0.665  cpuTime=0.56  mem=20M800
1.90	   
1.90	   search
1.90	     run=11  nbConstraintChecks=54572  nbValidityChecks=50894  nbPropagations=97000  nbRevisions=225837
1.90	     nbUselessRevisions=135138  nbAssignments=4108  nbFailedAssignments=471  nbBacktracks=2705  nbVisitedNodes=4704
1.90	     nbRestartNogoods=26  mapSize=884  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.855  cpuTime=0.75  mem=21M775
1.98	   
1.98	   INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=21M775)
2.16	   
2.16	   search
2.16	     run=12  nbConstraintChecks=101386  nbValidityChecks=103491  nbPropagations=150443  nbRevisions=373644
2.16	     nbUselessRevisions=225960  nbAssignments=5756  nbFailedAssignments=782  nbBacktracks=4002  nbVisitedNodes=6993
2.16	     nbRestartNogoods=34
2.16	       =>  wckTime=1.119  cpuTime=1.01  mem=21M775
2.51	   
2.51	   search
2.51	     run=13  nbConstraintChecks=169959  nbValidityChecks=183499  nbPropagations=238838  nbRevisions=631717
2.51	     nbUselessRevisions=388496  nbAssignments=8235  nbFailedAssignments=1208  nbBacktracks=5959  nbVisitedNodes=10199
2.51	     nbRestartNogoods=41
2.51	       =>  wckTime=1.471  cpuTime=1.36  mem=21M775
2.99	   
2.99	   search
2.99	     run=14  nbConstraintChecks=252833  nbValidityChecks=274993  nbPropagations=370150  nbRevisions=1017615
2.99	     nbUselessRevisions=631433  nbAssignments=11884  nbFailedAssignments=1845  nbBacktracks=8880  nbVisitedNodes=14917
2.99	     nbRestartNogoods=47
2.99	       =>  wckTime=1.943  cpuTime=1.82  mem=21M775
3.74	   
3.74	   search
3.74	     run=15  nbConstraintChecks=405183  nbValidityChecks=456899  nbPropagations=580073  nbRevisions=1656658
3.74	     nbUselessRevisions=1041371  nbAssignments=17046  nbFailedAssignments=2582  nbBacktracks=13262  nbVisitedNodes=21686
3.74	     nbRestartNogoods=53
3.74	       =>  wckTime=2.7  cpuTime=2.57  mem=21M775
4.81	   
4.81	   search
4.81	     run=16  nbConstraintChecks=593967  nbValidityChecks=664309  nbPropagations=891676  nbRevisions=2581427
4.81	     nbUselessRevisions=1626923  nbAssignments=24965  nbFailedAssignments=3892  nbBacktracks=19835  nbVisitedNodes=32229
4.81	     nbRestartNogoods=60
4.81	       =>  wckTime=3.764  cpuTime=3.62  mem=21M775
6.31	   
6.31	   search
6.31	     run=17  nbConstraintChecks=841572  nbValidityChecks=952610  nbPropagations=1333948  nbRevisions=3898035
6.31	     nbUselessRevisions=2460932  nbAssignments=37008  nbFailedAssignments=5909  nbBacktracks=29714  nbVisitedNodes=48431
6.31	     nbRestartNogoods=69
6.31	       =>  wckTime=5.27  cpuTime=5.11  mem=21M775
8.84	   
8.84	   search
8.84	     run=18  nbConstraintChecks=1314361  nbValidityChecks=1479025  nbPropagations=2021696  nbRevisions=5935585
8.84	     nbUselessRevisions=3745199  nbAssignments=55230  nbFailedAssignments=9324  nbBacktracks=44492  nbVisitedNodes=73315
8.84	     nbRestartNogoods=71
8.84	       =>  wckTime=7.801  cpuTime=7.62  mem=21M775
12.62	   
12.62	   search
12.62	     run=19  nbConstraintChecks=2035639  nbValidityChecks=2314176  nbPropagations=3087383  nbRevisions=9119070
12.62	     nbUselessRevisions=5758729  nbAssignments=81761  nbFailedAssignments=13624  nbBacktracks=66665
12.62	     nbVisitedNodes=108097  nbRestartNogoods=77
12.62	       =>  wckTime=11.58  cpuTime=11.37  mem=21M775
18.17	   
18.17	   search
18.17	     run=20  nbConstraintChecks=3076959  nbValidityChecks=3523960  nbPropagations=4694976  nbRevisions=13950550
18.17	     nbUselessRevisions=8819750  nbAssignments=121936  nbFailedAssignments=20519  nbBacktracks=99919
18.17	     nbVisitedNodes=160993  nbRestartNogoods=81
18.17	       =>  wckTime=17.127  cpuTime=16.86  mem=21M775
26.11	   
26.11	   search
26.11	     run=21  nbConstraintChecks=4519696  nbValidityChecks=5149556  nbPropagations=7057451  nbRevisions=21008098
26.11	     nbUselessRevisions=13276739  nbAssignments=181497  nbFailedAssignments=30172  nbBacktracks=149797
26.11	     nbVisitedNodes=239215  nbRestartNogoods=92
26.11	       =>  wckTime=25.063  cpuTime=24.72  mem=21M775
38.40	   
38.40	   search
38.40	     run=22  nbConstraintChecks=6831144  nbValidityChecks=7858455  nbPropagations=10630258  nbRevisions=31788108
38.40	     nbUselessRevisions=20121030  nbAssignments=270045  nbFailedAssignments=43871  nbBacktracks=224617
38.40	     nbVisitedNodes=354506  nbRestartNogoods=100
38.40	       =>  wckTime=37.355  cpuTime=36.91  mem=21M775
52.79	   
52.79	   search
52.80	     run=23  nbConstraintChecks=9249261  nbValidityChecks=10617430  nbPropagations=15490634  nbRevisions=46341927
52.80	     nbUselessRevisions=29323281  nbAssignments=383246  nbFailedAssignments=60979  nbBacktracks=320310
52.80	     nbVisitedNodes=501826  nbRestartNogoods=109
52.80	       =>  wckTime=51.752  cpuTime=51.17  mem=21M775
52.80	   
52.80	   global
52.80	     nbConstraintChecks=9251028  nbValidityChecks=10617637  nbPropagations=15491976  nbRevisions=46343427
52.80	     nbUselessRevisions=29324241  nbRestartNogoods=109  solvingWckTime=51.753  solvingCpuTime=51.17  expiredTime=no
52.80	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=51.71
52.80	       =>  wckTime=52.472  cpuTime=51.66  mem=21M775
52.80	   
52.80	s SATISFIABLE
52.80	v 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 
52.80	d NODES 383246
52.80	d CHECKS 9251028
52.80	   
52.80	   totalWckTime=52.553  totalCpuTime=51.72

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/node9/watcher-213208-1168225456 -o ROOT/results/node9/solver-213208-1168225456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213208-1168225456/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.27 1.78 1.92 4/89 6258
/proc/meminfo: memFree=1637680/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=18540 CPUtime=0
/proc/6257/stat : 6257 (runsolver) R 6255 6257 3521 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170941932 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6257/statm: 4635 279 244 17 0 2626 0

[startup+0.103851 s]
/proc/loadavg: 1.27 1.78 1.92 4/89 6258
/proc/meminfo: memFree=1637680/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=913068 CPUtime=0.07
/proc/6257/stat : 6257 (java) S 6255 6257 3521 0 -1 0 2858 0 1 0 6 1 0 0 17 0 8 0 170941932 934981632 2604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228267 2604 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068

[startup+0.514895 s]
/proc/loadavg: 1.27 1.78 1.92 4/89 6258
/proc/meminfo: memFree=1637680/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915328 CPUtime=0.48
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 6350 0 1 0 43 5 0 0 18 0 8 0 170941932 937295872 6089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228832 6089 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33598 s]
/proc/loadavg: 1.27 1.78 1.92 3/96 6265
/proc/meminfo: memFree=1608952/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=1.29
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10088 0 1 0 117 12 0 0 24 0 8 0 170941932 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073934510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 9826 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.27
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 422 0 0 0 25 2 0 0 15 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915576

[startup+2.97317 s]
/proc/loadavg: 1.27 1.78 1.92 3/96 6265
/proc/meminfo: memFree=1607352/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=2.91
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10324 0 1 0 279 12 0 0 25 0 8 0 170941932 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10061 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 17 0 8 0 170941936 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 442 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915576

[startup+6.25955 s]
/proc/loadavg: 1.33 1.78 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=6.16
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10333 0 1 0 604 12 0 0 25 0 8 0 170941932 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073933703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10069 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 442 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915576

[startup+12.7413 s]
/proc/loadavg: 1.38 1.79 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=12.59
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10342 0 1 0 1247 12 0 0 25 0 8 0 170941932 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10078 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 443 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915576

[startup+25.6177 s]
/proc/loadavg: 1.52 1.80 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=25.34
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10345 0 1 0 2522 12 0 0 25 0 8 0 170941932 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10081 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 443 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915576

[startup+51.2336 s]
/proc/loadavg: 1.68 1.81 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=50.73
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10351 0 1 0 5060 13 0 0 25 0 8 0 170941932 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10086 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.32
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 443 0 0 0 30 2 0 0 16 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915576

Child status: 0
Real time (s): 52.8256
CPU time (s): 52.2991
CPU user time (s): 52.1611
CPU system time (s): 0.137979
CPU usage (%): 99.0033
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.1611
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10445
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= 2452
involuntary context switches= 3710

runsolver used 0.068989 s user time and 0.177972 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Jan  8 03:04:20 UTC 2007


IDJOB= 213208
IDBENCH= 4830
FILE ID= node9/213208-1168225456

PBS_JOBID= 3480680

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-3-4-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213208-1168225456/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-213208-1168225456 -o ROOT/results/node9/solver-213208-1168225456 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213208-1168225456/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a16c1eeb11da6903bcb4f27b8ea1be99

RANDOM SEED= 106540508

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.231
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.231
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:       1638224 kB
Buffers:         51168 kB
Cached:         222124 kB
SwapCached:        408 kB
Active:         153360 kB
Inactive:       188952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1638224 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1860 kB
Writeback:           0 kB
Mapped:          81812 kB
Slab:            59988 kB
Committed_AS:  4797916 kB
PageTables:       2316 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= 66544 MiB



End job on node9 on Mon Jan  8 03:05:26 UTC 2007