Trace number 224075

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACSAT 20.8188 20.894

DiagnosticValue
CHECKS150450496
NODES132600

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-23_ext.xml
MD5SUM8adeb187df414c3e46090bb41f063968
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.6499
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/224075-1168080490/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.39	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=2
0.59	       =>  wckTime=0.288  cpuTime=0.22  mem=13M811
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.473  cpuTime=0.34  mem=13M749
0.78	   
0.78	   preprocessing
0.78	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.78	     detectedInconsistency=no
0.78	       =>  wckTime=0.0030  cpuTime=0.0  mem=13M749
0.82	   
0.82	   search
0.82	     run=0  nbConstraintChecks=21526  nbPropagations=467  nbRevisions=2652  nbUselessRevisions=1909  nbAssignments=21
0.82	     nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=34  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.82	     nbTooLargeKeys=0
0.82	       =>  wckTime=0.049  cpuTime=0.03  mem=14M724
0.84	   
0.84	   search
0.84	     run=1  nbConstraintChecks=57586  nbPropagations=1651  nbRevisions=10134  nbUselessRevisions=7222  nbAssignments=53
0.84	     nbFailedAssignments=15  nbBacktracks=26  nbVisitedNodes=86  nbRestartNogoods=1  mapSize=22  nbInferences=0
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.066  cpuTime=0.04  mem=14M724
0.86	   
0.86	   search
0.86	     run=2  nbConstraintChecks=103712  nbPropagations=3722  nbRevisions=23868  nbUselessRevisions=16999
0.86	     nbAssignments=96  nbFailedAssignments=27  nbBacktracks=50  nbVisitedNodes=153  nbRestartNogoods=5  mapSize=37
0.86	     nbInferences=0  nbTooLargeKeys=0
0.86	       =>  wckTime=0.084  cpuTime=0.05  mem=14M724
0.87	   
0.87	   search
0.87	     run=3  nbConstraintChecks=183198  nbPropagations=7185  nbRevisions=48046  nbUselessRevisions=34046
0.87	     nbAssignments=160  nbFailedAssignments=51  nbBacktracks=83  nbVisitedNodes=260  nbRestartNogoods=8  mapSize=63
0.87	     nbInferences=0  nbTooLargeKeys=0
0.87	       =>  wckTime=0.102  cpuTime=0.06  mem=14M724
0.89	   
0.89	   search
0.90	     run=4  nbConstraintChecks=284769  nbPropagations=12719  nbRevisions=87829  nbUselessRevisions=62039
0.90	     nbAssignments=264  nbFailedAssignments=98  nbBacktracks=133  nbVisitedNodes=439  nbRestartNogoods=11  mapSize=105
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.122  cpuTime=0.08  mem=14M724
0.93	   
0.93	   search
0.93	     run=5  nbConstraintChecks=440270  nbPropagations=21025  nbRevisions=148985  nbUselessRevisions=104965
0.93	     nbAssignments=402  nbFailedAssignments=153  nbBacktracks=211  nbVisitedNodes=682  nbRestartNogoods=13  mapSize=171
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.152  cpuTime=0.11  mem=14M724
0.96	   
0.96	   search
0.96	     run=6  nbConstraintChecks=659902  nbPropagations=33726  nbRevisions=243120  nbUselessRevisions=171147
0.96	     nbAssignments=609  nbFailedAssignments=240  nbBacktracks=326  nbVisitedNodes=1048  nbRestartNogoods=15  mapSize=270
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.191  cpuTime=0.14  mem=14M724
1.03	   
1.03	   search
1.03	     run=7  nbConstraintChecks=1034801  nbPropagations=53428  nbRevisions=391980  nbUselessRevisions=275699
1.03	     nbAssignments=946  nbFailedAssignments=397  nbBacktracks=500  nbVisitedNodes=1660  nbRestartNogoods=17  mapSize=420
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.253  cpuTime=0.21  mem=14M724
1.10	   
1.10	   search
1.10	     run=8  nbConstraintChecks=1449558  nbPropagations=81527  nbRevisions=603251  nbUselessRevisions=423940
1.10	     nbAssignments=1366  nbFailedAssignments=556  nbBacktracks=756  nbVisitedNodes=2377  nbRestartNogoods=23
1.10	     mapSize=638  nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.329  cpuTime=0.28  mem=14M724
1.23	   
1.23	   search
1.23	     run=9  nbConstraintChecks=2168002  nbPropagations=123509  nbRevisions=919817  nbUselessRevisions=644705
1.23	     nbAssignments=2009  nbFailedAssignments=809  nbBacktracks=1141  nbVisitedNodes=3495  nbRestartNogoods=30
1.23	     mapSize=954  nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.456  cpuTime=0.39  mem=14M724
1.25	   
1.25	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M724)
1.42	   
1.42	   search
1.42	     run=10  nbConstraintChecks=3457437  nbPropagations=189413  nbRevisions=1423828  nbUselessRevisions=996815
1.42	     nbAssignments=3097  nbFailedAssignments=1314  nbBacktracks=1717  nbVisitedNodes=5448  nbRestartNogoods=34
1.42	       =>  wckTime=0.644  cpuTime=0.57  mem=14M724
1.62	   
1.62	   search
1.62	     run=11  nbConstraintChecks=4825671  nbPropagations=284014  nbRevisions=2140595  nbUselessRevisions=1497011
1.62	     nbAssignments=4565  nbFailedAssignments=1912  nbBacktracks=2581  nbVisitedNodes=7992  nbRestartNogoods=41
1.62	       =>  wckTime=0.846  cpuTime=0.77  mem=14M724
1.94	   
1.94	   search
1.94	     run=12  nbConstraintChecks=7037940  nbPropagations=425778  nbRevisions=3206332  nbUselessRevisions=2240199
1.94	     nbAssignments=6811  nbFailedAssignments=2853  nbBacktracks=3879  nbVisitedNodes=11937  nbRestartNogoods=48
1.94	       =>  wckTime=1.164  cpuTime=1.09  mem=14M724
2.51	   
2.51	   search
2.51	     run=13  nbConstraintChecks=11466710  nbPropagations=645836  nbRevisions=4895698  nbUselessRevisions=3416968
2.51	     nbAssignments=10587  nbFailedAssignments=4678  nbBacktracks=5825  nbVisitedNodes=18728  nbRestartNogoods=60
2.51	       =>  wckTime=1.737  cpuTime=1.66  mem=14M724
3.22	   
3.22	   search
3.22	     run=14  nbConstraintChecks=16514042  nbPropagations=970659  nbRevisions=7366132  nbUselessRevisions=5139357
3.22	     nbAssignments=15611  nbFailedAssignments=6777  nbBacktracks=8746  nbVisitedNodes=27507  nbRestartNogoods=66
3.22	       =>  wckTime=2.447  cpuTime=2.37  mem=14M724
4.27	   
4.27	   search
4.27	     run=15  nbConstraintChecks=24094883  nbPropagations=1446866  nbRevisions=10967673  nbUselessRevisions=7645724
4.27	     nbAssignments=22930  nbFailedAssignments=9710  nbBacktracks=13125  nbVisitedNodes=40096  nbRestartNogoods=71
4.27	       =>  wckTime=3.494  cpuTime=3.42  mem=14M724
6.11	   
6.11	   search
6.11	     run=16  nbConstraintChecks=38502327  nbPropagations=2177565  nbRevisions=16564267  nbUselessRevisions=11540384
6.11	     nbAssignments=34732  nbFailedAssignments=14938  nbBacktracks=19694  nbVisitedNodes=61075  nbRestartNogoods=86
6.11	       =>  wckTime=5.34  cpuTime=5.26  mem=14M724
8.77	   
8.77	   search
8.77	     run=17  nbConstraintChecks=58192177  nbPropagations=3286628  nbRevisions=25101404  nbUselessRevisions=17492894
8.77	     nbAssignments=52555  nbFailedAssignments=22902  nbBacktracks=29548  nbVisitedNodes=92814  nbRestartNogoods=94
8.77	       =>  wckTime=7.999  cpuTime=7.92  mem=14M724
12.59	   
12.59	   search
12.59	     run=18  nbConstraintChecks=86844972  nbPropagations=4941553  nbRevisions=37849684  nbUselessRevisions=26387741
12.59	     nbAssignments=78182  nbFailedAssignments=33741  nbBacktracks=44329  nbVisitedNodes=137562  nbRestartNogoods=105
12.59	       =>  wckTime=11.817  cpuTime=11.74  mem=14M724
18.88	   
18.89	   search
18.89	     run=19  nbConstraintChecks=136615352  nbPropagations=7463140  nbRevisions=57532623  nbUselessRevisions=40135190
18.89	     nbAssignments=118861  nbFailedAssignments=52245  nbBacktracks=66498  nbVisitedNodes=210145  nbRestartNogoods=121
18.89	       =>  wckTime=18.113  cpuTime=18.03  mem=14M724
20.83	   
20.83	   search
20.83	     run=20  nbConstraintChecks=150450496  nbPropagations=10271794  nbRevisions=79378673  nbUselessRevisions=55393522
20.83	     nbAssignments=132600  nbFailedAssignments=58025  nbBacktracks=74417  nbVisitedNodes=234268  nbRestartNogoods=132
20.83	       =>  wckTime=20.058  cpuTime=19.97  mem=14M724
20.83	   
20.83	   global
20.83	     nbConstraintChecks=150450496  nbPropagations=10271834  nbRevisions=79378673  nbUselessRevisions=55393522
20.83	     nbRestartNogoods=132  solvingWckTime=20.059  solvingCpuTime=19.97  expiredTime=no  totalExploration=no
20.83	     nbFoundSolutions=1  globalCpuTime=20.36
20.83	       =>  wckTime=20.535  cpuTime=20.31  mem=14M724
20.83	   
20.83	s SATISFIABLE
20.83	v 12 2 7 2 14 7 5 17 18 4 11 5 11 1 11 22 21 15 19 13 13 2 9 11 8 3 24 4 22 17 19 12 8 23 18 21 18 15 5 8 
20.83	d NODES 132600
20.83	d CHECKS 150450496
20.83	   
20.83	   totalWckTime=20.611  totalCpuTime=20.37

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/node15/watcher-224075-1168080490 -o ROOT/results/node15/solver-224075-1168080490 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224075-1168080490/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.82 1.96 1.99 4/93 15535
/proc/meminfo: memFree=939488/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=172 CPUtime=0
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156444181 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 0 0 0
/proc/15534/statm: 43 24 18 14 0 3 0

