Trace number 217680

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 130.402 130.546

DiagnosticValue
CHECKS438915548
NODES44051

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-55-10-a3.xml
MD5SUM52e1a20218303240f1ed977654e67c18
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.16437
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables55
Number of constraints1080
Maximum constraint arity3
Maximum domain size56
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1080
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/217680-1168079481/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=55  nbDomainTypes=2  minDomainSize=55  maxDomainSize=56
0.41	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.41	   
0.41	   predicates being loaded...
0.41	   
0.41	   constraints being loaded...
0.75	     nbConstraints=1080  nbConvertedConstraints=1035  nbConvertConstraintsChecks=6161  nbExtensionStructures=2
0.75	     nbSharedExtensionStructures=1033  nbConflictsStructures=2  nbSharedConflictsStructures=1033
0.75	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=57  nbEvaluationManagers=1
0.75	     nbSharedEvaluationManagers=44  maxDegree=45  maxArity=3
0.75	       =>  wckTime=0.443  cpuTime=0.33  mem=11M827
0.79	   
0.79	   solver IterativeSystematicSolver being built... 
0.94	       =>  wckTime=0.64  cpuTime=0.46  mem=14M954
2.17	   
2.17	   preprocessing
2.17	     nbConstraintChecks=4081497  nbValidityChecks=16349  nbPropagations=65  nbRevisions=674  nbUselessRevisions=512
2.17	     nbRemovedValues=330  detectedInconsistency=no
2.17	       =>  wckTime=1.228  cpuTime=1.21  mem=14M954
3.68	   
3.68	   search
3.68	     run=0  nbConstraintChecks=4991926  nbValidityChecks=121757  nbPropagations=1540  nbRevisions=14394
3.68	     nbUselessRevisions=10380  nbAssignments=25  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=45
3.68	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
3.68	       =>  wckTime=2.738  cpuTime=2.71  mem=14M954
4.75	   
4.75	   search
4.75	     run=1  nbConstraintChecks=8543315  nbValidityChecks=332963  nbPropagations=5389  nbRevisions=52016
4.75	     nbUselessRevisions=37539  nbAssignments=64  nbFailedAssignments=27  nbBacktracks=26  nbVisitedNodes=118
4.75	     nbRestartNogoods=7  mapSize=26  nbInferences=0  nbTooLargeKeys=0
4.75	       =>  wckTime=3.805  cpuTime=3.76  mem=14M954
6.08	   
6.08	   search
6.08	     run=2  nbConstraintChecks=13052440  nbValidityChecks=603997  nbPropagations=12346  nbRevisions=116616
6.08	     nbUselessRevisions=83960  nbAssignments=126  nbFailedAssignments=62  nbBacktracks=49  nbVisitedNodes=228
6.08	     nbRestartNogoods=17  mapSize=39  nbInferences=0  nbTooLargeKeys=0
6.08	       =>  wckTime=5.132  cpuTime=5.09  mem=14M954
7.25	   
7.25	   search
7.25	     run=3  nbConstraintChecks=16892821  nbValidityChecks=869249  nbPropagations=23899  nbRevisions=211535
7.25	     nbUselessRevisions=152163  nbAssignments=234  nbFailedAssignments=129  nbBacktracks=87  nbVisitedNodes=417
7.25	     nbRestartNogoods=26  mapSize=53  nbInferences=0  nbTooLargeKeys=0
7.25	       =>  wckTime=6.309  cpuTime=6.26  mem=14M954
7.88	   
7.88	   search
7.88	     run=4  nbConstraintChecks=18917315  nbValidityChecks=968403  nbPropagations=39017  nbRevisions=328782
7.88	     nbUselessRevisions=236547  nbAssignments=326  nbFailedAssignments=169  nbBacktracks=137  nbVisitedNodes=574
7.88	     nbRestartNogoods=34  mapSize=79  nbInferences=0  nbTooLargeKeys=0
7.88	       =>  wckTime=6.931  cpuTime=6.89  mem=14M954
8.80	   
8.80	   search
8.80	     run=5  nbConstraintChecks=21940542  nbValidityChecks=1172167  nbPropagations=58647  nbRevisions=476040
8.80	     nbUselessRevisions=341020  nbAssignments=464  nbFailedAssignments=224  nbBacktracks=215  nbVisitedNodes=798
8.80	     nbRestartNogoods=36  mapSize=115  nbInferences=0  nbTooLargeKeys=0
8.80	       =>  wckTime=7.85  cpuTime=7.8  mem=14M954
9.60	   
9.60	   search
9.60	     run=6  nbConstraintChecks=24730327  nbValidityChecks=1339228  nbPropagations=81040  nbRevisions=645576
9.60	     nbUselessRevisions=460444  nbAssignments=606  nbFailedAssignments=250  nbBacktracks=329  nbVisitedNodes=991
9.60	     nbRestartNogoods=45  mapSize=142  nbInferences=0  nbTooLargeKeys=0
9.60	       =>  wckTime=8.657  cpuTime=8.61  mem=14M954
11.81	   
11.81	   search
11.81	     run=7  nbConstraintChecks=32036212  nbValidityChecks=1945814  nbPropagations=113838  nbRevisions=909522
11.81	     nbUselessRevisions=645729  nbAssignments=896  nbFailedAssignments=366  nbBacktracks=500  nbVisitedNodes=1453
11.81	     nbRestartNogoods=51  mapSize=199  nbInferences=0  nbTooLargeKeys=0
11.81	       =>  wckTime=10.868  cpuTime=10.82  mem=15M929
13.12	   
13.12	   search
13.12	     run=8  nbConstraintChecks=36301758  nbValidityChecks=2329356  nbPropagations=157726  nbRevisions=1273045
13.12	     nbUselessRevisions=901530  nbAssignments=1314  nbFailedAssignments=517  nbBacktracks=762  nbVisitedNodes=2094
13.12	     nbRestartNogoods=54  mapSize=278  nbInferences=0  nbTooLargeKeys=0
13.12	       =>  wckTime=12.177  cpuTime=12.13  mem=15M929
13.86	   
13.86	   search
13.86	     run=9  nbConstraintChecks=38389054  nbValidityChecks=2547645  nbPropagations=214667  nbRevisions=1741686
13.86	     nbUselessRevisions=1238220  nbAssignments=1923  nbFailedAssignments=731  nbBacktracks=1150  nbVisitedNodes=2992
13.86	     nbRestartNogoods=63  mapSize=371  nbInferences=0  nbTooLargeKeys=0
13.86	       =>  wckTime=12.915  cpuTime=12.85  mem=15M929
19.94	   
19.94	   search
19.94	     run=10  nbConstraintChecks=60157288  nbValidityChecks=3568468  nbPropagations=293965  nbRevisions=2397018
19.94	     nbUselessRevisions=1708733  nbAssignments=2831  nbFailedAssignments=1062  nbBacktracks=1727  nbVisitedNodes=4411
19.94	     nbRestartNogoods=76  mapSize=581  nbInferences=0  nbTooLargeKeys=0
19.94	       =>  wckTime=18.998  cpuTime=18.91  mem=15M929
25.17	   
25.17	   search
25.17	     run=11  nbConstraintChecks=79186706  nbValidityChecks=4596535  nbPropagations=399441  nbRevisions=3228952
25.17	     nbUselessRevisions=2297139  nbAssignments=4011  nbFailedAssignments=1365  nbBacktracks=2599  nbVisitedNodes=6113
25.17	     nbRestartNogoods=76  mapSize=847  nbInferences=0  nbTooLargeKeys=0
25.17	       =>  wckTime=24.226  cpuTime=24.14  mem=16M904
28.42	   
28.42	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=16M904)
32.85	   
32.85	   search
32.85	     run=12  nbConstraintChecks=106112126  nbValidityChecks=6165623  nbPropagations=554074  nbRevisions=4373425
32.85	     nbUselessRevisions=3095456  nbAssignments=5876  nbFailedAssignments=1929  nbBacktracks=3896  nbVisitedNodes=8951
32.85	     nbRestartNogoods=86
32.85	       =>  wckTime=31.908  cpuTime=31.8  mem=16M904
44.17	   
44.17	   search
44.17	     run=13  nbConstraintChecks=145264340  nbValidityChecks=8870056  nbPropagations=811578  nbRevisions=6173235
44.17	     nbUselessRevisions=4340912  nbAssignments=9134  nbFailedAssignments=3235  nbBacktracks=5844  nbVisitedNodes=14324
44.17	     nbRestartNogoods=95
44.17	       =>  wckTime=43.229  cpuTime=43.12  mem=16M904
60.89	   
60.89	   search
60.89	     run=14  nbConstraintChecks=201643501  nbValidityChecks=13723298  nbPropagations=1288248  nbRevisions=9707691
60.89	     nbUselessRevisions=6847505  nbAssignments=15406  nbFailedAssignments=6586  nbBacktracks=8763  nbVisitedNodes=25440
60.89	     nbRestartNogoods=99
60.89	       =>  wckTime=59.948  cpuTime=59.82  mem=16M904
86.27	   
86.27	   search
86.27	     run=15  nbConstraintChecks=285266227  nbValidityChecks=21962310  nbPropagations=2155831  nbRevisions=16328498
86.27	     nbUselessRevisions=11599918  nbAssignments=26045  nbFailedAssignments=12843  nbBacktracks=13141
86.27	     nbVisitedNodes=44926  nbRestartNogoods=106
86.27	       =>  wckTime=85.323  cpuTime=85.18  mem=16M904
129.90	   
129.90	   search
129.90	     run=16  nbConstraintChecks=432843547  nbValidityChecks=36618483  nbPropagations=3678569  nbRevisions=28894409
129.90	     nbUselessRevisions=20685008  nbAssignments=43776  nbFailedAssignments=24000  nbBacktracks=19712
129.90	     nbVisitedNodes=77538  nbRestartNogoods=112
129.90	       =>  wckTime=128.958  cpuTime=128.79  mem=16M904
130.48	   
130.48	   search
130.48	     run=17  nbConstraintChecks=434834051  nbValidityChecks=36835231  nbPropagations=5209548  nbRevisions=41540742
130.48	     nbUselessRevisions=29827286  nbAssignments=44051  nbFailedAssignments=24153  nbBacktracks=19779
130.48	     nbVisitedNodes=78007  nbRestartNogoods=125
130.48	       =>  wckTime=129.532  cpuTime=129.36  mem=16M904
130.48	   
130.48	   global
130.48	     nbConstraintChecks=438915548  nbValidityChecks=36851580  nbPropagations=5209613  nbRevisions=41541416
130.48	     nbUselessRevisions=29827798  nbRestartNogoods=125  solvingWckTime=129.533  solvingCpuTime=129.36  expiredTime=no
130.48	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=129.87
130.48	       =>  wckTime=130.174  cpuTime=129.82  mem=16M904
130.48	   
130.48	s SATISFIABLE
130.48	v 0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 
130.48	d NODES 44051
130.48	d CHECKS 438915548
130.48	   
130.48	   totalWckTime=130.251  totalCpuTime=129.87

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/node50/watcher-217680-1168079481 -o ROOT/results/node50/solver-217680-1168079481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217680-1168079481/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.90 0.98 1.08 3/65 2475
/proc/meminfo: memFree=1490320/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=168 CPUtime=0
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156347017 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7917867 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 42 23 18 14 0 2 0

