Trace number 210600

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 64.0893 64.7376

DiagnosticValue
CHECKS39701814
NODES325168

General information on the benchmark

NamepseudoSeries/fpga/
fpga-12-10.xml
MD5SUM4332ea6e0569a2c3ff5d9633ee104e8a
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 benchmark0.202968
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables180
Number of constraints152
Maximum constraint arity12
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension152
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/210600-1168075093/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.46	     nbVariables=180  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.46	       =>  wckTime=0.116  cpuTime=0.1  mem=6M951
0.46	   
0.46	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
0.64	     nbConstraints=152  nbConflictsStructures=4  nbSharedConflictsStructures=148  nbSharedBinaryRepresentations=0
0.64	     nbEvaluationManagers=4  nbSharedEvaluationManagers=148  maxDegree=11  maxArity=12
0.64	       =>  wckTime=0.301  cpuTime=0.22  mem=9M877
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.89	       =>  wckTime=0.547  cpuTime=0.38  mem=16M694
0.90	   
0.90	   preprocessing
0.90	     nbConstraintChecks=0  nbPropagations=180  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.90	     detectedInconsistency=no
0.90	       =>  wckTime=0.0090  cpuTime=0.0  mem=16M694
0.97	   
0.97	   search
0.97	     run=0  nbConstraintChecks=1525  nbValidityChecks=196  nbPropagations=364  nbRevisions=349  nbUselessRevisions=160
0.97	     nbAssignments=151  nbFailedAssignments=1  nbBacktracks=96  nbVisitedNodes=154  nbRestartNogoods=0  mapSize=1
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.083  cpuTime=0.05  mem=16M694
1.01	   
1.01	   search
1.01	     run=1  nbConstraintChecks=4797  nbValidityChecks=572  nbPropagations=953  nbRevisions=1125  nbUselessRevisions=509
1.01	     nbAssignments=314  nbFailedAssignments=3  nbBacktracks=116  nbVisitedNodes=321  nbRestartNogoods=1  mapSize=4
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.124  cpuTime=0.09  mem=16M694
1.04	   
1.04	   search
1.04	     run=2  nbConstraintChecks=7046  nbValidityChecks=1003  nbPropagations=1747  nbRevisions=2385
1.04	     nbUselessRevisions=1129  nbAssignments=399  nbFailedAssignments=4  nbBacktracks=145  nbVisitedNodes=409
1.04	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.15  cpuTime=0.11  mem=16M694
1.07	   
1.07	   search
1.07	     run=3  nbConstraintChecks=11138  nbValidityChecks=1669  nbPropagations=2790  nbRevisions=4308
1.07	     nbUselessRevisions=2145  nbAssignments=491  nbFailedAssignments=6  nbBacktracks=178  nbVisitedNodes=507
1.07	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.07	       =>  wckTime=0.179  cpuTime=0.13  mem=17M670
1.11	   
1.11	   search
1.11	     run=4  nbConstraintChecks=17597  nbValidityChecks=2541  nbPropagations=4148  nbRevisions=7054
1.11	     nbUselessRevisions=3643  nbAssignments=634  nbFailedAssignments=9  nbBacktracks=229  nbVisitedNodes=659
1.11	     nbRestartNogoods=4  mapSize=18  nbInferences=3  nbTooLargeKeys=0
1.11	       =>  wckTime=0.222  cpuTime=0.17  mem=17M670
1.16	   
1.16	   search
1.16	     run=5  nbConstraintChecks=23525  nbValidityChecks=3315  nbPropagations=5812  nbRevisions=10515
1.16	     nbUselessRevisions=5517  nbAssignments=794  nbFailedAssignments=12  nbBacktracks=336  nbVisitedNodes=829
1.16	     nbRestartNogoods=6  mapSize=27  nbInferences=5  nbTooLargeKeys=0
1.16	       =>  wckTime=0.275  cpuTime=0.21  mem=17M670
1.20	   
1.20	   search
1.20	     run=6  nbConstraintChecks=25136  nbValidityChecks=3927  nbPropagations=7774  nbRevisions=14567
1.20	     nbUselessRevisions=7709  nbAssignments=976  nbFailedAssignments=12  nbBacktracks=461  nbVisitedNodes=1019
1.20	     nbRestartNogoods=7  mapSize=34  nbInferences=13  nbTooLargeKeys=0
1.20	       =>  wckTime=0.311  cpuTime=0.25  mem=17M670
1.29	   
1.29	   search
1.29	     run=7  nbConstraintChecks=56546  nbValidityChecks=7430  nbPropagations=10786  nbRevisions=21222
1.29	     nbUselessRevisions=11242  nbAssignments=1259  nbFailedAssignments=36  nbBacktracks=631  nbVisitedNodes=1359
1.29	     nbRestartNogoods=8  mapSize=87  nbInferences=15  nbTooLargeKeys=0
1.29	       =>  wckTime=0.401  cpuTime=0.34  mem=17M670
1.41	   
1.41	   search
1.41	     run=8  nbConstraintChecks=83908  nbValidityChecks=12220  nbPropagations=15098  nbRevisions=31889
1.41	     nbUselessRevisions=17150  nbAssignments=1648  nbFailedAssignments=63  nbBacktracks=894  nbVisitedNodes=1807
1.41	     nbRestartNogoods=10  mapSize=141  nbInferences=16  nbTooLargeKeys=0
1.41	       =>  wckTime=0.523  cpuTime=0.44  mem=17M670
1.54	   
1.54	   search
1.54	     run=9  nbConstraintChecks=126170  nbValidityChecks=18524  nbPropagations=21344  nbRevisions=47203
1.54	     nbUselessRevisions=25328  nbAssignments=2197  nbFailedAssignments=103  nbBacktracks=1294  nbVisitedNodes=2465
1.54	     nbRestartNogoods=15  mapSize=249  nbInferences=22  nbTooLargeKeys=0
1.54	       =>  wckTime=0.648  cpuTime=0.56  mem=17M670
1.76	   
1.76	   search
1.76	     run=10  nbConstraintChecks=247898  nbValidityChecks=29606  nbPropagations=30825  nbRevisions=69247
1.76	     nbUselessRevisions=36221  nbAssignments=2951  nbFailedAssignments=193  nbBacktracks=1870  nbVisitedNodes=3424
1.76	     nbRestartNogoods=16  mapSize=442  nbInferences=22  nbTooLargeKeys=0
1.76	       =>  wckTime=0.876  cpuTime=0.77  mem=17M670
2.07	   
2.07	   search
2.07	     run=11  nbConstraintChecks=421623  nbValidityChecks=45782  nbPropagations=45085  nbRevisions=100972
2.07	     nbUselessRevisions=50778  nbAssignments=4043  nbFailedAssignments=336  nbBacktracks=2738  nbVisitedNodes=4839
2.07	     nbRestartNogoods=18  mapSize=755  nbInferences=22  nbTooLargeKeys=0
2.07	       =>  wckTime=1.182  cpuTime=1.08  mem=17M670
2.44	   
2.44	   search
2.44	     run=12  nbConstraintChecks=627071  nbValidityChecks=63012  nbPropagations=64908  nbRevisions=142669
2.44	     nbUselessRevisions=68921  nbAssignments=5561  nbFailedAssignments=480  nbBacktracks=4039  nbVisitedNodes=6687
2.44	     nbRestartNogoods=21  mapSize=1083  nbInferences=22  nbTooLargeKeys=0
2.44	       =>  wckTime=1.557  cpuTime=1.45  mem=18M645
3.11	   
3.11	   search
3.11	     run=13  nbConstraintChecks=1008092  nbValidityChecks=94827  nbPropagations=94970  nbRevisions=202867
3.11	     nbUselessRevisions=93650  nbAssignments=7860  nbFailedAssignments=753  nbBacktracks=5990  nbVisitedNodes=9656
3.11	     nbRestartNogoods=23  mapSize=1750  nbInferences=22  nbTooLargeKeys=0
3.11	       =>  wckTime=2.218  cpuTime=2.1  mem=18M645
3.84	   
3.84	   search
3.84	     run=14  nbConstraintChecks=1385254  nbValidityChecks=132064  nbPropagations=137001  nbRevisions=284644
3.84	     nbUselessRevisions=125952  nbAssignments=11192  nbFailedAssignments=1077  nbBacktracks=8916  nbVisitedNodes=13736
3.84	     nbRestartNogoods=25  mapSize=2494  nbInferences=22  nbTooLargeKeys=0
3.85	       =>  wckTime=2.957  cpuTime=2.82  mem=19M620
5.01	   
5.01	   search
5.01	     run=15  nbConstraintChecks=1996237  nbValidityChecks=187893  nbPropagations=198251  nbRevisions=398741
5.01	     nbUselessRevisions=169500  nbAssignments=16116  nbFailedAssignments=1544  nbBacktracks=13298  nbVisitedNodes=19755
5.01	     nbRestartNogoods=29  mapSize=3585  nbInferences=22  nbTooLargeKeys=0
5.01	       =>  wckTime=4.121  cpuTime=3.97  mem=20M595
5.85	   
5.85	   INFO : Stopping hyperNogood (mapSize=4410, nbTooLargekeys=0, mem=20M595)
6.86	   
6.86	   search
6.86	     run=16  nbConstraintChecks=3165029  nbValidityChecks=286556  nbPropagations=291285  nbRevisions=569832
6.86	     nbUselessRevisions=233690  nbAssignments=23547  nbFailedAssignments=2326  nbBacktracks=19882  nbVisitedNodes=29184
6.86	     nbRestartNogoods=33
6.86	       =>  wckTime=5.97  cpuTime=5.8  mem=20M595
9.09	   
9.09	   search
9.09	     run=17  nbConstraintChecks=4620792  nbValidityChecks=425677  nbPropagations=432202  nbRevisions=821385
9.09	     nbUselessRevisions=327223  nbAssignments=34476  nbFailedAssignments=3322  nbBacktracks=29743  nbVisitedNodes=42955
9.09	     nbRestartNogoods=35
9.09	       =>  wckTime=8.199  cpuTime=8.01  mem=20M595
11.80	   
11.80	   search
11.80	     run=18  nbConstraintChecks=6230167  nbValidityChecks=638512  nbPropagations=646070  nbRevisions=1195649
11.80	     nbUselessRevisions=462996  nbAssignments=50916  nbFailedAssignments=4903  nbBacktracks=44521  nbVisitedNodes=63934
11.80	     nbRestartNogoods=38
11.80	       =>  wckTime=10.914  cpuTime=10.7  mem=20M595
16.79	   
16.79	   search
16.79	     run=19  nbConstraintChecks=9450659  nbValidityChecks=959704  nbPropagations=964737  nbRevisions=1755909
16.79	     nbUselessRevisions=665993  nbAssignments=75544  nbFailedAssignments=7272  nbBacktracks=66703  nbVisitedNodes=95454
16.79	     nbRestartNogoods=42
16.79	       =>  wckTime=15.902  cpuTime=15.64  mem=20M595
23.81	   
23.81	   search
23.81	     run=20  nbConstraintChecks=13849154  nbValidityChecks=1473783  nbPropagations=1453662  nbRevisions=2611994
23.81	     nbUselessRevisions=973597  nbAssignments=112116  nbFailedAssignments=10510  nbBacktracks=99963
23.81	     nbVisitedNodes=142026  nbRestartNogoods=46
23.81	       =>  wckTime=22.927  cpuTime=22.61  mem=20M595
35.42	   
35.42	   search
35.42	     run=21  nbConstraintChecks=21505508  nbValidityChecks=2205816  nbPropagations=2185438  nbRevisions=3888013
35.42	     nbUselessRevisions=1435002  nbAssignments=167460  nbFailedAssignments=15899  nbBacktracks=149841
35.42	     nbVisitedNodes=212992  nbRestartNogoods=49
35.42	       =>  wckTime=34.531  cpuTime=34.1  mem=20M595
51.35	   
51.35	   search
51.35	     run=22  nbConstraintChecks=31472282  nbValidityChecks=3369508  nbPropagations=3313843  nbRevisions=5832104
51.35	     nbUselessRevisions=2131032  nbAssignments=249697  nbFailedAssignments=23242  nbBacktracks=224664
51.35	     nbVisitedNodes=318491  nbRestartNogoods=53
51.35	       =>  wckTime=50.46  cpuTime=49.89  mem=20M595
64.68	   
64.68	   search
64.68	     run=23  nbConstraintChecks=39701814  nbValidityChecks=4353636  nbPropagations=4765835  nbRevisions=8339315
64.68	     nbUselessRevisions=3023608  nbAssignments=325168  nbFailedAssignments=29410  nbBacktracks=293787
64.68	     nbVisitedNodes=412737  nbRestartNogoods=57
64.68	       =>  wckTime=63.793  cpuTime=63.1  mem=20M595
64.68	   
64.68	   global
64.68	     nbConstraintChecks=39701814  nbValidityChecks=4353636  nbPropagations=4766015  nbRevisions=8339315
64.68	     nbUselessRevisions=3023608  nbRestartNogoods=57  solvingWckTime=63.794  solvingCpuTime=63.1  expiredTime=no
64.68	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=63.53
64.68	       =>  wckTime=64.342  cpuTime=63.48  mem=20M595
64.68	   
64.68	s SATISFIABLE
64.68	v 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 
64.68	d NODES 325168
64.68	d CHECKS 39701814
64.69	   
64.69	   totalWckTime=64.435  totalCpuTime=63.53

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/node13/watcher-210600-1168075093 -o ROOT/results/node13/solver-210600-1168075093 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210600-1168075093/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: 2.03 2.02 2.00 3/93 4783
/proc/meminfo: memFree=1185624/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=18540 CPUtime=0
/proc/4782/stat : 4782 (runsolver) R 4778 4782 2952 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155904346 18984960 280 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4782/statm: 4635 280 244 17 0 2626 0

