Trace number 201295

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 349.37 351.486

DiagnosticValue
CHECKS510245647
NODES12475

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-8.xml
MD5SUM71ff924c9efc7ec0b5708a6b6a81ed9a
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 benchmark215.487
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/201295-1168072310/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.66	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310
0.66	       =>  wckTime=0.338  cpuTime=0.24  mem=22M513
0.66	   
0.66	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
4.61	   
4.61	   INFO : Stopping converting binary constraints (cpu=4.03, mem = 44M485)
7.84	     nbConstraints=13439  nbMergedConstraints=11970  nbConvertedConstraints=60  nbConvertConstraintsChecks=4887460
7.84	     nbExtensionStructures=53  nbSharedExtensionStructures=7  nbConflictsStructures=53  nbSharedConflictsStructures=7
7.84	     nbSharedBinaryRepresentations=17689  nbEvaluationManagers=9198  nbSharedEvaluationManagers=4181  maxDegree=22
7.84	     maxArity=2
7.84	       =>  wckTime=7.526  cpuTime=6.8  mem=59M164
8.03	   
8.03	   solver IterativeSystematicSolver being built... 
8.55	       =>  wckTime=8.236  cpuTime=7.16  mem=84M367
51.86	   
51.86	   preprocessing
51.86	     nbConstraintChecks=77818156  nbValidityChecks=2312289  nbPropagations=1848  nbRevisions=39204
51.86	     nbUselessRevisions=36031  nbRemovedValues=182908  detectedInconsistency=no
51.86	       =>  wckTime=43.286  cpuTime=42.86  mem=84M367
68.86	   
68.86	   search
68.86	     run=0  nbConstraintChecks=26988646  nbValidityChecks=19058010  nbPropagations=11668  nbRevisions=201539
68.86	     nbUselessRevisions=185613  nbAssignments=222  nbFailedAssignments=24  nbBacktracks=10  nbVisitedNodes=251
68.86	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=198
68.86	       =>  wckTime=60.288  cpuTime=59.68  mem=85M376
79.85	   
79.85	   search
79.85	     run=1  nbConstraintChecks=44750223  nbValidityChecks=35422678  nbPropagations=31227  nbRevisions=536713
79.85	     nbUselessRevisions=494566  nbAssignments=362  nbFailedAssignments=42  nbBacktracks=26  nbVisitedNodes=417
79.85	     nbRestartNogoods=24  mapSize=0  nbInferences=0  nbTooLargeKeys=320
79.85	       =>  wckTime=71.279  cpuTime=70.56  mem=85M376
85.75	   
85.75	   search
85.75	     run=2  nbConstraintChecks=53656749  nbValidityChecks=53747596  nbPropagations=60495  nbRevisions=1035649
85.75	     nbUselessRevisions=954099  nbAssignments=546  nbFailedAssignments=81  nbBacktracks=48  nbVisitedNodes=656
85.75	     nbRestartNogoods=27  mapSize=0  nbInferences=0  nbTooLargeKeys=465
85.75	       =>  wckTime=77.178  cpuTime=76.4  mem=86M385
91.43	   
91.43	   search
91.43	     run=3  nbConstraintChecks=61888465  nbValidityChecks=73176825  nbPropagations=100623  nbRevisions=1719414
91.43	     nbUselessRevisions=1581645  nbAssignments=762  nbFailedAssignments=145  nbBacktracks=81  nbVisitedNodes=952
91.43	     nbRestartNogoods=31  mapSize=0  nbInferences=0  nbTooLargeKeys=617
91.43	       =>  wckTime=82.858  cpuTime=82.03  mem=86M385
111.17	   
111.17	   search
111.17	     run=4  nbConstraintChecks=92793010  nbValidityChecks=107048536  nbPropagations=159505  nbRevisions=2710079
111.17	     nbUselessRevisions=2492614  nbAssignments=1180  nbFailedAssignments=209  nbBacktracks=131  nbVisitedNodes=1457
111.17	     nbRestartNogoods=36  mapSize=5  nbInferences=0  nbTooLargeKeys=866
111.17	       =>  wckTime=102.602  cpuTime=101.58  mem=90M485
123.53	   
123.53	   INFO : Stopping hyperNogood (mapSize=5, nbTooLargekeys=1071, mem=90M485)
124.72	   
124.72	   search
124.72	     run=5  nbConstraintChecks=113520104  nbValidityChecks=130784718  nbPropagations=233762  nbRevisions=3968834
124.72	     nbUselessRevisions=3645565  nbAssignments=1520  nbFailedAssignments=296  nbBacktracks=209  nbVisitedNodes=1938
124.72	     nbRestartNogoods=46
124.72	       =>  wckTime=116.152  cpuTime=115.0  mem=90M485
133.14	   
133.14	   search
133.14	     run=6  nbConstraintChecks=125666953  nbValidityChecks=157461120  nbPropagations=326271  nbRevisions=5543542
133.14	     nbUselessRevisions=5084283  nbAssignments=1907  nbFailedAssignments=389  nbBacktracks=324  nbVisitedNodes=2471
133.14	     nbRestartNogoods=53
133.14	       =>  wckTime=124.569  cpuTime=123.33  mem=91M494
162.73	   
162.74	   search
162.74	     run=7  nbConstraintChecks=166110800  nbValidityChecks=221430666  nbPropagations=461905  nbRevisions=7966966
162.74	     nbUselessRevisions=7241064  nbAssignments=2988  nbFailedAssignments=1172  nbBacktracks=496  nbVisitedNodes=4436
162.74	     nbRestartNogoods=64
162.74	       =>  wckTime=154.167  cpuTime=152.65  mem=91M494
182.09	   
182.09	   search
182.09	     run=8  nbConstraintChecks=194978075  nbValidityChecks=253784534  nbPropagations=624891  nbRevisions=10823907
182.09	     nbUselessRevisions=9790911  nbAssignments=3853  nbFailedAssignments=1355  nbBacktracks=752  nbVisitedNodes=5554
182.09	     nbRestartNogoods=77
182.09	       =>  wckTime=173.526  cpuTime=171.83  mem=91M494
239.30	   
239.30	   search
239.30	     run=9  nbConstraintChecks=279939776  nbValidityChecks=379356162  nbPropagations=859769  nbRevisions=15031994
239.30	     nbUselessRevisions=13459908  nbAssignments=6045  nbFailedAssignments=2725  nbBacktracks=1146  nbVisitedNodes=9357
239.30	     nbRestartNogoods=108
239.30	       =>  wckTime=230.728  cpuTime=228.84  mem=91M494
260.47	   
260.47	   search
260.47	     run=10  nbConstraintChecks=311103015  nbValidityChecks=422414142  nbPropagations=1140615  nbRevisions=19953454
260.47	     nbUselessRevisions=17752027  nbAssignments=7736  nbFailedAssignments=3387  nbBacktracks=1723  nbVisitedNodes=11893
260.47	     nbRestartNogoods=142
260.47	       =>  wckTime=251.901  cpuTime=249.9  mem=91M494
336.23	   
336.23	   search
336.23	     run=11  nbConstraintChecks=408127753  nbValidityChecks=634924284  nbPropagations=1668744  nbRevisions=29349770
336.23	     nbUselessRevisions=25868546  nbAssignments=10891  nbFailedAssignments=5447  nbBacktracks=2587  nbVisitedNodes=17566
336.23	     nbRestartNogoods=199
336.23	       =>  wckTime=327.666  cpuTime=325.59  mem=91M494
351.41	   
351.41	   search
351.41	     run=12  nbConstraintChecks=432427491  nbValidityChecks=663607272  nbPropagations=2220758  nbRevisions=39097618
351.41	     nbUselessRevisions=34304963  nbAssignments=12475  nbFailedAssignments=5531  nbBacktracks=2587  nbVisitedNodes=19234
351.41	     nbRestartNogoods=236
351.41	       =>  wckTime=342.846  cpuTime=340.76  mem=91M494
351.42	   
351.42	   global
351.42	     nbConstraintChecks=510245647  nbValidityChecks=665919561  nbPropagations=2222606  nbRevisions=39136822
351.42	     nbUselessRevisions=34340994  nbRestartNogoods=236  solvingWckTime=342.848  solvingCpuTime=340.76  expiredTime=no
351.42	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=347.98
351.42	       =>  wckTime=351.098  cpuTime=347.93  mem=91M494
351.42	   
351.42	s SATISFIABLE
351.42	v -2220 -2424 -2696 2604 -2496 -2584 -2400 2688 2300 -2468 -2240 2220 2684 2324 -2648 -2596 -2696 2264 -2736 -2176 -2184 -2736 -2164 -2224 2724 2472 -2612 2344 2416 2160 -2572 -2464 -2260 -2492 -2736 -2636 -2160 2292 -2364 -2716 2508 -2696 2160 -2444 -2196 2312 2264 -2712 2260 -2428 2424 2452 2708 2316 2512 -2336 -2128 2672 2648 -2496 2640 2336 -2428 2460 -2588 2396 -2696 -2160 -2140 -2172 -2724 2632 2712 2604 2120 2664 -2484 2608 2336 2120 2212 -2420 -2340 -2696 2500 -2224 2572 2420 -2172 2680 -2628 2696 2164 2680 -2736 2512 -2736 -2260 2204 2160 -2696 2160 -2304 -2724 2528 -2344 2304 -2316 -2272 -2532 -2352 -2232 2580 -2556 2228 -2660 2536 -2396 -2500 -2392 -2392 -2696 -2668 2184 -2244 2592 2728 -2688 2588 2548 -2352 2300 -2588 2364 2200 2276 -2464 2664 2516 -2312 -2456 -2736 2120 -2264 -2212 2636 -2548 -2692 2368 2236 -2340 -2120 -2300 -2120 -2708 -2184 -2232 2404 -2588 -2560 2408 -2696 -2132 2132 2396 2684 2732 2664 2456 -2156 -2620 2528 -2140 -2512 -2592 2568 2504 -2544 2632 -2128 -2164 2536 2180 -2336 2664 -2316 2548 -2572 -2160 2140 2264 -2192 2644 -2316 2468 -2552 -2736 -2148 -2696 2168 2720 -2284 -2720 2676 -2696 -2316 -2736 -2120 -2392 -2504 -2124 2532 2516 -2736 -2272 -2528 2188 -2736 -2488 -2220 -2492 2132 2380 -2524 -2368 2260 -2472 -2736 2212 2668 -2376 -2536 2360 -2136 -2272 -2216 -2668 -2256 2484 2260 -2260 2672 -2180 -2684 -2428 -2452 2184 -2220 -2592 2588 2460 2524 -2196 -2460 -2624 -2280 -2400 2664 2440 -2360 -2176 2276 2312 2388 -2204 -2268 2244 -2212 2352 -2696 -2276 -2236 -2500 -2492 2120 2120 2612 -2536 -2296 -2432 2460 2416 2424 2588 2372 -2120 -2352 2728 2248 -2696 -2132 -2184 -2488 2160 2664 2552 2668 -2536 -2460 -2684 -2584 -2608 -2160 2720 2520 -2688 2728 -2620 2208 2560 -2292 -2196 2684 -2300 2172 -2632 -2312 -2660 2628 2196 -2716 -2392 2716 2244 -2152 -2420 2676 -2612 -2288 -2716 -2120 2336 2424 -2188 2612 2296 -2592 -2300 2344 2552 -2628 -2124 2432 -2260 -2384 -2668 2252 -2704 2660 -2572 -2668 -2284 -2532 -2588 2232 -2120 -2324 -2368 2704 -2164 2664 2736 -2180 2468 -2576 -2172 2716 -2400 -2416 2160 2124 2248 2296 2228 2640 2696 2568 -2432 -2668 -2544 -2224 -2700 -2588 -2696 2452 -2328 2440 2468 2136 2364 -2180 -2432 -2252 -2208 2160 2312 -2500 -2400 2388 2120 -2200 -2524 -2180 -2160 -2500 2232 -2520 -2508 -2468 -2644 2324 2448 -2712 -2172 -2624 2180 -2400 -2716 2320 2584 -2564 2528 2416 -2392 2196 2388 -2544 -2696 2736 -2168 2560 -2688 2636 2708 -2648 2532 2456 2392 2188 2332 -2448 -2696 -2332 -2140 2572 -2176 -2680 2528 2620 -2696 -2264 2308 2376 2692 -2720 2528 2684 -2368 -2364 -2520 -2604 2616 -2292 -2372 -2736 -2316 2440 2532 2704 -2432 -2620 -2452 2244 -2736 -2436 2472 -2260 -2264 2444 -2576 -2520 2160 2324 -2260 -2352 2404 -2356 -2736 -2300 2260 2472 -2708 2412 -2128 2160 -2736 2132 2292 2680 -2736 -2224 2256 2328 -2160 2184 -2696 2548 2432 -2336 -2736 -2424 -2660 2532 2600 -2656 -2120 2244 2672 2248 -2220 -2484 -2624 2176 2604 -2704 2220 -2496 -2480 -2736 2408 2672 -2420 2300 -2676 -2216 -2580 -2372 -2572 2712 -2140 -2424 -2456 2248 -2224 -2736 2320 -2204 2256 -2696 2592 -2296 2712 -2736 2596 2204 2536 -2416 -2660 2552 -2168 -2404 -2696 2476 -2236 -2128 -2668 -2300 2212 2216 2568 -2176 -2212 2124 -2696 2280 -2536 -2172 2408 2204 -2132 -2260 -2204 -2556 2676 -2604 2656 2168 -2296 -2560 -2660 -2544 -2444 -2736 2228 -2736 2284 2672 -2372 2120 2296 -2164 -2332 2628 2160 -2428 -2168 -2156 2628 -2460 2644 2668 -2184 -2736 -2472 2408 -2160 -2692 -2400 -2376 -2160 2472 -2628 -2248 -2576 -2660 2176 -2696 -2400 -2448 -2272 -2324 -2340 -2600 2572 -2552 2416 2364 -2612 -2208 2440 -2296 -2708 -2372 2464 2520 -2632 2364 -2320 -2476 -2352 -2452 2712 -2656 -2348 -2572 -2404 2728 2716 -2448 2160 2192 2436 2248 2712 -2720 -2516 2568 -2172 -2692 2464 -2636 -2588 2492 2272 2596 2140 2684 2492 -2192 2424 -2496 -2160 -2632 -2660 2528 2348 2636 2144 -2624 -2396 2480 2296 -2128 -2648 2412 2524 2476 2652 -2700 2196 2536 2184 2160 -2156 2524 2560 -2624 -2572 2560 -2596 -2584 2260 -2664 -2588 -2356 -2128 -2284 2656 -2724 2220 -2260 2120 2360 -2220 -2456 -2200 -2572 2552 2260 2144 2724 -2340 -2272 2416 -2136 2516 -2360 2172 -2452 2516 2676 2188 2220 2268 -2120 2736 -2304 2536 -2208 2232 -2736 -2636 -2736 -2160 -2312 -2684 -2444 2252 -2224 2632 2576 -2616 -2280 -2400 -2624 -2160 2152 2384 2484 2608 -2148 -2128 2568 2152 -2624 2648 -2736 -2696 2628 -2160 2488 -2120 2636 -2260 2344 -2400 -2668 -2300 -2164 -2700 2448 -2556 -2556 2216 2588 -2444 2304 -2168 2148 -2672 2336 -2344 -2220 -2204 -2180 2372 2288 -2312 -2328 -2616 -2388 -2248 -2220 2344 2224 -2484 -2240 -2296 -2300 -2448 -2660 -2160 -2304 -2168 2152 -2736 2188 2132 2332 2520 -2228 -2288 -2120 2224 2412 2580 -2468 2388 -2620 2676 2568 -2624 -2440 -2160 -2540 2160 -2456 2328 2564 2624 2496 2160 -2584 2500 2672 -2160 2360 -2500 2556 2160 2160 -2696 2396 -2480 -2260 2376 -2516 -2672 -2404 -2432 -2508 -2132 2620 2120 -2184 2212 -2444 2520 -2308 2688 2708 -2132 -2348 2660 -2696 -2292 2536 -2696 -2120 2160 -2128 -2276 -2572 -2192 -2140 2120 2684 2624 2376 -2532 -2688 2376 -2328 -2416 -2540 -2696 -2348 2168 -2272 -2192 2576 -2312 -2664 2272 -2168 -2188 2692 2460 2488 -2172 -2176 -2696 -2556 -2232 -2172 -2172 -2692 -2432 -2680 2568 -2720 -2516 2332 2296 2676 -2708 -2160 -2128 2200 2120 -2428 -2584 -2584 -2628 2616 -2676 -2224 2668 -2200 2444 -2544 2472 -2696 -2120 2708 -2668 -2128 2612 2272 -2392 2240 -2680 -2356 -2504 2616 2544 -2420 2548 -2208 2236 -2352 -2136 -2508 2220 2576 2572 2656 2520 2620 2328 2200 2520 -2696 -2144 -2544 -2568 2528 2132 -2268 2320 -2128 2636 -2196 -2304 -2188 -2636 -2276 2644 2612 2520 2352 -2548 2228 -2736 -2708 -2512 2376 2192 -2588 -2688 -2188 2684 -2316 -2416 -2544 -2272 2408 -2616 2544 -2164 2688 -2200 -2172 -2512 -2644 -2208 2712 -2728 -2696 2304 -2552 -2732 2128 2668 -2460 -2612 2256 2596 -2676 2732 -2160 2152 -2276 -2728 -2372 -2696 -2232 2484 -2528 -2132 2128 2332 2488 2652 2252 2728 -2532 2120 -2220 -2392 2160 2564 2568 2428 2344 -2672 -2508 2120 2572 2168 -2588 -2480 -2160 2200 -2680 -2160 -2600 2616 -2264 2280 2360 2488 2460 2120 -2120 -2548 2304 -2628 2340 -2432 -2372 -2492 -2644 2512 2124 -2168 2664 2460 -2160 -2192 2252 -2700 -2220 2628 2576 2120 -2320 -2244 -2736 -2732 2692 -2356 -2288 -2132 2188 2540 -2420 -2392 2596 2536 2648 2384 -2576 2120 -2192 2708 2432 2396 -2256 2648 -2248 2228 -2596 -2148 2264 -2140 -2388 2608 -2660 -2628 -2192 2216 2452 2696 2672 -2632 -2712 -2392 -2272 2356 -2508 -2196 2520 -2696 -2676 2400 2160 -2404 2660 -2592 -2564 2180 -2180 -2736 -2188 2344 2688 -2696 -2596 -2680 -2304 2556 2736 -2180 2220 -2224 -2696 -2352 2120 -2636 2432 -2256 -2244 2168 -2736 2636 2508 -2252 -2472 -2160 2120 -2428 2288 2312 2156 -2256 2176 2628 -2180 -2584 -2320 -2592 -2432 -2560 2528 2596 -2256 2160 -2556 2144 2260 2548 -2700 2200 -2240 -2356 -2592 -2444 -2336 -2332 -2592 -2288 -2152 -2488 2552 2660 2620 -2208 -2364 -2120 2672 -2564 2376 -2736 -2568 2504 -2120 2664 -2588 -2220 2272 -2488 -2652 -2628 2548 -2544 -2548 -2460 2720 -2168 2584 -2724 2548 2248 -2712 -2232 -2676 -2164 2284 -2516 -2136 -2404 -2148 -2168 -2672 2324 -2224 2156 -2640 2312 -2172 -2408 2560 -2696 -2640 2120 2680 -2296 2176 -2388 2216 2288 2404 2720 2368 2192 2652 -2232 -2244 2688 -2288 2160 -2664 -2736 -2228 -2232 -2696 -2412 2676 -2160 2652 -2160 -2120 2676 2392 -2224 -2496 -2736 -2668 2452 -2264 2440 -2160 2476 -2428 -2564 2700 2288 2332 2180 -2624 2480 -2736 -2348 2140 2524 -2424 2596 -2276 2448 2464 2592 2120 2672 -2120 2160 -2444 -2608 2600 2368 -2160 -2576 -2120 -2252 -2332 -2248 2388 -2312 -2684 2264 2440 -2648 2612 2384 -2512 -2696 2400 2296 2384 -2700 -2332 -2416 -2168 -2180 -2312 2456 2692 -2696 -2668 -2124 -2652 2384 -2316 2280 -2672 2644 2736 -2652 -2356 -2548 -2196 2204 -2408 -2384 2120 -2704 2180 2560 -2532 -2200 2608 -2696 -2280 -2136 -2336 2380 2676 2412 -2520 2696 -2228 2624 2204 2164 -2392 2188 2664 2252 2416 -2432 2672 -2504 -2712 -2556 -2736 2468 -2468 -2692 -2436 -2404 2120 2264 -2584 -2176 -2680 2512 -2316 2680 2528 -2292 2228 2120 -2240 -2588 -2152 2164 2464 -2612 2644 2200 2360 2392 2688 2736 -2588 -2484 2288 -2428 -2652 -2492 -2384 -2480 2712 -2448 2624 -2624 2292 -2668 2360 -2492 -2736 -2188 2716 -2360 -2264 -2192 -2480 2500 -2168 2260 2716 -2160 -2396 -2172 2532 -2228 -2156 2444 -2736 2560 -2424 -2596 2168 2480 2288 -2584 -2632 -2368 2696 -2504 2652 -2328 2376 2320 -2684 2176 -2236 -2136 -2300 -2276 
351.42	d NODES 12475
351.42	d CHECKS 510245647
351.42	   
351.42	   totalWckTime=351.181  totalCpuTime=347.98

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/node19/watcher-201295-1168072310 -o ROOT/results/node19/solver-201295-1168072310 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201295-1168072310/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.94 1.99 1.98 4/93 21689
/proc/meminfo: memFree=1265944/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=18540 CPUtime=0
/proc/21688/stat : 21688 (runsolver) R 21686 21688 21621 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155625631 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21688/statm: 4635 279 244 17 0 2626 0

