Trace number 247413

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 117.083 117.292

DiagnosticValue
CHECKS36213711
NODES88327

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-19_ext.xml
MD5SUM07cc20594b576bffb0ac8b08e4394825
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark110.339
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/247413-1168085833/unknown.xml
0.45	   
0.45	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.49	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.49	       =>  wckTime=0.094  cpuTime=0.09  mem=6M951
0.49	   
0.49	   relations being loaded...
3.88	   
3.88	   INFO : Contraction of relations, mem = 102M790
6.10	   
6.10	   constraints being loaded...
9.42	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
9.42	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=8
9.42	       =>  wckTime=9.028  cpuTime=7.23  mem=229M655
10.25	   
10.25	   solver IterativeSystematicSolver being built... 
10.40	       =>  wckTime=10.01  cpuTime=7.36  mem=143M186
10.41	   
10.41	   preprocessing
10.41	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
10.41	     detectedInconsistency=no
10.41	       =>  wckTime=0.0020  cpuTime=0.0  mem=143M186
10.48	   
10.48	   search
10.48	     run=0  nbConstraintChecks=8425  nbValidityChecks=13481  nbPropagations=120  nbRevisions=1713
10.48	     nbUselessRevisions=1487  nbAssignments=27  nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=44
10.48	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
10.48	       =>  wckTime=0.072  cpuTime=0.05  mem=143M797
10.54	   
10.54	   search
10.54	     run=1  nbConstraintChecks=22664  nbValidityChecks=39586  nbPropagations=435  nbRevisions=7316
10.54	     nbUselessRevisions=6446  nbAssignments=65  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=106
10.54	     nbRestartNogoods=1  mapSize=23  nbInferences=0  nbTooLargeKeys=0
10.54	       =>  wckTime=0.134  cpuTime=0.1  mem=143M797
10.59	   
10.59	   search
10.59	     run=2  nbConstraintChecks=37887  nbValidityChecks=65966  nbPropagations=957  nbRevisions=16652
10.59	     nbUselessRevisions=14669  nbAssignments=113  nbFailedAssignments=41  nbBacktracks=49  nbVisitedNodes=183
10.59	     nbRestartNogoods=5  mapSize=43  nbInferences=0  nbTooLargeKeys=0
10.59	       =>  wckTime=0.189  cpuTime=0.16  mem=143M797
10.70	   
10.70	   search
10.70	     run=3  nbConstraintChecks=68065  nbValidityChecks=114657  nbPropagations=1838  nbRevisions=32291
10.70	     nbUselessRevisions=28379  nbAssignments=185  nbFailedAssignments=72  nbBacktracks=82  nbVisitedNodes=302
10.70	     nbRestartNogoods=6  mapSize=70  nbInferences=0  nbTooLargeKeys=0
10.70	       =>  wckTime=0.292  cpuTime=0.25  mem=143M797
10.82	   
10.82	   search
10.82	     run=4  nbConstraintChecks=104816  nbValidityChecks=181631  nbPropagations=3271  nbRevisions=57998
10.82	     nbUselessRevisions=50964  nbAssignments=293  nbFailedAssignments=120  nbBacktracks=135  nbVisitedNodes=486
10.82	     nbRestartNogoods=8  mapSize=111  nbInferences=0  nbTooLargeKeys=0
10.82	       =>  wckTime=0.415  cpuTime=0.37  mem=143M797
10.99	   
10.99	   search
10.99	     run=5  nbConstraintChecks=160299  nbValidityChecks=277424  nbPropagations=5454  nbRevisions=97198
10.99	     nbUselessRevisions=85358  nbAssignments=440  nbFailedAssignments=184  nbBacktracks=213  nbVisitedNodes=738
10.99	     nbRestartNogoods=12  mapSize=176  nbInferences=0  nbTooLargeKeys=0
10.99	       =>  wckTime=0.586  cpuTime=0.54  mem=143M797
11.33	   
11.33	   search
11.33	     run=6  nbConstraintChecks=264865  nbValidityChecks=455121  nbPropagations=9137  nbRevisions=161456
11.33	     nbUselessRevisions=141479  nbAssignments=678  nbFailedAssignments=302  nbBacktracks=326  nbVisitedNodes=1172
11.33	     nbRestartNogoods=13  mapSize=278  nbInferences=0  nbTooLargeKeys=0
11.33	       =>  wckTime=0.923  cpuTime=0.87  mem=143M797
11.65	   
11.65	   search
11.65	     run=7  nbConstraintChecks=376728  nbValidityChecks=654337  nbPropagations=14419  nbRevisions=254500
11.65	     nbUselessRevisions=223059  nbAssignments=997  nbFailedAssignments=443  nbBacktracks=496  nbVisitedNodes=1716
11.65	     nbRestartNogoods=20  mapSize=417  nbInferences=0  nbTooLargeKeys=0
11.65	       =>  wckTime=1.249  cpuTime=1.19  mem=143M797
12.27	   
12.27	   search
12.27	     run=8  nbConstraintChecks=584902  nbValidityChecks=1008315  nbPropagations=22545  nbRevisions=397278
12.27	     nbUselessRevisions=348421  nbAssignments=1482  nbFailedAssignments=662  nbBacktracks=752  nbVisitedNodes=2563
12.27	     nbRestartNogoods=30  mapSize=630  nbInferences=0  nbTooLargeKeys=0
12.27	       =>  wckTime=1.865  cpuTime=1.8  mem=143M797
13.23	   
13.23	   search
13.23	     run=9  nbConstraintChecks=895581  nbValidityChecks=1541663  nbPropagations=35187  nbRevisions=617238
13.23	     nbUselessRevisions=541257  nbAssignments=2228  nbFailedAssignments=1016  nbBacktracks=1136  nbVisitedNodes=3889
13.23	     nbRestartNogoods=38  mapSize=950  nbInferences=0  nbTooLargeKeys=0
13.23	       =>  wckTime=2.824  cpuTime=2.75  mem=143M797
13.40	   
13.40	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=143M797)
14.81	   
14.81	   search
14.81	     run=10  nbConstraintChecks=1425153  nbValidityChecks=2441419  nbPropagations=55335  nbRevisions=965899
14.81	     nbUselessRevisions=846608  nbAssignments=3363  nbFailedAssignments=1567  nbBacktracks=1712  nbVisitedNodes=5970
14.81	     nbRestartNogoods=49
14.81	       =>  wckTime=4.404  cpuTime=4.32  mem=143M797
17.11	   
17.11	   search
17.11	     run=11  nbConstraintChecks=2206559  nbValidityChecks=3771055  nbPropagations=86502  nbRevisions=1503061
17.11	     nbUselessRevisions=1315044  nbAssignments=5237  nbFailedAssignments=2569  nbBacktracks=2576  nbVisitedNodes=9399
17.11	     nbRestartNogoods=58
17.11	       =>  wckTime=6.702  cpuTime=6.61  mem=143M797
20.38	   
20.38	   search
20.38	     run=12  nbConstraintChecks=3324856  nbValidityChecks=5691833  nbPropagations=133893  nbRevisions=2317491
20.38	     nbUselessRevisions=2024378  nbAssignments=7931  nbFailedAssignments=3956  nbBacktracks=3874  nbVisitedNodes=14285
20.38	     nbRestartNogoods=70
20.38	       =>  wckTime=9.972  cpuTime=9.88  mem=143M797
25.46	   
25.47	   search
25.47	     run=13  nbConstraintChecks=5066896  nbValidityChecks=8699993  nbPropagations=206601  nbRevisions=3567002
25.47	     nbUselessRevisions=3112188  nbAssignments=12001  nbFailedAssignments=6073  nbBacktracks=5820  nbVisitedNodes=21725
25.47	     nbRestartNogoods=78
25.47	       =>  wckTime=15.06  cpuTime=14.96  mem=143M797
32.68	   
32.68	   search
32.68	     run=14  nbConstraintChecks=7515794  nbValidityChecks=12919091  nbPropagations=315081  nbRevisions=5425591
32.68	     nbUselessRevisions=4728820  nbAssignments=18034  nbFailedAssignments=9177  nbBacktracks=8741  nbVisitedNodes=32669
32.68	     nbRestartNogoods=85
32.68	       =>  wckTime=22.272  cpuTime=22.17  mem=143M797
43.56	   
43.56	   search
43.56	     run=15  nbConstraintChecks=11242954  nbValidityChecks=19342909  nbPropagations=477216  nbRevisions=8205186
43.56	     nbUselessRevisions=7146608  nbAssignments=27010  nbFailedAssignments=13767  nbBacktracks=13119
43.56	     nbVisitedNodes=48984  nbRestartNogoods=97
43.56	       =>  wckTime=33.157  cpuTime=33.05  mem=143M797
60.27	   
60.27	   search
60.27	     run=16  nbConstraintChecks=16897291  nbValidityChecks=29047797  nbPropagations=721961  nbRevisions=12384740
60.27	     nbUselessRevisions=10777792  nbAssignments=40837  nbFailedAssignments=21018  nbBacktracks=19687
60.27	     nbVisitedNodes=74186  nbRestartNogoods=111
60.27	       =>  wckTime=49.864  cpuTime=49.75  mem=143M797
84.94	   
84.94	   search
84.94	     run=17  nbConstraintChecks=25308907  nbValidityChecks=43473941  nbPropagations=1087451  nbRevisions=18635369
84.94	     nbUselessRevisions=16209590  nbAssignments=60963  nbFailedAssignments=31282  nbBacktracks=29541
84.94	     nbVisitedNodes=110673  nbRestartNogoods=126
84.94	       =>  wckTime=74.533  cpuTime=74.4  mem=143M797
117.23	   
117.23	   search
117.23	     run=18  nbConstraintChecks=36213711  nbValidityChecks=62307526  nbPropagations=1615351  nbRevisions=27634162
117.23	     nbUselessRevisions=24024576  nbAssignments=88327  nbFailedAssignments=45255  nbBacktracks=42912
117.23	     nbVisitedNodes=160215  nbRestartNogoods=141
117.23	       =>  wckTime=106.829  cpuTime=106.68  mem=143M797
117.24	   
117.24	   global
117.24	     nbConstraintChecks=36213711  nbValidityChecks=62307526  nbPropagations=1615371  nbRevisions=27634162
117.24	     nbUselessRevisions=24024576  nbRestartNogoods=141  solvingWckTime=106.831  solvingCpuTime=106.68  expiredTime=no
117.24	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=114.09
117.24	       =>  wckTime=116.842  cpuTime=114.04  mem=143M797
117.24	   
117.24	s SATISFIABLE
117.24	v 2 0 4 0 0 4 4 1 3 2 1 0 0 4 0 1 2 1 1 3 
117.24	d NODES 88327
117.24	d CHECKS 36213711
117.24	   
117.24	   totalWckTime=116.918  totalCpuTime=114.1

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-247413-1168085833 -o ROOT/results/node19/solver-247413-1168085833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247413-1168085833/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.07 0.26 0.96 3/81 26715
/proc/meminfo: memFree=1194264/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=168 CPUtime=0
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 156980223 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/26714/statm: 54 30 25 14 0 2 0

