Trace number 229755

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 ESACSAT 114.517 115.146

DiagnosticValue
CHECKS745514391
NODES442915

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-39_ext.xml
MD5SUM633ed2625aacea0b26a4fb7536718f06
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 benchmark114.517
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints462
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension462
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/229755-1168310159/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.41	       =>  wckTime=0.102  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
0.56	   
0.56	   constraints being loaded...
0.70	     nbConstraints=462  nbRelationTypes=462  nbExtensionStructures=462  nbSharedExtensionStructures=0
0.70	     nbConflictsStructures=462  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2313  maxDegree=27
0.70	     maxArity=2
0.70	       =>  wckTime=0.395  cpuTime=0.3  mem=17M695
0.75	   
0.75	   solver IterativeSystematicSolver being built... 
0.91	       =>  wckTime=0.605  cpuTime=0.43  mem=15M572
0.98	   
0.98	   preprocessing
0.98	     nbConstraintChecks=109084  nbPropagations=1169  nbRevisions=10486  nbUselessRevisions=8978  nbSingletonTests=61
0.98	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.98	       =>  wckTime=0.06  cpuTime=0.04  mem=15M572
1.01	   
1.01	   search
1.01	     run=0  nbConstraintChecks=48898  nbPropagations=1774  nbRevisions=18106  nbUselessRevisions=15261  nbAssignments=29
1.01	     nbFailedAssignments=7  nbBacktracks=12  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.01	     nbTooLargeKeys=0
1.01	       =>  wckTime=0.091  cpuTime=0.06  mem=15M572
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=98761  nbPropagations=4165  nbRevisions=43801  nbUselessRevisions=36773  nbAssignments=64
1.03	     nbFailedAssignments=15  nbBacktracks=31  nbVisitedNodes=97  nbRestartNogoods=3  mapSize=24  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.111  cpuTime=0.07  mem=15M572
1.05	   
1.05	   search
1.05	     run=2  nbConstraintChecks=187162  nbPropagations=7619  nbRevisions=84221  nbUselessRevisions=70406
1.05	     nbAssignments=118  nbFailedAssignments=35  nbBacktracks=55  nbVisitedNodes=187  nbRestartNogoods=4  mapSize=46
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.128  cpuTime=0.09  mem=15M572
1.07	   
1.07	   search
1.07	     run=3  nbConstraintChecks=301879  nbPropagations=12320  nbRevisions=141747  nbUselessRevisions=117829
1.07	     nbAssignments=181  nbFailedAssignments=55  nbBacktracks=90  nbVisitedNodes=285  nbRestartNogoods=8  mapSize=73
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.152  cpuTime=0.11  mem=15M572
1.10	   
1.10	   search
1.10	     run=4  nbConstraintChecks=454961  nbPropagations=18888  nbRevisions=224690  nbUselessRevisions=186201
1.10	     nbAssignments=278  nbFailedAssignments=80  nbBacktracks=142  nbVisitedNodes=419  nbRestartNogoods=12  mapSize=112
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.182  cpuTime=0.14  mem=15M572
1.15	   
1.15	   search
1.15	     run=5  nbConstraintChecks=658965  nbPropagations=27884  nbRevisions=343010  nbUselessRevisions=283340
1.15	     nbAssignments=400  nbFailedAssignments=118  nbBacktracks=218  nbVisitedNodes=618  nbRestartNogoods=13  mapSize=169
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.23  cpuTime=0.18  mem=15M572
1.20	   
1.20	   search
1.20	     run=6  nbConstraintChecks=957326  nbPropagations=40532  nbRevisions=516609  nbUselessRevisions=425826
1.20	     nbAssignments=604  nbFailedAssignments=199  nbBacktracks=332  nbVisitedNodes=956  nbRestartNogoods=16  mapSize=259
1.20	     nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.286  cpuTime=0.23  mem=15M572
1.28	   
1.28	   search
1.28	     run=7  nbConstraintChecks=1386712  nbPropagations=58094  nbRevisions=764221  nbUselessRevisions=628576
1.28	     nbAssignments=879  nbFailedAssignments=292  nbBacktracks=503  nbVisitedNodes=1399  nbRestartNogoods=19  mapSize=382
1.28	     nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.363  cpuTime=0.31  mem=15M572
1.41	   
1.41	   search
1.41	     run=8  nbConstraintChecks=2142855  nbPropagations=84060  nbRevisions=1139520  nbUselessRevisions=935591
1.41	     nbAssignments=1298  nbFailedAssignments=445  nbBacktracks=760  nbVisitedNodes=2101  nbRestartNogoods=27
1.41	     mapSize=584  nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.497  cpuTime=0.43  mem=15M572
1.63	   
1.63	   search
1.63	     run=9  nbConstraintChecks=3337083  nbPropagations=124239  nbRevisions=1734049  nbUselessRevisions=1421620
1.63	     nbAssignments=2004  nbFailedAssignments=755  nbBacktracks=1144  nbVisitedNodes=3350  nbRestartNogoods=32
1.63	     mapSize=921  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.714  cpuTime=0.64  mem=15M572
1.71	   
1.71	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M572)
1.89	   
1.89	   search
1.89	     run=10  nbConstraintChecks=4905286  nbPropagations=182699  nbRevisions=2611845  nbUselessRevisions=2139025
1.89	     nbAssignments=2956  nbFailedAssignments=1122  nbBacktracks=1720  nbVisitedNodes=4974  nbRestartNogoods=38
1.89	       =>  wckTime=0.971  cpuTime=0.88  mem=15M572
2.25	   
2.25	   search
2.25	     run=11  nbConstraintChecks=7238131  nbPropagations=269413  nbRevisions=3921478  nbUselessRevisions=3210983
2.25	     nbAssignments=4425  nbFailedAssignments=1703  nbBacktracks=2585  nbVisitedNodes=7496  nbRestartNogoods=46
2.25	       =>  wckTime=1.334  cpuTime=1.24  mem=15M572
2.78	   
2.78	   search
2.78	     run=12  nbConstraintChecks=10787331  nbPropagations=395872  nbRevisions=5830462  nbUselessRevisions=4769661
2.78	     nbAssignments=6461  nbFailedAssignments=2431  nbBacktracks=3882  nbVisitedNodes=10919  nbRestartNogoods=54
2.78	       =>  wckTime=1.861  cpuTime=1.76  mem=15M572
3.55	   
3.55	   search
3.55	     run=13  nbConstraintChecks=15663095  nbPropagations=583436  nbRevisions=8665208  nbUselessRevisions=7086733
3.55	     nbAssignments=9642  nbFailedAssignments=3636  nbBacktracks=5828  nbVisitedNodes=16333  nbRestartNogoods=64
3.55	       =>  wckTime=2.631  cpuTime=2.53  mem=15M572
4.79	   
4.79	   search
4.79	     run=14  nbConstraintChecks=23732795  nbPropagations=867607  nbRevisions=13031668  nbUselessRevisions=10668831
4.79	     nbAssignments=14568  nbFailedAssignments=5613  nbBacktracks=8751  nbVisitedNodes=24877  nbRestartNogoods=72
4.79	       =>  wckTime=3.876  cpuTime=3.76  mem=16M548
6.47	   
6.47	   search
6.47	     run=15  nbConstraintChecks=34509935  nbPropagations=1284367  nbRevisions=19394187  nbUselessRevisions=15880416
6.47	     nbAssignments=21501  nbFailedAssignments=8139  nbBacktracks=13132  nbVisitedNodes=36535  nbRestartNogoods=81
6.47	       =>  wckTime=5.556  cpuTime=5.44  mem=16M548
8.91	   
8.91	   search
8.91	     run=16  nbConstraintChecks=50097194  nbPropagations=1893690  nbRevisions=28710686  nbUselessRevisions=23524890
8.91	     nbAssignments=31775  nbFailedAssignments=11834  nbBacktracks=19700  nbVisitedNodes=53889  nbRestartNogoods=92
8.91	       =>  wckTime=7.994  cpuTime=7.86  mem=16M548
13.14	   
13.14	   search
13.14	     run=17  nbConstraintChecks=78637177  nbPropagations=2825080  nbRevisions=42965950  nbUselessRevisions=35191680
13.14	     nbAssignments=47759  nbFailedAssignments=17955  nbBacktracks=29553  nbVisitedNodes=81426  nbRestartNogoods=103
13.14	       =>  wckTime=12.22  cpuTime=12.07  mem=16M548
19.48	   
19.48	   search
19.48	     run=18  nbConstraintChecks=120797135  nbPropagations=4238278  nbRevisions=64600874  nbUselessRevisions=52873461
19.48	     nbAssignments=71907  nbFailedAssignments=27295  nbBacktracks=44333  nbVisitedNodes=122862  nbRestartNogoods=114
19.48	       =>  wckTime=18.563  cpuTime=18.38  mem=16M548
28.18	   
28.18	   search
28.18	     run=19  nbConstraintChecks=176060263  nbPropagations=6337879  nbRevisions=96681245  nbUselessRevisions=79110349
28.18	     nbAssignments=107575  nbFailedAssignments=40781  nbBacktracks=66503  nbVisitedNodes=183970  nbRestartNogoods=122
28.18	       =>  wckTime=27.265  cpuTime=27.04  mem=16M548
42.61	   
42.61	   search
42.61	     run=20  nbConstraintChecks=272891331  nbPropagations=9516437  nbRevisions=145518747  nbUselessRevisions=119059384
42.61	     nbAssignments=160690  nbFailedAssignments=60630  nbBacktracks=99757  nbVisitedNodes=274712  nbRestartNogoods=135
42.61	       =>  wckTime=41.69  cpuTime=41.39  mem=16M548
64.06	   
64.06	   search
64.06	     run=21  nbConstraintChecks=414422733  nbPropagations=14346319  nbRevisions=219520856  nbUselessRevisions=179529467
64.06	     nbAssignments=243673  nbFailedAssignments=93719  nbBacktracks=149638  nbVisitedNodes=418179  nbRestartNogoods=151
64.06	       =>  wckTime=63.145  cpuTime=62.74  mem=16M548
96.21	   
96.21	   search
96.21	     run=22  nbConstraintChecks=624761074  nbPropagations=21619410  nbRevisions=332026363  nbUselessRevisions=271653802
96.21	     nbAssignments=366632  nbFailedAssignments=141848  nbBacktracks=224458  nbVisitedNodes=630022  nbRestartNogoods=162
96.21	       =>  wckTime=95.291  cpuTime=94.75  mem=16M548
115.08	   
115.08	   search
115.08	     run=23  nbConstraintChecks=745405307  nbPropagations=30363278  nbRevisions=466907766  nbUselessRevisions=382114070
115.08	     nbAssignments=442915  nbFailedAssignments=170165  nbBacktracks=272374  nbVisitedNodes=759777  nbRestartNogoods=178
115.08	       =>  wckTime=114.161  cpuTime=113.53  mem=16M548
115.08	   
115.08	   global
115.08	     nbConstraintChecks=745514391  nbPropagations=30364447  nbRevisions=466918252  nbUselessRevisions=382123048
115.08	     nbRestartNogoods=178  solvingWckTime=114.162  solvingCpuTime=113.53  expiredTime=no  totalExploration=no
115.08	     nbFoundSolutions=1  globalCpuTime=114.03
115.08	       =>  wckTime=114.771  cpuTime=113.97  mem=16M548
115.08	   
115.08	s SATISFIABLE
115.08	v 7 22 6 12 8 10 17 12 22 7 20 10 5 14 12 13 0 9 10 2 4 12 15 7 2 2 14 12 12 1 6 17 11 7 8 13 17 18 5 1 10 7 0 5 19 4 14 5 1 16 
115.08	d NODES 442915
115.08	d CHECKS 745514391
115.08	   
115.08	   totalWckTime=114.849  totalCpuTime=114.03

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/node14/watcher-229755-1168310159 -o ROOT/results/node14/solver-229755-1168310159 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229755-1168310159/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.92 0.98 0.99 4/83 12995
/proc/meminfo: memFree=1699352/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=18540 CPUtime=0
/proc/12994/stat : 12994 (runsolver) R 12990 12994 12885 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 179410815 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12994/statm: 4635 279 244 17 0 2626 0

