Trace number 218399

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 95.5925 95.7228

DiagnosticValue
CHECKS84275832
NODES94860

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-25_ext.xml
MD5SUMca1213a9aae764858147c8a6554266c4
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.1625
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.28	   configuration
0.28	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/218399-1168079632/unknown.xml
0.34	   
0.34	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.38	       =>  wckTime=0.091  cpuTime=0.07  mem=6M951
0.38	   
0.38	   relations being loaded...
0.64	   
0.64	   constraints being loaded...
0.79	     nbConstraints=59  nbRelationTypes=59  nbExtensionStructures=59  nbSharedExtensionStructures=0
0.79	     nbConflictsStructures=59  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
0.79	       =>  wckTime=0.504  cpuTime=0.46  mem=43M456
0.87	   
0.87	   solver IterativeSystematicSolver being built... 
1.02	       =>  wckTime=0.733  cpuTime=0.58  mem=21M494
1.03	   
1.03	   preprocessing
1.03	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.03	     detectedInconsistency=no
1.03	       =>  wckTime=0.0030  cpuTime=0.0  mem=21M494
1.12	   
1.12	   search
1.12	     run=0  nbConstraintChecks=26563  nbValidityChecks=47467  nbPropagations=380  nbRevisions=3658
1.12	     nbUselessRevisions=2790  nbAssignments=31  nbFailedAssignments=17  nbBacktracks=10  nbVisitedNodes=55
1.12	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.099  cpuTime=0.07  mem=21M494
1.18	   
1.18	   search
1.18	     run=1  nbConstraintChecks=62786  nbValidityChecks=120605  nbPropagations=1244  nbRevisions=12567
1.18	     nbUselessRevisions=9670  nbAssignments=70  nbFailedAssignments=37  nbBacktracks=25  nbVisitedNodes=125
1.18	     nbRestartNogoods=7  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.157  cpuTime=0.12  mem=21M494
1.23	   
1.23	   search
1.23	     run=2  nbConstraintChecks=95205  nbValidityChecks=188832  nbPropagations=2587  nbRevisions=26724
1.23	     nbUselessRevisions=20671  nbAssignments=111  nbFailedAssignments=53  nbBacktracks=48  nbVisitedNodes=197
1.23	     nbRestartNogoods=11  mapSize=43  nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.209  cpuTime=0.17  mem=21M494
1.34	   
1.34	   search
1.34	     run=3  nbConstraintChecks=171477  nbValidityChecks=346357  nbPropagations=5166  nbRevisions=53090
1.34	     nbUselessRevisions=40878  nbAssignments=220  nbFailedAssignments=124  nbBacktracks=83  nbVisitedNodes=403
1.34	     nbRestartNogoods=12  mapSize=75  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.321  cpuTime=0.27  mem=21M494
1.50	   
1.50	   search
1.50	     run=4  nbConstraintChecks=297957  nbValidityChecks=596609  nbPropagations=9164  nbRevisions=98568
1.50	     nbUselessRevisions=76343  nbAssignments=343  nbFailedAssignments=194  nbBacktracks=133  nbVisitedNodes=632
1.50	     nbRestartNogoods=19  mapSize=120  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.473  cpuTime=0.42  mem=21M494
1.72	   
1.72	   search
1.72	     run=5  nbConstraintChecks=493121  nbValidityChecks=975099  nbPropagations=15214  nbRevisions=172119
1.72	     nbUselessRevisions=134196  nbAssignments=526  nbFailedAssignments=298  nbBacktracks=209  nbVisitedNodes=981
1.72	     nbRestartNogoods=21  mapSize=194  nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.701  cpuTime=0.65  mem=21M494
2.05	   
2.05	   search
2.05	     run=6  nbConstraintChecks=758292  nbValidityChecks=1496169  nbPropagations=25183  nbRevisions=285734
2.05	     nbUselessRevisions=222517  nbAssignments=854  nbFailedAssignments=509  nbBacktracks=322  nbVisitedNodes=1599
2.05	     nbRestartNogoods=28  mapSize=300  nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=1.028  cpuTime=0.97  mem=21M494
2.52	   
2.52	   search
2.52	     run=7  nbConstraintChecks=1153781  nbValidityChecks=2298545  nbPropagations=40313  nbRevisions=459604
2.52	     nbUselessRevisions=357959  nbAssignments=1284  nbFailedAssignments=766  nbBacktracks=492  nbVisitedNodes=2417
2.52	     nbRestartNogoods=32  mapSize=464  nbInferences=0  nbTooLargeKeys=0
2.52	       =>  wckTime=1.498  cpuTime=1.44  mem=21M494
3.15	   
3.15	   search
3.15	     run=8  nbConstraintChecks=1663146  nbValidityChecks=3328610  nbPropagations=62525  nbRevisions=710671
3.15	     nbUselessRevisions=553543  nbAssignments=1839  nbFailedAssignments=1061  nbBacktracks=748  nbVisitedNodes=3443
3.15	     nbRestartNogoods=39  mapSize=692  nbInferences=0  nbTooLargeKeys=0
3.15	       =>  wckTime=2.125  cpuTime=2.05  mem=21M494
4.25	   
4.25	   INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=21M494)
4.34	   
4.34	   search
4.34	     run=9  nbConstraintChecks=2706629  nbValidityChecks=5538010  nbPropagations=99264  nbRevisions=1132624
4.34	     nbUselessRevisions=882976  nbAssignments=3033  nbFailedAssignments=1868  nbBacktracks=1132  nbVisitedNodes=5756
4.34	     nbRestartNogoods=51
4.34	       =>  wckTime=3.319  cpuTime=3.23  mem=21M494
5.89	   
5.89	   search
5.89	     run=10  nbConstraintChecks=4098256  nbValidityChecks=8456034  nbPropagations=153967  nbRevisions=1777205
5.89	     nbUselessRevisions=1387647  nbAssignments=4686  nbFailedAssignments=2942  nbBacktracks=1708  nbVisitedNodes=8904
5.89	     nbRestartNogoods=58
5.89	       =>  wckTime=4.864  cpuTime=4.77  mem=21M494
8.06	   
8.06	   search
8.06	     run=11  nbConstraintChecks=5972047  nbValidityChecks=12242899  nbPropagations=235945  nbRevisions=2695729
8.06	     nbUselessRevisions=2099163  nbAssignments=7338  nbFailedAssignments=4726  nbBacktracks=2572  nbVisitedNodes=13932
8.06	     nbRestartNogoods=66
8.06	       =>  wckTime=7.035  cpuTime=6.94  mem=21M494
11.06	   
11.06	   search
11.06	     run=12  nbConstraintChecks=8661222  nbValidityChecks=17607720  nbPropagations=354670  nbRevisions=4032794
11.06	     nbUselessRevisions=3136443  nbAssignments=10333  nbFailedAssignments=6421  nbBacktracks=3869  nbVisitedNodes=19530
11.06	     nbRestartNogoods=79
11.06	       =>  wckTime=10.035  cpuTime=9.94  mem=22M463
15.58	   
15.58	   search
15.58	     run=13  nbConstraintChecks=12711763  nbValidityChecks=25745921  nbPropagations=528389  nbRevisions=5995608
15.58	     nbUselessRevisions=4661435  nbAssignments=14768  nbFailedAssignments=8905  nbBacktracks=5815  nbVisitedNodes=27819
15.58	     nbRestartNogoods=87
15.58	       =>  wckTime=14.555  cpuTime=14.46  mem=22M463
23.25	   
23.25	   search
23.25	     run=14  nbConstraintChecks=19727844  nbValidityChecks=40346177  nbPropagations=789072  nbRevisions=9042227
23.25	     nbUselessRevisions=7042365  nbAssignments=22500  nbFailedAssignments=13714  nbBacktracks=8734  nbVisitedNodes=42454
23.25	     nbRestartNogoods=105
23.25	       =>  wckTime=22.224  cpuTime=22.12  mem=22M463
33.86	   
33.86	   search
33.86	     run=15  nbConstraintChecks=29083834  nbValidityChecks=59113013  nbPropagations=1181619  nbRevisions=13502272
33.86	     nbUselessRevisions=10511516  nbAssignments=33640  nbFailedAssignments=20473  nbBacktracks=13112
33.86	     nbVisitedNodes=63363  nbRestartNogoods=124
33.86	       =>  wckTime=32.835  cpuTime=32.71  mem=22M463
49.55	   
49.55	   search
49.55	     run=16  nbConstraintChecks=43016005  nbValidityChecks=87175684  nbPropagations=1763513  nbRevisions=20137836
49.55	     nbUselessRevisions=15676749  nbAssignments=49183  nbFailedAssignments=29444  nbBacktracks=19680
49.55	     nbVisitedNodes=92526  nbRestartNogoods=137
49.55	       =>  wckTime=48.532  cpuTime=48.39  mem=22M463
74.39	   
74.39	   search
74.39	     run=17  nbConstraintChecks=65267408  nbValidityChecks=132872015  nbPropagations=2645940  nbRevisions=30270126
74.39	     nbUselessRevisions=23572546  nbAssignments=73761  nbFailedAssignments=44165  nbBacktracks=29532
74.39	     nbVisitedNodes=138900  nbRestartNogoods=162
74.39	       =>  wckTime=73.371  cpuTime=73.2  mem=22M463
95.67	   
95.67	   search
95.67	     run=18  nbConstraintChecks=84275832  nbValidityChecks=171469508  nbPropagations=3782431  nbRevisions=43346708
95.67	     nbUselessRevisions=33766245  nbAssignments=94860  nbFailedAssignments=56783  nbBacktracks=37993
95.67	     nbVisitedNodes=178650  nbRestartNogoods=180
95.67	       =>  wckTime=94.646  cpuTime=94.46  mem=22M463
95.67	   
95.67	   global
95.67	     nbConstraintChecks=84275832  nbValidityChecks=171469508  nbPropagations=3782451  nbRevisions=43346708
95.67	     nbUselessRevisions=33766245  nbRestartNogoods=180  solvingWckTime=94.647  solvingCpuTime=94.46  expiredTime=no
95.67	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=95.08
95.67	       =>  wckTime=95.383  cpuTime=95.04  mem=22M463
95.67	   
95.67	s SATISFIABLE
95.67	v 11 5 13 11 12 7 16 1 2 17 15 19 15 9 14 1 19 16 13 1 
95.67	d NODES 94860
95.67	d CHECKS 84275832
95.67	   
95.67	   totalWckTime=95.46  totalCpuTime=95.08

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/node55/watcher-218399-1168079632 -o ROOT/results/node55/solver-218399-1168079632 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218399-1168079632/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.49 1.14 1.04 4/80 12055
/proc/meminfo: memFree=1224168/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=9648 CPUtime=0
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 386 0 0 0 0 0 0 0 18 0 1 0 156361599 9879552 174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6849316 0 0 4096 0 0 0 0 17 0 0 0
/proc/12054/statm: 2447 176 138 14 0 1138 0

