Trace number 208743

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 80.2688 80.7161

DiagnosticValue
CHECKS65816810
NODES86076

General information on the benchmark

Namerandom/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-19_ext.xml
MD5SUM9c7c77eb7c6b8191344a6ff8436b71c6
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 benchmark29.6115
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables20
Number of constraints58
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension58
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/208743-1168189684/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.42	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.69	   
0.69	   constraints being loaded...
0.86	     nbConstraints=58  nbRelationTypes=58  nbExtensionStructures=58  nbSharedExtensionStructures=0
0.86	     nbConflictsStructures=58  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
0.86	       =>  wckTime=0.54  cpuTime=0.48  mem=42M626
0.94	   
0.94	   solver IterativeSystematicSolver being built... 
1.11	       =>  wckTime=0.797  cpuTime=0.62  mem=21M111
1.20	   
1.20	   preprocessing
1.20	     nbConstraintChecks=21266  nbValidityChecks=34424  nbPropagations=194  nbRevisions=1817  nbUselessRevisions=1546
1.20	     nbSingletonTests=28  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.20	       =>  wckTime=0.084  cpuTime=0.05  mem=21M111
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=20105  nbValidityChecks=39700  nbPropagations=512  nbRevisions=5130
1.25	     nbUselessRevisions=4165  nbAssignments=28  nbFailedAssignments=12  nbBacktracks=11  nbVisitedNodes=47
1.25	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.137  cpuTime=0.09  mem=22M94
1.32	   
1.32	   search
1.32	     run=1  nbConstraintChecks=64731  nbValidityChecks=144311  nbPropagations=1725  nbRevisions=17440
1.32	     nbUselessRevisions=14034  nbAssignments=96  nbFailedAssignments=33  nbBacktracks=26  nbVisitedNodes=121
1.32	     nbRestartNogoods=5  mapSize=22  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.205  cpuTime=0.16  mem=22M94
1.42	   
1.42	   search
1.42	     run=2  nbConstraintChecks=122331  nbValidityChecks=260533  nbPropagations=3696  nbRevisions=38876
1.42	     nbUselessRevisions=30951  nbAssignments=160  nbFailedAssignments=69  nbBacktracks=49  nbVisitedNodes=238
1.42	     nbRestartNogoods=7  mapSize=43  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.299  cpuTime=0.24  mem=22M94
1.54	   
1.54	   search
1.54	     run=3  nbConstraintChecks=209978  nbValidityChecks=431728  nbPropagations=6788  nbRevisions=73438
1.54	     nbUselessRevisions=58008  nbAssignments=247  nbFailedAssignments=119  nbBacktracks=84  nbVisitedNodes=401
1.54	     nbRestartNogoods=11  mapSize=73  nbInferences=0  nbTooLargeKeys=0
1.54	       =>  wckTime=0.424  cpuTime=0.36  mem=22M94
1.68	   
1.68	   search
1.68	     run=4  nbConstraintChecks=316421  nbValidityChecks=667310  nbPropagations=11546  nbRevisions=126088
1.68	     nbUselessRevisions=99215  nbAssignments=420  nbFailedAssignments=237  nbBacktracks=135  nbVisitedNodes=725
1.68	     nbRestartNogoods=12  mapSize=118  nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.565  cpuTime=0.5  mem=22M94
1.84	   
1.84	   search
1.84	     run=5  nbConstraintChecks=433282  nbValidityChecks=926534  nbPropagations=18261  nbRevisions=199721
1.84	     nbUselessRevisions=156627  nbAssignments=622  nbFailedAssignments=351  nbBacktracks=211  nbVisitedNodes=1079
1.84	     nbRestartNogoods=19  mapSize=191  nbInferences=0  nbTooLargeKeys=0
1.84	       =>  wckTime=0.728  cpuTime=0.65  mem=22M94
2.18	   
2.18	   search
2.18	     run=6  nbConstraintChecks=686753  nbValidityChecks=1412577  nbPropagations=28338  nbRevisions=311551
2.18	     nbUselessRevisions=243203  nbAssignments=931  nbFailedAssignments=543  nbBacktracks=324  nbVisitedNodes=1650
2.18	     nbRestartNogoods=22  mapSize=284  nbInferences=0  nbTooLargeKeys=0
2.18	       =>  wckTime=1.065  cpuTime=0.99  mem=22M94
2.56	   
2.56	   search
2.56	     run=7  nbConstraintChecks=980915  nbValidityChecks=2011120  nbPropagations=43155  nbRevisions=472724
2.56	     nbUselessRevisions=367970  nbAssignments=1336  nbFailedAssignments=773  nbBacktracks=495  nbVisitedNodes=2392
2.56	     nbRestartNogoods=27  mapSize=429  nbInferences=0  nbTooLargeKeys=0
2.56	       =>  wckTime=1.442  cpuTime=1.36  mem=22M94
3.05	   
3.05	   search
3.05	     run=8  nbConstraintChecks=1352739  nbValidityChecks=2816692  nbPropagations=63816  nbRevisions=695736
3.05	     nbUselessRevisions=539997  nbAssignments=1906  nbFailedAssignments=1082  nbBacktracks=751  nbVisitedNodes=3416
3.05	     nbRestartNogoods=29  mapSize=634  nbInferences=0  nbTooLargeKeys=0
3.05	       =>  wckTime=1.933  cpuTime=1.83  mem=22M94
4.22	   
4.22	   search
4.22	     run=9  nbConstraintChecks=2280387  nbValidityChecks=4649784  nbPropagations=96636  nbRevisions=1055591
4.22	     nbUselessRevisions=817460  nbAssignments=3037  nbFailedAssignments=1793  nbBacktracks=1135  nbVisitedNodes=5506
4.22	     nbRestartNogoods=37  mapSize=979  nbInferences=0  nbTooLargeKeys=0
4.22	       =>  wckTime=3.102  cpuTime=2.99  mem=22M94
4.46	   
4.46	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=22M94)
5.45	   
5.45	   search
5.45	     run=10  nbConstraintChecks=3294322  nbValidityChecks=6682548  nbPropagations=145223  nbRevisions=1579876
5.45	     nbUselessRevisions=1222834  nbAssignments=4419  nbFailedAssignments=2496  nbBacktracks=1711  nbVisitedNodes=7857
5.45	     nbRestartNogoods=62
5.45	       =>  wckTime=4.329  cpuTime=4.2  mem=22M94
7.14	   
7.14	   search
7.14	     run=11  nbConstraintChecks=4674957  nbValidityChecks=9516921  nbPropagations=216978  nbRevisions=2343902
7.14	     nbUselessRevisions=1813818  nbAssignments=6539  nbFailedAssignments=3738  nbBacktracks=2575  nbVisitedNodes=11742
7.14	     nbRestartNogoods=71
7.14	       =>  wckTime=6.025  cpuTime=5.88  mem=22M94
10.31	   
10.31	   search
10.31	     run=12  nbConstraintChecks=7295646  nbValidityChecks=14906811  nbPropagations=326701  nbRevisions=3534480
10.31	     nbUselessRevisions=2733900  nbAssignments=9989  nbFailedAssignments=5886  nbBacktracks=3872  nbVisitedNodes=18225
10.31	     nbRestartNogoods=81
10.31	       =>  wckTime=9.195  cpuTime=9.04  mem=22M94
14.06	   
14.06	   search
14.06	     run=13  nbConstraintChecks=10352185  nbValidityChecks=21057126  nbPropagations=485875  nbRevisions=5244307
14.06	     nbUselessRevisions=4058237  nbAssignments=14390  nbFailedAssignments=8339  nbBacktracks=5818  nbVisitedNodes=26260
14.06	     nbRestartNogoods=85
14.06	       =>  wckTime=12.945  cpuTime=12.77  mem=22M94
20.15	   
20.15	   search
20.15	     run=14  nbConstraintChecks=15478550  nbValidityChecks=32020672  nbPropagations=725937  nbRevisions=7813148
20.16	     nbUselessRevisions=6039868  nbAssignments=21964  nbFailedAssignments=12990  nbBacktracks=8737  nbVisitedNodes=40399
20.16	     nbRestartNogoods=94
20.16	       =>  wckTime=19.039  cpuTime=18.83  mem=22M94
29.44	   
29.44	   search
29.44	     run=15  nbConstraintChecks=23115450  nbValidityChecks=47694373  nbPropagations=1083745  nbRevisions=11645257
29.44	     nbUselessRevisions=9004195  nbAssignments=32614  nbFailedAssignments=19257  nbBacktracks=13116
29.44	     nbVisitedNodes=60051  nbRestartNogoods=114
29.44	       =>  wckTime=28.323  cpuTime=28.07  mem=22M94
47.51	   
47.51	   search
47.51	     run=16  nbConstraintChecks=37897021  nbValidityChecks=77335573  nbPropagations=1634813  nbRevisions=17724958
47.51	     nbUselessRevisions=13705822  nbAssignments=50268  nbFailedAssignments=30339  nbBacktracks=19684
47.51	     nbVisitedNodes=93368  nbRestartNogoods=125
47.51	       =>  wckTime=46.395  cpuTime=46.06  mem=22M94
67.16	   
67.16	   search
67.16	     run=17  nbConstraintChecks=54443077  nbValidityChecks=110031254  nbPropagations=2434421  nbRevisions=26405473
67.16	     nbUselessRevisions=20417128  nbAssignments=71462  nbFailedAssignments=41676  nbBacktracks=29538
67.16	     nbVisitedNodes=131785  nbRestartNogoods=143
67.16	       =>  wckTime=66.046  cpuTime=65.61  mem=22M94
80.65	   
80.65	   search
80.65	     run=18  nbConstraintChecks=65795544  nbValidityChecks=132472552  nbPropagations=3407132  nbRevisions=36895642
80.65	     nbUselessRevisions=28526766  nbAssignments=86076  nbFailedAssignments=49629  nbBacktracks=36165
80.65	     nbVisitedNodes=158297  nbRestartNogoods=163
80.65	       =>  wckTime=79.534  cpuTime=79.03  mem=22M94
80.65	   
80.65	   global
80.65	     nbConstraintChecks=65816810  nbValidityChecks=132506976  nbPropagations=3407326  nbRevisions=36897459
80.65	     nbUselessRevisions=28528312  nbRestartNogoods=163  solvingWckTime=79.535  solvingCpuTime=79.03  expiredTime=no
80.65	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=79.71
80.65	       =>  wckTime=80.335  cpuTime=79.65  mem=22M94
80.66	   
80.66	s SATISFIABLE
80.66	v 5 4 16 4 14 11 10 13 10 2 0 4 11 12 14 10 10 17 12 18 
80.66	d NODES 86076
80.66	d CHECKS 65816810
80.66	   
80.66	   totalWckTime=80.418  totalCpuTime=79.72

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/node38/watcher-208743-1168189684 -o ROOT/results/node38/solver-208743-1168189684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208743-1168189684/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.93 1.69 1.30 4/74 20375
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=47976 CPUtime=0
/proc/20374/stat : 20374 (java) D 20372 20374 20058 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 167368036 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20374/statm: 11994 972 769 14 0 1707 0

