Trace number 280523

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
AbsconMax 109 PFCOPTIMUM 35.8076 36.2192

General information on the benchmark

NameMaxCSP/pedigree/
pedck60-L12_ext.xml
MD5SUMf347c5c20bfca1929a682ccd1028921f
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints102
Best CPU time to get the best result obtained on this benchmark3.07753
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints108
Maximum constraint arity3
Maximum domain size10
Number of constraints which are defined in extension108
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=pfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/280523-1169306484/unknown.xml
0.44	   
0.44	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.49	     nbVariables=61  nbDomainTypes=2  minDomainSize=1  maxDomainSize=10
0.49	       =>  wckTime=0.151  cpuTime=0.1  mem=6M910
0.49	   
0.49	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.56	     nbConstraints=108  nbRelationTypes=6  nbSingletonDomainVariables=1  nbExtensionStructures=6
0.56	     nbSharedExtensionStructures=102  nbConflictsStructures=6  nbSharedConflictsStructures=102
0.56	     nbSharedBinaryRepresentations=49  maxDegree=60  maxArity=3
0.56	       =>  wckTime=0.219  cpuTime=0.14  mem=7M901
0.61	   
0.61	   solver LocalSearchSolver being built... 
0.66	       =>  wckTime=0.316  cpuTime=0.19  mem=5M460
0.67	
0.67	s SATISFIABLE
0.67	o 26
0.67	c 82
0.67	o 28
0.67	c 80
0.67	o 29
0.67	c 79
0.67	o 31
0.67	c 77
0.68	o 33
0.68	c 75
0.68	o 35
0.68	c 73
0.68	o 37
0.68	c 71
0.68	o 39
0.68	c 69
0.68	o 40
0.68	c 68
0.68	o 41
0.68	c 67
0.68	o 42
0.68	c 66
0.68	o 44
0.68	c 64
0.68	o 46
0.68	c 62
0.68	o 48
0.68	c 60
0.69	o 50
0.69	c 58
0.69	o 51
0.69	c 57
0.69	o 53
0.69	c 55
0.69	o 54
0.69	c 54
0.69	o 55
0.69	c 53
0.69	o 56
0.69	c 52
0.69	o 57
0.69	c 51
0.69	o 58
0.69	c 50
0.70	o 59
0.70	c 49
0.70	o 60
0.70	c 48
0.70	o 61
0.70	c 47
0.70	o 62
0.70	c 46
0.70	o 63
0.70	c 45
0.70	o 64
0.70	c 44
0.70	o 66
0.70	c 42
0.70	o 68
0.70	c 40
0.70	o 70
0.70	c 38
0.71	o 72
0.71	c 36
0.71	o 74
0.71	c 34
0.71	o 76
0.71	c 32
0.71	o 77
0.71	c 31
0.71	o 78
0.71	c 30
0.71	o 79
0.71	c 29
0.71	o 80
0.71	c 28
0.71	o 82
0.71	c 26
0.71	o 84
0.71	c 24
0.71	o 86
0.71	c 22
0.71	o 87
0.71	c 21
0.71	o 88
0.71	c 20
0.71	o 89
0.71	c 19
0.71	o 90
0.71	c 18
0.71	o 91
0.71	c 17
0.71	o 93
0.71	c 15
0.71	o 94
0.71	c 14
0.71	o 95
0.71	c 13
0.71	o 96
0.71	c 12
0.72	o 98
0.72	c 10
0.72	o 99
0.72	c 9
0.72	o 100
0.72	c 8
0.73	o 101
0.73	c 7
0.73	o 102
0.73	c 6
3.42	   
3.42	   search
3.42	     run=0  nbConstraintChecks=5282806  nbAssignments=10000
3.42	       =>  wckTime=2.762  cpuTime=2.71  mem=5M460
6.29	   
6.29	   search
6.29	     run=1  nbConstraintChecks=11122480  nbAssignments=20000
6.29	       =>  wckTime=5.638  cpuTime=5.56  mem=5M460
8.96	   
8.96	   search
8.96	     run=2  nbConstraintChecks=16386031  nbAssignments=30000
8.96	       =>  wckTime=8.308  cpuTime=8.21  mem=5M460
11.76	   
11.76	   search
11.76	     run=3  nbConstraintChecks=22049755  nbAssignments=40000
11.76	       =>  wckTime=11.103  cpuTime=10.97  mem=5M460
14.43	   
14.43	   search
14.43	     run=4  nbConstraintChecks=27357362  nbAssignments=50000
14.43	       =>  wckTime=13.773  cpuTime=13.63  mem=5M460
17.26	   
17.26	   search
17.26	     run=5  nbConstraintChecks=33131380  nbAssignments=60000
17.26	       =>  wckTime=16.602  cpuTime=16.43  mem=5M460
19.95	   
19.95	   search
19.95	     run=6  nbConstraintChecks=38471480  nbAssignments=70000
19.95	       =>  wckTime=19.293  cpuTime=19.1  mem=5M460
22.82	   
22.82	   search
22.82	     run=7  nbConstraintChecks=44300175  nbAssignments=80000
22.82	       =>  wckTime=22.164  cpuTime=21.95  mem=5M460
25.51	   
25.51	   search
25.51	     run=8  nbConstraintChecks=49587514  nbAssignments=90000
25.51	       =>  wckTime=24.855  cpuTime=24.62  mem=5M460
28.40	   
28.40	   search
28.40	     run=9  nbConstraintChecks=55456187  nbAssignments=100000
28.40	       =>  wckTime=27.745  cpuTime=27.48  mem=5M460
31.01	   
31.01	   search
31.01	     run=10  nbConstraintChecks=60658717  nbAssignments=109715
31.01	       =>  wckTime=30.354  cpuTime=30.07  mem=5M460
31.01	   
31.01	   global
31.01	     nbConstraintChecks=60658717  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.01	     solvingWckTime=30.351  solvingCpuTime=30.07  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.01	     globalCpuTime=30.32
31.01	       =>  wckTime=30.671  cpuTime=30.26  mem=5M460
31.01	   
31.01	   solver IterativeSystematicSolver being built... 
31.17	       =>  wckTime=30.823  cpuTime=30.38  mem=16M343
31.18	   
31.18	   preprocessing
31.18	     nbConstraintChecks=600  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.18	     detectedInconsistency=no
31.18	       =>  wckTime=0.0070  cpuTime=0.01  mem=16M343
31.25	   
31.25	   search
31.25	     run=0  nbConstraintChecks=34240  nbValidityChecks=28679  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.25	     nbAssignments=72  nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=93  nbRestartNogoods=0
31.25	       =>  wckTime=0.081  cpuTime=0.06  mem=17M384
31.29	   
31.29	   search
31.29	     run=1  nbConstraintChecks=70619  nbValidityChecks=62616  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.29	     nbAssignments=155  nbFailedAssignments=26  nbBacktracks=25  nbVisitedNodes=207  nbRestartNogoods=5
31.29	       =>  wckTime=0.127  cpuTime=0.09  mem=17M384
31.33	   
31.33	   search
31.33	     run=2  nbConstraintChecks=110365  nbValidityChecks=102488  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.33	     nbAssignments=250  nbFailedAssignments=48  nbBacktracks=47  nbVisitedNodes=346  nbRestartNogoods=11
31.33	       =>  wckTime=0.164  cpuTime=0.12  mem=17M384
31.37	   
31.37	   search
31.37	     run=3  nbConstraintChecks=156664  nbValidityChecks=154635  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.37	     nbAssignments=363  nbFailedAssignments=78  nbBacktracks=80  nbVisitedNodes=522  nbRestartNogoods=14
31.37	       =>  wckTime=0.203  cpuTime=0.15  mem=17M384
31.40	   
31.40	   search
31.40	     run=4  nbConstraintChecks=202133  nbValidityChecks=201036  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.40	     nbAssignments=491  nbFailedAssignments=104  nbBacktracks=131  nbVisitedNodes=727  nbRestartNogoods=19
31.40	       =>  wckTime=0.237  cpuTime=0.19  mem=17M384
31.45	   
31.45	   search
31.45	     run=5  nbConstraintChecks=255649  nbValidityChecks=259546  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.45	     nbAssignments=654  nbFailedAssignments=139  nbBacktracks=207  nbVisitedNodes=1001  nbRestartNogoods=27
31.45	       =>  wckTime=0.279  cpuTime=0.23  mem=17M384
31.53	   
31.53	   search
31.53	     run=6  nbConstraintChecks=350451  nbValidityChecks=398998  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.53	     nbAssignments=921  nbFailedAssignments=242  nbBacktracks=321  nbVisitedNodes=1485  nbRestartNogoods=34
31.53	       =>  wckTime=0.365  cpuTime=0.31  mem=17M384
31.68	   
31.68	   search
31.68	     run=7  nbConstraintChecks=496006  nbValidityChecks=644179  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.68	     nbAssignments=1312  nbFailedAssignments=416  nbBacktracks=492  nbVisitedNodes=2221  nbRestartNogoods=37
31.68	       =>  wckTime=0.509  cpuTime=0.44  mem=17M384
32.36	   
32.36	   search
32.36	     run=8  nbConstraintChecks=988278  nbValidityChecks=1222550  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.36	     nbAssignments=1773  nbFailedAssignments=611  nbBacktracks=753  nbVisitedNodes=3135  nbRestartNogoods=42
32.36	       =>  wckTime=1.196  cpuTime=1.11  mem=17M384
32.64	   
32.64	   search
32.64	     run=9  nbConstraintChecks=1278616  nbValidityChecks=1778809  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.64	     nbAssignments=2594  nbFailedAssignments=998  nbBacktracks=1137  nbVisitedNodes=4727  nbRestartNogoods=50
32.64	       =>  wckTime=1.471  cpuTime=1.38  mem=17M384
33.04	   
33.04	   search
33.04	     run=10  nbConstraintChecks=1700012  nbValidityChecks=2618616  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.04	     nbAssignments=3761  nbFailedAssignments=1540  nbBacktracks=1713  nbVisitedNodes=7012  nbRestartNogoods=60
33.04	       =>  wckTime=1.878  cpuTime=1.77  mem=17M384
35.36	   
35.36	   search
35.36	     run=11  nbConstraintChecks=3116466  nbValidityChecks=4250684  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.36	     nbAssignments=5119  nbFailedAssignments=2029  nbBacktracks=2578  nbVisitedNodes=9723  nbRestartNogoods=70
35.36	       =>  wckTime=4.19  cpuTime=4.06  mem=17M384
36.15	   
36.15	   search
36.15	     run=12  nbConstraintChecks=3634444  nbValidityChecks=4834197  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.15	     nbAssignments=5543  nbFailedAssignments=2189  nbBacktracks=2843  nbVisitedNodes=10571  nbRestartNogoods=72
36.15	       =>  wckTime=4.985  cpuTime=4.87  mem=17M384
36.15	   
36.15	   global
36.15	     nbConstraintChecks=3635044  nbValidityChecks=4834197  nbRestartNogoods=72  solvingWckTime=4.986
36.15	     solvingCpuTime=4.87  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=35.31
36.15	       =>  wckTime=35.81  cpuTime=35.25  mem=17M384
36.16	
36.16	s OPTIMUM FOUND
36.16	v 1 5 1 5 4 4 4 1 0 4 4 1 1 4 5 4 0 4 5 1 1 4 1 4 5 1 0 4 4 4 1 5 1 4 5 1 1 4 1 4 4 4 1 4 4 4 4 1 1 1 4 4 4 4 1 4 1 4 4 1 -1 
36.16	   
36.16	   totalWckTime=35.9  totalCpuTime=35.31

