Trace number 202929

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 38.5111 38.9177

DiagnosticValue
CHECKS228326931
NODES183575

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-21_ext.xml
MD5SUMf5b0c13291162361c9841fc745919b19
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 benchmark37.2533
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints332
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension332
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/202929-1168072752/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=332  nbRelationTypes=332  nbExtensionStructures=332  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=332  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2706  maxDegree=24
0.64	     maxArity=2
0.64	       =>  wckTime=0.326  cpuTime=0.24  mem=12M803
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.84	       =>  wckTime=0.523  cpuTime=0.37  mem=13M916
0.85	   
0.85	   preprocessing
0.85	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.85	     detectedInconsistency=no
0.85	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M916
0.90	   
0.90	   search
0.90	     run=0  nbConstraintChecks=28683  nbPropagations=447  nbRevisions=4699  nbUselessRevisions=3811  nbAssignments=25
0.90	     nbFailedAssignments=6  nbBacktracks=13  nbVisitedNodes=38  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.90	     nbTooLargeKeys=0
0.90	       =>  wckTime=0.054  cpuTime=0.03  mem=14M892
0.92	   
0.92	   search
0.92	     run=1  nbConstraintChecks=72405  nbPropagations=1567  nbRevisions=17753  nbUselessRevisions=14398  nbAssignments=61
0.92	     nbFailedAssignments=16  nbBacktracks=32  nbVisitedNodes=96  nbRestartNogoods=1  mapSize=26  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.077  cpuTime=0.05  mem=14M892
0.94	   
0.94	   search
0.94	     run=2  nbConstraintChecks=117553  nbPropagations=3406  nbRevisions=39277  nbUselessRevisions=31812
0.94	     nbAssignments=104  nbFailedAssignments=28  nbBacktracks=57  nbVisitedNodes=165  nbRestartNogoods=3  mapSize=46
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.098  cpuTime=0.06  mem=14M892
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=192902  nbPropagations=6401  nbRevisions=75698  nbUselessRevisions=61199
0.96	     nbAssignments=165  nbFailedAssignments=46  nbBacktracks=96  nbVisitedNodes=266  nbRestartNogoods=5  mapSize=76
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.118  cpuTime=0.08  mem=14M892
0.98	   
0.98	   search
0.98	     run=4  nbConstraintChecks=279085  nbPropagations=10741  nbRevisions=128921  nbUselessRevisions=104213
0.98	     nbAssignments=246  nbFailedAssignments=69  nbBacktracks=147  nbVisitedNodes=399  nbRestartNogoods=6  mapSize=116
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.138  cpuTime=0.1  mem=14M892
1.02	   
1.02	   search
1.02	     run=5  nbConstraintChecks=460620  nbPropagations=17518  nbRevisions=214312  nbUselessRevisions=172882
1.02	     nbAssignments=380  nbFailedAssignments=120  nbBacktracks=223  nbVisitedNodes=630  nbRestartNogoods=8  mapSize=183
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.178  cpuTime=0.14  mem=14M892
1.07	   
1.07	   search
1.07	     run=6  nbConstraintChecks=679859  nbPropagations=27446  nbRevisions=341652  nbUselessRevisions=275164
1.07	     nbAssignments=561  nbFailedAssignments=184  nbBacktracks=337  nbVisitedNodes=933  nbRestartNogoods=11  mapSize=273
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.225  cpuTime=0.18  mem=14M892
1.14	   
1.14	   search
1.14	     run=7  nbConstraintChecks=1021516  nbPropagations=42491  nbRevisions=538944  nbUselessRevisions=434464
1.14	     nbAssignments=850  nbFailedAssignments=297  nbBacktracks=508  nbVisitedNodes=1435  nbRestartNogoods=14  mapSize=421
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.302  cpuTime=0.25  mem=14M892
1.25	   
1.25	   search
1.26	     run=8  nbConstraintChecks=1528455  nbPropagations=65049  nbRevisions=838402  nbUselessRevisions=676239
1.26	     nbAssignments=1295  nbFailedAssignments=478  nbBacktracks=765  nbVisitedNodes=2208  nbRestartNogoods=16
1.26	     mapSize=642  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.413  cpuTime=0.36  mem=14M892
1.42	   
1.42	   search
1.42	     run=9  nbConstraintChecks=2351785  nbPropagations=99296  nbRevisions=1297888  nbUselessRevisions=1046895
1.42	     nbAssignments=1962  nbFailedAssignments=753  nbBacktracks=1151  nbVisitedNodes=3364  nbRestartNogoods=23
1.43	     mapSize=970  nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.582  cpuTime=0.51  mem=14M892
1.45	   
1.45	   INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=14M892)
1.65	   
1.65	   search
1.65	     run=10  nbConstraintChecks=3581156  nbPropagations=150923  nbRevisions=1995421  nbUselessRevisions=1609297
1.65	     nbAssignments=2943  nbFailedAssignments=1149  nbBacktracks=1728  nbVisitedNodes=5070  nbRestartNogoods=29
1.65	       =>  wckTime=0.808  cpuTime=0.72  mem=14M892
1.94	   
1.94	   search
1.94	     run=11  nbConstraintChecks=5263434  nbPropagations=227568  nbRevisions=3027386  nbUselessRevisions=2439698
1.94	     nbAssignments=4375  nbFailedAssignments=1709  nbBacktracks=2592  nbVisitedNodes=7523  nbRestartNogoods=35
1.94	       =>  wckTime=1.095  cpuTime=1.0  mem=14M892
2.39	   
2.39	   search
2.39	     run=12  nbConstraintChecks=8019711  nbPropagations=343793  nbRevisions=4588591  nbUselessRevisions=3695155
2.39	     nbAssignments=6547  nbFailedAssignments=2574  nbBacktracks=3891  nbVisitedNodes=11338  nbRestartNogoods=39
2.39	       =>  wckTime=1.551  cpuTime=1.45  mem=14M892
2.99	   
2.99	   search
2.99	     run=13  nbConstraintChecks=11580861  nbPropagations=512963  nbRevisions=6851561  nbUselessRevisions=5515021
2.99	     nbAssignments=9588  nbFailedAssignments=3663  nbBacktracks=5837  nbVisitedNodes=16502  nbRestartNogoods=47
2.99	       =>  wckTime=2.149  cpuTime=2.05  mem=14M892
4.03	   
4.03	   search
4.03	     run=14  nbConstraintChecks=17941540  nbPropagations=771818  nbRevisions=10340520  nbUselessRevisions=8322199
4.03	     nbAssignments=14522  nbFailedAssignments=5670  nbBacktracks=8756  nbVisitedNodes=25137  nbRestartNogoods=55
4.03	       =>  wckTime=3.19  cpuTime=3.08  mem=14M892
5.37	   
5.37	   search
5.37	     run=15  nbConstraintChecks=25704627  nbPropagations=1151302  nbRevisions=15465157  nbUselessRevisions=12460477
5.37	     nbAssignments=21550  nbFailedAssignments=8312  nbBacktracks=13136  nbVisitedNodes=37190  nbRestartNogoods=62
5.37	       =>  wckTime=4.53  cpuTime=4.4  mem=14M892
7.64	   
7.64	   search
7.64	     run=16  nbConstraintChecks=39650881  nbPropagations=1726589  nbRevisions=23296263  nbUselessRevisions=18785145
7.64	     nbAssignments=32356  nbFailedAssignments=12540  nbBacktracks=19708  nbVisitedNodes=55934  nbRestartNogoods=68
7.64	       =>  wckTime=6.8  cpuTime=6.65  mem=14M892
10.96	   
10.96	   search
10.96	     run=17  nbConstraintChecks=59594074  nbPropagations=2588909  nbRevisions=35057399  nbUselessRevisions=28285682
10.96	     nbAssignments=48350  nbFailedAssignments=18673  nbBacktracks=29562  nbVisitedNodes=83529  nbRestartNogoods=80
10.96	       =>  wckTime=10.114  cpuTime=9.93  mem=14M892
16.37	   
16.37	   search
16.37	     run=18  nbConstraintChecks=92699344  nbPropagations=3910287  nbRevisions=53176739  nbUselessRevisions=42912257
16.37	     nbAssignments=73643  nbFailedAssignments=29181  nbBacktracks=44340  nbVisitedNodes=127995  nbRestartNogoods=89
16.37	       =>  wckTime=15.525  cpuTime=15.29  mem=14M892
23.45	   
23.46	   search
23.46	     run=19  nbConstraintChecks=134673084  nbPropagations=5864415  nbRevisions=79864213  nbUselessRevisions=64484705
23.46	     nbAssignments=109395  nbFailedAssignments=42758  nbBacktracks=66508  nbVisitedNodes=189624  nbRestartNogoods=105
23.46	       =>  wckTime=22.613  cpuTime=22.32  mem=14M892
34.93	   
34.93	   search
34.93	     run=20  nbConstraintChecks=204958738  nbPropagations=8804199  nbRevisions=120154985  nbUselessRevisions=97039713
34.93	     nbAssignments=163894  nbFailedAssignments=64000  nbBacktracks=99761  nbVisitedNodes=283949  nbRestartNogoods=118
34.93	       =>  wckTime=34.092  cpuTime=33.69  mem=14M892
38.88	   
38.88	   search
38.88	     run=21  nbConstraintChecks=228326931  nbPropagations=12088156  nbRevisions=165172210  nbUselessRevisions=133428641
38.88	     nbAssignments=183575  nbFailedAssignments=71440  nbBacktracks=111962  nbVisitedNodes=317758  nbRestartNogoods=131
38.88	       =>  wckTime=38.033  cpuTime=37.6  mem=14M892
38.88	   
38.88	   global
38.88	     nbConstraintChecks=228326931  nbPropagations=12088196  nbRevisions=165172210  nbUselessRevisions=133428641
38.88	     nbRestartNogoods=131  solvingWckTime=38.034  solvingCpuTime=37.61  expiredTime=no  totalExploration=no
38.88	     nbFoundSolutions=1  globalCpuTime=38.03
38.88	       =>  wckTime=38.56  cpuTime=37.98  mem=14M892
38.88	   
38.88	s SATISFIABLE
38.88	v 11 14 18 0 10 17 0 16 12 5 11 6 5 2 18 16 3 17 15 4 15 9 11 16 15 18 2 18 13 14 8 0 4 16 10 3 11 16 15 2 
38.88	d NODES 183575
38.88	d CHECKS 228326931
38.88	   
38.88	   totalWckTime=38.64  totalCpuTime=38.03

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-202929-1168072752 -o ROOT/results/node12/solver-202929-1168072752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202929-1168072752/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.85 1.80 1.84 4/93 20172
/proc/meminfo: memFree=1074088/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=18540 CPUtime=0
/proc/20171/stat : 20171 (runsolver) R 20169 20171 20104 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155670269 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20171/statm: 4635 279 244 17 0 2626 0