[startup+0.108728 s]
/proc/loadavg: 0.92 0.98 0.99 4/83 12995
/proc/meminfo: memFree=1699352/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=914988 CPUtime=0.08
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 2988 0 1 0 6 2 0 0 22 0 8 0 179410815 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12994/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.518766 s]
/proc/loadavg: 0.92 0.98 0.99 4/83 12995
/proc/meminfo: memFree=1699352/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915328 CPUtime=0.49
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 7090 0 1 0 43 6 0 0 25 0 8 0 179410815 937295872 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228832 6831 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34785 s]
/proc/loadavg: 1.01 1.00 1.00 3/101 13026
/proc/meminfo: memFree=1600840/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=1.3
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9629 0 1 0 122 8 0 0 25 0 8 0 179410815 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9367 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 179410819 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.19
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 382 0 0 0 18 1 0 0 15 0 8 0 179410823 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.988 s]
/proc/loadavg: 1.01 1.00 1.00 3/102 13027
/proc/meminfo: memFree=1584448/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=2.94
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9647 0 1 0 285 9 0 0 25 0 8 0 179410815 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9383 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 179410819 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.23
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 399 0 0 0 21 2 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 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) 915460

[startup+6.26731 s]
/proc/loadavg: 1.01 1.00 1.00 3/102 13027
/proc/meminfo: memFree=1584448/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=6.2
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9647 0 1 0 611 9 0 0 25 0 8 0 179410815 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9383 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 179410819 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.23
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 399 0 0 0 21 2 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460

