Trace number 201485

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 85.215 85.4355

DiagnosticValue
CHECKS127883389
NODES4117

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-8.xml
MD5SUM5e81a4b26673d50f35769983d5101c1c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.4427
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/201485-1168072369/unknown.xml
0.35	   
0.35	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.53	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.53	       =>  wckTime=0.24  cpuTime=0.18  mem=17M630
0.53	   
0.53	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
4.55	   
4.55	   INFO : Stopping converting binary constraints (cpu=4.07, mem = 22M98)
6.69	     nbConstraints=8005  nbMergedConstraints=7027  nbConvertedConstraints=70  nbConvertConstraintsChecks=6064620
6.69	     nbExtensionStructures=67  nbSharedExtensionStructures=3  nbConflictsStructures=67  nbSharedConflictsStructures=3
6.69	     nbSharedBinaryRepresentations=19480  nbEvaluationManagers=6598  nbSharedEvaluationManagers=1337  maxDegree=27
6.69	     maxArity=2
6.69	       =>  wckTime=6.402  cpuTime=5.96  mem=69M211
6.85	   
6.85	   solver IterativeSystematicSolver being built... 
7.20	       =>  wckTime=6.905  cpuTime=6.22  mem=67M490
31.89	   
31.89	   preprocessing
31.89	     nbConstraintChecks=47178011  nbValidityChecks=1456375  nbPropagations=1340  nbRevisions=24920
31.89	     nbUselessRevisions=22455  nbRemovedValues=141907  detectedInconsistency=no
31.89	       =>  wckTime=24.687  cpuTime=24.64  mem=67M490
41.46	   
41.46	   search
41.46	     run=0  nbConstraintChecks=15695260  nbValidityChecks=11135432  nbPropagations=10028  nbRevisions=141863
41.46	     nbUselessRevisions=129301  nbAssignments=305  nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=322
41.46	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
41.46	       =>  wckTime=34.255  cpuTime=34.1  mem=78M879
49.00	   
49.00	   search
49.00	     run=1  nbConstraintChecks=27518054  nbValidityChecks=25023702  nbPropagations=31486  nbRevisions=448921
49.00	     nbUselessRevisions=404509  nbAssignments=876  nbFailedAssignments=95  nbBacktracks=26  nbVisitedNodes=987
49.00	     nbRestartNogoods=6  mapSize=18  nbInferences=0  nbTooLargeKeys=0
49.00	       =>  wckTime=41.794  cpuTime=41.63  mem=93M995
52.82	   
52.82	   search
52.82	     run=2  nbConstraintChecks=33310114  nbValidityChecks=37449364  nbPropagations=62991  nbRevisions=895248
52.82	     nbUselessRevisions=805213  nbAssignments=1383  nbFailedAssignments=133  nbBacktracks=49  nbVisitedNodes=1543
52.82	     nbRestartNogoods=19  mapSize=32  nbInferences=2  nbTooLargeKeys=0
52.82	       =>  wckTime=45.612  cpuTime=45.37  mem=81M891
58.20	   
58.20	   search
58.20	     run=3  nbConstraintChecks=41126853  nbValidityChecks=52338758  nbPropagations=105624  nbRevisions=1512840
58.20	     nbUselessRevisions=1354728  nbAssignments=1858  nbFailedAssignments=236  nbBacktracks=84  nbVisitedNodes=2139
58.20	     nbRestartNogoods=20  mapSize=60  nbInferences=2  nbTooLargeKeys=0
58.20	       =>  wckTime=50.991  cpuTime=50.73  mem=94M397
66.31	   
66.31	   search
66.31	     run=4  nbConstraintChecks=53097467  nbValidityChecks=69825306  nbPropagations=161759  nbRevisions=2355395
66.31	     nbUselessRevisions=2096493  nbAssignments=2338  nbFailedAssignments=372  nbBacktracks=134  nbVisitedNodes=2780
66.31	     nbRestartNogoods=23  mapSize=100  nbInferences=4  nbTooLargeKeys=0
66.31	       =>  wckTime=59.106  cpuTime=58.84  mem=105M841
77.08	   
77.08	   search
77.08	     run=5  nbConstraintChecks=68138345  nbValidityChecks=93524255  nbPropagations=236677  nbRevisions=3531765
77.08	     nbUselessRevisions=3112719  nbAssignments=2930  nbFailedAssignments=596  nbBacktracks=214  nbVisitedNodes=3628
77.08	     nbRestartNogoods=25  mapSize=153  nbInferences=4  nbTooLargeKeys=0
77.08	       =>  wckTime=69.873  cpuTime=69.6  mem=117M610
85.37	   
85.37	   search
85.37	     run=6  nbConstraintChecks=80705378  nbValidityChecks=107562194  nbPropagations=326723  nbRevisions=4890183
85.37	     nbUselessRevisions=4291829  nbAssignments=4117  nbFailedAssignments=759  nbBacktracks=238  nbVisitedNodes=4992
85.37	     nbRestartNogoods=27  mapSize=171  nbInferences=4  nbTooLargeKeys=0
85.37	       =>  wckTime=78.161  cpuTime=77.84  mem=104M619
85.37	   
85.37	   global
85.37	     nbConstraintChecks=127883389  nbValidityChecks=109018569  nbPropagations=328063  nbRevisions=4915103
85.37	     nbUselessRevisions=4314284  nbRestartNogoods=27  solvingWckTime=78.162  solvingCpuTime=77.84  expiredTime=no
85.37	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=84.12
85.37	       =>  wckTime=85.076  cpuTime=84.07  mem=104M619
85.37	   
85.37	s SATISFIABLE
85.37	v -2020 -2716 -2076 2032 -2060 2740 -2100 2348 -2740 -2392 -2048 2668 -2096 -2484 -2632 -2696 2244 2708 -2536 -2496 -2092 2020 2312 -2388 -2292 -2452 2596 2572 -2740 -2608 -2036 -2740 -2532 2388 2700 -2060 -2116 2144 -2328 -2536 -2636 -2512 -2152 2452 -2148 2476 -2132 -2144 2196 -2476 -2280 2492 2348 -2256 -2476 -2584 2684 -2252 -2652 -2212 -2684 2444 -2136 2528 2408 -2268 2060 -2356 2620 2036 -2300 -2224 -2636 -2640 2448 -2444 -2544 -2296 2740 -2332 -2616 2040 2596 -2360 2060 2416 2160 2488 2284 -2592 -2288 -2648 2568 2104 -2024 -2504 2060 -2332 -2536 2060 -2172 2340 -2484 2324 2628 -2532 2656 -2700 2672 -2372 2624 -2556 -2700 -2540 2588 2068 2360 -2184 2664 2236 -2296 2528 -2060 2676 -2172 -2204 -2668 -2620 -2700 -2432 -2560 -2696 2180 -2344 -2164 2036 -2344 2700 -2600 -2740 -2648 2088 2180 -2064 -2264 2188 2452 -2700 -2704 -2356 -2232 -2304 -2132 -2640 -2036 2660 2316 2736 -2264 2160 2600 -2600 2596 2340 2444 -2172 -2272 -2428 -2696 -2740 -2516 2684 2308 -2128 2368 -2532 2188 -2136 -2444 2692 2620 -2624 2332 -2348 -2476 -2260 2516 -2536 -2640 2180 2068 2404 2188 -2060 2496 -2036 2256 2092 2308 2612 -2464 -2304 2060 -2728 -2340 -2524 2636 2064 2700 -2068 -2700 2436 -2160 2528 -2740 -2616 -2348 -2640 -2080 2484 -2192 -2156 -2084 -2436 -2740 -2660 -2484 2536 -2356 -2404 2648 -2724 -2632 -2356 2664 -2548 -2468 2028 2308 2332 2540 -2376 -2060 2624 -2696 -2540 2556 -2712 -2224 -2204 -2564 2060 2120 -2688 2244 -2116 -2256 -2700 2300 2700 -2020 2128 -2088 2432 2660 -2140 -2472 -2520 -2064 -2028 2408 2304 -2724 2740 -2092 -2092 -2516 -2512 -2228 -2728 2120 -2528 -2204 -2108 -2556 2436 -2140 -2688 2724 2052 2536 -2696 -2256 -2336 -2104 -2424 -2664 2372 2392 -2216 -2332 -2120 2224 -2600 -2736 -2316 2700 -2524 -2324 -2340 -2476 -2148 -2320 -2256 -2524 2548 -2112 -2064 -2060 -2184 -2472 2524 -2696 -2040 -2120 -2484 2672 -2708 -2372 -2668 -2556 2020 2020 -2444 2028 2020 -2224 -2472 -2076 2576 -2196 -2092 2284 -2588 -2228 2568 2296 -2724 2600 -2256 -2696 -2104 2080 -2560 -2400 -2668 -2556 2348 -2364 2384 2576 2484 -2084 2136 -2368 -2600 -2020 2052 2700 2504 -2644 2156 2036 -2228 2696 -2576 -2700 -2628 2420 -2144 2120 2044 2740 2080 -2120 2248 -2056 -2568 2240 -2260 2072 2588 2600 -2324 -2408 -2044 2088 2668 -2388 -2184 2608 2256 -2172 -2596 -2120 -2568 2460 2292 -2400 -2700 2224 -2528 2708 -2608 -2700 -2328 -2532 2252 2612 -2700 -2544 -2176 2640 -2640 -2392 2128 2380 2084 2544 2292 -2376 -2700 2204 2596 -2456 -2740 -2268 2116 -2068 -2384 2024 -2200 2148 -2740 2700 -2164 2544 -2628 2556 -2664 -2076 2336 -2696 2568 2628 -2484 -2372 2580 -2364 -2644 2708 -2336 -2424 -2072 -2576 -2700 -2684 2524 -2284 -2184 -2516 2060 -2228 -2396 -2196 -2740 2436 -2556 2396 2152 -2404 -2680 2552 -2292 2504 2048 2632 -2664 -2564 -2284 -2740 -2684 -2508 -2440 2356 2036 2056 2696 2352 2568 -2404 2276 -2028 2492 -2684 -2588 -2064 -2260 2432 -2160 2476 -2300 -2384 2648 -2524 2740 2332 -2132 2672 -2740 -2740 2464 2580 -2180 -2448 2476 -2304 -2684 2336 -2656 2500 -2436 2096 -2584 2140 -2388 2104 -2656 -2596 -2368 2668 -2520 2516 -2464 -2280 2312 -2464 -2740 -2620 -2624 2168 2668 2716 -2444 -2376 -2200 -2556 -2220 2600 -2184 2440 -2244 -2716 2128 2336 2112 -2108 -2644 -2732 2020 -2528 2140 2232 -2020 2432 2444 -2124 -2540 -2596 2664 2480 -2160 -2608 -2360 -2076 -2564 -2344 -2128 2712 -2020 2380 2556 -2600 2236 -2700 -2740 -2340 -2400 2572 2088 2316 -2688 2036 -2736 -2572 -2296 -2276 -2096 -2244 -2628 -2660 -2580 -2504 2496 -2352 2200 -2352 -2216 2604 2676 -2684 -2176 -2344 -2020 2220 2688 2160 -2144 -2656 2684 -2420 2548 2436 2024 2476 -2504 2500 -2380 -2504 -2700 2396 -2060 -2344 -2296 -2096 -2072 -2080 -2024 -2528 2128 -2576 -2028 -2492 -2596 -2392 -2228 2060 2408 -2220 2136 -2504 -2480 2060 -2332 2140 2100 -2700 -2560 -2720 -2232 -2372 2208 -2412 -2236 -2544 -2712 -2440 -2272 2460 2020 2700 2552 2472 2568 -2328 -2300 2060 -2640 -2356 2312 -2096 -2132 -2396 2652 -2044 -2592 -2724 -2336 2284 -2104 -2496 2228 2020 2108 -2688 -2364 -2740 -2508 -2068 -2456 2392 -2216 2076 2496 2352 -2504 -2272 -2464 -2136 -2064 -2540 2312 2432 2100 -2184 2268 2656 -2364 2232 -2464 2724 -2564 2168 2440 -2096 -2144 -2668 2268 -2724 -2304 2104 2036 -2120 2728 2396 2676 2320 -2032 2592 -2244 2500 -2076 -2316 2360 -2224 -2412 -2688 -2632 2248 -2420 -2336 2584 -2356 -2492 -2076 2304 -2456 -2568 2168 2600 2332 2740 -2404 2740 -2280 -2604 -2180 2044 -2352 2152 -2700 -2076 -2536 -2076 -2592 -2024 -2684 2396 -2176 2324 2616 2060 -2628 2680 2516 -2272 -2656 2392 2480 -2500 2672 2596 -2444 -2328 2684 -2272 2020 2436 2428 -2460 2700 -2616 2668 2208 -2040 -2364 -2400 2064 2556 2524 2640 2700 -2292 -2212 2676 2656 -2684 2344 2204 -2372 -2064 -2068 2428 -2608 -2540 -2100 -2660 -2376 2700 -2664 2020 -2292 -2560 -2724 2604 2580 2624 -2580 2104 2144 -2584 -2484 2188 -2080 2020 -2324 -2500 -2564 -2076 -2624 2464 2312 2196 -2728 -2240 2212 -2596 -2740 2356 -2148 -2504 2528 -2372 -2292 2468 2296 -2144 2020 2104 2404 -2252 -2220 -2508 2628 -2684 2576 -2136 2504 -2388 -2724 2028 -2700 -2464 -2216 2148 -2164 2464 -2252 -2700 -2520 2640 -2624 -2088 -2672 -2376 2292 2424 -2308 2444 -2332 -2108 2728 -2104 2360 -2456 -2184 -2740 -2536 2348 -2056 2160 -2632 -2388 2688 -2304 -2108 -2160 -2464 2060 2672 2348 2724 2556 2700 2368 2628 -2368 -2320 2352 2556 -2348 -2412 2320 -2628 -2172 -2400 2212 2116 -2480 2344 -2076 -2668 -2396 -2540 2264 2336 -2332 -2564 -2728 2156 2420 2060 -2424 -2168 -2084 -2296 2316 -2176 -2052 -2496 2740 -2436 2388 2292 -2064 2412 2020 -2124 -2396 -2220 2068 -2596 2656 -2432 -2084 2448 -2112 -2680 -2724 2496 2020 2740 2676 -2644 -2636 -2460 2488 -2692 2544 2736 
85.37	d NODES 4117
85.37	d CHECKS 127883389
85.37	   
85.37	   totalWckTime=85.152  totalCpuTime=84.13

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/node43/watcher-201485-1168072369 -o ROOT/results/node43/solver-201485-1168072369 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201485-1168072369/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.77 1.95 1.82 5/80 5444
/proc/meminfo: memFree=1627984/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=18540 CPUtime=0
/proc/5443/stat : 5443 (runsolver) R 5441 5443 4974 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155636032 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5443/statm: 4635 279 244 17 0 2626 0