Verifier Data (download as text)

6 unsatisfied constraints, 102 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-280523-1169306484 -o ROOT/results/node50/solver-280523-1169306484 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280523-1169306484/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.10 1.31 1.62 4/74 12211
/proc/meminfo: memFree=777640/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=18540 CPUtime=0
/proc/12210/stat : 12210 (runsolver) R 12208 12210 11924 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279047001 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12210/statm: 4635 279 244 17 0 2626 0

[startup+0.107694 s]
/proc/loadavg: 1.10 1.31 1.62 4/74 12211
/proc/meminfo: memFree=777640/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=913068 CPUtime=0.09
/proc/12210/stat : 12210 (java) S 12208 12210 11924 0 -1 0 2873 0 1 0 7 2 0 0 18 0 8 0 279047001 934981632 2619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913068

[startup+0.51576 s]
/proc/loadavg: 1.10 1.31 1.62 4/74 12211
/proc/meminfo: memFree=777640/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=915332 CPUtime=0.46
/proc/12210/stat : 12210 (java) R 12208 12210 11924 0 -1 0 6175 0 1 0 40 6 0 0 18 0 8 0 279047001 937299968 5914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228833 5914 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332

[startup+1.33889 s]
/proc/loadavg: 1.10 1.31 1.62 3/81 12218
/proc/meminfo: memFree=760368/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=915332 CPUtime=1.26
/proc/12210/stat : 12210 (java) R 12208 12210 11924 0 -1 0 6968 0 1 0 111 15 0 0 24 0 8 0 279047001 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228833 6706 2477 14 0 215303 0
[pid=12210/tid=12212] ppid=12208 vsize=915332 CPUtime=0.03
/proc/12210/task/12212/stat : 12212 (java) S 12208 12210 11924 0 -1 64 143 0 0 0 3 0 0 0 16 0 8 0 279047005 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12213] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12213/stat : 12213 (java) S 12208 12210 11924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279047006 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12214] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12214/stat : 12214 (java) S 12208 12210 11924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279047006 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12215] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12215/stat : 12215 (java) S 12208 12210 11924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12216] ppid=12208 vsize=915332 CPUtime=0.12
/proc/12210/task/12216/stat : 12216 (java) S 12208 12210 11924 0 -1 64 322 0 0 0 11 1 0 0 16 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12217] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12217/stat : 12217 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12218] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12218/stat : 12218 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915332