[startup+12.7619 s]
/proc/loadavg: 1.16 1.03 1.01 3/102 13027
/proc/meminfo: memFree=1584416/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=12.66
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9647 0 1 0 1257 9 0 0 25 0 8 0 179410815 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9383 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 179410819 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.23
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 399 0 0 0 21 2 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460

[startup+25.6251 s]
/proc/loadavg: 1.29 1.06 1.02 3/102 13027
/proc/meminfo: memFree=1584544/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=25.46
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9647 0 1 0 2537 9 0 0 25 0 8 0 179410815 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9383 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 179410819 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.23
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 399 0 0 0 21 2 0 0 16 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915460

[startup+51.2486 s]
/proc/loadavg: 1.59 1.15 1.05 3/102 13027
/proc/meminfo: memFree=1584544/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=50.96
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9648 0 1 0 5087 9 0 0 25 0 8 0 179410815 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9384 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 179410819 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.23
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 400 0 0 0 21 2 0 0 16 0 8 0 179410823 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460

[startup+102.493 s]
/proc/loadavg: 1.83 1.29 1.10 3/102 13027
/proc/meminfo: memFree=1584608/2055920 swapFree=4163780/4192956
[pid=12994] ppid=12990 vsize=915460 CPUtime=101.96
/proc/12994/stat : 12994 (java) R 12990 12994 12885 0 -1 0 9650 0 1 0 10187 9 0 0 25 0 8 0 179410815 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12994/statm: 228865 9385 2524 14 0 215335 0
[pid=12994/tid=13013] ppid=12990 vsize=915460 CPUtime=0.03
/proc/12994/task/13013/stat : 13013 (java) S 12990 12994 12885 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 179410819 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13014] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13014/stat : 13014 (java) S 12990 12994 12885 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13015] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13015/stat : 13015 (java) S 12990 12994 12885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 179410820 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13019] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13019/stat : 13019 (java) S 12990 12994 12885 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 179410823 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13020] ppid=12990 vsize=915460 CPUtime=0.23
/proc/12994/task/13020/stat : 13020 (java) S 12990 12994 12885 0 -1 64 401 0 0 0 21 2 0 0 16 0 8 0 179410823 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12994/tid=13021] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13021/stat : 13021 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179410823 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12994/tid=13022] ppid=12990 vsize=915460 CPUtime=0
/proc/12994/task/13022/stat : 13022 (java) S 12990 12994 12885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179410823 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 115.146
CPU time (s): 114.517
CPU user time (s): 114.416
CPU system time (s): 0.100984
CPU usage (%): 99.4533
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.416
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9660
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= 3554
involuntary context switches= 7137

runsolver used 0.184971 s user time and 0.343947 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Jan  9 02:35:59 UTC 2007


IDJOB= 229755
IDBENCH= 6355
FILE ID= node14/229755-1168310159

PBS_JOBID= 3502340

Free space on /tmp= 66341 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229755-1168310159/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-229755-1168310159 -o ROOT/results/node14/solver-229755-1168310159 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229755-1168310159/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  633ed2625aacea0b26a4fb7536718f06

RANDOM SEED= 458334529

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.227
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.227
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:       1700160 kB
Buffers:         46752 kB
Cached:         234860 kB
SwapCached:       4056 kB
Active:         177508 kB
Inactive:       138664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700160 kB
SwapTotal:     4192956 kB
SwapFree:      4163780 kB
Dirty:            6068 kB
Writeback:           0 kB
Mapped:          43040 kB
Slab:            24760 kB
Committed_AS:  5969388 kB
PageTables:       2056 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= 66341 MiB



End job on node14 on Tue Jan  9 02:37:54 UTC 2007