Trace number 223509

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.2259 20.4207

DiagnosticValue
CHECKS142215636
NODES115389

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-79_ext.xml
MD5SUM22efc0fede6b4b092567517f20fc5741
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.85187
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.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/223509-1168080437/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.39	       =>  wckTime=0.092  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.48	   
0.48	   constraints being loaded...
0.58	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1  maxDegree=13  maxArity=2
0.58	       =>  wckTime=0.284  cpuTime=0.21  mem=13M812
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.76	       =>  wckTime=0.465  cpuTime=0.32  mem=13M749
0.76	   
0.76	   preprocessing
0.76	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.76	     detectedInconsistency=no
0.76	       =>  wckTime=0.0020  cpuTime=0.0  mem=13M749
0.81	   
0.81	   search
0.81	     run=0  nbConstraintChecks=39935  nbPropagations=690  nbRevisions=4893  nbUselessRevisions=3376  nbAssignments=32
0.81	     nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=56  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.81	     nbTooLargeKeys=0
0.81	       =>  wckTime=0.051  cpuTime=0.03  mem=14M724
0.83	   
0.83	   search
0.83	     run=1  nbConstraintChecks=75371  nbPropagations=2042  nbRevisions=14320  nbUselessRevisions=10090  nbAssignments=66
0.83	     nbFailedAssignments=27  nbBacktracks=25  nbVisitedNodes=111  nbRestartNogoods=2  mapSize=21  nbInferences=0
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.066  cpuTime=0.04  mem=14M724
0.85	   
0.85	   search
0.85	     run=2  nbConstraintChecks=144165  nbPropagations=4411  nbRevisions=31716  nbUselessRevisions=22320
0.85	     nbAssignments=121  nbFailedAssignments=50  nbBacktracks=48  nbVisitedNodes=204  nbRestartNogoods=4  mapSize=44
0.85	     nbInferences=0  nbTooLargeKeys=0
0.85	       =>  wckTime=0.085  cpuTime=0.05  mem=14M724
0.86	   
0.86	   search
0.86	     run=3  nbConstraintChecks=223454  nbPropagations=8248  nbRevisions=60301  nbUselessRevisions=42297
0.86	     nbAssignments=189  nbFailedAssignments=80  nbBacktracks=81  nbVisitedNodes=323  nbRestartNogoods=9  mapSize=73
0.86	     nbInferences=0  nbTooLargeKeys=0
0.86	       =>  wckTime=0.103  cpuTime=0.06  mem=14M724
0.89	   
0.89	   search
0.89	     run=4  nbConstraintChecks=360847  nbPropagations=14320  nbRevisions=106414  nbUselessRevisions=74494
0.89	     nbAssignments=291  nbFailedAssignments=125  nbBacktracks=132  nbVisitedNodes=499  nbRestartNogoods=12  mapSize=116
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.127  cpuTime=0.08  mem=14M724
0.92	   
0.92	   search
0.92	     run=5  nbConstraintChecks=540143  nbPropagations=23668  nbRevisions=178103  nbUselessRevisions=124523
0.92	     nbAssignments=438  nbFailedAssignments=188  nbBacktracks=209  nbVisitedNodes=764  nbRestartNogoods=18  mapSize=188
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.158  cpuTime=0.11  mem=14M724
0.95	   
0.95	   search
0.95	     run=6  nbConstraintChecks=728953  nbPropagations=36707  nbRevisions=277402  nbUselessRevisions=194108
0.95	     nbAssignments=629  nbFailedAssignments=260  nbBacktracks=324  nbVisitedNodes=1091  nbRestartNogoods=23  mapSize=278
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.193  cpuTime=0.15  mem=14M724
1.02	   
1.02	   search
1.02	     run=7  nbConstraintChecks=1169419  nbPropagations=57193  nbRevisions=433800  nbUselessRevisions=302928
1.02	     nbAssignments=956  nbFailedAssignments=407  nbBacktracks=497  nbVisitedNodes=1672  nbRestartNogoods=27  mapSize=424
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.26  cpuTime=0.21  mem=14M724
1.10	   
1.10	   search
1.10	     run=8  nbConstraintChecks=1646989  nbPropagations=86750  nbRevisions=658463  nbUselessRevisions=459122
1.10	     nbAssignments=1404  nbFailedAssignments=594  nbBacktracks=754  nbVisitedNodes=2440  nbRestartNogoods=32
1.10	     mapSize=623  nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.342  cpuTime=0.29  mem=14M724
1.26	   
1.26	   search
1.26	     run=9  nbConstraintChecks=2617910  nbPropagations=132702  nbRevisions=1011470  nbUselessRevisions=703529
1.26	     nbAssignments=2139  nbFailedAssignments=935  nbBacktracks=1139  nbVisitedNodes=3769  nbRestartNogoods=36
1.26	     mapSize=969  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.502  cpuTime=0.44  mem=14M724
1.29	   
1.29	   INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M724)
1.45	   
1.45	   search
1.45	     run=10  nbConstraintChecks=3886211  nbPropagations=199808  nbRevisions=1531896  nbUselessRevisions=1063890
1.45	     nbAssignments=3172  nbFailedAssignments=1387  nbBacktracks=1715  nbVisitedNodes=5590  nbRestartNogoods=48
1.45	       =>  wckTime=0.69  cpuTime=0.62  mem=14M724
1.70	   
1.70	   search
1.70	     run=11  nbConstraintChecks=5507805  nbPropagations=298683  nbRevisions=2291453  nbUselessRevisions=1590910
1.70	     nbAssignments=4699  nbFailedAssignments=2042  nbBacktracks=2581  nbVisitedNodes=8266  nbRestartNogoods=54
1.70	       =>  wckTime=0.934  cpuTime=0.86  mem=14M724
2.10	   
2.10	   search
2.10	     run=12  nbConstraintChecks=8461669  nbPropagations=448385  nbRevisions=3450845  nbUselessRevisions=2395664
2.10	     nbAssignments=7113  nbFailedAssignments=3152  nbBacktracks=3878  nbVisitedNodes=12575  nbRestartNogoods=66
2.10	       =>  wckTime=1.341  cpuTime=1.26  mem=14M724
2.70	   
2.70	   search
2.70	     run=13  nbConstraintChecks=13062455  nbPropagations=676283  nbRevisions=5218330  nbUselessRevisions=3619260
2.70	     nbAssignments=10683  nbFailedAssignments=4768  nbBacktracks=5826  nbVisitedNodes=18939  nbRestartNogoods=76
2.70	       =>  wckTime=1.938  cpuTime=1.86  mem=14M724
3.49	   
3.49	   search
3.49	     run=14  nbConstraintChecks=19225498  nbPropagations=1011854  nbRevisions=7815356  nbUselessRevisions=5415703
3.49	     nbAssignments=15845  nbFailedAssignments=7006  nbBacktracks=8745  nbVisitedNodes=27986  nbRestartNogoods=85
3.49	       =>  wckTime=2.731  cpuTime=2.65  mem=14M724
4.77	   
4.77	   search
4.77	     run=15  nbConstraintChecks=29257629  nbPropagations=1520654  nbRevisions=11760333  nbUselessRevisions=8142383
4.77	     nbAssignments=23879  nbFailedAssignments=10658  nbBacktracks=13123  nbVisitedNodes=42314  nbRestartNogoods=96
4.77	       =>  wckTime=4.012  cpuTime=3.93  mem=14M724
6.57	   
6.57	   search
6.57	     run=16  nbConstraintChecks=43200559  nbPropagations=2273752  nbRevisions=17595804  nbUselessRevisions=12180241
6.57	     nbAssignments=35453  nbFailedAssignments=15656  nbBacktracks=19692  nbVisitedNodes=62599  nbRestartNogoods=103
6.57	       =>  wckTime=5.808  cpuTime=5.73  mem=14M724
9.63	   
9.63	   search
9.63	     run=17  nbConstraintChecks=65189477  nbPropagations=3410859  nbRevisions=26434703  nbUselessRevisions=18302685
9.63	     nbAssignments=53286  nbFailedAssignments=23631  nbBacktracks=29544  nbVisitedNodes=94321  nbRestartNogoods=119
9.63	       =>  wckTime=8.868  cpuTime=8.76  mem=14M724
14.38	   
14.38	   search
14.38	     run=18  nbConstraintChecks=99487080  nbPropagations=5142700  nbRevisions=39924211  nbUselessRevisions=27648274
14.38	     nbAssignments=80324  nbFailedAssignments=35886  nbBacktracks=44323  nbVisitedNodes=142527  nbRestartNogoods=129
14.38	       =>  wckTime=13.621  cpuTime=13.47  mem=14M724
20.37	   
20.37	   search
20.37	     run=19  nbConstraintChecks=142215636  nbPropagations=7619204  nbRevisions=59205393  nbUselessRevisions=41003651
20.37	     nbAssignments=115389  nbFailedAssignments=51063  nbBacktracks=64171  nbVisitedNodes=204053  nbRestartNogoods=146
20.37	       =>  wckTime=19.612  cpuTime=19.4  mem=14M724
20.38	   
20.38	   global
20.38	     nbConstraintChecks=142215636  nbPropagations=7619244  nbRevisions=59205393  nbUselessRevisions=41003651
20.38	     nbRestartNogoods=146  solvingWckTime=19.613  solvingCpuTime=19.4  expiredTime=no  totalExploration=no
20.38	     nbFoundSolutions=1  globalCpuTime=19.78
20.38	       =>  wckTime=20.081  cpuTime=19.73  mem=14M724
20.38	   
20.38	s SATISFIABLE
20.38	v 0 5 8 0 15 16 12 23 22 8 18 22 3 7 3 20 8 22 12 20 21 12 19 0 24 20 3 0 13 6 9 22 14 4 16 3 21 10 23 14 
20.38	d NODES 115389
20.38	d CHECKS 142215636
20.38	   
20.38	   totalWckTime=20.156  totalCpuTime=19.78

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/node62/watcher-223509-1168080437 -o ROOT/results/node62/solver-223509-1168080437 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223509-1168080437/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.36 1.13 1.54 3/68 4041
/proc/meminfo: memFree=1131296/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=172 CPUtime=0
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156442087 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 0 0 0
/proc/4040/statm: 43 24 18 14 0 3 0