[startup+0.104111 s]
/proc/loadavg: 1.77 1.95 1.82 5/80 5444
/proc/meminfo: memFree=1627984/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=914988 CPUtime=0.08
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 3052 0 1 0 7 1 0 0 22 0 8 0 155636032 936947712 2798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155840664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5443/statm: 228747 2798 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512179 s]
/proc/loadavg: 1.77 1.95 1.82 5/80 5444
/proc/meminfo: memFree=1627984/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915328 CPUtime=0.48
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 8050 0 1 0 44 4 0 0 25 0 8 0 155636032 937295872 7789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5443/statm: 228832 7789 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33331 s]
/proc/loadavg: 1.79 1.95 1.82 3/87 5451
/proc/meminfo: memFree=1560728/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915628 CPUtime=1.3
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 21264 0 1 0 120 10 0 0 25 0 8 0 155636032 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5443/statm: 228907 21001 2180 14 0 215377 0
[pid=5443/tid=5445] ppid=5441 vsize=915628 CPUtime=0.06
/proc/5443/task/5445/stat : 5445 (java) S 5441 5443 4974 0 -1 64 4660 0 0 0 5 1 0 0 16 0 8 0 155636036 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5446] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5446/stat : 5446 (java) S 5441 5443 4974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5447] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5447/stat : 5447 (java) S 5441 5443 4974 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5448] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5448/stat : 5448 (java) S 5441 5443 4974 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155636040 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5449] ppid=5441 vsize=915628 CPUtime=0.16
/proc/5443/task/5449/stat : 5449 (java) S 5441 5443 4974 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 155636040 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5450] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5450/stat : 5450 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155636040 937603072 21001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5451] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5451/stat : 5451 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155636040 937603072 21001 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) 915628

