Trace number 226984

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 21.4167 21.6528

DiagnosticValue
CHECKS63340371
NODES93125

General information on the benchmark

Nametightness/tightness0.1/
rand-2-40-8-753-100-17_ext.xml
MD5SUM35db91cf2a5416ba505693dda26a63fb
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 benchmark5.16921
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/226984-1168277119/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=8  maxDomainSize=8
0.43	       =>  wckTime=0.104  cpuTime=0.1  mem=6M951
0.43	   
0.43	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.71	     nbConstraints=751  nbRelationTypes=751  nbExtensionStructures=750  nbSharedExtensionStructures=1
0.71	     nbConflictsStructures=750  nbSharedConflictsStructures=1  nbSharedBinaryRepresentations=11867  maxDegree=39
0.71	     maxArity=2
0.71	       =>  wckTime=0.391  cpuTime=0.24  mem=11M848
0.76	   
0.76	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.6  cpuTime=0.38  mem=15M5
0.97	   
0.97	   preprocessing
0.97	     nbConstraintChecks=19254  nbPropagations=754  nbRevisions=4430  nbUselessRevisions=3540  nbSingletonTests=46
0.97	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.97	       =>  wckTime=0.052  cpuTime=0.03  mem=15M5
1.00	   
1.00	   search
1.00	     run=0  nbConstraintChecks=10888  nbPropagations=1042  nbRevisions=7623  nbUselessRevisions=6236  nbAssignments=21
1.00	     nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=30  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.00	     nbTooLargeKeys=0
1.00	       =>  wckTime=0.078  cpuTime=0.05  mem=15M5
1.02	   
1.02	   search
1.02	     run=1  nbConstraintChecks=24031  nbPropagations=2414  nbRevisions=19504  nbUselessRevisions=16161  nbAssignments=52
1.02	     nbFailedAssignments=7  nbBacktracks=25  nbVisitedNodes=73  nbRestartNogoods=2  mapSize=15  nbInferences=0
1.02	     nbTooLargeKeys=0
1.02	       =>  wckTime=0.094  cpuTime=0.06  mem=15M5
1.04	   
1.04	   search
1.04	     run=2  nbConstraintChecks=51051  nbPropagations=4382  nbRevisions=39617  nbUselessRevisions=33060  nbAssignments=98
1.04	     nbFailedAssignments=21  nbBacktracks=50  nbVisitedNodes=144  nbRestartNogoods=5  mapSize=35  nbInferences=0
1.04	     nbTooLargeKeys=0
1.04	       =>  wckTime=0.115  cpuTime=0.07  mem=15M5
1.05	   
1.05	   search
1.05	     run=3  nbConstraintChecks=90225  nbPropagations=7111  nbRevisions=71827  nbUselessRevisions=60212
1.05	     nbAssignments=154  nbFailedAssignments=38  nbBacktracks=84  nbVisitedNodes=234  nbRestartNogoods=8  mapSize=64
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.131  cpuTime=0.09  mem=15M5
1.08	   
1.08	   search
1.08	     run=4  nbConstraintChecks=134646  nbPropagations=10804  nbRevisions=119243  nbUselessRevisions=100480
1.08	     nbAssignments=235  nbFailedAssignments=58  nbBacktracks=138  nbVisitedNodes=361  nbRestartNogoods=10  mapSize=106
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.153  cpuTime=0.11  mem=15M5
1.11	   
1.11	   search
1.11	     run=5  nbConstraintChecks=209658  nbPropagations=16001  nbRevisions=190787  nbUselessRevisions=161326
1.11	     nbAssignments=351  nbFailedAssignments=88  nbBacktracks=213  nbVisitedNodes=546  nbRestartNogoods=11  mapSize=168
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.191  cpuTime=0.14  mem=15M5
1.16	   
1.16	   search
1.16	     run=6  nbConstraintChecks=317704  nbPropagations=23306  nbRevisions=297864  nbUselessRevisions=252625
1.16	     nbAssignments=525  nbFailedAssignments=141  nbBacktracks=328  nbVisitedNodes=824  nbRestartNogoods=14  mapSize=262
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.242  cpuTime=0.19  mem=15M5
1.23	   
1.23	   search
1.23	     run=7  nbConstraintChecks=475752  nbPropagations=33666  nbRevisions=457593  nbUselessRevisions=389155
1.23	     nbAssignments=765  nbFailedAssignments=205  nbBacktracks=498  nbVisitedNodes=1212  nbRestartNogoods=16  mapSize=391
1.23	     nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.305  cpuTime=0.25  mem=15M5
1.33	   
1.33	   search
1.33	     run=8  nbConstraintChecks=745017  nbPropagations=49187  nbRevisions=705126  nbUselessRevisions=600389
1.33	     nbAssignments=1145  nbFailedAssignments=323  nbBacktracks=756  nbVisitedNodes=1842  nbRestartNogoods=21
1.33	     mapSize=615  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.408  cpuTime=0.35  mem=15M5
1.49	   
1.49	   search
1.49	     run=9  nbConstraintChecks=1129849  nbPropagations=71874  nbRevisions=1075444  nbUselessRevisions=915984
1.49	     nbAssignments=1706  nbFailedAssignments=494  nbBacktracks=1142  nbVisitedNodes=2759  nbRestartNogoods=24
1.49	     mapSize=929  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.567  cpuTime=0.49  mem=15M5
1.53	   
1.53	   INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M5)
1.68	   
1.68	   search
1.68	     run=10  nbConstraintChecks=1662472  nbPropagations=104796  nbRevisions=1622429  nbUselessRevisions=1382749
1.68	     nbAssignments=2532  nbFailedAssignments=736  nbBacktracks=1718  nbVisitedNodes=4106  nbRestartNogoods=29
1.68	       =>  wckTime=0.762  cpuTime=0.67  mem=15M5
1.96	   
1.96	   search
1.96	     run=11  nbConstraintChecks=2495427  nbPropagations=153376  nbRevisions=2443690  nbUselessRevisions=2084760
1.96	     nbAssignments=3773  nbFailedAssignments=1106  nbBacktracks=2582  nbVisitedNodes=6131  nbRestartNogoods=33
1.96	       =>  wckTime=1.036  cpuTime=0.93  mem=15M5
2.36	   
2.36	   search
2.36	     run=12  nbConstraintChecks=3721736  nbPropagations=225238  nbRevisions=3661647  nbUselessRevisions=3125257
2.36	     nbAssignments=5621  nbFailedAssignments=1648  nbBacktracks=3881  nbVisitedNodes=9131  nbRestartNogoods=40
2.36	       =>  wckTime=1.44  cpuTime=1.33  mem=15M5
2.94	   
2.94	   search
2.94	     run=13  nbConstraintChecks=5516539  nbPropagations=330593  nbRevisions=5472844  nbUselessRevisions=4676373
2.94	     nbAssignments=8364  nbFailedAssignments=2437  nbBacktracks=5829  nbVisitedNodes=13545  nbRestartNogoods=45
2.94	       =>  wckTime=2.021  cpuTime=1.92  mem=15M5
3.83	   
3.83	   search
3.83	     run=14  nbConstraintChecks=8281501  nbPropagations=487351  nbRevisions=8194900  nbUselessRevisions=7010676
3.83	     nbAssignments=12485  nbFailedAssignments=3631  nbBacktracks=8750  nbVisitedNodes=20211  nbRestartNogoods=52
3.83	       =>  wckTime=2.909  cpuTime=2.8  mem=15M5
5.18	   
5.18	   search
5.18	     run=15  nbConstraintChecks=12444502  nbPropagations=722325  nbRevisions=12295694  nbUselessRevisions=10528172
5.18	     nbAssignments=18705  nbFailedAssignments=5460  nbBacktracks=13129  nbVisitedNodes=30292  nbRestartNogoods=58
5.18	       =>  wckTime=4.255  cpuTime=4.13  mem=15M5
7.25	   
7.25	   search
7.25	     run=16  nbConstraintChecks=18909200  nbPropagations=1076980  nbRevisions=18509285  nbUselessRevisions=15858004
7.25	     nbAssignments=28124  nbFailedAssignments=8285  nbBacktracks=19702  nbVisitedNodes=45689  nbRestartNogoods=68
7.25	       =>  wckTime=6.332  cpuTime=6.18  mem=15M5
10.34	   
10.34	   search
10.34	     run=17  nbConstraintChecks=28351612  nbPropagations=1608442  nbRevisions=27811153  nbUselessRevisions=23836382
10.34	     nbAssignments=42303  nbFailedAssignments=12606  nbBacktracks=29554  nbVisitedNodes=68752  nbRestartNogoods=78
10.34	       =>  wckTime=9.414  cpuTime=9.23  mem=15M5
14.95	   
14.95	   search
14.95	     run=18  nbConstraintChecks=42584835  nbPropagations=2402975  nbRevisions=41810557  nbUselessRevisions=35856417
14.95	     nbAssignments=63428  nbFailedAssignments=18945  nbBacktracks=44334  nbVisitedNodes=103144  nbRestartNogoods=86
14.95	       =>  wckTime=14.026  cpuTime=13.8  mem=15M5
21.62	   
21.62	   search
21.62	     run=19  nbConstraintChecks=63321117  nbPropagations=3579392  nbRevisions=62551615  nbUselessRevisions=53646685
21.62	     nbAssignments=93125  nbFailedAssignments=27866  nbBacktracks=65111  nbVisitedNodes=151673  nbRestartNogoods=97
21.62	       =>  wckTime=20.7  cpuTime=20.41  mem=15M5
21.62	   
21.62	   global
21.62	     nbConstraintChecks=63340371  nbPropagations=3580146  nbRevisions=62556045  nbUselessRevisions=53650225
21.62	     nbRestartNogoods=97  solvingWckTime=20.701  solvingCpuTime=20.42  expiredTime=no  totalExploration=yes
21.62	     nbFoundSolutions=0  globalCpuTime=20.86
21.62	       =>  wckTime=21.303  cpuTime=20.81  mem=15M980
21.63	   
21.63	s UNSATISFIABLE
21.63	d NODES 93125
21.63	d CHECKS 63340371
21.63	   
21.63	   totalWckTime=21.386  totalCpuTime=20.86

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/node2/watcher-226984-1168277119 -o ROOT/results/node2/solver-226984-1168277119 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226984-1168277119/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.98 2.04 2.31 3/94 15685
/proc/meminfo: memFree=1124752/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=18540 CPUtime=0
/proc/15684/stat : 15684 (runsolver) R 15682 15684 15137 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 176107605 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15684/statm: 4635 279 244 17 0 2626 0