[startup+0.107364 s]
/proc/loadavg: 1.82 1.96 1.99 4/93 15535
/proc/meminfo: memFree=939488/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=914988 CPUtime=0.08
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 3049 0 1 0 7 1 0 0 24 0 8 0 156444181 936947712 2795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15534/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515433 s]
/proc/loadavg: 1.82 1.96 1.99 4/93 15535
/proc/meminfo: memFree=939488/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=915328 CPUtime=0.49
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 7373 0 1 0 46 3 0 0 25 0 8 0 156444181 937295872 7112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15534/statm: 228832 7113 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33757 s]
/proc/loadavg: 1.82 1.96 1.99 3/100 15542
/proc/meminfo: memFree=915944/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=915452 CPUtime=1.31
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 8649 0 1 0 126 5 0 0 25 0 8 0 156444181 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15534/statm: 228863 8387 2513 14 0 215333 0
[pid=15534/tid=15536] ppid=15532 vsize=915452 CPUtime=0.02
/proc/15534/task/15536/stat : 15536 (java) S 15532 15534 15467 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156444185 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15537] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15537/stat : 15537 (java) S 15532 15534 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156444186 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15538] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15538/stat : 15538 (java) S 15532 15534 15467 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156444186 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15539] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15539/stat : 15539 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156444189 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15540] ppid=15532 vsize=915452 CPUtime=0.2
/proc/15534/task/15540/stat : 15540 (java) S 15532 15534 15467 0 -1 64 383 0 0 0 20 0 0 0 16 0 8 0 156444189 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15541] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15541/stat : 15541 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156444189 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15542] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15542/stat : 15542 (java) S 15532 15534 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156444189 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452

