Trace number 217183

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 30.0294 30.3408

DiagnosticValue
CHECKS190963189
NODES123139

General information on the benchmark

Namefrb/frb45-21/
frb45-21-1-mgd_ext.xml
MD5SUM438e8ba11659cae5f336047ba28f6562
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 benchmark6.92595
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables45
Number of constraints394
Maximum constraint arity2
Maximum domain size21
Number of constraints which are defined in extension394
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/217183-1168079350/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.38	   variables being loaded...
0.41	     nbVariables=45  nbDomainTypes=1  minDomainSize=21  maxDomainSize=21
0.41	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.66	     nbConstraints=394  nbRelationTypes=394  nbExtensionStructures=394  nbSharedExtensionStructures=0
0.66	     nbConflictsStructures=394  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2167  maxDegree=25
0.66	     maxArity=2
0.66	       =>  wckTime=0.351  cpuTime=0.28  mem=14M819
0.70	   
0.70	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.548  cpuTime=0.4  mem=14M187
0.88	   
0.88	   preprocessing
0.88	     nbConstraintChecks=0  nbPropagations=45  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.88	     detectedInconsistency=no
0.88	       =>  wckTime=0.0080  cpuTime=0.01  mem=15M162
0.92	   
0.92	   search
0.92	     run=0  nbConstraintChecks=40167  nbPropagations=560  nbRevisions=6466  nbUselessRevisions=5219  nbAssignments=26
0.92	     nbFailedAssignments=7  nbBacktracks=13  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.055  cpuTime=0.04  mem=15M162
0.95	   
0.95	   search
0.95	     run=1  nbConstraintChecks=90256  nbPropagations=1758  nbRevisions=20904  nbUselessRevisions=16981  nbAssignments=57
0.95	     nbFailedAssignments=15  nbBacktracks=29  nbVisitedNodes=88  nbRestartNogoods=1  mapSize=23  nbInferences=0
0.95	     nbTooLargeKeys=0
0.95	       =>  wckTime=0.08  cpuTime=0.05  mem=15M162
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=162704  nbPropagations=3937  nbRevisions=47773  nbUselessRevisions=39017
0.97	     nbAssignments=106  nbFailedAssignments=31  nbBacktracks=52  nbVisitedNodes=167  nbRestartNogoods=3  mapSize=45
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.101  cpuTime=0.07  mem=15M162
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=282836  nbPropagations=7474  nbRevisions=93614  nbUselessRevisions=76336
0.99	     nbAssignments=166  nbFailedAssignments=50  nbBacktracks=86  nbVisitedNodes=272  nbRestartNogoods=5  mapSize=75
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.124  cpuTime=0.09  mem=15M162
1.02	   
1.02	   search
1.02	     run=4  nbConstraintChecks=430317  nbPropagations=12826  nbRevisions=163552  nbUselessRevisions=133144
1.02	     nbAssignments=253  nbFailedAssignments=78  nbBacktracks=136  nbVisitedNodes=416  nbRestartNogoods=9  mapSize=119
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.152  cpuTime=0.11  mem=15M162
1.07	   
1.07	   search
1.07	     run=5  nbConstraintChecks=709035  nbPropagations=21351  nbRevisions=280434  nbUselessRevisions=228172
1.07	     nbAssignments=406  nbFailedAssignments=148  nbBacktracks=214  nbVisitedNodes=684  nbRestartNogoods=14  mapSize=186
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.203  cpuTime=0.16  mem=15M162
1.13	   
1.13	   search
1.13	     run=6  nbConstraintChecks=1021123  nbPropagations=33907  nbRevisions=454814  nbUselessRevisions=369973
1.13	     nbAssignments=607  nbFailedAssignments=229  nbBacktracks=327  nbVisitedNodes=1031  nbRestartNogoods=16  mapSize=283
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.262  cpuTime=0.22  mem=15M162
1.21	   
1.21	   search
1.21	     run=7  nbConstraintChecks=1449734  nbPropagations=51800  nbRevisions=704826  nbUselessRevisions=573030
1.21	     nbAssignments=880  nbFailedAssignments=325  nbBacktracks=497  nbVisitedNodes=1500  nbRestartNogoods=18  mapSize=424
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.343  cpuTime=0.29  mem=15M162
1.32	   
1.32	   search
1.32	     run=8  nbConstraintChecks=2062413  nbPropagations=77522  nbRevisions=1070506  nbUselessRevisions=871039
1.32	     nbAssignments=1314  nbFailedAssignments=494  nbBacktracks=754  nbVisitedNodes=2233  nbRestartNogoods=23
1.33	     mapSize=635  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.458  cpuTime=0.4  mem=15M162
1.51	   
1.51	   search
1.51	     run=9  nbConstraintChecks=3046570  nbPropagations=115819  nbRevisions=1616241  nbUselessRevisions=1314652
1.51	     nbAssignments=1967  nbFailedAssignments=751  nbBacktracks=1142  nbVisitedNodes=3367  nbRestartNogoods=31
1.51	     mapSize=965  nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.642  cpuTime=0.58  mem=15M162
1.55	   
1.55	   INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M162)
1.77	   
1.77	   search
1.77	     run=10  nbConstraintChecks=4640722  nbPropagations=173171  nbRevisions=2447127  nbUselessRevisions=1989162
1.77	     nbAssignments=2950  nbFailedAssignments=1147  nbBacktracks=1722  nbVisitedNodes=5067  nbRestartNogoods=34
1.77	       =>  wckTime=0.901  cpuTime=0.83  mem=15M162
2.13	   
2.13	   search
2.13	     run=11  nbConstraintChecks=6910471  nbPropagations=259702  nbRevisions=3706961  nbUselessRevisions=3013336
2.13	     nbAssignments=4445  nbFailedAssignments=1767  nbBacktracks=2590  nbVisitedNodes=7684  nbRestartNogoods=38
2.13	       =>  wckTime=1.26  cpuTime=1.18  mem=15M162
2.61	   
2.61	   search
2.61	     run=12  nbConstraintChecks=9992860  nbPropagations=385931  nbRevisions=5545335  nbUselessRevisions=4508378
2.61	     nbAssignments=6598  nbFailedAssignments=2615  nbBacktracks=3888  nbVisitedNodes=11405  nbRestartNogoods=41
2.61	       =>  wckTime=1.743  cpuTime=1.66  mem=15M162
3.41	   
3.41	   search
3.41	     run=13  nbConstraintChecks=15152000  nbPropagations=576054  nbRevisions=8349384  nbUselessRevisions=6792579
3.41	     nbAssignments=9910  nbFailedAssignments=3971  nbBacktracks=5834  nbVisitedNodes=17180  nbRestartNogoods=47
3.41	       =>  wckTime=2.54  cpuTime=2.44  mem=15M162
4.55	   
4.55	   search
4.55	     run=14  nbConstraintChecks=22639653  nbPropagations=859944  nbRevisions=12523265  nbUselessRevisions=10190754
4.55	     nbAssignments=14756  nbFailedAssignments=5891  nbBacktracks=8753  nbVisitedNodes=25610  nbRestartNogoods=55
4.55	       =>  wckTime=3.687  cpuTime=3.58  mem=15M162
6.28	   
6.28	   search
6.28	     run=15  nbConstraintChecks=33891285  nbPropagations=1283660  nbRevisions=18789589  nbUselessRevisions=15294924
6.28	     nbAssignments=22048  nbFailedAssignments=8795  nbBacktracks=13133  nbVisitedNodes=38222  nbRestartNogoods=64
6.28	       =>  wckTime=5.412  cpuTime=5.3  mem=15M162
8.87	   
8.87	   search
8.87	     run=16  nbConstraintChecks=50594020  nbPropagations=1920538  nbRevisions=28180075  nbUselessRevisions=22938955
8.87	     nbAssignments=33066  nbFailedAssignments=13235  nbBacktracks=19702  nbVisitedNodes=57401  nbRestartNogoods=73
8.87	       =>  wckTime=8.003  cpuTime=7.86  mem=15M162
12.68	   
12.68	   search
12.68	     run=17  nbConstraintChecks=75647714  nbPropagations=2867253  nbRevisions=42171295  nbUselessRevisions=34334935
12.68	     nbAssignments=49143  nbFailedAssignments=19452  nbBacktracks=29554  nbVisitedNodes=85149  nbRestartNogoods=88
12.68	       =>  wckTime=11.814  cpuTime=11.63  mem=15M162
18.13	   
18.13	   search
18.13	     run=18  nbConstraintChecks=110625658  nbPropagations=4267499  nbRevisions=62797607  nbUselessRevisions=51145358
18.13	     nbAssignments=72854  nbFailedAssignments=28375  nbBacktracks=44334  nbVisitedNodes=125879  nbRestartNogoods=100
18.13	       =>  wckTime=17.263  cpuTime=17.03  mem=15M162
27.19	   
27.19	   search
27.19	     run=19  nbConstraintChecks=170780700  nbPropagations=6399815  nbRevisions=94423682  nbUselessRevisions=76923221
27.19	     nbAssignments=110041  nbFailedAssignments=43382  nbBacktracks=66503  nbVisitedNodes=191025  nbRestartNogoods=112
27.19	       =>  wckTime=26.322  cpuTime=26.01  mem=15M162
30.30	   
30.30	   search
30.30	     run=20  nbConstraintChecks=190963189  nbPropagations=8790561  nbRevisions=129806039  nbUselessRevisions=105754981
30.30	     nbAssignments=123139  nbFailedAssignments=48757  nbBacktracks=74181  nbVisitedNodes=213997  nbRestartNogoods=123
30.30	       =>  wckTime=29.437  cpuTime=29.09  mem=15M162
30.30	   
30.30	   global
30.31	     nbConstraintChecks=190963189  nbPropagations=8790606  nbRevisions=129806039  nbUselessRevisions=105754981
30.31	     nbRestartNogoods=123  solvingWckTime=29.438  solvingCpuTime=29.09  expiredTime=no  totalExploration=no
30.31	     nbFoundSolutions=1  globalCpuTime=29.54
30.31	       =>  wckTime=29.995  cpuTime=29.49  mem=15M162
30.31	   
30.31	s SATISFIABLE
30.31	v 5 5 1 12 18 4 9 19 2 8 6 2 8 13 6 1 1 5 13 12 18 2 7 7 4 11 7 8 7 9 3 18 15 7 17 5 20 5 13 19 7 7 20 8 2 
30.31	d NODES 123139
30.31	d CHECKS 190963189
30.31	   
30.31	   totalWckTime=30.074  totalCpuTime=29.55

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/node10/watcher-217183-1168079350 -o ROOT/results/node10/solver-217183-1168079350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217183-1168079350/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.73 1.96 1.93 4/93 29332
/proc/meminfo: memFree=1569880/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=18540 CPUtime=0
/proc/29331/stat : 29331 (runsolver) R 29329 29331 29264 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156330566 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29331/statm: 4635 279 244 17 0 2626 0

