Trace number 213365

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 6.60999 6.69234

DiagnosticValue
CHECKS492423
NODES34034

General information on the benchmark

NamepseudoSeries/aim/
aim-200-1-6-2.xml
MD5SUMa9a650e9a0816554ac6bef49daf94603
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.145977
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints520
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension520
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/213365-1168077429/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.42	     nbVariables=400  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.42	       =>  wckTime=0.123  cpuTime=0.1  mem=7M50
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.64	     nbConstraints=520  nbConvertedConstraints=201  nbConvertConstraintsChecks=16  nbExtensionStructures=2
0.64	     nbSharedExtensionStructures=199  nbConflictsStructures=3  nbSharedConflictsStructures=517
0.64	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=1  nbSharedEvaluationManagers=318  maxDegree=6  maxArity=3
0.64	       =>  wckTime=0.344  cpuTime=0.26  mem=10M951
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.569  cpuTime=0.41  mem=17M724
0.87	   
0.87	   preprocessing
0.87	     nbConstraintChecks=0  nbPropagations=400  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.87	     detectedInconsistency=no
0.87	       =>  wckTime=0.01  cpuTime=0.0  mem=17M724
0.94	   
0.94	   search
0.94	     run=0  nbConstraintChecks=556  nbValidityChecks=47  nbPropagations=678  nbRevisions=443  nbUselessRevisions=218
0.94	     nbAssignments=167  nbFailedAssignments=6  nbBacktracks=19  nbVisitedNodes=178  nbRestartNogoods=0  mapSize=8
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.074  cpuTime=0.05  mem=17M724
0.97	   
0.97	   search
0.97	     run=1  nbConstraintChecks=1293  nbValidityChecks=355  nbPropagations=1787  nbRevisions=1615  nbUselessRevisions=778
0.97	     nbAssignments=294  nbFailedAssignments=13  nbBacktracks=36  nbVisitedNodes=316  nbRestartNogoods=2  mapSize=15
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.109  cpuTime=0.08  mem=17M724
1.00	   
1.00	   search
1.00	     run=2  nbConstraintChecks=1789  nbValidityChecks=554  nbPropagations=3172  nbRevisions=3240
1.00	     nbUselessRevisions=1539  nbAssignments=364  nbFailedAssignments=20  nbBacktracks=59  nbVisitedNodes=401
1.00	     nbRestartNogoods=6  mapSize=28  nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.137  cpuTime=0.1  mem=17M724
1.05	   
1.05	   search
1.05	     run=3  nbConstraintChecks=2994  nbValidityChecks=1083  nbPropagations=5234  nbRevisions=6005
1.05	     nbUselessRevisions=2798  nbAssignments=573  nbFailedAssignments=31  nbBacktracks=96  nbVisitedNodes=635
1.05	     nbRestartNogoods=8  mapSize=48  nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.187  cpuTime=0.14  mem=17M724
1.09	   
1.09	   search
1.09	     run=4  nbConstraintChecks=4087  nbValidityChecks=1660  nbPropagations=7925  nbRevisions=9857
1.09	     nbUselessRevisions=4577  nbAssignments=798  nbFailedAssignments=42  nbBacktracks=154  nbVisitedNodes=887
1.09	     nbRestartNogoods=12  mapSize=70  nbInferences=3  nbTooLargeKeys=0
1.09	       =>  wckTime=0.23  cpuTime=0.17  mem=17M724
1.15	   
1.15	   search
1.15	     run=5  nbConstraintChecks=5145  nbValidityChecks=2236  nbPropagations=11226  nbRevisions=14750
1.15	     nbUselessRevisions=6846  nbAssignments=1043  nbFailedAssignments=54  nbBacktracks=229  nbVisitedNodes=1158
1.15	     nbRestartNogoods=17  mapSize=90  nbInferences=4  nbTooLargeKeys=0
1.15	       =>  wckTime=0.283  cpuTime=0.22  mem=18M699
1.19	   
1.19	   search
1.19	     run=6  nbConstraintChecks=8251  nbValidityChecks=4182  nbPropagations=16381  nbRevisions=22809
1.19	     nbUselessRevisions=10445  nbAssignments=1259  nbFailedAssignments=95  nbBacktracks=359  nbVisitedNodes=1462
1.19	     nbRestartNogoods=20  mapSize=173  nbInferences=12  nbTooLargeKeys=0
1.19	       =>  wckTime=0.323  cpuTime=0.26  mem=18M699
1.24	   
1.24	   search
1.24	     run=7  nbConstraintChecks=11112  nbValidityChecks=6024  nbPropagations=23145  nbRevisions=33759
1.24	     nbUselessRevisions=15342  nbAssignments=1541  nbFailedAssignments=153  nbBacktracks=529  nbVisitedNodes=1861
1.24	     nbRestartNogoods=21  mapSize=285  nbInferences=12  nbTooLargeKeys=0
1.24	       =>  wckTime=0.375  cpuTime=0.3  mem=18M699
1.31	   
1.31	   search
1.31	     run=8  nbConstraintChecks=15589  nbValidityChecks=8587  nbPropagations=32522  nbRevisions=48992
1.31	     nbUselessRevisions=21891  nbAssignments=1909  nbFailedAssignments=238  nbBacktracks=785  nbVisitedNodes=2408
1.31	     nbRestartNogoods=26  mapSize=455  nbInferences=12  nbTooLargeKeys=0
1.31	       =>  wckTime=0.451  cpuTime=0.36  mem=18M699
1.39	   
1.39	   search
1.39	     run=9  nbConstraintChecks=20460  nbValidityChecks=11759  nbPropagations=44572  nbRevisions=68961
1.39	     nbUselessRevisions=30584  nbAssignments=2408  nbFailedAssignments=332  nbBacktracks=1171  nbVisitedNodes=3103
1.39	     nbRestartNogoods=31  mapSize=648  nbInferences=20  nbTooLargeKeys=0
1.39	       =>  wckTime=0.524  cpuTime=0.42  mem=18M699
1.53	   
1.53	   search
1.53	     run=10  nbConstraintChecks=29231  nbValidityChecks=17726  nbPropagations=61597  nbRevisions=98475
1.53	     nbUselessRevisions=43749  nbAssignments=3204  nbFailedAssignments=484  nbBacktracks=1753  nbVisitedNodes=4224
1.53	     nbRestartNogoods=34  mapSize=917  nbInferences=22  nbTooLargeKeys=0
1.53	       =>  wckTime=0.668  cpuTime=0.56  mem=18M699
1.68	   
1.68	   search
1.68	     run=11  nbConstraintChecks=41990  nbValidityChecks=26119  nbPropagations=86134  nbRevisions=140747
1.68	     nbUselessRevisions=62131  nbAssignments=4287  nbFailedAssignments=685  nbBacktracks=2627  nbVisitedNodes=5720
1.68	     nbRestartNogoods=41  mapSize=1328  nbInferences=25  nbTooLargeKeys=0
1.68	       =>  wckTime=0.818  cpuTime=0.71  mem=18M699
1.93	   
1.93	   search
1.93	     run=12  nbConstraintChecks=60803  nbValidityChecks=38557  nbPropagations=121400  nbRevisions=202129
1.93	     nbUselessRevisions=89051  nbAssignments=6040  nbFailedAssignments=1067  nbBacktracks=3924  nbVisitedNodes=8211
1.93	     nbRestartNogoods=43  mapSize=2053  nbInferences=26  nbTooLargeKeys=0
1.93	       =>  wckTime=1.064  cpuTime=0.95  mem=18M699
2.38	   
2.38	   search
2.38	     run=13  nbConstraintChecks=96857  nbValidityChecks=64419  nbPropagations=177848  nbRevisions=304241
2.38	     nbUselessRevisions=135475  nbAssignments=8602  nbFailedAssignments=1604  nbBacktracks=5870  nbVisitedNodes=11878
2.38	     nbRestartNogoods=55  mapSize=3138  nbInferences=35  nbTooLargeKeys=0
2.38	       =>  wckTime=1.517  cpuTime=1.4  mem=19M675
3.06	   
3.06	   search
3.06	     run=14  nbConstraintChecks=167584  nbValidityChecks=116376  nbPropagations=278149  nbRevisions=487351
3.06	     nbUselessRevisions=219062  nbAssignments=12354  nbFailedAssignments=2351  nbBacktracks=8792  nbVisitedNodes=17200
3.06	     nbRestartNogoods=69  mapSize=4681  nbInferences=62  nbTooLargeKeys=0
3.06	       =>  wckTime=2.193  cpuTime=2.08  mem=20M650
4.02	   
4.02	   search
4.02	     run=15  nbConstraintChecks=271742  nbValidityChecks=191359  nbPropagations=441359  nbRevisions=784231
4.02	     nbUselessRevisions=353246  nbAssignments=18129  nbFailedAssignments=3704  nbBacktracks=13173  nbVisitedNodes=25747
4.02	     nbRestartNogoods=80  mapSize=7443  nbInferences=68  nbTooLargeKeys=0
4.02	       =>  wckTime=3.156  cpuTime=3.04  mem=21M625
5.38	   
5.38	   search
5.38	     run=16  nbConstraintChecks=406195  nbValidityChecks=285444  nbPropagations=684802  nbRevisions=1227598
5.38	     nbUselessRevisions=554290  nbAssignments=26831  nbFailedAssignments=5610  nbBacktracks=19743  nbVisitedNodes=38288
5.38	     nbRestartNogoods=87  mapSize=11267  nbInferences=280  nbTooLargeKeys=0
5.38	       =>  wckTime=4.513  cpuTime=4.39  mem=22M600
6.65	   
6.65	   search
6.65	     run=17  nbConstraintChecks=492423  nbValidityChecks=346903  nbPropagations=979965  nbRevisions=1769226
6.65	     nbUselessRevisions=801939  nbAssignments=34034  nbFailedAssignments=6683  nbBacktracks=25467  nbVisitedNodes=47662
6.65	     nbRestartNogoods=92  mapSize=13423  nbInferences=286  nbTooLargeKeys=0
6.65	       =>  wckTime=5.791  cpuTime=5.66  mem=23M575
6.65	   
6.66	   global
6.66	     nbConstraintChecks=492423  nbValidityChecks=346903  nbPropagations=980365  nbRevisions=1769226
6.66	     nbUselessRevisions=801939  nbRestartNogoods=92  solvingWckTime=5.792  solvingCpuTime=5.66  expiredTime=no
6.66	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=6.13
6.66	       =>  wckTime=6.362  cpuTime=6.08  mem=23M575
6.66	   
6.66	s SATISFIABLE
6.66	v 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 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 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 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 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 
6.66	d NODES 34034
6.66	d CHECKS 492423
6.66	   
6.66	   totalWckTime=6.439  totalCpuTime=6.13

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/node24/watcher-213365-1168077429 -o ROOT/results/node24/solver-213365-1168077429 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213365-1168077429/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: 0.83 1.66 1.85 5/93 16455
/proc/meminfo: memFree=1792344/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=18540 CPUtime=0
/proc/16454/stat : 16454 (runsolver) R 16452 16454 15975 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156138320 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16454/statm: 4635 279 244 17 0 2626 0

