Trace number 213209

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 ACSAT 77.2353 77.9781

DiagnosticValue
CHECKS12917966
NODES549850

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/213209-1168077402/unknown.xml
0.37	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.45	     nbVariables=400  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.132  cpuTime=0.11  mem=7M50
0.45	   
0.45	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
0.76	     nbConstraints=880  nbConvertedConstraints=200  nbConvertConstraintsChecks=12  nbExtensionStructures=1
0.76	     nbSharedExtensionStructures=199  nbConflictsStructures=2  nbSharedConflictsStructures=878
0.76	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=1  nbSharedEvaluationManagers=679  maxDegree=8  maxArity=3
0.76	       =>  wckTime=0.445  cpuTime=0.32  mem=12M901
0.80	   
0.80	   solver IterativeSystematicSolver being built... 
1.02	       =>  wckTime=0.705  cpuTime=0.5  mem=19M988
1.04	   
1.04	   preprocessing
1.04	     nbConstraintChecks=0  nbPropagations=400  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.04	     detectedInconsistency=no
1.04	       =>  wckTime=0.014  cpuTime=0.0  mem=19M988
1.08	   
1.08	   search
1.08	     run=0  nbConstraintChecks=229  nbValidityChecks=47  nbPropagations=510  nbRevisions=201  nbUselessRevisions=98
1.08	     nbAssignments=48  nbFailedAssignments=3  nbBacktracks=11  nbVisitedNodes=55  nbRestartNogoods=0  mapSize=5
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.054  cpuTime=0.03  mem=19M988
1.11	   
1.11	   search
1.11	     run=1  nbConstraintChecks=831  nbValidityChecks=267  nbPropagations=1308  nbRevisions=1008  nbUselessRevisions=518
1.11	     nbAssignments=121  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=137  nbRestartNogoods=1  mapSize=13
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.086  cpuTime=0.05  mem=19M988
1.14	   
1.14	   search
1.14	     run=2  nbConstraintChecks=1635  nbValidityChecks=627  nbPropagations=2474  nbRevisions=2645
1.14	     nbUselessRevisions=1397  nbAssignments=215  nbFailedAssignments=13  nbBacktracks=63  nbVisitedNodes=241
1.14	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.12  cpuTime=0.07  mem=19M988
1.18	   
1.18	   search
1.18	     run=3  nbConstraintChecks=2601  nbValidityChecks=1056  nbPropagations=4037  nbRevisions=5302
1.18	     nbUselessRevisions=2893  nbAssignments=359  nbFailedAssignments=18  nbBacktracks=100  nbVisitedNodes=395
1.18	     nbRestartNogoods=5  mapSize=26  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.158  cpuTime=0.11  mem=19M988
1.21	   
1.21	   search
1.21	     run=4  nbConstraintChecks=3458  nbValidityChecks=1549  nbPropagations=5966  nbRevisions=8913
1.21	     nbUselessRevisions=4965  nbAssignments=482  nbFailedAssignments=22  nbBacktracks=165  nbVisitedNodes=528
1.21	     nbRestartNogoods=9  mapSize=35  nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.188  cpuTime=0.13  mem=19M988
1.23	   
1.24	   search
1.24	     run=5  nbConstraintChecks=4738  nbValidityChecks=2501  nbPropagations=8528  nbRevisions=14010
1.24	     nbUselessRevisions=7843  nbAssignments=616  nbFailedAssignments=34  nbBacktracks=245  nbVisitedNodes=681
1.24	     nbRestartNogoods=10  mapSize=52  nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.213  cpuTime=0.15  mem=19M988
1.26	   
1.26	   search
1.26	     run=6  nbConstraintChecks=5900  nbValidityChecks=3395  nbPropagations=11669  nbRevisions=20458
1.26	     nbUselessRevisions=11443  nbAssignments=781  nbFailedAssignments=48  nbBacktracks=373  nbVisitedNodes=868
1.26	     nbRestartNogoods=12  mapSize=72  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.242  cpuTime=0.18  mem=19M988
1.31	   
1.31	   search
1.31	     run=7  nbConstraintChecks=8867  nbValidityChecks=5735  nbPropagations=16236  nbRevisions=30612
1.31	     nbUselessRevisions=17177  nbAssignments=1036  nbFailedAssignments=71  nbBacktracks=550  nbVisitedNodes=1167
1.31	     nbRestartNogoods=14  mapSize=113  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.288  cpuTime=0.22  mem=19M988
1.38	   
1.38	   search
1.38	     run=8  nbConstraintChecks=12902  nbValidityChecks=9360  nbPropagations=22678  nbRevisions=46149
1.38	     nbUselessRevisions=26228  nbAssignments=1372  nbFailedAssignments=90  nbBacktracks=816  nbVisitedNodes=1546
1.38	     nbRestartNogoods=17  mapSize=151  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.356  cpuTime=0.29  mem=19M988
1.49	   
1.49	   search
1.49	     run=9  nbConstraintChecks=17405  nbValidityChecks=13789  nbPropagations=31269  nbRevisions=67959
1.49	     nbUselessRevisions=39182  nbAssignments=1874  nbFailedAssignments=135  nbBacktracks=1223  nbVisitedNodes=2127
1.49	     nbRestartNogoods=22  mapSize=225  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.464  cpuTime=0.38  mem=20M963
1.64	   
1.64	   search
1.64	     run=10  nbConstraintChecks=35007  nbValidityChecks=32543  nbPropagations=48383  nbRevisions=115904
1.64	     nbUselessRevisions=68892  nbAssignments=2593  nbFailedAssignments=240  nbBacktracks=1802  nbVisitedNodes=3043
1.64	     nbRestartNogoods=27  mapSize=417  nbInferences=0  nbTooLargeKeys=0
1.64	       =>  wckTime=0.622  cpuTime=0.52  mem=20M963
1.85	   
1.85	   search
1.85	     run=11  nbConstraintChecks=59548  nbValidityChecks=58923  nbPropagations=77825  nbRevisions=199949
1.85	     nbUselessRevisions=121088  nbAssignments=3658  nbFailedAssignments=416  nbBacktracks=2670  nbVisitedNodes=4445
1.85	     nbRestartNogoods=32  mapSize=749  nbInferences=0  nbTooLargeKeys=0
1.85	       =>  wckTime=0.825  cpuTime=0.72  mem=20M963
2.02	   
2.02	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=20M963)
2.14	   
2.14	   search
2.14	     run=12  nbConstraintChecks=99461  nbValidityChecks=104625  nbPropagations=126942  nbRevisions=346763
2.14	     nbUselessRevisions=214385  nbAssignments=5252  nbFailedAssignments=687  nbBacktracks=3974  nbVisitedNodes=6531
2.14	     nbRestartNogoods=37
2.14	       =>  wckTime=1.114  cpuTime=1.01  mem=20M963
2.52	   
2.52	   search
2.52	     run=13  nbConstraintChecks=172562  nbValidityChecks=189092  nbPropagations=212234  nbRevisions=608311
2.52	     nbUselessRevisions=381889  nbAssignments=7634  nbFailedAssignments=1099  nbBacktracks=5922  nbVisitedNodes=9746
2.52	     nbRestartNogoods=42
2.52	       =>  wckTime=1.497  cpuTime=1.38  mem=20M963
3.08	   
3.08	   search
3.08	     run=14  nbConstraintChecks=281915  nbValidityChecks=315668  nbPropagations=350898  nbRevisions=1042276
3.08	     nbUselessRevisions=662130  nbAssignments=11193  nbFailedAssignments=1696  nbBacktracks=8848  nbVisitedNodes=14460
3.08	     nbRestartNogoods=46
3.08	       =>  wckTime=2.055  cpuTime=1.94  mem=20M963
3.88	   
3.88	   search
3.88	     run=15  nbConstraintChecks=431172  nbValidityChecks=491308  nbPropagations=563715  nbRevisions=1717213
3.88	     nbUselessRevisions=1100679  nbAssignments=16426  nbFailedAssignments=2515  nbBacktracks=13229  nbVisitedNodes=21223
3.88	     nbRestartNogoods=53
3.88	       =>  wckTime=2.855  cpuTime=2.73  mem=20M963
5.00	   
5.00	   search
5.00	     run=16  nbConstraintChecks=636315  nbValidityChecks=725794  nbPropagations=879516  nbRevisions=2713240
5.00	     nbUselessRevisions=1745991  nbAssignments=24103  nbFailedAssignments=3583  nbBacktracks=19804  nbVisitedNodes=31048
5.00	     nbRestartNogoods=60
5.00	       =>  wckTime=3.98  cpuTime=3.84  mem=20M963
6.68	   
6.68	   search
6.68	     run=17  nbConstraintChecks=935015  nbValidityChecks=1073684  nbPropagations=1348539  nbRevisions=4190831
6.68	     nbUselessRevisions=2703836  nbAssignments=35724  nbFailedAssignments=5308  nbBacktracks=29656  nbVisitedNodes=46132
6.68	     nbRestartNogoods=68
6.68	       =>  wckTime=5.663  cpuTime=5.51  mem=20M963
9.32	   
9.32	   search
9.32	     run=18  nbConstraintChecks=1421339  nbValidityChecks=1627859  nbPropagations=2075259  nbRevisions=6426168
9.32	     nbUselessRevisions=4135846  nbAssignments=53232  nbFailedAssignments=8004  nbBacktracks=44444  nbVisitedNodes=69019
9.32	     nbRestartNogoods=75
9.32	       =>  wckTime=8.296  cpuTime=8.11  mem=20M963
12.95	   
12.95	   search
12.95	     run=19  nbConstraintChecks=2050985  nbValidityChecks=2346946  nbPropagations=3123808  nbRevisions=9649954
12.95	     nbUselessRevisions=6198671  nbAssignments=79198  nbFailedAssignments=11779  nbBacktracks=66619
12.95	     nbVisitedNodes=102754  nbRestartNogoods=83
12.95	       =>  wckTime=11.925  cpuTime=11.71  mem=20M963
18.07	   
18.07	   search
18.07	     run=20  nbConstraintChecks=2860682  nbValidityChecks=3248715  nbPropagations=4595417  nbRevisions=14121314
18.07	     nbUselessRevisions=9044399  nbAssignments=117717  nbFailedAssignments=17002  nbBacktracks=99892
18.07	     nbVisitedNodes=152037  nbRestartNogoods=89
18.07	       =>  wckTime=17.049  cpuTime=16.79  mem=20M963
26.72	   
26.72	   search
26.72	     run=21  nbConstraintChecks=4432344  nbValidityChecks=5083534  nbPropagations=6890640  nbRevisions=21118159
26.72	     nbUselessRevisions=13504603  nbAssignments=176189  nbFailedAssignments=25578  nbBacktracks=149771
26.72	     nbVisitedNodes=227971  nbRestartNogoods=96
26.72	       =>  wckTime=25.698  cpuTime=25.37  mem=20M963
38.67	   
38.67	   search
38.67	     run=22  nbConstraintChecks=6405951  nbValidityChecks=7322261  nbPropagations=10209062  nbRevisions=31182349
38.67	     nbUselessRevisions=19907251  nbAssignments=263554  nbFailedAssignments=38086  nbBacktracks=224595
38.67	     nbVisitedNodes=339193  nbRestartNogoods=103
38.67	       =>  wckTime=37.645  cpuTime=37.2  mem=20M963
57.12	   
57.12	   search
57.12	     run=23  nbConstraintChecks=9490345  nbValidityChecks=10767370  nbPropagations=15153232  nbRevisions=45978721
57.12	     nbUselessRevisions=29249704  nbAssignments=397310  nbFailedAssignments=59579  nbBacktracks=336822
57.12	     nbVisitedNodes=514547  nbRestartNogoods=112
57.12	       =>  wckTime=56.098  cpuTime=55.48  mem=20M963
77.95	   
77.95	   search
77.95	     run=24  nbConstraintChecks=12917966  nbValidityChecks=14757944  nbPropagations=21910800  nbRevisions=66261031
77.95	     nbUselessRevisions=42081458  nbAssignments=549850  nbFailedAssignments=83419  nbBacktracks=465122
77.95	     nbVisitedNodes=714468  nbRestartNogoods=119
77.95	       =>  wckTime=76.926  cpuTime=76.12  mem=20M963
77.95	   
77.95	   global
77.95	     nbConstraintChecks=12917966  nbValidityChecks=14757944  nbPropagations=21911200  nbRevisions=66261031
77.95	     nbUselessRevisions=42081458  nbRestartNogoods=119  solvingWckTime=76.927  solvingCpuTime=76.12  expiredTime=no
77.95	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=76.67
77.95	       =>  wckTime=77.634  cpuTime=76.62  mem=20M963
77.95	   
77.95	s SATISFIABLE
77.95	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 
77.95	d NODES 549850
77.95	d CHECKS 12917966
77.95	   
77.95	   totalWckTime=77.717  totalCpuTime=76.67

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/node60/watcher-213209-1168077402 -o ROOT/results/node60/solver-213209-1168077402 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213209-1168077402/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.84 1.96 1.88 4/80 12241
/proc/meminfo: memFree=1419496/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=18540 CPUtime=0
/proc/12240/stat : 12240 (runsolver) R 12238 12240 11782 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156138230 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12240/statm: 4635 279 244 17 0 2626 0