[startup+0.10997 s]
/proc/loadavg: 1.73 1.96 1.93 4/93 29332
/proc/meminfo: memFree=1569880/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=914988 CPUtime=0.09
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 3050 0 1 0 8 1 0 0 17 0 8 0 156330566 936947712 2796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153784897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228747 2796 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.519026 s]
/proc/loadavg: 1.73 1.96 1.93 4/93 29332
/proc/meminfo: memFree=1569880/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915328 CPUtime=0.5
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 7025 0 1 0 46 4 0 0 18 0 8 0 156330566 937295872 6764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228832 6764 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34813 s]
/proc/loadavg: 1.73 1.96 1.93 3/100 29339
/proc/meminfo: memFree=1544672/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=1.32
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9020 0 1 0 126 6 0 0 20 0 8 0 156330566 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8758 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.2
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456

[startup+2.99135 s]
/proc/loadavg: 1.73 1.96 1.93 3/100 29339
/proc/meminfo: memFree=1544544/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=2.95
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9035 0 1 0 289 6 0 0 25 0 8 0 156330566 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8772 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 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) 915456

[startup+6.2708 s]
/proc/loadavg: 1.75 1.96 1.93 3/100 29339
/proc/meminfo: memFree=1544480/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=6.2
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9036 0 1 0 614 6 0 0 25 0 8 0 156330566 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8772 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456

