Trace number 195935

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 77.3452 78.1082

DiagnosticValue
CHECKS56568528
NODES42488

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-16_ext.xml
MD5SUM4376c4e1b4f50f628d636b7e95eeb495
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark77.3452
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
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=esac.xml
0.34	   
0.35	   instance
0.35	     name=/tmp/evaluation/195935-1168116565/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
1.06	   
1.06	   constraints being loaded...
1.33	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.33	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
1.33	       =>  wckTime=1.015  cpuTime=0.87  mem=47M681
1.45	   
1.45	   solver IterativeSystematicSolver being built... 
1.62	       =>  wckTime=1.308  cpuTime=1.02  mem=34M241
1.73	   
1.73	   preprocessing
1.73	     nbConstraintChecks=30856  nbValidityChecks=53383  nbPropagations=222  nbRevisions=2274  nbUselessRevisions=1978
1.73	     nbSingletonTests=31  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.73	       =>  wckTime=0.102  cpuTime=0.07  mem=34M241
1.81	   
1.81	   search
1.81	     run=0  nbConstraintChecks=42338  nbValidityChecks=80127  nbPropagations=613  nbRevisions=6818
1.81	     nbUselessRevisions=5576  nbAssignments=34  nbFailedAssignments=17  nbBacktracks=13  nbVisitedNodes=61
1.81	     nbRestartNogoods=0  mapSize=13  nbInferences=0  nbTooLargeKeys=0
1.81	       =>  wckTime=0.185  cpuTime=0.14  mem=35M245
1.89	   
1.89	   search
1.89	     run=1  nbConstraintChecks=93197  nbValidityChecks=169653  nbPropagations=1665  nbRevisions=19393
1.89	     nbUselessRevisions=15817  nbAssignments=71  nbFailedAssignments=34  nbBacktracks=28  nbVisitedNodes=126
1.89	     nbRestartNogoods=1  mapSize=26  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.264  cpuTime=0.23  mem=35M245
2.04	   
2.04	   search
2.04	     run=2  nbConstraintChecks=189273  nbValidityChecks=347363  nbPropagations=3453  nbRevisions=41527
2.04	     nbUselessRevisions=33656  nbAssignments=136  nbFailedAssignments=71  nbBacktracks=51  nbVisitedNodes=247
2.04	     nbRestartNogoods=5  mapSize=48  nbInferences=0  nbTooLargeKeys=0
2.04	       =>  wckTime=0.418  cpuTime=0.37  mem=35M245
2.23	   
2.23	   search
2.23	     run=3  nbConstraintChecks=319501  nbValidityChecks=594572  nbPropagations=6339  nbRevisions=78853
2.24	     nbUselessRevisions=64023  nbAssignments=242  nbFailedAssignments=133  nbBacktracks=84  nbVisitedNodes=433
2.24	     nbRestartNogoods=13  mapSize=79  nbInferences=0  nbTooLargeKeys=0
2.24	       =>  wckTime=0.61  cpuTime=0.55  mem=35M245
2.51	   
2.51	   search
2.51	     run=4  nbConstraintChecks=514075  nbValidityChecks=953502  nbPropagations=10837  nbRevisions=137326
2.51	     nbUselessRevisions=111372  nbAssignments=382  nbFailedAssignments=210  nbBacktracks=134  nbVisitedNodes=674
2.51	     nbRestartNogoods=21  mapSize=126  nbInferences=0  nbTooLargeKeys=0
2.52	       =>  wckTime=0.888  cpuTime=0.82  mem=35M245
2.82	   
2.82	   search
2.82	     run=5  nbConstraintChecks=725651  nbValidityChecks=1342790  nbPropagations=17250  nbRevisions=219444
2.83	     nbUselessRevisions=177645  nbAssignments=538  nbFailedAssignments=285  nbBacktracks=210  nbVisitedNodes=956
2.83	     nbRestartNogoods=26  mapSize=193  nbInferences=0  nbTooLargeKeys=0
2.83	       =>  wckTime=1.199  cpuTime=1.13  mem=35M245
3.41	   
3.41	   search
3.41	     run=6  nbConstraintChecks=1138711  nbValidityChecks=2088886  nbPropagations=26882  nbRevisions=340577
3.41	     nbUselessRevisions=274317  nbAssignments=828  nbFailedAssignments=437  nbBacktracks=324  nbVisitedNodes=1458
3.41	     nbRestartNogoods=34  mapSize=300  nbInferences=0  nbTooLargeKeys=0
3.41	       =>  wckTime=1.785  cpuTime=1.7  mem=35M245
4.12	   
4.12	   search
4.12	     run=7  nbConstraintChecks=1634041  nbValidityChecks=3005273  nbPropagations=40943  nbRevisions=518936
4.12	     nbUselessRevisions=416972  nbAssignments=1204  nbFailedAssignments=640  nbBacktracks=494  nbVisitedNodes=2151
4.12	     nbRestartNogoods=37  mapSize=450  nbInferences=0  nbTooLargeKeys=0
4.12	       =>  wckTime=2.494  cpuTime=2.4  mem=35M245
5.25	   
5.25	   search
5.25	     run=8  nbConstraintChecks=2430986  nbValidityChecks=4507757  nbPropagations=61952  nbRevisions=783809
5.25	     nbUselessRevisions=628115  nbAssignments=1801  nbFailedAssignments=975  nbBacktracks=751  nbVisitedNodes=3251
5.25	     nbRestartNogoods=42  mapSize=680  nbInferences=0  nbTooLargeKeys=0
5.25	       =>  wckTime=3.627  cpuTime=3.5  mem=35M245
6.82	   
6.82	   search
6.82	     run=9  nbConstraintChecks=3563412  nbValidityChecks=6546274  nbPropagations=92288  nbRevisions=1166283
6.82	     nbUselessRevisions=932750  nbAssignments=2610  nbFailedAssignments=1394  nbBacktracks=1135  nbVisitedNodes=4732
6.82	     nbRestartNogoods=46  mapSize=1019  nbInferences=0  nbTooLargeKeys=0
6.82	       =>  wckTime=5.199  cpuTime=5.04  mem=35M245
6.91	   
6.91	   INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=35M245)
9.43	   
9.44	   search
9.44	     run=10  nbConstraintChecks=5484767  nbValidityChecks=10105386  nbPropagations=139001  nbRevisions=1766769
9.44	     nbUselessRevisions=1412855  nbAssignments=4118  nbFailedAssignments=2308  nbBacktracks=1711  nbVisitedNodes=7560
9.44	     nbRestartNogoods=58
9.44	       =>  wckTime=7.81  cpuTime=7.62  mem=35M245
13.05	   
13.05	   search
13.05	     run=11  nbConstraintChecks=8169426  nbValidityChecks=15195098  nbPropagations=209232  nbRevisions=2657507
13.05	     nbUselessRevisions=2121820  nbAssignments=6223  nbFailedAssignments=3546  nbBacktracks=2575  nbVisitedNodes=11462
13.05	     nbRestartNogoods=64
13.05	       =>  wckTime=11.429  cpuTime=11.21  mem=35M245
18.80	   
18.80	   search
18.80	     run=12  nbConstraintChecks=12429781  nbValidityChecks=23036527  nbPropagations=315116  nbRevisions=4008761
18.80	     nbUselessRevisions=3197510  nbAssignments=9419  nbFailedAssignments=5440  nbBacktracks=3873  nbVisitedNodes=17441
18.80	     nbRestartNogoods=70
18.81	       =>  wckTime=17.18  cpuTime=16.91  mem=35M245
27.12	   
27.12	   search
27.12	     run=13  nbConstraintChecks=18719947  nbValidityChecks=34787636  nbPropagations=474639  nbRevisions=6019749
27.12	     nbUselessRevisions=4793539  nbAssignments=14129  nbFailedAssignments=8198  nbBacktracks=5819  nbVisitedNodes=26211
27.12	     nbRestartNogoods=75
27.12	       =>  wckTime=25.493  cpuTime=25.14  mem=35M245
39.43	   
39.43	   search
39.43	     run=14  nbConstraintChecks=27813239  nbValidityChecks=51622813  nbPropagations=713818  nbRevisions=9078547
39.43	     nbUselessRevisions=7234232  nbAssignments=21062  nbFailedAssignments=12201  nbBacktracks=8738  nbVisitedNodes=39191
39.43	     nbRestartNogoods=91
39.43	       =>  wckTime=37.809  cpuTime=37.35  mem=35M245
58.22	   
58.22	   search
58.22	     run=15  nbConstraintChecks=41870963  nbValidityChecks=77653592  nbPropagations=1069812  nbRevisions=13612088
58.22	     nbUselessRevisions=10841585  nbAssignments=31473  nbFailedAssignments=18230  nbBacktracks=13116
58.22	     nbVisitedNodes=58505  nbRestartNogoods=109
58.22	       =>  wckTime=56.592  cpuTime=55.96  mem=35M245
78.05	   
78.05	   search
78.05	     run=16  nbConstraintChecks=56537672  nbValidityChecks=104560378  nbPropagations=1549746  nbRevisions=19793767
78.05	     nbUselessRevisions=15777566  nbAssignments=42488  nbFailedAssignments=24538  nbBacktracks=17799
78.05	     nbVisitedNodes=79034  nbRestartNogoods=121
78.05	       =>  wckTime=76.43  cpuTime=75.61  mem=35M245
78.06	   
78.06	   global
78.06	     nbConstraintChecks=56568528  nbValidityChecks=104613761  nbPropagations=1549968  nbRevisions=19796041
78.06	     nbUselessRevisions=15779544  nbRestartNogoods=121  solvingWckTime=76.431  solvingCpuTime=75.61  expiredTime=no
78.06	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=76.68
78.06	       =>  wckTime=77.742  cpuTime=76.63  mem=35M245
78.06	   
78.06	s SATISFIABLE
78.06	v 5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18 
78.06	d NODES 42488
78.06	d CHECKS 56568528
78.06	   
78.06	   totalWckTime=77.824  totalCpuTime=76.68

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/node19/watcher-195935-1168116565 -o ROOT/results/node19/solver-195935-1168116565 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195935-1168116565/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.92 2.07 2.24 4/93 2273
/proc/meminfo: memFree=1768424/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=172 CPUtime=0
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 160051117 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/2272/statm: 43 24 18 14 0 3 0