[startup+0.103863 s]
/proc/loadavg: 1.94 1.99 1.98 4/93 21689
/proc/meminfo: memFree=1265944/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=914988 CPUtime=0.08
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 2960 0 1 0 7 1 0 0 19 0 8 0 155625631 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153794808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515943 s]
/proc/loadavg: 1.94 1.99 1.98 4/93 21689
/proc/meminfo: memFree=1265944/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915328 CPUtime=0.49
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 7309 0 1 0 45 4 0 0 18 0 8 0 155625631 937295872 7048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228832 7048 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3371 s]
/proc/loadavg: 1.95 1.99 1.98 3/100 21696
/proc/meminfo: memFree=1194720/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=1.3
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 22177 0 1 0 119 11 0 0 23 0 8 0 155625631 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 21914 2160 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.07
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 5632 0 0 0 6 1 0 0 16 0 8 0 155625635 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.15
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 408 0 0 0 15 0 0 0 16 0 8 0 155625639 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 21914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915620

[startup+2.9744 s]
/proc/loadavg: 1.95 1.99 1.98 3/100 21696
/proc/meminfo: memFree=1186336/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=2.92
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 22254 0 1 0 281 11 0 0 25 0 8 0 155625631 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 21989 2180 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.1
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 5632 0 0 0 9 1 0 0 17 0 8 0 155625635 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.17
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 422 0 0 0 17 0 0 0 16 0 8 0 155625639 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 21989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915620