[startup+2.98617 s]
/proc/loadavg: 1.10 1.31 1.62 3/81 12218
/proc/meminfo: memFree=760368/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=915332 CPUtime=2.9
/proc/12210/stat : 12210 (java) R 12208 12210 11924 0 -1 0 6969 0 1 0 250 40 0 0 25 0 8 0 279047001 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228833 6706 2477 14 0 215303 0
[pid=12210/tid=12212] ppid=12208 vsize=915332 CPUtime=0.03
/proc/12210/task/12212/stat : 12212 (java) S 12208 12210 11924 0 -1 64 143 0 0 0 3 0 0 0 16 0 8 0 279047005 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12213] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12213/stat : 12213 (java) S 12208 12210 11924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279047006 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12214] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12214/stat : 12214 (java) S 12208 12210 11924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279047006 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12215] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12215/stat : 12215 (java) S 12208 12210 11924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12216] ppid=12208 vsize=915332 CPUtime=0.12
/proc/12210/task/12216/stat : 12216 (java) S 12208 12210 11924 0 -1 64 322 0 0 0 11 1 0 0 16 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12217] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12217/stat : 12217 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12218] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12218/stat : 12218 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279047009 937299968 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915332

[startup+6.27172 s]
/proc/loadavg: 1.17 1.32 1.62 3/81 12218
/proc/meminfo: memFree=760368/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=915332 CPUtime=6.16
/proc/12210/stat : 12210 (java) R 12208 12210 11924 0 -1 0 6972 0 1 0 529 87 0 0 25 0 8 0 279047001 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228833 6709 2477 14 0 215303 0
[pid=12210/tid=12212] ppid=12208 vsize=915332 CPUtime=0.03
/proc/12210/task/12212/stat : 12212 (java) S 12208 12210 11924 0 -1 64 143 0 0 0 3 0 0 0 16 0 8 0 279047005 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12213] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12213/stat : 12213 (java) S 12208 12210 11924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279047006 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12214] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12214/stat : 12214 (java) S 12208 12210 11924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279047006 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12215] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12215/stat : 12215 (java) S 12208 12210 11924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12216] ppid=12208 vsize=915332 CPUtime=0.12
/proc/12210/task/12216/stat : 12216 (java) S 12208 12210 11924 0 -1 64 325 0 0 0 11 1 0 0 16 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12217] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12217/stat : 12217 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12218] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12218/stat : 12218 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915332