[startup+0.106018 s]
/proc/loadavg: 0.07 0.26 0.96 3/81 26715
/proc/meminfo: memFree=1194264/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=907808 CPUtime=0.05
/proc/26714/stat : 26714 (java) D 26712 26714 26646 0 -1 0 2506 0 1 0 4 1 0 0 20 0 4 0 156980223 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/26714/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.514102 s]
/proc/loadavg: 0.07 0.26 0.96 3/81 26715
/proc/meminfo: memFree=1194264/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915328 CPUtime=0.39
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 6884 0 1 0 36 3 0 0 17 0 8 0 156980223 937295872 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228832 6623 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33725 s]
/proc/loadavg: 0.07 0.26 0.96 2/88 26722
/proc/meminfo: memFree=1124000/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915328 CPUtime=1.22
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 19902 0 1 0 112 10 0 0 19 0 8 0 156980223 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26714/statm: 228832 19640 2147 14 0 215302 0
[pid=26714/tid=26716] ppid=26712 vsize=915328 CPUtime=0.04
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 3492 0 0 0 3 1 0 0 16 0 8 0 156980227 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156980227 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 156980227 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915328 CPUtime=0.06
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937295872 19640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915328

[startup+2.98256 s]
/proc/loadavg: 0.07 0.26 0.96 2/88 26722
/proc/meminfo: memFree=1100640/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915328 CPUtime=2.85
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 30323 0 1 0 269 16 0 0 17 0 8 0 156980223 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26714/statm: 228832 30057 2147 14 0 215302 0
[pid=26714/tid=26716] ppid=26712 vsize=915328 CPUtime=0.22
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 13907 0 0 0 16 6 0 0 16 0 8 0 156980227 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156980227 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 156980227 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915328 CPUtime=0.07
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915328 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937295872 30057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915328