[startup+6.27303 s]
/proc/loadavg: 1.95 1.99 1.98 3/100 21696
/proc/meminfo: memFree=1173736/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=6.19
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 26138 0 1 0 605 14 0 0 25 0 8 0 155625631 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 25870 2181 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.28
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 9485 0 0 0 25 3 0 0 16 0 8 0 155625635 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.22
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 449 0 0 0 21 1 0 0 15 0 8 0 155625639 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 25870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915620

[startup+12.7552 s]
/proc/loadavg: 1.95 1.99 1.98 3/100 21696
/proc/meminfo: memFree=1126760/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=12.61
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37470 0 1 0 1242 19 0 0 25 0 8 0 155625631 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837065 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 37194 2533 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20339 0 0 0 65 7 0 0 17 0 8 0 155625635 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.33
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 509 0 0 0 32 1 0 0 15 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) R 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915620

[startup+25.6147 s]
/proc/loadavg: 1.96 1.99 1.98 3/100 21696
/proc/meminfo: memFree=1126888/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=25.35
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37472 0 1 0 2516 19 0 0 25 0 8 0 155625631 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 37194 2533 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20339 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.33
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 510 0 0 0 32 1 0 0 16 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915620

[startup+51.2285 s]
/proc/loadavg: 2.06 2.01 1.98 3/100 21696
/proc/meminfo: memFree=1126952/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=50.72
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37475 0 1 0 5053 19 0 0 25 0 8 0 155625631 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 37195 2533 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20339 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.33
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 513 0 0 0 32 1 0 0 16 0 8 0 155625639 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915620