[startup+12.7568 s]
/proc/loadavg: 1.24 1.33 1.62 3/81 12218
/proc/meminfo: memFree=760368/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=915332 CPUtime=12.58
/proc/12210/stat : 12210 (java) R 12208 12210 11924 0 -1 0 6972 0 1 0 1073 185 0 0 25 0 8 0 279047001 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228833 6709 2477 14 0 215303 0
[pid=12210/tid=12212] ppid=12208 vsize=915332 CPUtime=0.03
/proc/12210/task/12212/stat : 12212 (java) S 12208 12210 11924 0 -1 64 143 0 0 0 3 0 0 0 16 0 8 0 279047005 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12213] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12213/stat : 12213 (java) S 12208 12210 11924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279047006 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12214] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12214/stat : 12214 (java) S 12208 12210 11924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279047006 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12215] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12215/stat : 12215 (java) S 12208 12210 11924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12216] ppid=12208 vsize=915332 CPUtime=0.12
/proc/12210/task/12216/stat : 12216 (java) S 12208 12210 11924 0 -1 64 325 0 0 0 11 1 0 0 16 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12217] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12217/stat : 12217 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12218] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12218/stat : 12218 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915332

[startup+25.599 s]
/proc/loadavg: 1.41 1.36 1.63 3/81 12218
/proc/meminfo: memFree=760368/2055920 swapFree=4191892/4192956
[pid=12210] ppid=12208 vsize=915332 CPUtime=25.33
/proc/12210/stat : 12210 (java) R 12208 12210 11924 0 -1 0 6972 0 1 0 2162 371 0 0 25 0 8 0 279047001 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12210/statm: 228833 6709 2477 14 0 215303 0
[pid=12210/tid=12212] ppid=12208 vsize=915332 CPUtime=0.03
/proc/12210/task/12212/stat : 12212 (java) S 12208 12210 11924 0 -1 64 143 0 0 0 3 0 0 0 16 0 8 0 279047005 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12213] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12213/stat : 12213 (java) S 12208 12210 11924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279047006 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12214] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12214/stat : 12214 (java) S 12208 12210 11924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279047006 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12215] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12215/stat : 12215 (java) S 12208 12210 11924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12216] ppid=12208 vsize=915332 CPUtime=0.12
/proc/12210/task/12216/stat : 12216 (java) S 12208 12210 11924 0 -1 64 325 0 0 0 11 1 0 0 16 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12217] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12217/stat : 12217 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12210/tid=12218] ppid=12208 vsize=915332 CPUtime=0
/proc/12210/task/12218/stat : 12218 (java) S 12208 12210 11924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279047009 937299968 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915332

