Trace number 213026

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 7.12592 7.29694

DiagnosticValue
CHECKS591198
NODES36096

General information on the benchmark

NamepseudoSeries/aim/
aim-200-1-6-3.xml
MD5SUMfb2add53fc1bc48bc4b8068286c2632b
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.119981
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/213026-1168225199/unknown.xml
0.41	   
0.41	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.48	     nbVariables=400  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.48	       =>  wckTime=0.15  cpuTime=0.1  mem=7M50
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
0.70	     nbConstraints=520  nbConvertedConstraints=201  nbConvertConstraintsChecks=16  nbExtensionStructures=2
0.70	     nbSharedExtensionStructures=199  nbConflictsStructures=3  nbSharedConflictsStructures=517
0.70	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=1  nbSharedEvaluationManagers=318  maxDegree=6  maxArity=3
0.70	       =>  wckTime=0.372  cpuTime=0.25  mem=10M951
0.74	   
0.74	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.603  cpuTime=0.4  mem=17M691
1.02	   
1.02	   preprocessing
1.02	     nbConstraintChecks=1742  nbValidityChecks=260  nbPropagations=1443  nbRevisions=1504  nbUselessRevisions=914
1.02	     nbSingletonTests=480  nbEffectiveSingletonTests=0  nbESACBranches=13  nbRemovedValues=0  detectedInconsistency=no
1.02	       =>  wckTime=0.085  cpuTime=0.06  mem=17M691
1.05	   
1.05	   search
1.05	     run=0  nbConstraintChecks=536  nbValidityChecks=157  nbPropagations=1764  nbRevisions=1996  nbUselessRevisions=1098
1.05	     nbAssignments=40  nbFailedAssignments=2  nbBacktracks=13  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=5
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.12  cpuTime=0.09  mem=18M699
1.08	   
1.08	   search
1.08	     run=1  nbConstraintChecks=1941  nbValidityChecks=835  nbPropagations=4431  nbRevisions=5465
1.08	     nbUselessRevisions=2782  nbAssignments=100  nbFailedAssignments=10  nbBacktracks=28  nbVisitedNodes=122
1.08	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.142  cpuTime=0.11  mem=18M699
1.09	   
1.09	   search
1.09	     run=2  nbConstraintChecks=2706  nbValidityChecks=1257  nbPropagations=7588  nbRevisions=9736
1.09	     nbUselessRevisions=4802  nbAssignments=170  nbFailedAssignments=17  nbBacktracks=50  nbVisitedNodes=205
1.09	     nbRestartNogoods=7  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.158  cpuTime=0.12  mem=18M699
1.11	   
1.11	   search
1.11	     run=3  nbConstraintChecks=3615  nbValidityChecks=1807  nbPropagations=11328  nbRevisions=14936
1.11	     nbUselessRevisions=7259  nbAssignments=325  nbFailedAssignments=28  nbBacktracks=85  nbVisitedNodes=309
1.11	     nbRestartNogoods=10  mapSize=44  nbInferences=2  nbTooLargeKeys=0
1.11	       =>  wckTime=0.178  cpuTime=0.14  mem=18M699
1.14	   
1.14	   search
1.14	     run=4  nbConstraintChecks=5724  nbValidityChecks=3172  nbPropagations=16428  nbRevisions=22381
1.14	     nbUselessRevisions=10678  nbAssignments=493  nbFailedAssignments=45  nbBacktracks=138  nbVisitedNodes=452
1.14	     nbRestartNogoods=12  mapSize=72  nbInferences=3  nbTooLargeKeys=0
1.14	       =>  wckTime=0.204  cpuTime=0.16  mem=18M699
1.16	   
1.16	   search
1.16	     run=5  nbConstraintChecks=7258  nbValidityChecks=4225  nbPropagations=22437  nbRevisions=31436
1.16	     nbUselessRevisions=14819  nbAssignments=630  nbFailedAssignments=67  nbBacktracks=218  nbVisitedNodes=633
1.16	     nbRestartNogoods=18  mapSize=114  nbInferences=3  nbTooLargeKeys=0
1.16	       =>  wckTime=0.227  cpuTime=0.18  mem=18M699
1.19	   
1.19	   search
1.19	     run=6  nbConstraintChecks=8481  nbValidityChecks=5051  nbPropagations=29081  nbRevisions=41776
1.19	     nbUselessRevisions=19639  nbAssignments=798  nbFailedAssignments=99  nbBacktracks=331  nbVisitedNodes=874
1.19	     nbRestartNogoods=20  mapSize=184  nbInferences=12  nbTooLargeKeys=0
1.19	       =>  wckTime=0.253  cpuTime=0.21  mem=18M699
1.24	   
1.24	   search
1.24	     run=7  nbConstraintChecks=10888  nbValidityChecks=6440  nbPropagations=36987  nbRevisions=54528
1.24	     nbUselessRevisions=25569  nbAssignments=1086  nbFailedAssignments=162  nbBacktracks=502  nbVisitedNodes=1275
1.24	     nbRestartNogoods=23  mapSize=274  nbInferences=12  nbTooLargeKeys=0
1.24	       =>  wckTime=0.307  cpuTime=0.26  mem=18M699
1.30	   
1.30	   search
1.30	     run=8  nbConstraintChecks=17198  nbValidityChecks=10132  nbPropagations=48615  nbRevisions=73313
1.30	     nbUselessRevisions=33830  nbAssignments=1494  nbFailedAssignments=262  nbBacktracks=758  nbVisitedNodes=1848
1.30	     nbRestartNogoods=28  mapSize=467  nbInferences=13  nbTooLargeKeys=0
1.30	       =>  wckTime=0.364  cpuTime=0.31  mem=18M699
1.39	   
1.39	   search
1.39	     run=9  nbConstraintChecks=20697  nbValidityChecks=12628  nbPropagations=62134  nbRevisions=95891
1.39	     nbUselessRevisions=44018  nbAssignments=1999  nbFailedAssignments=344  nbBacktracks=1150  nbVisitedNodes=2525
1.39	     nbRestartNogoods=34  mapSize=632  nbInferences=14  nbTooLargeKeys=0
1.39	       =>  wckTime=0.454  cpuTime=0.38  mem=18M699
1.51	   
1.51	   search
1.51	     run=10  nbConstraintChecks=31703  nbValidityChecks=19329  nbPropagations=82259  nbRevisions=129737
1.51	     nbUselessRevisions=58911  nbAssignments=2776  nbFailedAssignments=490  nbBacktracks=1731  nbVisitedNodes=3590
1.51	     nbRestartNogoods=41  mapSize=946  nbInferences=17  nbTooLargeKeys=0
1.51	       =>  wckTime=0.577  cpuTime=0.49  mem=18M699
1.71	   
1.71	   search
1.71	     run=11  nbConstraintChecks=45590  nbValidityChecks=28971  nbPropagations=110422  nbRevisions=178496
1.71	     nbUselessRevisions=80737  nbAssignments=3975  nbFailedAssignments=723  nbBacktracks=2605  nbVisitedNodes=5237
1.71	     nbRestartNogoods=46  mapSize=1378  nbInferences=32  nbTooLargeKeys=0
1.71	       =>  wckTime=0.773  cpuTime=0.69  mem=18M699
1.99	   
1.99	   search
1.99	     run=12  nbConstraintChecks=63568  nbValidityChecks=41031  nbPropagations=149216  nbRevisions=246948
1.99	     nbUselessRevisions=111609  nbAssignments=5570  nbFailedAssignments=981  nbBacktracks=3903  nbVisitedNodes=7356
1.99	     nbRestartNogoods=50  mapSize=1892  nbInferences=38  nbTooLargeKeys=0
1.99	       =>  wckTime=1.053  cpuTime=0.97  mem=19M674
2.44	   
2.44	   search
2.44	     run=13  nbConstraintChecks=105392  nbValidityChecks=71019  nbPropagations=213540  nbRevisions=364691
2.44	     nbUselessRevisions=166069  nbAssignments=8004  nbFailedAssignments=1410  nbBacktracks=5854  nbVisitedNodes=10705
2.44	     nbRestartNogoods=55  mapSize=2785  nbInferences=53  nbTooLargeKeys=0
2.44	       =>  wckTime=1.504  cpuTime=1.41  mem=19M674
3.06	   
3.06	   search
3.06	     run=14  nbConstraintChecks=173949  nbValidityChecks=120786  nbPropagations=317837  nbRevisions=561188
3.06	     nbUselessRevisions=259822  nbAssignments=11862  nbFailedAssignments=2279  nbBacktracks=8778  nbVisitedNodes=16349
3.06	     nbRestartNogoods=65  mapSize=4548  nbInferences=84  nbTooLargeKeys=0
3.06	       =>  wckTime=2.131  cpuTime=2.03  mem=20M649
4.05	   
4.05	   search
4.05	     run=15  nbConstraintChecks=260711  nbValidityChecks=182525  nbPropagations=474325  nbRevisions=858857
4.05	     nbUselessRevisions=402281  nbAssignments=17445  nbFailedAssignments=3403  nbBacktracks=13158  nbVisitedNodes=24241
4.05	     nbRestartNogoods=69  mapSize=6832  nbInferences=113  nbTooLargeKeys=0
4.05	       =>  wckTime=3.115  cpuTime=3.01  mem=21M624
5.53	   
5.53	   search
5.53	     run=16  nbConstraintChecks=390342  nbValidityChecks=277567  nbPropagations=709121  nbRevisions=1311509
5.53	     nbUselessRevisions=621165  nbAssignments=25798  nbFailedAssignments=5098  nbBacktracks=19726  nbVisitedNodes=36021
5.53	     nbRestartNogoods=79  mapSize=10234  nbInferences=161  nbTooLargeKeys=0
5.53	       =>  wckTime=4.598  cpuTime=4.48  mem=23M575
7.24	   
7.24	   search
7.24	     run=17  nbConstraintChecks=589456  nbValidityChecks=413451  nbPropagations=1064676  nbRevisions=1985832
7.24	     nbUselessRevisions=940624  nbAssignments=36096  nbFailedAssignments=7153  nbBacktracks=27503  nbVisitedNodes=50437
7.24	     nbRestartNogoods=87  mapSize=14322  nbInferences=227  nbTooLargeKeys=0
7.24	       =>  wckTime=6.305  cpuTime=6.16  mem=24M681
7.24	   
7.24	   global
7.24	     nbConstraintChecks=591198  nbValidityChecks=413711  nbPropagations=1066119  nbRevisions=1987336
7.24	     nbUselessRevisions=941538  nbRestartNogoods=87  solvingWckTime=6.306  solvingCpuTime=6.16  expiredTime=no
7.24	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=6.61
7.24	       =>  wckTime=6.91  cpuTime=6.56  mem=24M681
7.24	   
7.24	s SATISFIABLE
7.24	v 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 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 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 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 1 0 0 1 0 1 1 0 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 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 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 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 
7.24	d NODES 36096
7.24	d CHECKS 591198
7.24	   
7.24	   totalWckTime=6.991  totalCpuTime=6.61

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-213026-1168225199 -o ROOT/results/node4/solver-213026-1168225199 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213026-1168225199/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.22 1.73 1.90 5/87 2323
/proc/meminfo: memFree=1830696/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=18540 CPUtime=0
/proc/2322/stat : 2322 (runsolver) R 2320 2322 2199 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 170916572 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2322/statm: 4635 279 244 17 0 2626 0