[startup+0.108104 s]
/proc/loadavg: 1.85 1.80 1.84 4/93 20172
/proc/meminfo: memFree=1074088/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=914988 CPUtime=0.08
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155670269 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516176 s]
/proc/loadavg: 1.85 1.80 1.84 4/93 20172
/proc/meminfo: memFree=1074088/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915328 CPUtime=0.48
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 6762 0 1 0 44 4 0 0 18 0 8 0 155670269 937295872 6501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228832 6501 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33832 s]
/proc/loadavg: 1.87 1.80 1.84 3/100 20179
/proc/meminfo: memFree=1050480/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=1.3
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8633 0 1 0 124 6 0 0 24 0 8 0 155670269 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8371 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.22
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8371 18446744073709551615 134512640 134570532 4294956464 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) 915456

[startup+2.99162 s]
/proc/loadavg: 1.87 1.80 1.84 3/100 20179
/proc/meminfo: memFree=1050160/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=2.93
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8665 0 1 0 287 6 0 0 25 0 8 0 155670269 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8402 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155670274 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.27521 s]
/proc/loadavg: 1.88 1.80 1.84 4/100 20179
/proc/meminfo: memFree=1050096/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=6.18
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8673 0 1 0 612 6 0 0 25 0 8 0 155670269 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8409 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456