[startup+102.48 s]
/proc/loadavg: 2.02 2.00 1.98 3/100 21696
/proc/meminfo: memFree=1126888/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=101.5
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37508 0 1 0 10130 20 0 0 25 0 8 0 155625631 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 37219 2537 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20340 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.37
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 531 0 0 0 35 2 0 0 16 0 8 0 155625639 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915620

[startup+162.489 s]
/proc/loadavg: 2.01 2.00 1.98 3/100 21696
/proc/meminfo: memFree=1126888/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=160.95
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37531 0 1 0 16075 20 0 0 25 0 8 0 155625631 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074164761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21688/statm: 228905 37232 2538 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20340 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.4
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 549 0 0 0 38 2 0 0 15 0 8 0 155625639 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915620

[startup+222.578 s]
/proc/loadavg: 1.68 1.92 1.96 2/88 21763
/proc/meminfo: memFree=1157968/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=220.72
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37536 0 1 0 22049 23 0 0 25 0 8 0 155625631 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21688/statm: 228905 37234 2538 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20340 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.41
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 553 0 0 0 39 2 0 0 16 0 8 0 155625639 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.72
Current children cumulated vsize (KiB) 915620

[startup+282.645 s]
/proc/loadavg: 1.79 1.90 1.95 3/100 21920
/proc/meminfo: memFree=1123312/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=280.61
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37538 0 1 0 28031 30 0 0 25 0 8 0 155625631 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21688/statm: 228905 37236 2538 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20340 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.41
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 555 0 0 0 39 2 0 0 16 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.61
Current children cumulated vsize (KiB) 915620