[startup+2.98486 s]
/proc/loadavg: 1.82 1.96 1.99 3/100 15542
/proc/meminfo: memFree=915816/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=915452 CPUtime=2.96
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 8653 0 1 0 291 5 0 0 25 0 8 0 156444181 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15534/statm: 228863 8390 2513 14 0 215333 0
[pid=15534/tid=15536] ppid=15532 vsize=915452 CPUtime=0.02
/proc/15534/task/15536/stat : 15536 (java) S 15532 15534 15467 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156444185 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15537] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15537/stat : 15537 (java) S 15532 15534 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156444186 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15538] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15538/stat : 15538 (java) S 15532 15534 15467 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156444186 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15539] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15539/stat : 15539 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156444189 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15540] ppid=15532 vsize=915452 CPUtime=0.21
/proc/15534/task/15540/stat : 15540 (java) S 15532 15534 15467 0 -1 64 387 0 0 0 21 0 0 0 15 0 8 0 156444189 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15541] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15541/stat : 15541 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156444189 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15542] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15542/stat : 15542 (java) S 15532 15534 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156444189 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452

[startup+6.27042 s]
/proc/loadavg: 1.84 1.96 1.99 3/100 15542
/proc/meminfo: memFree=915752/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=915452 CPUtime=6.24
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 8655 0 1 0 619 5 0 0 25 0 8 0 156444181 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15534/statm: 228863 8391 2513 14 0 215333 0
[pid=15534/tid=15536] ppid=15532 vsize=915452 CPUtime=0.02
/proc/15534/task/15536/stat : 15536 (java) S 15532 15534 15467 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156444185 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15537] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15537/stat : 15537 (java) S 15532 15534 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156444186 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15538] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15538/stat : 15538 (java) S 15532 15534 15467 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156444186 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15539] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15539/stat : 15539 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15540] ppid=15532 vsize=915452 CPUtime=0.21
/proc/15534/task/15540/stat : 15540 (java) S 15532 15534 15467 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15541] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15541/stat : 15541 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15542] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15542/stat : 15542 (java) S 15532 15534 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452