[startup+2.97758 s]
/proc/loadavg: 1.79 1.95 1.82 3/87 5451
/proc/meminfo: memFree=1552216/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915628 CPUtime=2.95
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 21269 0 1 0 284 11 0 0 25 0 8 0 155636032 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5443/statm: 228907 21005 2180 14 0 215377 0
[pid=5443/tid=5445] ppid=5441 vsize=915628 CPUtime=0.06
/proc/5443/task/5445/stat : 5445 (java) S 5441 5443 4974 0 -1 64 4660 0 0 0 5 1 0 0 17 0 8 0 155636036 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5446] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5446/stat : 5446 (java) S 5441 5443 4974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5447] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5447/stat : 5447 (java) S 5441 5443 4974 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5448] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5448/stat : 5448 (java) S 5441 5443 4974 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155636040 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5449] ppid=5441 vsize=915628 CPUtime=0.16
/proc/5443/task/5449/stat : 5449 (java) S 5441 5443 4974 0 -1 64 414 0 0 0 16 0 0 0 15 0 8 0 155636040 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5450] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5450/stat : 5450 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155636040 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5451] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5451/stat : 5451 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155636040 937603072 21005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915628

[startup+6.27033 s]
/proc/loadavg: 1.79 1.95 1.82 2/75 5459
/proc/meminfo: memFree=1620088/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915628 CPUtime=6.23
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 24137 0 1 0 610 13 0 0 17 0 8 0 155636032 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153901908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5443/statm: 228907 23870 2181 14 0 215377 0
[pid=5443/tid=5445] ppid=5441 vsize=915628 CPUtime=0.24
/proc/5443/task/5445/stat : 5445 (java) S 5441 5443 4974 0 -1 64 7499 0 0 0 21 3 0 0 16 0 8 0 155636036 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5446] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5446/stat : 5446 (java) S 5441 5443 4974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5447] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5447/stat : 5447 (java) S 5441 5443 4974 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5448] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5448/stat : 5448 (java) S 5441 5443 4974 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155636040 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5449] ppid=5441 vsize=915628 CPUtime=0.21
/proc/5443/task/5449/stat : 5449 (java) S 5441 5443 4974 0 -1 64 439 0 0 0 20 1 0 0 15 0 8 0 155636040 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5450] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5450/stat : 5450 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155636040 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5451] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5451/stat : 5451 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155636040 937603072 23870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915628