[startup+0.10804 s]
/proc/loadavg: 1.92 2.07 2.24 4/93 2273
/proc/meminfo: memFree=1768424/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=914988 CPUtime=0.09
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 3008 0 1 0 7 2 0 0 17 0 8 0 160051117 936947712 2754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155239648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228747 2754 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517119 s]
/proc/loadavg: 1.92 2.07 2.24 4/93 2273
/proc/meminfo: memFree=1768424/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915328 CPUtime=0.49
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 7601 0 1 0 44 5 0 0 18 0 8 0 160051117 937295872 7340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228832 7340 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33827 s]
/proc/loadavg: 1.92 2.07 2.24 3/100 2280
/proc/meminfo: memFree=1701296/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915416 CPUtime=1.31
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 19145 0 1 0 120 11 0 0 25 0 8 0 160051117 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228854 18882 2168 14 0 215324 0
[pid=2272/tid=2274] ppid=2270 vsize=915416 CPUtime=0.06
/proc/2272/task/2274/stat : 2274 (java) R 2270 2272 1690 0 -1 64 2657 0 0 0 5 1 0 0 16 0 8 0 160051121 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155074672 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2275] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2275/stat : 2275 (java) S 2270 2272 1690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2276] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2276/stat : 2276 (java) S 2270 2272 1690 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2277] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2277/stat : 2277 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160051124 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2278] ppid=2270 vsize=915416 CPUtime=0.1
/proc/2272/task/2278/stat : 2278 (java) S 2270 2272 1690 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 160051124 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2279] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2279/stat : 2279 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160051125 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2280] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2280/stat : 2280 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160051125 937385984 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915416