[startup+0.102838 s]
/proc/loadavg: 1.93 1.69 1.30 4/74 20375
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=914988 CPUtime=0.09
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 2979 0 1 0 7 2 0 0 19 0 8 0 167368036 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510922 s]
/proc/loadavg: 1.93 1.69 1.30 4/74 20375
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915328 CPUtime=0.48
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 7431 0 1 0 44 4 0 0 18 0 8 0 167368036 937295872 7170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228832 7170 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33208 s]
/proc/loadavg: 1.93 1.69 1.30 3/81 20382
/proc/meminfo: memFree=1603688/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915460 CPUtime=1.3
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 17165 0 1 0 120 10 0 0 24 0 8 0 167368036 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228865 16903 2527 14 0 215335 0
[pid=20374/tid=20376] ppid=20372 vsize=915460 CPUtime=0.07
/proc/20374/task/20376/stat : 20376 (java) S 20372 20374 20058 0 -1 64 1803 0 0 0 6 1 0 0 16 0 8 0 167368040 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20377] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20377/stat : 20377 (java) S 20372 20374 20058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20378] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20378/stat : 20378 (java) S 20372 20374 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20379] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20379/stat : 20379 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167368044 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20380] ppid=20372 vsize=915460 CPUtime=0.16
/proc/20374/task/20380/stat : 20380 (java) S 20372 20374 20058 0 -1 64 354 0 0 0 16 0 0 0 15 0 8 0 167368044 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20381] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20381/stat : 20381 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167368044 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20382] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20382/stat : 20382 (java) S 20372 20374 20058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167368044 937431040 16903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.9844 s]
/proc/loadavg: 1.93 1.69 1.30 3/81 20382
/proc/meminfo: memFree=1603304/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915460 CPUtime=2.95
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 17186 0 1 0 284 11 0 0 25 0 8 0 167368036 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228865 16922 2527 14 0 215335 0
[pid=20374/tid=20376] ppid=20372 vsize=915460 CPUtime=0.07
/proc/20374/task/20376/stat : 20376 (java) S 20372 20374 20058 0 -1 64 1803 0 0 0 6 1 0 0 17 0 8 0 167368040 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20377] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20377/stat : 20377 (java) S 20372 20374 20058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20378] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20378/stat : 20378 (java) S 20372 20374 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20379] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20379/stat : 20379 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167368044 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20380] ppid=20372 vsize=915460 CPUtime=0.22
/proc/20374/task/20380/stat : 20380 (java) S 20372 20374 20058 0 -1 64 373 0 0 0 21 1 0 0 16 0 8 0 167368044 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20381] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20381/stat : 20381 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167368044 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20382] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20382/stat : 20382 (java) S 20372 20374 20058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167368044 937431040 16922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460