[startup+12.7482 s]
/proc/loadavg: 1.75 1.93 1.82 3/87 5507
/proc/meminfo: memFree=1516440/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915628 CPUtime=12.69
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 30024 0 1 0 1253 16 0 0 25 0 8 0 155636032 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5443/statm: 228907 29752 2533 14 0 215377 0
[pid=5443/tid=5445] ppid=5441 vsize=915628 CPUtime=0.42
/proc/5443/task/5445/stat : 5445 (java) S 5441 5443 4974 0 -1 64 12921 0 0 0 38 4 0 0 16 0 8 0 155636036 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5446] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5446/stat : 5446 (java) S 5441 5443 4974 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155636037 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5447] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5447/stat : 5447 (java) S 5441 5443 4974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155636037 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5448] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5448/stat : 5448 (java) S 5441 5443 4974 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155636040 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5449] ppid=5441 vsize=915628 CPUtime=0.28
/proc/5443/task/5449/stat : 5449 (java) S 5441 5443 4974 0 -1 64 488 0 0 0 27 1 0 0 15 0 8 0 155636040 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5450] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5450/stat : 5450 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155636040 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5451] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5451/stat : 5451 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155636040 937603072 29752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915628

[startup+25.5953 s]
/proc/loadavg: 1.71 1.92 1.81 2/72 5521
/proc/meminfo: memFree=1602192/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915628 CPUtime=25.52
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 30025 0 1 0 2536 16 0 0 25 0 8 0 155636032 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5443/statm: 228907 29753 2533 14 0 215377 0
[pid=5443/tid=5445] ppid=5441 vsize=915628 CPUtime=0.42
/proc/5443/task/5445/stat : 5445 (java) S 5441 5443 4974 0 -1 64 12921 0 0 0 38 4 0 0 16 0 8 0 155636036 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5446] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5446/stat : 5446 (java) S 5441 5443 4974 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155636037 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5447] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5447/stat : 5447 (java) S 5441 5443 4974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155636037 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5448] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5448/stat : 5448 (java) S 5441 5443 4974 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155636040 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5449] ppid=5441 vsize=915628 CPUtime=0.28
/proc/5443/task/5449/stat : 5449 (java) S 5441 5443 4974 0 -1 64 489 0 0 0 27 1 0 0 16 0 8 0 155636040 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5450] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5450/stat : 5450 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155636040 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5451] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5451/stat : 5451 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155636040 937603072 29753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915628