[startup+12.7597 s]
/proc/loadavg: 1.85 1.97 1.94 3/100 29339
/proc/meminfo: memFree=1544608/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=12.62
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9036 0 1 0 1256 6 0 0 25 0 8 0 156330566 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8772 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456

[startup+25.6104 s]
/proc/loadavg: 1.89 1.97 1.94 4/100 29339
/proc/meminfo: memFree=1544672/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=25.36
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9038 0 1 0 2530 6 0 0 25 0 8 0 156330566 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8773 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 30.3408
CPU time (s): 30.0294
CPU user time (s): 29.9584
CPU system time (s): 0.070989
CPU usage (%): 98.9737
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.9584
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9046
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= 1446
involuntary context switches= 2927

runsolver used 0.044993 s user time and 0.100984 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan  6 10:29:12 UTC 2007


IDJOB= 217183
IDBENCH= 5122
FILE ID= node10/217183-1168079350

PBS_JOBID= 3475836

Free space on /tmp= 66355 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217183-1168079350/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-217183-1168079350 -o ROOT/results/node10/solver-217183-1168079350 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217183-1168079350/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  438e8ba11659cae5f336047ba28f6562

RANDOM SEED= 237902636

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.232
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.232
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:       1570360 kB
Buffers:         46316 kB
Cached:         253252 kB
SwapCached:       2420 kB
Active:         167524 kB
Inactive:       229904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570360 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:            2228 kB
Writeback:           0 kB
Mapped:         117484 kB
Slab:            72608 kB
Committed_AS:  4390288 kB
PageTables:       2396 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= 66355 MiB



End job on node10 on Sat Jan  6 10:29:45 UTC 2007