[startup+342.703 s]
/proc/loadavg: 1.92 1.92 1.95 3/100 21920
/proc/meminfo: memFree=1123376/2055920 swapFree=4171232/4192956
[pid=21688] ppid=21686 vsize=915620 CPUtime=340.62
/proc/21688/stat : 21688 (java) R 21686 21688 21621 0 -1 0 37538 0 1 0 34032 30 0 0 25 0 8 0 155625631 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074150543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21688/statm: 228905 37236 2538 14 0 215375 0
[pid=21688/tid=21690] ppid=21686 vsize=915620 CPUtime=0.72
/proc/21688/task/21690/stat : 21690 (java) S 21686 21688 21621 0 -1 64 20340 0 0 0 65 7 0 0 16 0 8 0 155625635 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21691] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21691/stat : 21691 (java) S 21686 21688 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155625635 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21692] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21692/stat : 21692 (java) S 21686 21688 21621 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625635 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21693] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21693/stat : 21693 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21694] ppid=21686 vsize=915620 CPUtime=0.41
/proc/21688/task/21694/stat : 21694 (java) S 21686 21688 21621 0 -1 64 555 0 0 0 39 2 0 0 16 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21695] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21695/stat : 21695 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21688/tid=21696] ppid=21686 vsize=915620 CPUtime=0
/proc/21688/task/21696/stat : 21696 (java) S 21686 21688 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625639 937594880 37236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.62
Current children cumulated vsize (KiB) 915620

Child status: 0
Real time (s): 351.486
CPU time (s): 349.37
CPU user time (s): 349.037
CPU system time (s): 0.332949
CPU usage (%): 99.3978
Max. virtual memory (cumulated for all children) (KiB): 915620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.037
system time used= 0.332949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37548
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= 8987
involuntary context switches= 17826

runsolver used 0.442932 s user time and 1.10383 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 08:31:50 UTC 2007


IDJOB= 201295
IDBENCH= 3755
FILE ID= node19/201295-1168072310

PBS_JOBID= 3475748

Free space on /tmp= 66307 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  71ff924c9efc7ec0b5708a6b6a81ed9a

RANDOM SEED= 678196710

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.260
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.260
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:       1266424 kB
Buffers:         69944 kB
Cached:         550448 kB
SwapCached:      10036 kB
Active:         300864 kB
Inactive:       387792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1266424 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            5328 kB
Writeback:           0 kB
Mapped:          87580 kB
Slab:            85480 kB
Committed_AS:  4344972 kB
PageTables:       2492 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= 66307 MiB



End job on node19 on Sat Jan  6 08:37:41 UTC 2007