[startup+0.103069 s]
/proc/loadavg: 0.90 0.98 1.08 3/65 2475
/proc/meminfo: memFree=1490320/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=914988 CPUtime=0.07
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 2995 0 1 0 6 1 0 0 18 0 8 0 156347017 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.511135 s]
/proc/loadavg: 0.90 0.98 1.08 3/65 2475
/proc/meminfo: memFree=1490320/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915328 CPUtime=0.49
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 6394 0 1 0 45 4 0 0 16 0 8 0 156347017 937295872 6133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228832 6133 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33127 s]
/proc/loadavg: 0.90 0.98 1.08 3/72 2482
/proc/meminfo: memFree=1466712/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=1.32
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8636 0 1 0 120 12 0 0 16 0 8 0 156347017 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8374 2528 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.2
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 401 0 0 0 19 1 0 0 15 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915580

[startup+2.96854 s]
/proc/loadavg: 0.90 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1466264/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=2.95
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8733 0 1 0 283 12 0 0 17 0 8 0 156347017 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8468 2529 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 261 0 0 0 3 0 0 0 17 0 8 0 156347021 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.21
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 407 0 0 0 20 1 0 0 16 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915580

[startup+6.2631 s]
/proc/loadavg: 0.91 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1466144/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=6.26
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8775 0 1 0 613 13 0 0 17 0 8 0 156347017 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8508 2533 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.23
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 419 0 0 0 22 1 0 0 16 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915580