[startup+2.97758 s]
/proc/loadavg: 1.92 2.07 2.24 3/100 2280
/proc/meminfo: memFree=1685616/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915416 CPUtime=2.94
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 23410 0 1 0 280 14 0 0 25 0 8 0 160051117 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228854 23146 2531 14 0 215324 0
[pid=2272/tid=2274] ppid=2270 vsize=915416 CPUtime=0.16
/proc/2272/task/2274/stat : 2274 (java) S 2270 2272 1690 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160051121 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2275] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2275/stat : 2275 (java) S 2270 2272 1690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2276] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2276/stat : 2276 (java) S 2270 2272 1690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160051121 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2277] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2277/stat : 2277 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160051124 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2278] ppid=2270 vsize=915416 CPUtime=0.21
/proc/2272/task/2278/stat : 2278 (java) S 2270 2272 1690 0 -1 64 371 0 0 0 20 1 0 0 15 0 8 0 160051124 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2279] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2279/stat : 2279 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160051125 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2280] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2280/stat : 2280 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160051125 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416

[startup+6.2792 s]
/proc/loadavg: 1.93 2.06 2.24 3/100 2280
/proc/meminfo: memFree=1685360/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915416 CPUtime=6.2
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 23425 0 1 0 606 14 0 0 25 0 8 0 160051117 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228854 23158 2531 14 0 215324 0
[pid=2272/tid=2274] ppid=2270 vsize=915416 CPUtime=0.16
/proc/2272/task/2274/stat : 2274 (java) S 2270 2272 1690 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160051121 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2275] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2275/stat : 2275 (java) S 2270 2272 1690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2276] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2276/stat : 2276 (java) S 2270 2272 1690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160051121 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2277] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2277/stat : 2277 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160051124 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2278] ppid=2270 vsize=915416 CPUtime=0.24
/proc/2272/task/2278/stat : 2278 (java) S 2270 2272 1690 0 -1 64 384 0 0 0 23 1 0 0 15 0 8 0 160051124 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2279] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2279/stat : 2279 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160051125 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2280] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2280/stat : 2280 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160051125 937385984 23158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915416