[startup+12.7555 s]
/proc/loadavg: 1.85 1.97 1.99 3/100 15542
/proc/meminfo: memFree=915760/2055920 swapFree=4174172/4192956
[pid=15534] ppid=15532 vsize=915452 CPUtime=12.72
/proc/15534/stat : 15534 (java) R 15532 15534 15467 0 -1 0 8655 0 1 0 1267 5 0 0 25 0 8 0 156444181 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815804 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15534/statm: 228863 8391 2513 14 0 215333 0
[pid=15534/tid=15536] ppid=15532 vsize=915452 CPUtime=0.02
/proc/15534/task/15536/stat : 15536 (java) S 15532 15534 15467 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156444185 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15537] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15537/stat : 15537 (java) S 15532 15534 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156444186 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15538] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15538/stat : 15538 (java) S 15532 15534 15467 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156444186 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15539] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15539/stat : 15539 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15540] ppid=15532 vsize=915452 CPUtime=0.21
/proc/15534/task/15540/stat : 15540 (java) S 15532 15534 15467 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15541] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15541/stat : 15541 (java) S 15532 15534 15467 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15534/tid=15542] ppid=15532 vsize=915452 CPUtime=0
/proc/15534/task/15542/stat : 15542 (java) S 15532 15534 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156444189 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 20.894
CPU time (s): 20.8188
CPU user time (s): 20.7578
CPU system time (s): 0.06099
CPU usage (%): 99.6401
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.7578
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8736
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= 1537
involuntary context switches= 2265

runsolver used 0.032994 s user time and 0.068989 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan  6 10:48:12 UTC 2007


IDJOB= 224075
IDBENCH= 5707
FILE ID= node15/224075-1168080490

PBS_JOBID= 3475865

Free space on /tmp= 66283 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224075-1168080490/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-224075-1168080490 -o ROOT/results/node15/solver-224075-1168080490 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224075-1168080490/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8adeb187df414c3e46090bb41f063968

RANDOM SEED= 733511007

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.276
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.276
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:        939968 kB
Buffers:         85388 kB
Cached:         821268 kB
SwapCached:       7128 kB
Active:         418512 kB
Inactive:       593404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        939968 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            2260 kB
Writeback:           0 kB
Mapped:         123980 kB
Slab:            88376 kB
Committed_AS:  4975196 kB
PageTables:       2580 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= 66283 MiB



End job on node15 on Sat Jan  6 10:48:37 UTC 2007