[startup+6.27518 s]
/proc/loadavg: 0.15 0.27 0.96 2/88 26722
/proc/meminfo: memFree=1047072/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=6.14
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 40810 0 1 0 592 22 0 0 16 0 8 0 156980223 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 38963 2162 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=0.97
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 24349 0 0 0 86 11 0 0 17 0 8 0 156980227 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.09
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 38963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 38963 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) 915400

[startup+12.7612 s]
/proc/loadavg: 0.21 0.28 0.96 2/88 26724
/proc/meminfo: memFree=953376/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=12.61
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64486 0 1 0 1229 32 0 0 17 0 8 0 156980223 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62630 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 17 0 8 0 156980227 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.19
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 386 0 0 0 19 0 0 0 16 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62630 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) 915400

[startup+25.5996 s]
/proc/loadavg: 0.39 0.32 0.96 2/88 26724
/proc/meminfo: memFree=953312/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=25.44
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64493 0 1 0 2512 32 0 0 17 0 8 0 156980223 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62635 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.21
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915400

[startup+51.2935 s]
/proc/loadavg: 0.75 0.40 0.97 3/100 26769
/proc/meminfo: memFree=927616/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=51.12
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64493 0 1 0 5079 33 0 0 25 0 8 0 156980223 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62635 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.21
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915400