[startup+0.104388 s]
/proc/loadavg: 1.22 1.73 1.90 5/87 2323
/proc/meminfo: memFree=1830696/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=911488 CPUtime=0.06
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 2587 0 1 0 4 2 0 0 23 0 8 0 170916572 933363712 2334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 227872 2334 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.512423 s]
/proc/loadavg: 1.22 1.73 1.90 5/87 2323
/proc/meminfo: memFree=1830696/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915328 CPUtime=0.43
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 6263 0 1 0 39 4 0 0 22 0 8 0 170916572 937295872 6002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228832 6002 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.3375 s]
/proc/loadavg: 1.22 1.73 1.90 3/94 2330
/proc/meminfo: memFree=1803440/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915556 CPUtime=1.25
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 9592 0 1 0 116 9 0 0 25 0 8 0 170916572 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228889 9330 2543 14 0 215359 0
[pid=2322/tid=2324] ppid=2320 vsize=915556 CPUtime=0.03
/proc/2322/task/2324/stat : 2324 (java) S 2320 2322 2199 0 -1 64 222 0 0 0 3 0 0 0 16 0 8 0 170916579 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2325] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2325/stat : 2325 (java) S 2320 2322 2199 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170916579 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2326] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2326/stat : 2326 (java) S 2320 2322 2199 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170916579 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2327] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2327/stat : 2327 (java) S 2320 2322 2199 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 170916582 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2328] ppid=2320 vsize=915556 CPUtime=0.24
/proc/2322/task/2328/stat : 2328 (java) S 2320 2322 2199 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 170916582 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2329] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2329/stat : 2329 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170916582 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2330] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2330/stat : 2330 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170916583 937529344 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915556