[startup+0.107627 s]
/proc/loadavg: 1.98 2.04 2.31 3/94 15685
/proc/meminfo: memFree=1124752/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=914988 CPUtime=0.08
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 2985 0 1 0 7 1 0 0 19 0 8 0 176107605 936947712 2731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515698 s]
/proc/loadavg: 1.98 2.04 2.31 3/94 15685
/proc/meminfo: memFree=1124752/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915328 CPUtime=0.49
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 6258 0 1 0 46 3 0 0 18 0 8 0 176107605 937295872 5997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228832 5997 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33885 s]
/proc/loadavg: 2.06 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100632/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=1.3
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8757 0 1 0 124 6 0 0 24 0 8 0 176107605 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073904713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8495 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176107610 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.26
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584

[startup+2.98215 s]
/proc/loadavg: 2.06 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100440/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=2.92
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8799 0 1 0 286 6 0 0 25 0 8 0 176107605 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8536 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176107610 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.29
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 419 0 0 0 28 1 0 0 16 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915584

[startup+6.27175 s]
/proc/loadavg: 2.06 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100312/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=6.19
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8804 0 1 0 612 7 0 0 25 0 8 0 176107605 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8541 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 176107610 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.29
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 419 0 0 0 28 1 0 0 15 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915584

[startup+12.7559 s]
/proc/loadavg: 2.05 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100376/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=12.61
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8810 0 1 0 1254 7 0 0 25 0 8 0 176107605 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8546 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176107610 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.29
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 419 0 0 0 28 1 0 0 15 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915584

Child status: 0
Real time (s): 21.6528
CPU time (s): 21.4167
CPU user time (s): 21.3358
CPU system time (s): 0.080987
CPU usage (%): 98.9097
Max. virtual memory (cumulated for all children) (KiB): 915584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3358
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8905
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= 1696
involuntary context switches= 2602

runsolver used 0.030995 s user time and 0.077988 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Mon Jan  8 17:25:20 UTC 2007


IDJOB= 226984
IDBENCH= 6034
FILE ID= node2/226984-1168277119

PBS_JOBID= 3483077

Free space on /tmp= 66336 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  35db91cf2a5416ba505693dda26a63fb

RANDOM SEED= 641948188

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.259
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	: 5931.00
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.259
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:       1125232 kB
Buffers:         42120 kB
Cached:         157988 kB
SwapCached:        288 kB
Active:         801772 kB
Inactive:        78728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1125232 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1960 kB
Writeback:           0 kB
Mapped:         705356 kB
Slab:            33520 kB
Committed_AS:  5221620 kB
PageTables:       3664 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= 66336 MiB



End job on node2 on Mon Jan  8 17:25:41 UTC 2007