Trace number 240106

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 6.576 6.64708

DiagnosticValue
CHECKS6742882
NODES37995

General information on the benchmark

Nameqcp-qwh/QCP-15/
qcp-15-120-9_ext.xml
MD5SUMb8b38dd688c99ef2e09c1cec9c041c90
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 benchmark0.183971
SatisfiableYES
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension3150
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/240106-1168085181/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.43	     nbVariables=225  nbDomainTypes=16  minDomainSize=1  maxDomainSize=15
0.43	       =>  wckTime=0.124  cpuTime=0.1  mem=7M894
0.43	   
0.43	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.68	     nbConstraints=2519  nbRelationTypes=17  nbSingletonDomainVariables=105  nbExtensionStructures=31
0.69	     nbSharedExtensionStructures=2488  nbConflictsStructures=31  nbSharedConflictsStructures=2488
0.69	     nbSharedBinaryRepresentations=493  maxDegree=28  maxArity=2
0.69	       =>  wckTime=0.381  cpuTime=0.25  mem=15M712
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.89	       =>  wckTime=0.589  cpuTime=0.38  mem=15M888
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=15623  nbPropagations=225  nbRevisions=1678  nbUselessRevisions=380  nbRemovedValues=1298
0.93	     detectedInconsistency=no
0.93	       =>  wckTime=0.029  cpuTime=0.02  mem=15M888
0.98	   
0.98	   search
0.98	     run=0  nbConstraintChecks=4197  nbPropagations=639  nbRevisions=3166  nbUselessRevisions=1237  nbAssignments=163
0.98	     nbFailedAssignments=5  nbBacktracks=21  nbVisitedNodes=175  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.079  cpuTime=0.05  mem=16M865
1.00	   
1.00	   search
1.00	     run=1  nbConstraintChecks=7358  nbPropagations=1583  nbRevisions=7318  nbUselessRevisions=3017  nbAssignments=318
1.00	     nbFailedAssignments=12  nbBacktracks=40  nbVisitedNodes=342  nbRestartNogoods=2  mapSize=19  nbInferences=0
1.00	     nbTooLargeKeys=0
1.00	       =>  wckTime=0.098  cpuTime=0.07  mem=16M865
1.01	   
1.01	   search
1.01	     run=2  nbConstraintChecks=10422  nbPropagations=2837  nbRevisions=12388  nbUselessRevisions=5323  nbAssignments=473
1.01	     nbFailedAssignments=22  nbBacktracks=62  nbVisitedNodes=515  nbRestartNogoods=4  mapSize=35  nbInferences=0
1.01	     nbTooLargeKeys=0
1.01	       =>  wckTime=0.117  cpuTime=0.09  mem=16M865
1.04	   
1.04	   search
1.04	     run=3  nbConstraintChecks=16873  nbPropagations=4585  nbRevisions=19757  nbUselessRevisions=8997  nbAssignments=647
1.04	     nbFailedAssignments=31  nbBacktracks=99  nbVisitedNodes=709  nbRestartNogoods=6  mapSize=53  nbInferences=0
1.04	     nbTooLargeKeys=0
1.04	       =>  wckTime=0.14  cpuTime=0.11  mem=16M865
1.06	   
1.06	   search
1.06	     run=4  nbConstraintChecks=23586  nbPropagations=6890  nbRevisions=29453  nbUselessRevisions=14000
1.06	     nbAssignments=843  nbFailedAssignments=45  nbBacktracks=152  nbVisitedNodes=931  nbRestartNogoods=8  mapSize=77
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.164  cpuTime=0.13  mem=16M865
1.09	   
1.09	   search
1.09	     run=5  nbConstraintChecks=34420  nbPropagations=10073  nbRevisions=43342  nbUselessRevisions=21572
1.09	     nbAssignments=1093  nbFailedAssignments=67  nbBacktracks=238  nbVisitedNodes=1219  nbRestartNogoods=10  mapSize=109
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.195  cpuTime=0.15  mem=16M865
1.13	   
1.13	   search
1.13	     run=6  nbConstraintChecks=50569  nbPropagations=14471  nbRevisions=63635  nbUselessRevisions=33159
1.13	     nbAssignments=1379  nbFailedAssignments=95  nbBacktracks=355  nbVisitedNodes=1562  nbRestartNogoods=16  mapSize=160
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.23  cpuTime=0.18  mem=16M865
1.17	   
1.17	   search
1.17	     run=7  nbConstraintChecks=71797  nbPropagations=20437  nbRevisions=92865  nbUselessRevisions=50608
1.17	     nbAssignments=1722  nbFailedAssignments=127  nbBacktracks=529  nbVisitedNodes=1967  nbRestartNogoods=20
1.17	     mapSize=218  nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.276  cpuTime=0.22  mem=16M865
1.22	   
1.22	   search
1.22	     run=8  nbConstraintChecks=102094  nbPropagations=28694  nbRevisions=133315  nbUselessRevisions=74636
1.22	     nbAssignments=2175  nbFailedAssignments=198  nbBacktracks=785  nbVisitedNodes=2550  nbRestartNogoods=23
1.22	     mapSize=335  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.323  cpuTime=0.26  mem=16M865
1.30	   
1.30	   search
1.30	     run=9  nbConstraintChecks=171724  nbPropagations=41336  nbRevisions=202530  nbUselessRevisions=117236
1.30	     nbAssignments=2786  nbFailedAssignments=286  nbBacktracks=1172  nbVisitedNodes=3346  nbRestartNogoods=27
1.30	     mapSize=504  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.399  cpuTime=0.33  mem=16M865
1.41	   
1.41	   search
1.41	     run=10  nbConstraintChecks=280558  nbPropagations=60950  nbRevisions=318242  nbUselessRevisions=190900
1.41	     nbAssignments=3641  nbFailedAssignments=434  nbBacktracks=1755  nbVisitedNodes=4488  nbRestartNogoods=32
1.41	     mapSize=758  nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.517  cpuTime=0.44  mem=17M840
1.52	   
1.52	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=17M840)
1.57	   
1.57	   search
1.57	     run=11  nbConstraintChecks=435775  nbPropagations=89133  nbRevisions=516010  nbUselessRevisions=328474
1.57	     nbAssignments=4809  nbFailedAssignments=658  nbBacktracks=2632  nbVisitedNodes=6063  nbRestartNogoods=38
1.57	       =>  wckTime=0.673  cpuTime=0.6  mem=17M840
1.80	   
1.80	   search
1.80	     run=12  nbConstraintChecks=717205  nbPropagations=129389  nbRevisions=880749  nbUselessRevisions=606188
1.80	     nbAssignments=6388  nbFailedAssignments=916  nbBacktracks=3932  nbVisitedNodes=8132  nbRestartNogoods=40
1.80	       =>  wckTime=0.903  cpuTime=0.82  mem=17M840
2.14	   
2.14	   search
2.14	     run=13  nbConstraintChecks=1106265  nbPropagations=188276  nbRevisions=1464675  nbUselessRevisions=1062725
2.14	     nbAssignments=8913  nbFailedAssignments=1464  nbBacktracks=5883  nbVisitedNodes=11736  nbRestartNogoods=43
2.14	       =>  wckTime=1.243  cpuTime=1.16  mem=17M840
2.69	   
2.69	   search
2.69	     run=14  nbConstraintChecks=1787917  nbPropagations=276709  nbRevisions=2467448  nbUselessRevisions=1873465
2.69	     nbAssignments=12512  nbFailedAssignments=2125  nbBacktracks=8806  nbVisitedNodes=16539  nbRestartNogoods=49
2.69	       =>  wckTime=1.795  cpuTime=1.71  mem=17M840
3.53	   
3.53	   search
3.53	     run=15  nbConstraintChecks=2876357  nbPropagations=412150  nbRevisions=4128840  nbUselessRevisions=3241265
3.53	     nbAssignments=17948  nbFailedAssignments=3161  nbBacktracks=13189  nbVisitedNodes=24071  nbRestartNogoods=53
3.53	       =>  wckTime=2.636  cpuTime=2.55  mem=17M840
4.78	   
4.78	   search
4.78	     run=16  nbConstraintChecks=4356241  nbPropagations=616118  nbRevisions=6654065  nbUselessRevisions=5325551
4.78	     nbAssignments=26608  nbFailedAssignments=5213  nbBacktracks=19762  nbVisitedNodes=36668  nbRestartNogoods=61
4.78	       =>  wckTime=3.885  cpuTime=3.8  mem=17M840
6.59	   
6.59	   search
6.59	     run=17  nbConstraintChecks=6727259  nbPropagations=923027  nbRevisions=10635248  nbUselessRevisions=8643791
6.59	     nbAssignments=37995  nbFailedAssignments=7558  nbBacktracks=28579  nbVisitedNodes=52593  nbRestartNogoods=71
6.59	       =>  wckTime=5.696  cpuTime=5.62  mem=17M840
6.59	   
6.59	   global
6.59	     nbConstraintChecks=6742882  nbPropagations=923252  nbRevisions=10636926  nbUselessRevisions=8644171
6.59	     nbRestartNogoods=71  solvingWckTime=5.697  solvingCpuTime=5.62  expiredTime=no  totalExploration=no
6.59	     nbFoundSolutions=1  globalCpuTime=6.05
6.59	       =>  wckTime=6.291  cpuTime=6.0  mem=17M840
6.60	   
6.60	s SATISFIABLE
6.60	v 12 8 5 11 4 13 2 0 10 3 1 7 9 14 6 5 14 13 9 7 11 10 3 0 6 2 1 12 4 8 0 2 4 7 3 9 6 10 12 13 8 14 5 11 1 9 7 6 13 12 8 0 5 11 1 14 4 2 10 3 2 10 7 6 8 3 13 9 4 11 5 12 14 1 0 3 1 2 4 10 7 5 12 14 8 6 9 0 13 11 6 11 1 5 9 14 4 2 7 0 12 13 3 8 10 13 12 0 8 14 1 9 11 5 2 10 6 7 3 4 14 6 8 12 1 10 7 4 3 9 0 2 11 5 13 1 4 12 10 13 0 14 7 8 5 11 3 6 9 2 10 3 14 2 11 5 12 6 1 7 4 8 13 0 9 8 0 9 3 6 12 1 14 2 10 13 11 4 7 5 4 13 3 1 0 2 11 8 9 12 7 5 10 6 14 7 9 11 0 5 4 8 13 6 14 3 10 1 2 12 11 5 10 14 2 6 3 1 13 4 9 0 8 12 7 
6.60	d NODES 37995
6.60	d CHECKS 6742882
6.60	   
6.60	   totalWckTime=6.366  totalCpuTime=6.05

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/node9/watcher-240106-1168085181 -o ROOT/results/node9/solver-240106-1168085181 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240106-1168085181/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.61 1.91 1.90 4/93 20097
/proc/meminfo: memFree=624240/2055920 swapFree=4191880/4192956
[pid=20096] ppid=20094 vsize=1784 CPUtime=0
/proc/20096/stat : 20096 (java) D 20094 20096 19508 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156913826 1826816 160 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/20096/statm: 446 160 125 14 0 91 0