[startup+6.27504 s]
/proc/loadavg: 1.94 1.69 1.31 3/81 20382
/proc/meminfo: memFree=1602920/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915460 CPUtime=6.22
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 17199 0 1 0 611 11 0 0 25 0 8 0 167368036 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228865 16933 2527 14 0 215335 0
[pid=20374/tid=20376] ppid=20372 vsize=915460 CPUtime=0.07
/proc/20374/task/20376/stat : 20376 (java) S 20372 20374 20058 0 -1 64 1803 0 0 0 6 1 0 0 16 0 8 0 167368040 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20377] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20377/stat : 20377 (java) S 20372 20374 20058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20378] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20378/stat : 20378 (java) S 20372 20374 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20379] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20379/stat : 20379 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20380] ppid=20372 vsize=915460 CPUtime=0.24
/proc/20374/task/20380/stat : 20380 (java) S 20372 20374 20058 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20381] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20381/stat : 20381 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20382] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20382/stat : 20382 (java) S 20372 20374 20058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460

[startup+12.7653 s]
/proc/loadavg: 1.94 1.70 1.31 3/81 20382
/proc/meminfo: memFree=1602352/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915460 CPUtime=12.68
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 17199 0 1 0 1257 11 0 0 25 0 8 0 167368036 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228865 16933 2527 14 0 215335 0
[pid=20374/tid=20376] ppid=20372 vsize=915460 CPUtime=0.07
/proc/20374/task/20376/stat : 20376 (java) S 20372 20374 20058 0 -1 64 1803 0 0 0 6 1 0 0 16 0 8 0 167368040 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20377] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20377/stat : 20377 (java) S 20372 20374 20058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20378] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20378/stat : 20378 (java) S 20372 20374 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20379] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20379/stat : 20379 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20380] ppid=20372 vsize=915460 CPUtime=0.24
/proc/20374/task/20380/stat : 20380 (java) S 20372 20374 20058 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20381] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20381/stat : 20381 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20382] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20382/stat : 20382 (java) S 20372 20374 20058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460