[startup+2.98966 s]
/proc/loadavg: 1.22 1.73 1.90 3/94 2330
/proc/meminfo: memFree=1802160/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915556 CPUtime=2.89
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 10058 0 1 0 279 10 0 0 25 0 8 0 170916572 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228889 9794 2543 14 0 215359 0
[pid=2322/tid=2324] ppid=2320 vsize=915556 CPUtime=0.03
/proc/2322/task/2324/stat : 2324 (java) S 2320 2322 2199 0 -1 64 222 0 0 0 3 0 0 0 17 0 8 0 170916579 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2325] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2325/stat : 2325 (java) S 2320 2322 2199 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170916579 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2326] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2326/stat : 2326 (java) S 2320 2322 2199 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170916579 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2327] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2327/stat : 2327 (java) S 2320 2322 2199 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 170916582 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2328] ppid=2320 vsize=915556 CPUtime=0.25
/proc/2322/task/2328/stat : 2328 (java) S 2320 2322 2199 0 -1 64 421 0 0 0 24 1 0 0 15 0 8 0 170916582 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2329] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2329/stat : 2329 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170916582 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2330] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2330/stat : 2330 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170916583 937529344 9794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915556

[startup+6.27697 s]
/proc/loadavg: 1.28 1.74 1.90 3/94 2330
/proc/meminfo: memFree=1798640/2055920 swapFree=4182144/4192956
[pid=2322] ppid=2320 vsize=915556 CPUtime=6.15
/proc/2322/stat : 2322 (java) R 2320 2322 2199 0 -1 0 10938 0 1 0 605 10 0 0 25 0 8 0 170916572 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2322/statm: 228889 10674 2543 14 0 215359 0
[pid=2322/tid=2324] ppid=2320 vsize=915556 CPUtime=0.03
/proc/2322/task/2324/stat : 2324 (java) S 2320 2322 2199 0 -1 64 222 0 0 0 3 0 0 0 16 0 8 0 170916579 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2325] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2325/stat : 2325 (java) S 2320 2322 2199 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170916579 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2326] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2326/stat : 2326 (java) S 2320 2322 2199 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170916579 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2327] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2327/stat : 2327 (java) S 2320 2322 2199 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 170916582 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2328] ppid=2320 vsize=915556 CPUtime=0.25
/proc/2322/task/2328/stat : 2328 (java) S 2320 2322 2199 0 -1 64 421 0 0 0 24 1 0 0 15 0 8 0 170916582 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2329] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2329/stat : 2329 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170916582 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2322/tid=2330] ppid=2320 vsize=915556 CPUtime=0
/proc/2322/task/2330/stat : 2330 (java) S 2320 2322 2199 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170916583 937529344 10674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915556

Child status: 0
Real time (s): 7.29694
CPU time (s): 7.12592
CPU user time (s): 7.01293
CPU system time (s): 0.112982
CPU usage (%): 97.6561
Max. virtual memory (cumulated for all children) (KiB): 915556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.01293
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11229
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= 1525
involuntary context switches= 1904

runsolver used 0.013997 s user time and 0.026995 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Jan  8 03:00:06 UTC 2007


IDJOB= 213026
IDBENCH= 4816
FILE ID= node4/213026-1168225199

PBS_JOBID= 3481009

Free space on /tmp= 66307 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fb2add53fc1bc48bc4b8068286c2632b

RANDOM SEED= 474243165

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1831304 kB
Buffers:         34032 kB
Cached:          91492 kB
SwapCached:       2520 kB
Active:         104276 kB
Inactive:        65960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831304 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1832 kB
Writeback:           0 kB
Mapped:          55388 kB
Slab:            39092 kB
Committed_AS:  4626576 kB
PageTables:       2368 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= 66307 MiB



End job on node4 on Mon Jan  8 03:00:22 UTC 2007