[startup+12.7312 s]
/proc/loadavg: 0.92 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1465832/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=12.72
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 8859 0 1 0 1259 13 0 0 17 0 8 0 156347017 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2474/statm: 228895 8590 2533 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 17 0 8 0 156347021 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.23
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 423 0 0 0 22 1 0 0 15 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8590 18446744073709551615 134512640 134570532 4294956480 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) 915580

[startup+25.5765 s]
/proc/loadavg: 0.93 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1465192/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=25.55
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 9091 0 1 0 2542 13 0 0 25 0 8 0 156347017 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2474/statm: 228895 8818 2533 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.26
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 437 0 0 0 25 1 0 0 16 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915580

[startup+51.2659 s]
/proc/loadavg: 0.96 0.98 1.08 2/72 2482
/proc/meminfo: memFree=1464872/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=51.21
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 9140 0 1 0 5108 13 0 0 25 0 8 0 156347017 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2474/statm: 228895 8865 2534 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.27
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 438 0 0 0 26 1 0 0 16 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915580

[startup+102.535 s]
/proc/loadavg: 0.98 0.98 1.07 2/72 2482
/proc/meminfo: memFree=1464808/2055920 swapFree=4192812/4192956
[pid=2474] ppid=2472 vsize=915580 CPUtime=102.45
/proc/2474/stat : 2474 (java) R 2472 2474 1919 0 -1 0 9147 0 1 0 10232 13 0 0 25 0 8 0 156347017 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2474/statm: 228895 8871 2534 14 0 215365 0
[pid=2474/tid=2476] ppid=2472 vsize=915580 CPUtime=0.03
/proc/2474/task/2476/stat : 2476 (java) S 2472 2474 1919 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 156347021 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2474/tid=2477] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2477/stat : 2477 (java) S 2472 2474 1919 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2478] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2478/stat : 2478 (java) S 2472 2474 1919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156347021 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2479] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2479/stat : 2479 (java) S 2472 2474 1919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2480] ppid=2472 vsize=915580 CPUtime=0.27
/proc/2474/task/2480/stat : 2480 (java) S 2472 2474 1919 0 -1 64 439 0 0 0 26 1 0 0 16 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2481] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2481/stat : 2481 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2474/tid=2482] ppid=2472 vsize=915580 CPUtime=0
/proc/2474/task/2482/stat : 2482 (java) S 2472 2474 1919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156347024 937553920 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915580

Child status: 0
Real time (s): 130.546
CPU time (s): 130.402
CPU user time (s): 130.255
CPU system time (s): 0.146977
CPU usage (%): 99.8897
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.255
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9242
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= 3681
involuntary context switches= 2903

runsolver used 0.12798 s user time and 0.344947 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan  6 10:31:23 UTC 2007


IDJOB= 217680
IDBENCH= 5164
FILE ID= node50/217680-1168079481

PBS_JOBID= 3476067

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-55-10-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217680-1168079481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-217680-1168079481 -o ROOT/results/node50/solver-217680-1168079481 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217680-1168079481/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  52e1a20218303240f1ed977654e67c18

RANDOM SEED= 160941306

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.263
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.263
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:       1490864 kB
Buffers:         37544 kB
Cached:         434104 kB
SwapCached:          0 kB
Active:          77552 kB
Inactive:       409740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1490864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1760 kB
Writeback:           0 kB
Mapped:          25796 kB
Slab:            63764 kB
Committed_AS:  3272596 kB
PageTables:       1460 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= 66550 MiB



End job on node50 on Sat Jan  6 10:33:35 UTC 2007