[startup+25.6338 s]
/proc/loadavg: 2.17 1.76 1.34 3/81 20382
/proc/meminfo: memFree=1601392/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915460 CPUtime=25.48
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 17200 0 1 0 2537 11 0 0 25 0 8 0 167368036 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228865 16933 2527 14 0 215335 0
[pid=20374/tid=20376] ppid=20372 vsize=915460 CPUtime=0.07
/proc/20374/task/20376/stat : 20376 (java) S 20372 20374 20058 0 -1 64 1803 0 0 0 6 1 0 0 16 0 8 0 167368040 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20377] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20377/stat : 20377 (java) S 20372 20374 20058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20378] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20378/stat : 20378 (java) S 20372 20374 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20379] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20379/stat : 20379 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20380] ppid=20372 vsize=915460 CPUtime=0.24
/proc/20374/task/20380/stat : 20380 (java) S 20372 20374 20058 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20381] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20381/stat : 20381 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20382] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20382/stat : 20382 (java) S 20372 20374 20058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460

[startup+51.2728 s]
/proc/loadavg: 2.11 1.78 1.35 4/81 20382
/proc/meminfo: memFree=1599344/2055920 swapFree=4192812/4192956
[pid=20374] ppid=20372 vsize=915460 CPUtime=51.01
/proc/20374/stat : 20374 (java) R 20372 20374 20058 0 -1 0 17200 0 1 0 5089 12 0 0 25 0 8 0 167368036 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20374/statm: 228865 16933 2527 14 0 215335 0
[pid=20374/tid=20376] ppid=20372 vsize=915460 CPUtime=0.07
/proc/20374/task/20376/stat : 20376 (java) S 20372 20374 20058 0 -1 64 1803 0 0 0 6 1 0 0 16 0 8 0 167368040 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20377] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20377/stat : 20377 (java) S 20372 20374 20058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20378] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20378/stat : 20378 (java) S 20372 20374 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167368041 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20379] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20379/stat : 20379 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20380] ppid=20372 vsize=915460 CPUtime=0.24
/proc/20374/task/20380/stat : 20380 (java) S 20372 20374 20058 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20381] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20381/stat : 20381 (java) S 20372 20374 20058 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20374/tid=20382] ppid=20372 vsize=915460 CPUtime=0
/proc/20374/task/20382/stat : 20382 (java) S 20372 20374 20058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167368044 937431040 16933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 80.7161
CPU time (s): 80.2688
CPU user time (s): 80.1348
CPU system time (s): 0.133979
CPU usage (%): 99.4459
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.1348
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17208
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= 2709
involuntary context switches= 3680

runsolver used 0.124981 s user time and 0.249962 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sun Jan  7 17:08:04 UTC 2007


IDJOB= 208743
IDBENCH= 4433
FILE ID= node38/208743-1168189684

PBS_JOBID= 3479258

Free space on /tmp= 66504 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208743-1168189684/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-208743-1168189684 -o ROOT/results/node38/solver-208743-1168189684 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208743-1168189684/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9c7c77eb7c6b8191344a6ff8436b71c6

RANDOM SEED= 66761150

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.267
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.267
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:       1662016 kB
Buffers:         21200 kB
Cached:         223124 kB
SwapCached:          0 kB
Active:         174560 kB
Inactive:       158240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1662016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2896 kB
Writeback:           0 kB
Mapped:          99700 kB
Slab:            46308 kB
Committed_AS:  3708152 kB
PageTables:       2008 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= 66504 MiB



End job on node38 on Sun Jan  7 17:09:26 UTC 2007