[startup+0.10414 s]
/proc/loadavg: 0.36 1.13 1.54 3/68 4041
/proc/meminfo: memFree=1131296/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=914988 CPUtime=0.08
/proc/4040/stat : 4040 (java) S 4038 4040 3523 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 156442087 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512218 s]
/proc/loadavg: 0.36 1.13 1.54 3/68 4041
/proc/meminfo: memFree=1131296/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915328 CPUtime=0.48
/proc/4040/stat : 4040 (java) S 4038 4040 3523 0 -1 0 7372 0 1 0 44 4 0 0 16 0 8 0 156442087 937295872 7111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228832 7111 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33438 s]
/proc/loadavg: 0.36 1.13 1.54 2/75 4050
/proc/meminfo: memFree=1107496/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=1.29
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8647 0 1 0 123 6 0 0 17 0 8 0 156442087 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4040/statm: 228863 8385 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 17 0 8 0 156442090 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.19
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452

[startup+2.9867 s]
/proc/loadavg: 0.36 1.13 1.54 2/75 4050
/proc/meminfo: memFree=1107432/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=2.94
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8653 0 1 0 288 6 0 0 18 0 8 0 156442087 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228863 8390 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442090 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.2
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452

[startup+6.26635 s]
/proc/loadavg: 0.41 1.12 1.53 2/75 4083
/proc/meminfo: memFree=1104936/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=6.21
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8654 0 1 0 615 6 0 0 20 0 8 0 156442087 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4040/statm: 228863 8390 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442090 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.2
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452

