Trace number 203050

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 13.5209 13.7442

DiagnosticValue
CHECKS77208957
NODES55339

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-23_ext.xml
MD5SUM7838a9623e74161e096b88eddb9e0368
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 benchmark10.0975
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=esac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/203050-1168155774/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.48	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.48	       =>  wckTime=0.104  cpuTime=0.09  mem=6M951
0.48	   
0.48	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.71	     nbConstraints=333  nbRelationTypes=333  nbExtensionStructures=333  nbSharedExtensionStructures=0
0.71	     nbConflictsStructures=333  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2864  maxDegree=23
0.71	     maxArity=2
0.71	       =>  wckTime=0.331  cpuTime=0.24  mem=12M803
0.75	   
0.75	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.542  cpuTime=0.37  mem=15M5
0.97	   
0.97	   preprocessing
0.97	     nbConstraintChecks=67681  nbPropagations=918  nbRevisions=7013  nbUselessRevisions=5839  nbSingletonTests=51
0.97	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.97	       =>  wckTime=0.055  cpuTime=0.04  mem=15M5
1.00	   
1.00	   search
1.00	     run=0  nbConstraintChecks=32812  nbPropagations=1407  nbRevisions=12531  nbUselessRevisions=10343  nbAssignments=24
1.00	     nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=37  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.00	     nbTooLargeKeys=0
1.00	       =>  wckTime=0.078  cpuTime=0.05  mem=15M5
1.02	   
1.02	   search
1.02	     run=1  nbConstraintChecks=75958  nbPropagations=3462  nbRevisions=32660  nbUselessRevisions=26758  nbAssignments=58
1.02	     nbFailedAssignments=18  nbBacktracks=27  nbVisitedNodes=91  nbRestartNogoods=3  mapSize=18  nbInferences=0
1.02	     nbTooLargeKeys=0
1.02	       =>  wckTime=0.1  cpuTime=0.07  mem=15M5
1.04	   
1.04	   search
1.04	     run=2  nbConstraintChecks=158345  nbPropagations=6664  nbRevisions=66798  nbUselessRevisions=54413
1.04	     nbAssignments=116  nbFailedAssignments=36  nbBacktracks=49  nbVisitedNodes=172  nbRestartNogoods=6  mapSize=39
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.122  cpuTime=0.08  mem=15M5
1.07	   
1.07	   search
1.07	     run=3  nbConstraintChecks=280879  nbPropagations=11458  nbRevisions=121584  nbUselessRevisions=98648
1.07	     nbAssignments=198  nbFailedAssignments=66  nbBacktracks=83  nbVisitedNodes=296  nbRestartNogoods=10  mapSize=70
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.146  cpuTime=0.11  mem=15M5
1.09	   
1.09	   search
1.09	     run=4  nbConstraintChecks=385290  nbPropagations=17712  nbRevisions=196177  nbUselessRevisions=159025
1.09	     nbAssignments=288  nbFailedAssignments=97  nbBacktracks=133  nbVisitedNodes=440  nbRestartNogoods=13  mapSize=105
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.173  cpuTime=0.13  mem=15M5
1.14	   
1.14	   search
1.14	     run=5  nbConstraintChecks=585081  nbPropagations=26724  nbRevisions=305810  nbUselessRevisions=247626
1.14	     nbAssignments=439  nbFailedAssignments=150  nbBacktracks=209  nbVisitedNodes=674  nbRestartNogoods=18  mapSize=171
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.221  cpuTime=0.17  mem=15M5
1.19	   
1.19	   search
1.19	     run=6  nbConstraintChecks=839217  nbPropagations=39220  nbRevisions=462684  nbUselessRevisions=374254
1.19	     nbAssignments=632  nbFailedAssignments=222  nbBacktracks=323  nbVisitedNodes=1006  nbRestartNogoods=24  mapSize=261
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.272  cpuTime=0.22  mem=15M5
1.26	   
1.26	   search
1.26	     run=7  nbConstraintChecks=1197597  nbPropagations=56737  nbRevisions=685488  nbUselessRevisions=553829
1.26	     nbAssignments=917  nbFailedAssignments=318  nbBacktracks=494  nbVisitedNodes=1466  nbRestartNogoods=27  mapSize=392
1.26	     nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.343  cpuTime=0.29  mem=15M5
1.38	   
1.38	   search
1.38	     run=8  nbConstraintChecks=1780355  nbPropagations=82643  nbRevisions=1029563  nbUselessRevisions=832566
1.38	     nbAssignments=1386  nbFailedAssignments=523  nbBacktracks=750  nbVisitedNodes=2297  nbRestartNogoods=32
1.38	     mapSize=622  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.464  cpuTime=0.4  mem=15M5
1.59	   
1.59	   search
1.59	     run=9  nbConstraintChecks=2854402  nbPropagations=122525  nbRevisions=1567721  nbUselessRevisions=1265798
1.59	     nbAssignments=2106  nbFailedAssignments=853  nbBacktracks=1134  nbVisitedNodes=3591  nbRestartNogoods=38
1.59	     mapSize=968  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.668  cpuTime=0.59  mem=15M5
1.62	   
1.62	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=15M5)
1.83	   
1.83	   search
1.83	     run=10  nbConstraintChecks=4224296  nbPropagations=180955  nbRevisions=2363430  nbUselessRevisions=1906116
1.83	     nbAssignments=3062  nbFailedAssignments=1231  nbBacktracks=1710  nbVisitedNodes=5273  nbRestartNogoods=46
1.83	       =>  wckTime=0.913  cpuTime=0.82  mem=15M5
2.16	   
2.16	   search
2.16	     run=11  nbConstraintChecks=6145342  nbPropagations=266664  nbRevisions=3543303  nbUselessRevisions=2858594
2.16	     nbAssignments=4532  nbFailedAssignments=1831  nbBacktracks=2574  nbVisitedNodes=7841  nbRestartNogoods=48
2.16	       =>  wckTime=1.239  cpuTime=1.14  mem=15M5
2.65	   
2.65	   search
2.65	     run=12  nbConstraintChecks=9080385  nbPropagations=392858  nbRevisions=5280320  nbUselessRevisions=4259607
2.65	     nbAssignments=6682  nbFailedAssignments=2674  nbBacktracks=3871  nbVisitedNodes=11575  nbRestartNogoods=56
2.65	       =>  wckTime=1.728  cpuTime=1.63  mem=15M5
3.41	   
3.41	   search
3.41	     run=13  nbConstraintChecks=13730731  nbPropagations=581707  nbRevisions=7879433  nbUselessRevisions=6353319
3.41	     nbAssignments=10045  nbFailedAssignments=4065  nbBacktracks=5818  nbVisitedNodes=17450  nbRestartNogoods=64
3.41	       =>  wckTime=2.488  cpuTime=2.38  mem=15M5
4.53	   
4.53	   search
4.53	     run=14  nbConstraintChecks=20534351  nbPropagations=863018  nbRevisions=11788063  nbUselessRevisions=9506105
4.53	     nbAssignments=14950  nbFailedAssignments=6026  nbBacktracks=8741  nbVisitedNodes=26017  nbRestartNogoods=76
4.53	       =>  wckTime=3.611  cpuTime=3.49  mem=15M5
6.31	   
6.31	   search
6.31	     run=15  nbConstraintChecks=31599705  nbPropagations=1288858  nbRevisions=17731326  nbUselessRevisions=14293849
6.31	     nbAssignments=22587  nbFailedAssignments=9278  nbBacktracks=13119  nbVisitedNodes=39548  nbRestartNogoods=89
6.31	       =>  wckTime=5.389  cpuTime=5.25  mem=15M5
8.68	   
8.68	   search
8.68	     run=16  nbConstraintChecks=45918681  nbPropagations=1912580  nbRevisions=26408186  nbUselessRevisions=21283506
8.68	     nbAssignments=33242  nbFailedAssignments=13343  nbBacktracks=19691  nbVisitedNodes=57883  nbRestartNogoods=99
8.68	       =>  wckTime=7.761  cpuTime=7.6  mem=15M5
12.55	   
12.55	   search
12.55	     run=17  nbConstraintChecks=70010316  nbPropagations=2855045  nbRevisions=39542513  nbUselessRevisions=31857743
12.55	     nbAssignments=50256  nbFailedAssignments=20501  nbBacktracks=29545  nbVisitedNodes=87840  nbRestartNogoods=108
12.55	       =>  wckTime=11.633  cpuTime=11.44  mem=15M980
13.70	   
13.70	   search
13.70	     run=18  nbConstraintChecks=77141276  nbPropagations=3892963  nbRevisions=54018062  nbUselessRevisions=43512782
13.70	     nbAssignments=55339  nbFailedAssignments=22505  nbBacktracks=32584  nbVisitedNodes=96728  nbRestartNogoods=113
13.70	       =>  wckTime=12.785  cpuTime=12.58  mem=15M980
13.71	   
13.71	   global
13.71	     nbConstraintChecks=77208957  nbPropagations=3893881  nbRevisions=54025075  nbUselessRevisions=43518621
13.71	     nbRestartNogoods=113  solvingWckTime=12.786  solvingCpuTime=12.59  expiredTime=no  totalExploration=no
13.71	     nbFoundSolutions=1  globalCpuTime=13.02
13.71	       =>  wckTime=13.331  cpuTime=12.96  mem=15M980
13.71	   
13.71	s SATISFIABLE
13.71	v 8 5 6 18 12 3 1 12 12 11 18 6 17 6 6 0 10 5 2 12 14 1 15 13 6 16 0 8 11 9 10 17 16 7 10 6 1 9 12 9 
13.71	d NODES 55339
13.71	d CHECKS 77208957
13.71	   
13.71	   totalWckTime=13.414  totalCpuTime=13.02

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/node19/watcher-203050-1168155774 -o ROOT/results/node19/solver-203050-1168155774 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203050-1168155774/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.07 2.02 2.00 4/98 17005
/proc/meminfo: memFree=1311848/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=9748 CPUtime=0
/proc/17004/stat : 17004 (java) D 17002 17004 16937 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 163972054 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17004/statm: 2437 412 333 14 0 1140 0