[startup+12.7594 s]
/proc/loadavg: 1.93 2.06 2.24 3/100 2280
/proc/meminfo: memFree=1685424/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915416 CPUtime=12.62
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 23431 0 1 0 1248 14 0 0 25 0 8 0 160051117 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751741 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228854 23162 2531 14 0 215324 0
[pid=2272/tid=2274] ppid=2270 vsize=915416 CPUtime=0.16
/proc/2272/task/2274/stat : 2274 (java) S 2270 2272 1690 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160051121 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2275] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2275/stat : 2275 (java) S 2270 2272 1690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2276] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2276/stat : 2276 (java) S 2270 2272 1690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160051121 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2277] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2277/stat : 2277 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160051124 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2278] ppid=2270 vsize=915416 CPUtime=0.25
/proc/2272/task/2278/stat : 2278 (java) S 2270 2272 1690 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 160051124 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2279] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2279/stat : 2279 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160051125 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2280] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2280/stat : 2280 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160051125 937385984 23162 18446744073709551615 134512640 134570532 4294956464 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) 915416

[startup+25.6348 s]
/proc/loadavg: 1.95 2.06 2.24 3/100 2280
/proc/meminfo: memFree=1685552/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915416 CPUtime=25.37
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 23433 0 1 0 2523 14 0 0 25 0 8 0 160051117 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228854 23163 2531 14 0 215324 0
[pid=2272/tid=2274] ppid=2270 vsize=915416 CPUtime=0.16
/proc/2272/task/2274/stat : 2274 (java) S 2270 2272 1690 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160051121 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2275] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2275/stat : 2275 (java) S 2270 2272 1690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2276] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2276/stat : 2276 (java) S 2270 2272 1690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160051121 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2277] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2277/stat : 2277 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160051124 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2278] ppid=2270 vsize=915416 CPUtime=0.25
/proc/2272/task/2278/stat : 2278 (java) S 2270 2272 1690 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160051124 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2279] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2279/stat : 2279 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160051125 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2280] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2280/stat : 2280 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160051125 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915416

[startup+51.2657 s]
/proc/loadavg: 1.96 2.05 2.23 3/100 2280
/proc/meminfo: memFree=1685616/2055920 swapFree=4171244/4192956
[pid=2272] ppid=2270 vsize=915416 CPUtime=50.77
/proc/2272/stat : 2272 (java) R 2270 2272 1690 0 -1 0 23433 0 1 0 5062 15 0 0 25 0 8 0 160051117 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2272/statm: 228854 23163 2531 14 0 215324 0
[pid=2272/tid=2274] ppid=2270 vsize=915416 CPUtime=0.16
/proc/2272/task/2274/stat : 2274 (java) S 2270 2272 1690 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160051121 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2275] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2275/stat : 2275 (java) S 2270 2272 1690 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160051121 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2276] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2276/stat : 2276 (java) S 2270 2272 1690 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160051121 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2277] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2277/stat : 2277 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160051124 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2278] ppid=2270 vsize=915416 CPUtime=0.25
/proc/2272/task/2278/stat : 2278 (java) S 2270 2272 1690 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160051124 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2279] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2279/stat : 2279 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160051125 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2272/tid=2280] ppid=2270 vsize=915416 CPUtime=0
/proc/2272/task/2280/stat : 2280 (java) S 2270 2272 1690 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160051125 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 78.1082
CPU time (s): 77.3452
CPU user time (s): 77.1723
CPU system time (s): 0.172973
CPU usage (%): 99.0232
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.1723
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23440
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= 2712
involuntary context switches= 4886

runsolver used 0.114982 s user time and 0.240963 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 20:49:25 UTC 2007


IDJOB= 195935
IDBENCH= 3313
FILE ID= node19/195935-1168116565

PBS_JOBID= 3477110

Free space on /tmp= 66305 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195935-1168116565/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-195935-1168116565 -o ROOT/results/node19/solver-195935-1168116565 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195935-1168116565/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4376c4e1b4f50f628d636b7e95eeb495

RANDOM SEED= 83881789

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.260
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.260
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:       1768904 kB
Buffers:         36600 kB
Cached:          70720 kB
SwapCached:      10320 kB
Active:         163600 kB
Inactive:        63316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768904 kB
SwapTotal:     4192956 kB
SwapFree:      4171244 kB
Dirty:            4564 kB
Writeback:           0 kB
Mapped:         138664 kB
Slab:            44628 kB
Committed_AS:  4624340 kB
PageTables:       2584 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= 66305 MiB



End job on node19 on Sat Jan  6 20:50:43 UTC 2007