Trace number 210222

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 30.4574 30.7923

DiagnosticValue
CHECKS19577686
NODES195628

General information on the benchmark

NamepseudoSeries/fpga/
fpga-11-10.xml
MD5SUM74587cf503483fa9d3a155bef7ec2122
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.068989
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables165
Number of constraints141
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension141
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/210222-1168196008/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.45	     nbVariables=165  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.152  cpuTime=0.08  mem=6M951
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
0.61	     nbConstraints=141  nbConflictsStructures=5  nbSharedConflictsStructures=136  nbSharedBinaryRepresentations=0
0.61	     nbEvaluationManagers=5  nbSharedEvaluationManagers=136  maxDegree=11  maxArity=11
0.61	       =>  wckTime=0.312  cpuTime=0.18  mem=9M877
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.533  cpuTime=0.34  mem=16M538
0.89	   
0.89	   preprocessing
0.89	     nbConstraintChecks=1457  nbValidityChecks=1742  nbPropagations=652  nbRevisions=1552  nbUselessRevisions=1355
0.89	     nbSingletonTests=302  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
0.89	       =>  wckTime=0.059  cpuTime=0.04  mem=16M538
0.93	   
0.93	   search
0.93	     run=0  nbConstraintChecks=1411  nbValidityChecks=271  nbPropagations=821  nbRevisions=1876  nbUselessRevisions=1505
0.93	     nbAssignments=137  nbFailedAssignments=1  nbBacktracks=87  nbVisitedNodes=140  nbRestartNogoods=0  mapSize=1
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.104  cpuTime=0.07  mem=17M529
0.96	   
0.96	   search
0.96	     run=1  nbConstraintChecks=4584  nbValidityChecks=696  nbPropagations=1852  nbRevisions=4152
0.96	     nbUselessRevisions=3187  nbAssignments=286  nbFailedAssignments=3  nbBacktracks=107  nbVisitedNodes=293
0.96	     nbRestartNogoods=1  mapSize=4  nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.13  cpuTime=0.09  mem=17M529
0.98	   
0.98	   search
0.98	     run=2  nbConstraintChecks=6742  nbValidityChecks=1138  nbPropagations=3073  nbRevisions=6864
0.98	     nbUselessRevisions=5107  nbAssignments=372  nbFailedAssignments=4  nbBacktracks=142  nbVisitedNodes=382
0.98	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.148  cpuTime=0.11  mem=17M529
1.00	   
1.00	   search
1.00	     run=3  nbConstraintChecks=10743  nbValidityChecks=1805  nbPropagations=4528  nbRevisions=10163
1.00	     nbUselessRevisions=7362  nbAssignments=468  nbFailedAssignments=6  nbBacktracks=184  nbVisitedNodes=484
1.00	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.00	       =>  wckTime=0.171  cpuTime=0.13  mem=17M529
1.04	   
1.04	   search
1.04	     run=4  nbConstraintChecks=17111  nbValidityChecks=2726  nbPropagations=6283  nbRevisions=14239
1.04	     nbUselessRevisions=10068  nbAssignments=608  nbFailedAssignments=9  nbBacktracks=237  nbVisitedNodes=633
1.04	     nbRestartNogoods=4  mapSize=18  nbInferences=3  nbTooLargeKeys=0
1.04	       =>  wckTime=0.206  cpuTime=0.16  mem=17M529
1.07	   
1.07	   search
1.07	     run=5  nbConstraintChecks=22939  nbValidityChecks=3543  nbPropagations=8329  nbRevisions=18994
1.07	     nbUselessRevisions=13129  nbAssignments=763  nbFailedAssignments=12  nbBacktracks=344  nbVisitedNodes=798
1.07	     nbRestartNogoods=6  mapSize=27  nbInferences=5  nbTooLargeKeys=0
1.07	       =>  wckTime=0.24  cpuTime=0.19  mem=17M529
1.10	   
1.10	   search
1.10	     run=6  nbConstraintChecks=24460  nbValidityChecks=4175  nbPropagations=10658  nbRevisions=24315
1.10	     nbUselessRevisions=16498  nbAssignments=940  nbFailedAssignments=12  nbBacktracks=469  nbVisitedNodes=983
1.10	     nbRestartNogoods=7  mapSize=34  nbInferences=13  nbTooLargeKeys=0
1.10	       =>  wckTime=0.268  cpuTime=0.22  mem=17M529
1.18	   
1.18	   search
1.18	     run=7  nbConstraintChecks=55764  nbValidityChecks=7759  nbPropagations=14022  nbRevisions=32107
1.18	     nbUselessRevisions=21091  nbAssignments=1218  nbFailedAssignments=36  nbBacktracks=639  nbVisitedNodes=1318
1.18	     nbRestartNogoods=8  mapSize=87  nbInferences=15  nbTooLargeKeys=0
1.18	       =>  wckTime=0.355  cpuTime=0.29  mem=17M529
1.28	   
1.28	   search
1.28	     run=8  nbConstraintChecks=84231  nbValidityChecks=12742  nbPropagations=18769  nbRevisions=43816
1.28	     nbUselessRevisions=27954  nbAssignments=1656  nbFailedAssignments=63  nbBacktracks=913  nbVisitedNodes=1765
1.28	     nbRestartNogoods=10  mapSize=142  nbInferences=16  nbTooLargeKeys=0
1.28	       =>  wckTime=0.451  cpuTime=0.38  mem=17M529
1.40	   
1.40	   search
1.40	     run=9  nbConstraintChecks=139770  nbValidityChecks=19883  nbPropagations=25584  nbRevisions=60370
1.40	     nbUselessRevisions=37168  nbAssignments=2277  nbFailedAssignments=115  nbBacktracks=1299  nbVisitedNodes=2414
1.40	     nbRestartNogoods=15  mapSize=251  nbInferences=19  nbTooLargeKeys=0
1.40	       =>  wckTime=0.571  cpuTime=0.49  mem=17M529
1.55	   
1.55	   search
1.55	     run=10  nbConstraintChecks=212332  nbValidityChecks=27762  nbPropagations=34718  nbRevisions=81776
1.55	     nbUselessRevisions=48274  nbAssignments=2991  nbFailedAssignments=173  nbBacktracks=1881  nbVisitedNodes=3270
1.55	     nbRestartNogoods=17  mapSize=390  nbInferences=19  nbTooLargeKeys=0
1.55	       =>  wckTime=0.716  cpuTime=0.62  mem=17M529
1.77	   
1.77	   search
1.77	     run=11  nbConstraintChecks=331578  nbValidityChecks=42923  nbPropagations=48591  nbRevisions=112182
1.77	     nbUselessRevisions=62569  nbAssignments=4081  nbFailedAssignments=323  nbBacktracks=2747  nbVisitedNodes=4700
1.77	     nbRestartNogoods=20  mapSize=725  nbInferences=19  nbTooLargeKeys=0
1.77	       =>  wckTime=0.938  cpuTime=0.84  mem=17M529
2.06	   
2.06	   search
2.06	     run=12  nbConstraintChecks=497650  nbValidityChecks=60080  nbPropagations=68243  nbRevisions=152263
2.06	     nbUselessRevisions=80150  nbAssignments=5592  nbFailedAssignments=453  nbBacktracks=4048  nbVisitedNodes=6544
2.06	     nbRestartNogoods=22  mapSize=1055  nbInferences=19  nbTooLargeKeys=0
2.06	       =>  wckTime=1.23  cpuTime=1.13  mem=18M504
2.53	   
2.53	   search
2.53	     run=13  nbConstraintChecks=765195  nbValidityChecks=88667  nbPropagations=97898  nbRevisions=208874
2.54	     nbUselessRevisions=103624  nbAssignments=7881  nbFailedAssignments=732  nbBacktracks=5997  nbVisitedNodes=9467
2.54	     nbRestartNogoods=25  mapSize=1686  nbInferences=19  nbTooLargeKeys=0
2.54	       =>  wckTime=1.706  cpuTime=1.6  mem=18M504
3.13	   
3.13	   search
3.13	     run=14  nbConstraintChecks=1108299  nbValidityChecks=119117  nbPropagations=137771  nbRevisions=282776
3.13	     nbUselessRevisions=133047  nbAssignments=11105  nbFailedAssignments=969  nbBacktracks=8917  nbVisitedNodes=13272
3.13	     nbRestartNogoods=28  mapSize=2264  nbInferences=19  nbTooLargeKeys=0
3.13	       =>  wckTime=2.301  cpuTime=2.19  mem=19M479
4.01	   
4.01	   search
4.01	     run=15  nbConstraintChecks=1573599  nbValidityChecks=167003  nbPropagations=194166  nbRevisions=384584
4.01	     nbUselessRevisions=171604  nbAssignments=16018  nbFailedAssignments=1422  nbBacktracks=13299  nbVisitedNodes=19204
4.01	     nbRestartNogoods=31  mapSize=3279  nbInferences=19  nbTooLargeKeys=0
4.01	       =>  wckTime=3.178  cpuTime=3.06  mem=20M455
4.53	   
4.53	   INFO : Stopping hyperNogood (mapSize=3809, nbTooLargekeys=0, mem=20M455)
5.33	   
5.33	   search
5.33	     run=16  nbConstraintChecks=2451597  nbValidityChecks=246851  nbPropagations=276568  nbRevisions=532720
5.33	     nbUselessRevisions=226679  nbAssignments=23257  nbFailedAssignments=2013  nbBacktracks=19868  nbVisitedNodes=28024
5.33	     nbRestartNogoods=35
5.33	       =>  wckTime=4.496  cpuTime=4.37  mem=20M455
6.94	   
6.94	   search
6.94	     run=17  nbConstraintChecks=3566347  nbValidityChecks=363919  nbPropagations=398255  nbRevisions=748797
6.94	     nbUselessRevisions=305186  nbAssignments=34205  nbFailedAssignments=3028  nbBacktracks=29724  nbVisitedNodes=41475
6.94	     nbRestartNogoods=39
6.94	       =>  wckTime=6.112  cpuTime=5.97  mem=20M455
10.11	   
10.11	   search
10.11	     run=18  nbConstraintChecks=5882716  nbValidityChecks=579559  nbPropagations=590248  nbRevisions=1089705
10.11	     nbUselessRevisions=429382  nbAssignments=50632  nbFailedAssignments=4606  nbBacktracks=44519  nbVisitedNodes=62466
10.11	     nbRestartNogoods=44
10.11	       =>  wckTime=9.284  cpuTime=9.12  mem=20M455
14.79	   
14.79	   search
14.79	     run=19  nbConstraintChecks=9257554  nbValidityChecks=917989  nbPropagations=893971  nbRevisions=1625215
14.79	     nbUselessRevisions=623620  nbAssignments=75117  nbFailedAssignments=6850  nbBacktracks=66693  nbVisitedNodes=93774
14.79	     nbRestartNogoods=46
14.79	       =>  wckTime=13.964  cpuTime=13.76  mem=20M455
20.65	   
20.65	   search
20.65	     run=20  nbConstraintChecks=13315739  nbValidityChecks=1387817  nbPropagations=1353722  nbRevisions=2428110
20.65	     nbUselessRevisions=911809  nbAssignments=111390  nbFailedAssignments=9806  nbBacktracks=99948
20.65	     nbVisitedNodes=139552  nbRestartNogoods=49
20.65	       =>  wckTime=19.817  cpuTime=19.56  mem=20M455
26.11	   
26.11	   search
26.11	     run=21  nbConstraintChecks=16291565  nbValidityChecks=2359798  nbPropagations=1999016  nbRevisions=4106564
26.11	     nbUselessRevisions=1872192  nbAssignments=169074  nbFailedAssignments=17498  nbBacktracks=149826
26.11	     nbVisitedNodes=213106  nbRestartNogoods=52
26.11	       =>  wckTime=25.281  cpuTime=24.98  mem=20M455
30.77	   
30.77	   search
30.77	     run=22  nbConstraintChecks=19576229  nbValidityChecks=2693733  nbPropagations=2754297  nbRevisions=5978648
30.77	     nbUselessRevisions=2907339  nbAssignments=195628  nbFailedAssignments=20005  nbBacktracks=173708
30.77	     nbVisitedNodes=246612  nbRestartNogoods=61
30.77	       =>  wckTime=29.938  cpuTime=29.6  mem=20M455
30.77	   
30.77	   global
30.77	     nbConstraintChecks=19577686  nbValidityChecks=2695475  nbPropagations=2754949  nbRevisions=5980200
30.77	     nbUselessRevisions=2908694  nbRestartNogoods=61  solvingWckTime=29.939  solvingCpuTime=29.6  expiredTime=no
30.77	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=29.99
30.77	       =>  wckTime=30.473  cpuTime=29.94  mem=20M455
30.77	   
30.77	s SATISFIABLE
30.77	v 0 0 0 0 0 0 0 1 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 1 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 0 0 1 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 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 
30.77	d NODES 195628
30.77	d CHECKS 19577686
30.77	   
30.77	   totalWckTime=30.549  totalCpuTime=29.99

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-210222-1168196008 -o ROOT/results/node13/solver-210222-1168196008 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210222-1168196008/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.48 0.61 1.27 3/87 16362
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=18540 CPUtime=0
/proc/16361/stat : 16361 (runsolver) R 16359 16361 15226 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 167996624 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16361/statm: 4635 279 244 17 0 2626 0