[startup+0.107857 s]
/proc/loadavg: 0.83 1.66 1.85 5/93 16455
/proc/meminfo: memFree=1792344/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=914988 CPUtime=0.08
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 3077 0 1 0 7 1 0 0 24 0 8 0 156138320 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155583541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16454/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.5159 s]
/proc/loadavg: 0.83 1.66 1.85 5/93 16455
/proc/meminfo: memFree=1792344/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915328 CPUtime=0.5
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 6653 0 1 0 46 4 0 0 25 0 8 0 156138320 937295872 6392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073543350 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16454/statm: 228832 6392 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33998 s]
/proc/loadavg: 0.93 1.67 1.85 4/100 16462
/proc/meminfo: memFree=1745504/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915556 CPUtime=1.29
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 9527 0 1 0 121 8 0 0 25 0 8 0 156138320 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16454/statm: 228889 9265 2532 14 0 215359 0
[pid=16454/tid=16456] ppid=16452 vsize=915556 CPUtime=0.03
/proc/16454/task/16456/stat : 16456 (java) S 16452 16454 15975 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 156138324 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16457] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16457/stat : 16457 (java) S 16452 16454 15975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138324 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16458] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16458/stat : 16458 (java) S 16452 16454 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138324 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16459] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16459/stat : 16459 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16460] ppid=16452 vsize=915556 CPUtime=0.22
/proc/16454/task/16460/stat : 16460 (java) S 16452 16454 15975 0 -1 64 408 0 0 0 21 1 0 0 16 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16461] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16461/stat : 16461 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16462] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16462/stat : 16462 (java) S 16452 16454 15975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915556