[startup+0.103066 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17005
/proc/meminfo: memFree=1311848/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=907808 CPUtime=0.06
/proc/17004/stat : 17004 (java) D 17002 17004 16937 0 -1 0 2507 0 1 0 4 2 0 0 17 0 4 0 163972054 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.512145 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17005
/proc/meminfo: memFree=1311848/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915328 CPUtime=0.43
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 6188 0 1 0 39 4 0 0 18 0 8 0 163972054 937295872 5927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228832 5927 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.3403 s]
/proc/loadavg: 2.06 2.02 2.00 3/105 17012
/proc/meminfo: memFree=1288056/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=1.24
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8713 0 1 0 117 7 0 0 24 0 8 0 163972054 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8451 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163972058 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.21
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 377 0 0 0 19 2 0 0 15 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456

[startup+2.9776 s]
/proc/loadavg: 2.06 2.02 2.00 3/105 17012
/proc/meminfo: memFree=1287736/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=2.87
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8766 0 1 0 279 8 0 0 25 0 8 0 163972054 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8503 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 163972058 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.24
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 392 0 0 0 22 2 0 0 15 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456

[startup+6.27423 s]
/proc/loadavg: 2.06 2.01 2.00 3/105 17012
/proc/meminfo: memFree=1287608/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=6.14
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8773 0 1 0 606 8 0 0 25 0 8 0 163972054 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8509 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 163972058 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.24
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456