[startup+102.57 s]
/proc/loadavg: 0.93 0.51 0.97 2/88 26780
/proc/meminfo: memFree=953120/2055920 swapFree=4171232/4192956
[pid=26714] ppid=26712 vsize=915400 CPUtime=102.37
/proc/26714/stat : 26714 (java) R 26712 26714 26646 0 -1 0 64493 0 1 0 10203 34 0 0 25 0 8 0 156980223 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26714/statm: 228850 62635 2522 14 0 215320 0
[pid=26714/tid=26716] ppid=26712 vsize=915400 CPUtime=2.52
/proc/26714/task/26716/stat : 26716 (java) S 26712 26714 26646 0 -1 64 47524 0 0 0 233 19 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26717] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26717/stat : 26717 (java) S 26712 26714 26646 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26718] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26718/stat : 26718 (java) S 26712 26714 26646 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980227 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26714/tid=26719] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26719/stat : 26719 (java) S 26712 26714 26646 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26720] ppid=26712 vsize=915400 CPUtime=0.21
/proc/26714/task/26720/stat : 26720 (java) S 26712 26714 26646 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26721] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26721/stat : 26721 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26714/tid=26722] ppid=26712 vsize=915400 CPUtime=0
/proc/26714/task/26722/stat : 26722 (java) S 26712 26714 26646 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980240 937369600 62635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 117.292
CPU time (s): 117.083
CPU user time (s): 116.702
CPU system time (s): 0.380942
CPU usage (%): 99.822
Max. virtual memory (cumulated for all children) (KiB): 919404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.702
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64502
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= 3287
involuntary context switches= 2728

runsolver used 0.12598 s user time and 0.305953 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 12:17:32 UTC 2007


IDJOB= 247413
IDBENCH= 11124
FILE ID= node19/247413-1168085833

PBS_JOBID= 3476339

Free space on /tmp= 66290 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247413-1168085833/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-247413-1168085833 -o ROOT/results/node19/solver-247413-1168085833 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247413-1168085833/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  07cc20594b576bffb0ac8b08e4394825

RANDOM SEED= 257504480

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:       1194616 kB
Buffers:         70248 kB
Cached:         654932 kB
SwapCached:      10036 kB
Active:         306284 kB
Inactive:       454180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1194616 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:           23884 kB
Writeback:           0 kB
Mapped:          44576 kB
Slab:            85796 kB
Committed_AS:  3675456 kB
PageTables:       2208 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= 66290 MiB



End job on node19 on Sat Jan  6 12:19:36 UTC 2007