[startup+51.2756 s]
/proc/loadavg: 1.47 1.85 1.79 2/72 5521
/proc/meminfo: memFree=1580448/2055920 swapFree=4192812/4192956
[pid=5443] ppid=5441 vsize=915628 CPUtime=51.1
/proc/5443/stat : 5443 (java) R 5441 5443 4974 0 -1 0 35568 0 1 0 5091 19 0 0 24 0 8 0 155636032 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5443/statm: 228907 35285 2538 14 0 215377 0
[pid=5443/tid=5445] ppid=5441 vsize=915628 CPUtime=0.48
/proc/5443/task/5445/stat : 5445 (java) S 5441 5443 4974 0 -1 64 18428 0 0 0 42 6 0 0 16 0 8 0 155636036 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5446] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5446/stat : 5446 (java) S 5441 5443 4974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5447] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5447/stat : 5447 (java) S 5441 5443 4974 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155636037 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5448] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5448/stat : 5448 (java) S 5441 5443 4974 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155636040 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5449] ppid=5441 vsize=915628 CPUtime=0.31
/proc/5443/task/5449/stat : 5449 (java) S 5441 5443 4974 0 -1 64 509 0 0 0 30 1 0 0 16 0 8 0 155636040 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5443/tid=5450] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5450/stat : 5450 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155636040 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5443/tid=5451] ppid=5441 vsize=915628 CPUtime=0
/proc/5443/task/5451/stat : 5451 (java) S 5441 5443 4974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155636040 937603072 35285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915628

Child status: 0
Real time (s): 85.4355
CPU time (s): 85.215
CPU user time (s): 84.9761
CPU system time (s): 0.238963
CPU usage (%): 99.742
Max. virtual memory (cumulated for all children) (KiB): 915628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.9761
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39151
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= 3236
involuntary context switches= 3104

runsolver used 0.088986 s user time and 0.225965 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Jan  6 08:32:49 UTC 2007


IDJOB= 201485
IDBENCH= 3766
FILE ID= node43/201485-1168072369

PBS_JOBID= 3475944

Free space on /tmp= 66478 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201485-1168072369/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-201485-1168072369 -o ROOT/results/node43/solver-201485-1168072369 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201485-1168072369/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5e81a4b26673d50f35769983d5101c1c

RANDOM SEED= 468312270

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.278
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.278
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:       1628464 kB
Buffers:         25112 kB
Cached:         237776 kB
SwapCached:          0 kB
Active:         137384 kB
Inactive:       222412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1628464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7500 kB
Writeback:           0 kB
Mapped:         116288 kB
Slab:            52984 kB
Committed_AS:  3645488 kB
PageTables:       1940 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= 66481 MiB



End job on node43 on Sat Jan  6 08:34:15 UTC 2007