[startup+12.7624 s]
/proc/loadavg: 1.89 1.80 1.84 3/100 20179
/proc/meminfo: memFree=1050096/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=12.61
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8679 0 1 0 1255 6 0 0 25 0 8 0 155670269 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8414 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456

[startup+25.6117 s]
/proc/loadavg: 1.90 1.81 1.85 3/100 20179
/proc/meminfo: memFree=1050160/2055920 swapFree=4160348/4192956
[pid=20171] ppid=20169 vsize=915456 CPUtime=25.34
/proc/20171/stat : 20171 (java) R 20169 20171 20104 0 -1 0 8685 0 1 0 2528 6 0 0 25 0 8 0 155670269 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20171/statm: 228864 8420 2513 14 0 215334 0
[pid=20171/tid=20173] ppid=20169 vsize=915456 CPUtime=0.03
/proc/20171/task/20173/stat : 20173 (java) S 20169 20171 20104 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155670274 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20174] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20174/stat : 20174 (java) S 20169 20171 20104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155670274 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20175] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20175/stat : 20175 (java) S 20169 20171 20104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155670274 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20176] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20176/stat : 20176 (java) S 20169 20171 20104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20177] ppid=20169 vsize=915456 CPUtime=0.23
/proc/20171/task/20177/stat : 20177 (java) S 20169 20171 20104 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20178] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20178/stat : 20178 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20171/tid=20179] ppid=20169 vsize=915456 CPUtime=0
/proc/20171/task/20179/stat : 20179 (java) S 20169 20171 20104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155670277 937426944 8420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 38.9177
CPU time (s): 38.5111
CPU user time (s): 38.4352
CPU system time (s): 0.075988
CPU usage (%): 98.9555
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.4352
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8779
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= 1886
involuntary context switches= 3607

runsolver used 0.055991 s user time and 0.12998 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 08:39:12 UTC 2007


IDJOB= 202929
IDBENCH= 3899
FILE ID= node12/202929-1168072752

PBS_JOBID= 3475754

Free space on /tmp= 66316 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f5b0c13291162361c9841fc745919b19

RANDOM SEED= 489750895

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.265
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.265
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:       1074504 kB
Buffers:         27980 kB
Cached:         232060 kB
SwapCached:       4684 kB
Active:         689160 kB
Inactive:       210280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1074504 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2068 kB
Writeback:           0 kB
Mapped:         659124 kB
Slab:            65604 kB
Committed_AS:  4715640 kB
PageTables:       3304 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 node12 on Sat Jan  6 08:39:52 UTC 2007