Trace number 227172

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 ESACUNSAT 16.0556 16.3578

DiagnosticValue
CHECKS47087819
NODES67896

General information on the benchmark

Nametightness/tightness0.1/
rand-2-40-8-753-100-47_ext.xml
MD5SUM4737fa27592665f0d0d4d0fbdc360c52
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.9334
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints753
Maximum constraint arity2
Maximum domain size8
Number of constraints which are defined in extension753
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.51	   
0.51	Abscon 109 (November, 2006)
0.51	   
0.51	   configuration
0.51	     name=esac.xml
0.54	   
0.54	   instance
0.54	     name=/tmp/evaluation/227172-1168277541/unknown.xml
0.57	   
0.57	   domains being loaded...
0.57	   
0.57	   variables being loaded...
0.61	     nbVariables=40  nbDomainTypes=1  minDomainSize=8  maxDomainSize=8
0.61	       =>  wckTime=0.101  cpuTime=0.1  mem=6M951
0.61	   
0.61	   relations being loaded...
0.71	   
0.71	   constraints being loaded...
0.89	     nbConstraints=752  nbRelationTypes=753  nbExtensionStructures=752  nbSharedExtensionStructures=0
0.89	     nbConflictsStructures=752  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=11897  maxDegree=39
0.89	     maxArity=2
0.89	       =>  wckTime=0.379  cpuTime=0.25  mem=11M848
0.93	   
0.93	   solver IterativeSystematicSolver being built... 
1.09	       =>  wckTime=0.585  cpuTime=0.39  mem=15M6
1.16	   
1.16	   preprocessing
1.16	     nbConstraintChecks=26782  nbPropagations=915  nbRevisions=6386  nbUselessRevisions=5155  nbSingletonTests=55
1.16	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
1.16	       =>  wckTime=0.065  cpuTime=0.03  mem=15M6
1.18	   
1.18	   search
1.18	     run=0  nbConstraintChecks=10946  nbPropagations=1181  nbRevisions=9587  nbUselessRevisions=7858  nbAssignments=22
1.18	     nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=31  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.18	     nbTooLargeKeys=0
1.18	       =>  wckTime=0.086  cpuTime=0.06  mem=15M6
1.20	   
1.20	   search
1.20	     run=1  nbConstraintChecks=31523  nbPropagations=2809  nbRevisions=25761  nbUselessRevisions=21358  nbAssignments=51
1.20	     nbFailedAssignments=11  nbBacktracks=27  nbVisitedNodes=77  nbRestartNogoods=1  mapSize=20  nbInferences=0
1.20	     nbTooLargeKeys=0
1.20	       =>  wckTime=0.105  cpuTime=0.07  mem=15M6
1.21	   
1.21	   search
1.21	     run=2  nbConstraintChecks=51399  nbPropagations=4890  nbRevisions=48326  nbUselessRevisions=40349  nbAssignments=89
1.21	     nbFailedAssignments=19  nbBacktracks=50  nbVisitedNodes=135  nbRestartNogoods=3  mapSize=38  nbInferences=0
1.22	     nbTooLargeKeys=0
1.22	       =>  wckTime=0.12  cpuTime=0.08  mem=15M6
1.23	   
1.23	   search
1.23	     run=3  nbConstraintChecks=89264  nbPropagations=7785  nbRevisions=83403  nbUselessRevisions=70144
1.23	     nbAssignments=148  nbFailedAssignments=36  nbBacktracks=83  nbVisitedNodes=228  nbRestartNogoods=4  mapSize=68
1.23	     nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.138  cpuTime=0.1  mem=15M6
1.26	   
1.26	   search
1.26	     run=4  nbConstraintChecks=138996  nbPropagations=11674  nbRevisions=134342  nbUselessRevisions=113450
1.26	     nbAssignments=227  nbFailedAssignments=57  nbBacktracks=134  nbVisitedNodes=349  nbRestartNogoods=6  mapSize=105
1.26	     nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.16  cpuTime=0.12  mem=15M6
1.29	   
1.29	   search
1.29	     run=5  nbConstraintChecks=218194  nbPropagations=17061  nbRevisions=210046  nbUselessRevisions=177767
1.29	     nbAssignments=347  nbFailedAssignments=95  nbBacktracks=213  nbVisitedNodes=544  nbRestartNogoods=9  mapSize=171
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.197  cpuTime=0.15  mem=15M6
1.34	   
1.34	   search
1.34	     run=6  nbConstraintChecks=332122  nbPropagations=24582  nbRevisions=322509  nbUselessRevisions=273520
1.34	     nbAssignments=511  nbFailedAssignments=138  nbBacktracks=330  nbVisitedNodes=813  nbRestartNogoods=10  mapSize=264
1.34	     nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.241  cpuTime=0.2  mem=15M6
1.40	   
1.40	   search
1.40	     run=7  nbConstraintChecks=487323  nbPropagations=35098  nbRevisions=484657  nbUselessRevisions=411627
1.40	     nbAssignments=759  nbFailedAssignments=207  nbBacktracks=501  nbVisitedNodes=1213  nbRestartNogoods=12  mapSize=401
1.40	     nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.301  cpuTime=0.26  mem=15M6
1.49	   
1.49	   search
1.49	     run=8  nbConstraintChecks=726297  nbPropagations=50070  nbRevisions=725194  nbUselessRevisions=617194
1.49	     nbAssignments=1130  nbFailedAssignments=313  nbBacktracks=758  nbVisitedNodes=1815  nbRestartNogoods=16
1.49	     mapSize=606  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.391  cpuTime=0.34  mem=15M6
1.65	   
1.65	   search
1.65	     run=9  nbConstraintChecks=1121688  nbPropagations=72329  nbRevisions=1090632  nbUselessRevisions=928925
1.65	     nbAssignments=1691  nbFailedAssignments=483  nbBacktracks=1143  nbVisitedNodes=2727  nbRestartNogoods=22
1.65	     mapSize=919  nbInferences=0  nbTooLargeKeys=0
1.65	       =>  wckTime=0.552  cpuTime=0.49  mem=15M6
1.69	   
1.69	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M6)
1.84	   
1.84	   search
1.84	     run=10  nbConstraintChecks=1666500  nbPropagations=104737  nbRevisions=1636843  nbUselessRevisions=1395983
1.84	     nbAssignments=2515  nbFailedAssignments=724  nbBacktracks=1721  nbVisitedNodes=4059  nbRestartNogoods=27
1.84	       =>  wckTime=0.745  cpuTime=0.67  mem=15M6
2.09	   
2.09	   search
2.09	     run=11  nbConstraintChecks=2454818  nbPropagations=151959  nbRevisions=2443767  nbUselessRevisions=2087158
2.09	     nbAssignments=3728  nbFailedAssignments=1065  nbBacktracks=2587  nbVisitedNodes=5995  nbRestartNogoods=32
2.09	       =>  wckTime=0.999  cpuTime=0.92  mem=15M6
2.50	   
2.50	   search
2.50	     run=12  nbConstraintChecks=3681878  nbPropagations=222341  nbRevisions=3656413  nbUselessRevisions=3126147
2.50	     nbAssignments=5572  nbFailedAssignments=1604  nbBacktracks=3890  nbVisitedNodes=8999  nbRestartNogoods=38
2.50	       =>  wckTime=1.401  cpuTime=1.32  mem=15M6
3.12	   
3.12	   search
3.12	     run=13  nbConstraintChecks=5664583  nbPropagations=329175  nbRevisions=5501867  nbUselessRevisions=4704585
3.12	     nbAssignments=8391  nbFailedAssignments=2467  nbBacktracks=5838  nbVisitedNodes=13623  nbRestartNogoods=41
3.12	       =>  wckTime=2.027  cpuTime=1.94  mem=15M6
4.05	   
4.05	   search
4.05	     run=14  nbConstraintChecks=8566120  nbPropagations=489563  nbRevisions=8284746  nbUselessRevisions=7084768
4.05	     nbAssignments=12554  nbFailedAssignments=3702  nbBacktracks=8758  nbVisitedNodes=20424  nbRestartNogoods=47
4.05	       =>  wckTime=2.955  cpuTime=2.86  mem=15M6
5.41	   
5.41	   search
5.41	     run=15  nbConstraintChecks=12793226  nbPropagations=728282  nbRevisions=12453476  nbUselessRevisions=10654699
5.41	     nbAssignments=18800  nbFailedAssignments=5567  nbBacktracks=13136  nbVisitedNodes=30627  nbRestartNogoods=56
5.41	       =>  wckTime=4.31  cpuTime=4.21  mem=15M6
7.43	   
7.43	   search
7.43	     run=16  nbConstraintChecks=19110369  nbPropagations=1084271  nbRevisions=18683975  nbUselessRevisions=15994582
7.43	     nbAssignments=28127  nbFailedAssignments=8320  nbBacktracks=19705  nbVisitedNodes=45786  nbRestartNogoods=62
7.43	       =>  wckTime=6.335  cpuTime=6.23  mem=15M6
10.56	   
10.56	   search
10.56	     run=17  nbConstraintChecks=28885358  nbPropagations=1622065  nbRevisions=28092664  nbUselessRevisions=24050260
10.56	     nbAssignments=42177  nbFailedAssignments=12510  nbBacktracks=29557  nbVisitedNodes=68845  nbRestartNogoods=66
10.56	       =>  wckTime=9.47  cpuTime=9.35  mem=15M6
15.29	   
15.29	   search
15.29	     run=18  nbConstraintChecks=43712693  nbPropagations=2433280  nbRevisions=42360397  nbUselessRevisions=36275378
15.29	     nbAssignments=63265  nbFailedAssignments=18812  nbBacktracks=44335  nbVisitedNodes=103439  nbRestartNogoods=72
15.29	       =>  wckTime=14.19  cpuTime=14.04  mem=15M6
16.34	   
16.34	   search
16.34	     run=19  nbConstraintChecks=47061037  nbPropagations=3305654  nbRevisions=57698187  nbUselessRevisions=49414150
16.34	     nbAssignments=67896  nbFailedAssignments=20208  nbBacktracks=47571  nbVisitedNodes=111077  nbRestartNogoods=80
16.34	       =>  wckTime=15.243  cpuTime=15.09  mem=15M6
16.34	   
16.34	   global
16.34	     nbConstraintChecks=47087819  nbPropagations=3306569  nbRevisions=57704573  nbUselessRevisions=49419305
16.34	     nbRestartNogoods=80  solvingWckTime=15.244  solvingCpuTime=15.09  expiredTime=no  totalExploration=yes
16.34	     nbFoundSolutions=0  globalCpuTime=15.53
16.34	       =>  wckTime=15.832  cpuTime=15.48  mem=15M6
16.34	   
16.34	s UNSATISFIABLE
16.34	d NODES 67896
16.34	d CHECKS 47087819
16.34	   
16.34	   totalWckTime=15.911  totalCpuTime=15.53

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-227172-1168277541 -o ROOT/results/node33/solver-227172-1168277541 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227172-1168277541/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.98 1.67 1.92 3/68 20423
/proc/meminfo: memFree=724800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=172 CPUtime=0
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 217 0 0 0 0 0 0 0 20 0 1 0 176147969 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 0 0 0
/proc/20422/statm: 43 24 18 14 0 3 0