[startup+0.109883 s]
/proc/loadavg: 1.84 1.96 1.88 4/80 12241
/proc/meminfo: memFree=1419496/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=914988 CPUtime=0.09
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 3037 0 1 0 7 2 0 0 17 0 8 0 156138230 936947712 2783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228747 2783 1442 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517923 s]
/proc/loadavg: 1.84 1.96 1.88 4/80 12241
/proc/meminfo: memFree=1419496/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915328 CPUtime=0.49
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 6391 0 1 0 45 4 0 0 19 0 8 0 156138230 937295872 6130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228832 6130 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.342 s]
/proc/loadavg: 1.84 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1390640/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=1.31
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10015 0 1 0 120 11 0 0 24 0 8 0 156138230 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 9753 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.25
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 420 0 0 0 25 0 0 0 15 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 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) 915576

[startup+2.99016 s]
/proc/loadavg: 1.84 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1389296/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=2.95
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10268 0 1 0 283 12 0 0 25 0 8 0 156138230 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10004 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 17 0 8 0 156138234 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 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) 915576

[startup+6.26949 s]
/proc/loadavg: 1.85 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1389232/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=6.19
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10276 0 1 0 607 12 0 0 25 0 8 0 156138230 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10012 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915576

[startup+12.7591 s]
/proc/loadavg: 1.86 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1389232/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=12.62
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10282 0 1 0 1250 12 0 0 25 0 8 0 156138230 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073935355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10018 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915576