[startup+0.107888 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 4783
/proc/meminfo: memFree=1185624/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=914988 CPUtime=0.09
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 2953 0 1 0 7 2 0 0 17 0 8 0 155904346 936947712 2699 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072925493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515938 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 4783
/proc/meminfo: memFree=1185624/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915328 CPUtime=0.48
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 6371 0 1 0 44 4 0 0 18 0 8 0 155904346 937295872 6110 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072897038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228832 6110 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33705 s]
/proc/loadavg: 2.03 2.02 2.00 4/100 4801
/proc/meminfo: memFree=1159648/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=1.3
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 9254 0 1 0 122 8 0 0 24 0 8 0 155904346 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073815194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 8992 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.24
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 379 0 0 0 23 1 0 0 15 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97426 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1158688/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=2.92
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 9568 0 1 0 284 8 0 0 25 0 8 0 155904346 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073480039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9304 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 17 0 8 0 155904350 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.28
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 395 0 0 0 27 1 0 0 16 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.2727 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1155936/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=6.19
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10144 0 1 0 610 9 0 0 25 0 8 0 155904346 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073642960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9879 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.28
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 396 0 0 0 27 1 0 0 16 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7446 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1155744/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=12.6
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10153 0 1 0 1251 9 0 0 25 0 8 0 155904346 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9887 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.28
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 396 0 0 0 27 1 0 0 16 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460