[startup+0.102251 s]
/proc/loadavg: 0.98 1.67 1.92 3/68 20423
/proc/meminfo: memFree=724800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=9748 CPUtime=0
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 176147969 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 2147483391 0 7368 0 0 0 17 0 0 0
/proc/20422/statm: 2437 412 333 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9748

[startup+0.510299 s]
/proc/loadavg: 0.98 1.67 1.92 3/68 20423
/proc/meminfo: memFree=724800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=915884 CPUtime=0.29
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 5100 0 5 0 26 3 0 0 16 0 8 0 176147969 937865216 4850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 228971 4850 1972 14 0 215459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 915884

[startup+1.33347 s]
/proc/loadavg: 0.98 1.67 1.92 4/88 20489
/proc/meminfo: memFree=689760/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=1.1
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8744 0 5 0 103 7 0 0 21 0 8 0 176147969 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8486 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.23
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 407 0 0 0 22 1 0 0 15 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 916188

[startup+2.9808 s]
/proc/loadavg: 0.98 1.67 1.92 4/88 20489
/proc/meminfo: memFree=688800/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=2.74
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8805 0 5 0 266 8 0 0 25 0 8 0 176147969 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8546 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.26
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 423 0 0 0 25 1 0 0 16 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) R 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 916188

[startup+6.26748 s]
/proc/loadavg: 1.06 1.68 1.92 3/88 20489
/proc/meminfo: memFree=688672/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=6.01
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8814 0 5 0 593 8 0 0 25 0 8 0 176147969 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8554 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.26
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 916188