Child status: 0
Real time (s): 36.2192
CPU time (s): 35.8076
CPU user time (s): 31.3132
CPU system time (s): 4.49432
CPU usage (%): 98.8634
Max. virtual memory (cumulated for all children) (KiB): 915848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3132
system time used= 4.49432
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9279
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= 1810
involuntary context switches= 2945

runsolver used 0.049992 s user time and 0.13098 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan 20 15:21:24 UTC 2007


IDJOB= 280523
IDBENCH= 11869
IDSOLVER= 69
FILE ID= node50/280523-1169306484

PBS_JOBID= 3610166

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pedigree/pedck60-L12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280523-1169306484/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-280523-1169306484 -o ROOT/results/node50/solver-280523-1169306484 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280523-1169306484/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f347c5c20bfca1929a682ccd1028921f

RANDOM SEED= 402710206

TIME LIMIT= 2400 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.263
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	: 5931.00
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.263
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:        778056 kB
Buffers:         57640 kB
Cached:         697360 kB
SwapCached:        276 kB
Active:         637672 kB
Inactive:       556964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        778056 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4616 kB
Writeback:           0 kB
Mapped:         449712 kB
Slab:            67740 kB
Committed_AS:  6134708 kB
PageTables:       2700 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= 66561 MiB



End job on node50 on Sat Jan 20 15:22:01 UTC 2007