[startup+2.98616 s]
/proc/loadavg: 0.93 1.67 1.85 2/88 16470
/proc/meminfo: memFree=1771200/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915556 CPUtime=2.93
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 9955 0 1 0 285 8 0 0 18 0 8 0 156138320 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16454/statm: 228889 9691 2532 14 0 215359 0
[pid=16454/tid=16456] ppid=16452 vsize=915556 CPUtime=0.03
/proc/16454/task/16456/stat : 16456 (java) S 16452 16454 15975 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 156138324 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16457] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16457/stat : 16457 (java) S 16452 16454 15975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138324 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16458] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16458/stat : 16458 (java) S 16452 16454 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138324 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16459] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16459/stat : 16459 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16460] ppid=16452 vsize=915556 CPUtime=0.24
/proc/16454/task/16460/stat : 16460 (java) S 16452 16454 15975 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16461] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16461/stat : 16461 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16462] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16462/stat : 16462 (java) S 16452 16454 15975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915556

[startup+6.26451 s]
/proc/loadavg: 0.93 1.66 1.85 2/88 16476
/proc/meminfo: memFree=1769224/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915556 CPUtime=6.2
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 10826 0 1 0 611 9 0 0 25 0 8 0 156138320 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16454/statm: 228889 10562 2532 14 0 215359 0
[pid=16454/tid=16456] ppid=16452 vsize=915556 CPUtime=0.03
/proc/16454/task/16456/stat : 16456 (java) S 16452 16454 15975 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 156138324 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16457] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16457/stat : 16457 (java) S 16452 16454 15975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138324 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16458] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16458/stat : 16458 (java) S 16452 16454 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138324 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16459] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16459/stat : 16459 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16460] ppid=16452 vsize=915556 CPUtime=0.24
/proc/16454/task/16460/stat : 16460 (java) S 16452 16454 15975 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16461] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16461/stat : 16461 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16462] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16462/stat : 16462 (java) S 16452 16454 15975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915556

Child status: 0
Real time (s): 6.69234
CPU time (s): 6.60999
CPU user time (s): 6.50301
CPU system time (s): 0.106983
CPU usage (%): 98.7695
Max. virtual memory (cumulated for all children) (KiB): 915556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.50301
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10995
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= 1425
involuntary context switches= 1655

runsolver used 0.006998 s user time and 0.028995 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 09:57:11 UTC 2007


IDJOB= 213365
IDBENCH= 4842
FILE ID= node24/213365-1168077429

PBS_JOBID= 3476058

Free space on /tmp= 66464 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a9a650e9a0816554ac6bef49daf94603

RANDOM SEED= 33752364

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.234
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.234
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:       1793720 kB
Buffers:         23236 kB
Cached:         107732 kB
SwapCached:          0 kB
Active:         122456 kB
Inactive:        71636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3612 kB
Writeback:           0 kB
Mapped:          88324 kB
Slab:            52732 kB
Committed_AS:  3711860 kB
PageTables:       2380 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= 66464 MiB



End job on node24 on Sat Jan  6 09:57:19 UTC 2007