[startup+12.7504 s]
/proc/loadavg: 2.05 2.01 2.00 3/105 17012
/proc/meminfo: memFree=1287616/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=12.56
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8781 0 1 0 1248 8 0 0 25 0 8 0 163972054 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8516 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163972058 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.24
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 13.7442
CPU time (s): 13.5209
CPU user time (s): 13.431
CPU system time (s): 0.089986
CPU usage (%): 98.3754
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.431
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8873
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= 1395
involuntary context switches= 2221

runsolver used 0.023996 s user time and 0.049992 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun Jan  7 07:42:54 UTC 2007


IDJOB= 203050
IDBENCH= 3905
FILE ID= node19/203050-1168155774

PBS_JOBID= 3478267

Free space on /tmp= 66316 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203050-1168155774/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-203050-1168155774 -o ROOT/results/node19/solver-203050-1168155774 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203050-1168155774/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7838a9623e74161e096b88eddb9e0368

RANDOM SEED= 289517298

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.260
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.260
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:       1312264 kB
Buffers:         72672 kB
Cached:         402172 kB
SwapCached:      10472 kB
Active:         339568 kB
Inactive:       337028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1312264 kB
SwapTotal:     4192956 kB
SwapFree:      4171244 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:         220552 kB
Slab:            51208 kB
Committed_AS:  4746784 kB
PageTables:       2744 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= 66316 MiB



End job on node19 on Sun Jan  7 07:43:08 UTC 2007