[startup+0.104845 s]
/proc/loadavg: 1.49 1.14 1.04 4/80 12055
/proc/meminfo: memFree=1224168/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=914988 CPUtime=0.09
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 3095 0 1 0 8 1 0 0 24 0 8 0 156361599 936947712 2841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228747 2841 1459 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512872 s]
/proc/loadavg: 1.49 1.14 1.04 4/80 12055
/proc/meminfo: memFree=1224168/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915328 CPUtime=0.5
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 8359 0 1 0 45 5 0 0 25 0 8 0 156361599 937295872 8098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228832 8098 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33548 s]
/proc/loadavg: 1.49 1.14 1.04 3/87 12062
/proc/meminfo: memFree=1165552/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=1.32
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17370 0 1 0 122 10 0 0 25 0 8 0 156361599 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17107 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.17
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 360 0 0 0 17 0 0 0 15 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17107 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) 915460

[startup+2.97363 s]
/proc/loadavg: 1.53 1.15 1.05 3/87 12062
/proc/meminfo: memFree=1165488/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=2.96
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17386 0 1 0 286 10 0 0 25 0 8 0 156361599 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17122 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 156361602 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.2
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 375 0 0 0 20 0 0 0 15 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+6.17994 s]
/proc/loadavg: 1.53 1.15 1.05 3/87 12062
/proc/meminfo: memFree=1165296/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=6.16
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17396 0 1 0 606 10 0 0 25 0 8 0 156361599 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17130 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460