[startup+0.10821 s]
/proc/loadavg: 1.61 1.91 1.90 4/93 20097
/proc/meminfo: memFree=624240/2055920 swapFree=4191880/4192956
[pid=20096] ppid=20094 vsize=914988 CPUtime=0.08
/proc/20096/stat : 20096 (java) R 20094 20096 19508 0 -1 0 2980 0 1 0 7 1 0 0 23 0 8 0 156913826 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072939635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20096/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516255 s]
/proc/loadavg: 1.61 1.91 1.90 4/93 20097
/proc/meminfo: memFree=624240/2055920 swapFree=4191880/4192956
[pid=20096] ppid=20094 vsize=915328 CPUtime=0.48
/proc/20096/stat : 20096 (java) R 20094 20096 19508 0 -1 0 6507 0 1 0 44 4 0 0 25 0 8 0 156913826 937295872 6246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20096/statm: 228832 6246 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33935 s]
/proc/loadavg: 1.64 1.91 1.90 3/100 20104
/proc/meminfo: memFree=598264/2055920 swapFree=4191880/4192956
[pid=20096] ppid=20094 vsize=915580 CPUtime=1.3
/proc/20096/stat : 20096 (java) R 20094 20096 19508 0 -1 0 9255 0 1 0 124 6 0 0 25 0 8 0 156913826 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20096/statm: 228895 8993 2513 14 0 215365 0
[pid=20096/tid=20098] ppid=20094 vsize=915580 CPUtime=0.04
/proc/20096/task/20098/stat : 20098 (java) S 20094 20096 19508 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 156913830 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20099] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20099/stat : 20099 (java) S 20094 20096 19508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156913831 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20100] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20100/stat : 20100 (java) S 20094 20096 19508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156913831 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20101] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20101/stat : 20101 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156913834 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20102] ppid=20094 vsize=915580 CPUtime=0.27
/proc/20096/task/20102/stat : 20102 (java) S 20094 20096 19508 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 156913834 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20103] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20103/stat : 20103 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156913834 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20104] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20104/stat : 20104 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156913834 937553920 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915580