[startup+12.7516 s]
/proc/loadavg: 0.54 1.14 1.54 3/87 4095
/proc/meminfo: memFree=1080720/2055920 swapFree=4192812/4192956
[pid=4040] ppid=4038 vsize=915452 CPUtime=12.65
/proc/4040/stat : 4040 (java) R 4038 4040 3523 0 -1 0 8654 0 1 0 1258 7 0 0 25 0 8 0 156442087 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4040/statm: 228863 8390 2513 14 0 215333 0
[pid=4040/tid=4042] ppid=4038 vsize=915452 CPUtime=0.03
/proc/4040/task/4042/stat : 4042 (java) S 4038 4040 3523 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156442090 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4043] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4043/stat : 4043 (java) S 4038 4040 3523 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4044] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4044/stat : 4044 (java) S 4038 4040 3523 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442091 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4046] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4046/stat : 4046 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4047] ppid=4038 vsize=915452 CPUtime=0.2
/proc/4040/task/4047/stat : 4047 (java) S 4038 4040 3523 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4040/tid=4048] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4048/stat : 4048 (java) S 4038 4040 3523 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4040/tid=4049] ppid=4038 vsize=915452 CPUtime=0
/proc/4040/task/4049/stat : 4049 (java) S 4038 4040 3523 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442094 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 20.4207
CPU time (s): 20.2259
CPU user time (s): 20.1429
CPU system time (s): 0.082987
CPU usage (%): 99.046
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1429
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8735
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= 1188
involuntary context switches= 629

runsolver used 0.025996 s user time and 0.068989 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 10:47:19 UTC 2007


IDJOB= 223509
IDBENCH= 5650
FILE ID= node62/223509-1168080437

PBS_JOBID= 3476161

Free space on /tmp= 66549 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  22efc0fede6b4b092567517f20fc5741

RANDOM SEED= 389233670

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	: 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.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:       1130048 kB
Buffers:         59508 kB
Cached:         768052 kB
SwapCached:          0 kB
Active:         126424 kB
Inactive:       721332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1130048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3856 kB
Writeback:           0 kB
Mapped:          30320 kB
Slab:            63836 kB
Committed_AS:  2879576 kB
PageTables:       1684 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= 66548 MiB



End job on node62 on Sat Jan  6 10:47:45 UTC 2007