[startup+0.10293 s]
/proc/loadavg: 0.48 0.61 1.27 3/87 16362
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=914988 CPUtime=0.08
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 3000 0 1 0 7 1 0 0 24 0 8 0 167996624 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510984 s]
/proc/loadavg: 0.48 0.61 1.27 3/87 16362
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915328 CPUtime=0.42
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 6422 0 1 0 39 3 0 0 20 0 8 0 167996624 937295872 6161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228832 6161 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33709 s]
/proc/loadavg: 0.60 0.64 1.27 3/94 16369
/proc/meminfo: memFree=1432728/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=1.24
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 9325 0 1 0 118 6 0 0 25 0 8 0 167996624 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9063 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.2
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456

[startup+2.98931 s]
/proc/loadavg: 0.60 0.64 1.27 3/94 16369
/proc/meminfo: memFree=1431576/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=2.88
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 9719 0 1 0 282 6 0 0 25 0 8 0 167996624 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9455 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 17 0 8 0 167996628 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.22
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915456

[startup+6.27875 s]
/proc/loadavg: 0.60 0.64 1.27 3/94 16369
/proc/meminfo: memFree=1429336/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=6.14
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 10115 0 1 0 607 7 0 0 25 0 8 0 167996624 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9850 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.23
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456

[startup+12.7646 s]
/proc/loadavg: 0.81 0.68 1.28 3/94 16369
/proc/meminfo: memFree=1429336/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=12.58
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 10120 0 1 0 1251 7 0 0 25 0 8 0 167996624 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9855 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.23
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915456

[startup+25.5963 s]
/proc/loadavg: 1.00 0.72 1.29 3/94 16369
/proc/meminfo: memFree=1429336/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=25.31
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 10128 0 1 0 2524 7 0 0 25 0 8 0 167996624 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9862 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.23
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 30.7923
CPU time (s): 30.4574
CPU user time (s): 30.3794
CPU system time (s): 0.077988
CPU usage (%): 98.9122
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3794
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10226
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= 1878
involuntary context switches= 2893

runsolver used 0.040993 s user time and 0.091986 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sun Jan  7 18:53:30 UTC 2007


IDJOB= 210222
IDBENCH= 4603
FILE ID= node13/210222-1168196008

PBS_JOBID= 3480491

Free space on /tmp= 66322 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  74587cf503483fa9d3a155bef7ec2122

RANDOM SEED= 709227288

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:       1459432 kB
Buffers:         63084 kB
Cached:         401492 kB
SwapCached:          0 kB
Active:         186528 kB
Inactive:       330176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3056 kB
Writeback:           0 kB
Mapped:          72376 kB
Slab:            64516 kB
Committed_AS:  4310488 kB
PageTables:       2356 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= 66322 MiB



End job on node13 on Sun Jan  7 18:54:07 UTC 2007