[startup+25.6113 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1155808/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=25.35
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10161 0 1 0 2526 9 0 0 25 0 8 0 155904346 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9894 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.29
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 397 0 0 0 28 1 0 0 16 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460

[startup+51.2147 s]
/proc/loadavg: 2.07 2.03 2.00 3/100 4801
/proc/meminfo: memFree=1155872/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=50.71
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10163 0 1 0 5062 9 0 0 25 0 8 0 155904346 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073798894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9896 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.29
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 397 0 0 0 28 1 0 0 16 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 64.7376
CPU time (s): 64.0893
CPU user time (s): 63.9803
CPU system time (s): 0.108983
CPU usage (%): 98.9986
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.9803
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10259
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= 2527
involuntary context switches= 5174

runsolver used 0.082987 s user time and 0.215967 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan  6 09:18:14 UTC 2007


IDJOB= 210600
IDBENCH= 4632
FILE ID= node13/210600-1168075093

PBS_JOBID= 3475671

Free space on /tmp= 66313 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-12-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210600-1168075093/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-210600-1168075093 -o ROOT/results/node13/solver-210600-1168075093 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210600-1168075093/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4332ea6e0569a2c3ff5d9633ee104e8a

RANDOM SEED= 381056557

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.247
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.247
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:       1186040 kB
Buffers:         71060 kB
Cached:         533664 kB
SwapCached:          0 kB
Active:         499504 kB
Inactive:       275096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1186040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1700 kB
Writeback:           0 kB
Mapped:         198864 kB
Slab:            79660 kB
Committed_AS:  4394528 kB
PageTables:       2664 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= 66313 MiB



End job on node13 on Sat Jan  6 09:19:18 UTC 2007