[startup+25.6064 s]
/proc/loadavg: 1.89 1.97 1.88 3/87 12248
/proc/meminfo: memFree=1389360/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=25.35
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10287 0 1 0 2523 12 0 0 25 0 8 0 156138230 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10023 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915576

[startup+51.2149 s]
/proc/loadavg: 1.93 1.97 1.88 3/87 12248
/proc/meminfo: memFree=1389360/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=50.72
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10293 0 1 0 5060 12 0 0 25 0 8 0 156138230 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10029 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915576

Child status: 0
Real time (s): 77.9781
CPU time (s): 77.2353
CPU user time (s): 77.0993
CPU system time (s): 0.135979
CPU usage (%): 99.0473
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0993
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10391
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= 2867
involuntary context switches= 5934

runsolver used 0.073988 s user time and 0.284956 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Jan  6 09:56:42 UTC 2007


IDJOB= 213209
IDBENCH= 4830
FILE ID= node60/213209-1168077402

PBS_JOBID= 3476039

Free space on /tmp= 66550 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 mac.xml 1 XSax /tmp/evaluation/213209-1168077402/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-213209-1168077402 -o ROOT/results/node60/solver-213209-1168077402 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213209-1168077402/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a16c1eeb11da6903bcb4f27b8ea1be99

RANDOM SEED= 185695087

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.236
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.236
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:       1419912 kB
Buffers:         47444 kB
Cached:         425768 kB
SwapCached:          0 kB
Active:         130992 kB
Inactive:       430048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1419912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1956 kB
Writeback:           0 kB
Mapped:         108048 kB
Slab:            59960 kB
Committed_AS:  4092796 kB
PageTables:       2032 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= 66550 MiB



End job on node60 on Sat Jan  6 09:58:05 UTC 2007