[startup+12.7528 s]
/proc/loadavg: 1.14 1.68 1.92 3/88 20489
/proc/meminfo: memFree=688608/2055920 swapFree=4192224/4192956
[pid=20422] ppid=20420 vsize=916188 CPUtime=12.46
/proc/20422/stat : 20422 (java) R 20420 20422 20351 0 -1 0 8819 0 5 0 1238 8 0 0 25 0 8 0 176147969 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20422/statm: 229047 8559 2524 14 0 215517 0
[pid=20422/tid=20424] ppid=20420 vsize=916188 CPUtime=0.03
/proc/20422/task/20424/stat : 20424 (java) S 20420 20422 20351 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176147982 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20425] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20425/stat : 20425 (java) S 20420 20422 20351 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20426] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20426/stat : 20426 (java) S 20420 20422 20351 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 176147982 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20430] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20430/stat : 20430 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20431] ppid=20420 vsize=916188 CPUtime=0.26
/proc/20422/task/20431/stat : 20431 (java) S 20420 20422 20351 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20422/tid=20432] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20432/stat : 20432 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20422/tid=20433] ppid=20420 vsize=916188 CPUtime=0
/proc/20422/task/20433/stat : 20433 (java) S 20420 20422 20351 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176147986 938176512 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 916188

Child status: 0
Real time (s): 16.3578
CPU time (s): 16.0556
CPU user time (s): 15.9656
CPU system time (s): 0.089986
CPU usage (%): 98.1526
Max. virtual memory (cumulated for all children) (KiB): 916188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9656
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8914
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1613
involuntary context switches= 1886

runsolver used 0.029995 s user time and 0.056991 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Mon Jan  8 17:32:21 UTC 2007


IDJOB= 227172
IDBENCH= 6055
FILE ID= node33/227172-1168277541

PBS_JOBID= 3483353

Free space on /tmp= 66563 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227172-1168277541/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-227172-1168277541 -o ROOT/results/node33/solver-227172-1168277541 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227172-1168277541/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4737fa27592665f0d0d4d0fbdc360c52

RANDOM SEED= 62866490

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.281
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.281
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:        725408 kB
Buffers:          7688 kB
Cached:        1253584 kB
SwapCached:        264 kB
Active:         505352 kB
Inactive:       775540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        725408 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            2072 kB
Writeback:           0 kB
Mapped:          29304 kB
Slab:            35372 kB
Committed_AS:  3351964 kB
PageTables:       1616 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= 66562 MiB



End job on node33 on Mon Jan  8 17:32:38 UTC 2007