[startup+12.6566 s]
/proc/loadavg: 1.60 1.18 1.06 3/87 12062
/proc/meminfo: memFree=1165296/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=12.63
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17398 0 1 0 1253 10 0 0 25 0 8 0 156361599 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17131 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460

[startup+25.5328 s]
/proc/loadavg: 1.66 1.20 1.07 3/87 12062
/proc/meminfo: memFree=1165424/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=25.48
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17398 0 1 0 2538 10 0 0 25 0 8 0 156361599 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17131 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460

[startup+51.1633 s]
/proc/loadavg: 1.78 1.27 1.09 3/87 12062
/proc/meminfo: memFree=1165488/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=51.1
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17398 0 1 0 5099 11 0 0 25 0 8 0 156361599 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17131 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 95.7228
CPU time (s): 95.5925
CPU user time (s): 95.4665
CPU system time (s): 0.12598
CPU usage (%): 99.8639
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.4665
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17404
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= 3012
involuntary context switches= 3564

runsolver used 0.139978 s user time and 0.293955 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 10:33:53 UTC 2007


IDJOB= 218399
IDBENCH= 5233
FILE ID= node55/218399-1168079632

PBS_JOBID= 3476134

Free space on /tmp= 66540 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218399-1168079632/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-218399-1168079632 -o ROOT/results/node55/solver-218399-1168079632 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218399-1168079632/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ca1213a9aae764858147c8a6554266c4

RANDOM SEED= 96841658

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.218
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.218
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:       1224584 kB
Buffers:         55888 kB
Cached:         612960 kB
SwapCached:          0 kB
Active:         174808 kB
Inactive:       573088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1224584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3040 kB
Writeback:           0 kB
Mapped:          99248 kB
Slab:            68656 kB
Committed_AS:  3807384 kB
PageTables:       1896 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= 66540 MiB



End job on node55 on Sat Jan  6 10:35:29 UTC 2007