[startup+2.99253 s]
/proc/loadavg: 1.64 1.91 1.90 3/100 20104
/proc/meminfo: memFree=597752/2055920 swapFree=4191880/4192956
[pid=20096] ppid=20094 vsize=915580 CPUtime=2.96
/proc/20096/stat : 20096 (java) R 20094 20096 19508 0 -1 0 9347 0 1 0 289 7 0 0 25 0 8 0 156913826 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073922159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20096/statm: 228895 9084 2513 14 0 215365 0
[pid=20096/tid=20098] ppid=20094 vsize=915580 CPUtime=0.04
/proc/20096/task/20098/stat : 20098 (java) S 20094 20096 19508 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 156913830 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20099] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20099/stat : 20099 (java) S 20094 20096 19508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156913831 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20100] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20100/stat : 20100 (java) S 20094 20096 19508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156913831 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20101] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20101/stat : 20101 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156913834 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20102] ppid=20094 vsize=915580 CPUtime=0.28
/proc/20096/task/20102/stat : 20102 (java) S 20094 20096 19508 0 -1 64 426 0 0 0 27 1 0 0 16 0 8 0 156913834 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20103] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20103/stat : 20103 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156913834 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20104] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20104/stat : 20104 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156913834 937553920 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915580

[startup+6.27991 s]
/proc/loadavg: 1.67 1.92 1.90 3/100 20104
/proc/meminfo: memFree=597752/2055920 swapFree=4191880/4192956
[pid=20096] ppid=20094 vsize=915580 CPUtime=6.24
/proc/20096/stat : 20096 (java) R 20094 20096 19508 0 -1 0 9352 0 1 0 617 7 0 0 25 0 8 0 156913826 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20096/statm: 228895 9089 2513 14 0 215365 0
[pid=20096/tid=20098] ppid=20094 vsize=915580 CPUtime=0.04
/proc/20096/task/20098/stat : 20098 (java) S 20094 20096 19508 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 156913830 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20099] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20099/stat : 20099 (java) S 20094 20096 19508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156913831 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20100] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20100/stat : 20100 (java) S 20094 20096 19508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156913831 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20101] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20101/stat : 20101 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156913834 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20102] ppid=20094 vsize=915580 CPUtime=0.28
/proc/20096/task/20102/stat : 20102 (java) S 20094 20096 19508 0 -1 64 426 0 0 0 27 1 0 0 16 0 8 0 156913834 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20103] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20103/stat : 20103 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156913834 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20096/tid=20104] ppid=20094 vsize=915580 CPUtime=0
/proc/20096/task/20104/stat : 20104 (java) S 20094 20096 19508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156913834 937553920 9089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915580

Child status: 0
Real time (s): 6.64708
CPU time (s): 6.576
CPU user time (s): 6.49701
CPU system time (s): 0.078987
CPU usage (%): 98.9307
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.49701
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9447
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= 1486
involuntary context switches= 1978

runsolver used 0.010998 s user time and 0.029995 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 12:06:23 UTC 2007


IDJOB= 240106
IDBENCH= 7105
FILE ID= node9/240106-1168085181

PBS_JOBID= 3476231

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240106-1168085181/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-240106-1168085181 -o ROOT/results/node9/solver-240106-1168085181 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240106-1168085181/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b8b38dd688c99ef2e09c1cec9c041c90

RANDOM SEED= 676420035

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.231
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.231
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:        624656 kB
Buffers:         84132 kB
Cached:         587712 kB
SwapCached:        268 kB
Active:         930360 kB
Inactive:       397384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        624656 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2004 kB
Writeback:           0 kB
Mapped:         677704 kB
Slab:            86832 kB
Committed_AS:  4834480 kB
PageTables:       3524 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= 66542 MiB



End job on node9 on Sat Jan  6 12:06:42 UTC 2007