Trace number 200839

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 506.936 507.113

DiagnosticValue
CHECKS792437367
NODES18334

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-9.xml
MD5SUM5aac2eb20b7fc7710efc477fa975869f
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 benchmark506.936
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/200839-1168072216/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.71	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.71	       =>  wckTime=0.394  cpuTime=0.31  mem=35M193
0.71	   
0.71	   predicates being loaded...
0.71	   
0.71	   constraints being loaded...
4.69	   
4.69	   INFO : Stopping converting binary constraints (cpu=4.05, mem = 61M559)
9.89	     nbConstraints=21610  nbMergedConstraints=19157  nbConvertedConstraints=45  nbConvertConstraintsChecks=3952534
9.89	     nbExtensionStructures=44  nbSharedExtensionStructures=1  nbConflictsStructures=44  nbSharedConflictsStructures=1
9.89	     nbSharedBinaryRepresentations=13806  nbEvaluationManagers=15072  nbSharedEvaluationManagers=6493  maxDegree=27
9.89	     maxArity=2
9.89	       =>  wckTime=9.581  cpuTime=8.58  mem=67M966
10.16	   
10.16	   solver IterativeSystematicSolver being built... 
10.92	       =>  wckTime=10.607  cpuTime=9.06  mem=147M363
89.63	   
89.63	   preprocessing
89.63	     nbConstraintChecks=152088778  nbValidityChecks=3269238  nbPropagations=2915  nbRevisions=57892
89.63	     nbUselessRevisions=54056  nbRemovedValues=247975  detectedInconsistency=no
89.63	       =>  wckTime=78.678  cpuTime=78.62  mem=147M363
139.39	   
139.39	   search
139.39	     run=0  nbConstraintChecks=81451625  nbValidityChecks=47842667  nbPropagations=27165  nbRevisions=419955
139.39	     nbUselessRevisions=388393  nbAssignments=872  nbFailedAssignments=35  nbBacktracks=10  nbVisitedNodes=914
139.39	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=837
139.39	       =>  wckTime=128.442  cpuTime=128.34  mem=149M389
153.88	   
153.88	   search
153.88	     run=1  nbConstraintChecks=104548968  nbValidityChecks=95252644  nbPropagations=78080  nbRevisions=1195108
153.88	     nbUselessRevisions=1105976  nbAssignments=1727  nbFailedAssignments=48  nbBacktracks=26  nbVisitedNodes=1789
153.88	     nbRestartNogoods=30  mapSize=0  nbInferences=0  nbTooLargeKeys=1679
153.88	       =>  wckTime=142.934  cpuTime=142.79  mem=149M389
168.79	   
168.79	   search
168.79	     run=2  nbConstraintChecks=127716564  nbValidityChecks=142812355  nbPropagations=153153  nbRevisions=2332893
168.79	     nbUselessRevisions=2159332  nbAssignments=2599  nbFailedAssignments=68  nbBacktracks=48  nbVisitedNodes=2691
168.79	     nbRestartNogoods=36  mapSize=0  nbInferences=0  nbTooLargeKeys=2531
168.79	       =>  wckTime=157.843  cpuTime=157.69  mem=149M389
183.13	   
183.13	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=3362, mem=149M389)
183.83	   
183.83	   search
183.83	     run=3  nbConstraintChecks=150909631  nbValidityChecks=190375443  nbPropagations=252412  nbRevisions=3833847
183.83	     nbUselessRevisions=3548979  nbAssignments=3470  nbFailedAssignments=82  nbBacktracks=82  nbVisitedNodes=3585
183.83	     nbRestartNogoods=44
183.83	       =>  wckTime=172.888  cpuTime=172.73  mem=149M389
198.49	   
198.49	   search
198.49	     run=4  nbConstraintChecks=174665045  nbValidityChecks=238649135  nbPropagations=376749  nbRevisions=5715142
198.49	     nbUselessRevisions=5290228  nbAssignments=4373  nbFailedAssignments=107  nbBacktracks=132  nbVisitedNodes=4530
198.49	     nbRestartNogoods=47
198.49	       =>  wckTime=187.543  cpuTime=187.39  mem=149M389
213.08	   
213.08	   search
213.08	     run=5  nbConstraintChecks=198138131  nbValidityChecks=286982847  nbPropagations=526781  nbRevisions=7987644
213.08	     nbUselessRevisions=7392582  nbAssignments=5320  nbFailedAssignments=150  nbBacktracks=209  nbVisitedNodes=5547
213.08	     nbRestartNogoods=54
213.08	       =>  wckTime=202.134  cpuTime=201.97  mem=149M389
265.02	   
265.02	   search
265.02	     run=6  nbConstraintChecks=277047990  nbValidityChecks=365183556  nbPropagations=712145  nbRevisions=10917315
265.02	     nbUselessRevisions=10037191  nbAssignments=6229  nbFailedAssignments=671  nbBacktracks=325  nbVisitedNodes=7036
265.02	     nbRestartNogoods=58
265.02	       =>  wckTime=254.079  cpuTime=253.9  mem=149M389
314.40	   
314.40	   search
314.40	     run=7  nbConstraintChecks=355915497  nbValidityChecks=443643621  nbPropagations=936999  nbRevisions=14540404
314.40	     nbUselessRevisions=13298626  nbAssignments=7472  nbFailedAssignments=1034  nbBacktracks=495  nbVisitedNodes=8743
314.40	     nbRestartNogoods=73
314.40	       =>  wckTime=303.457  cpuTime=303.26  mem=149M389
346.51	   
346.51	   search
346.51	     run=8  nbConstraintChecks=406771953  nbValidityChecks=495061628  nbPropagations=1191824  nbRevisions=18679696
346.51	     nbUselessRevisions=17021518  nbAssignments=8575  nbFailedAssignments=1403  nbBacktracks=752  nbVisitedNodes=10309
346.51	     nbRestartNogoods=116
346.51	       =>  wckTime=335.567  cpuTime=335.36  mem=150M402
394.70	   
394.70	   search
394.70	     run=9  nbConstraintChecks=479392795  nbValidityChecks=581759708  nbPropagations=1515622  nbRevisions=23966192
394.70	     nbUselessRevisions=21753316  nbAssignments=11559  nbFailedAssignments=2311  nbBacktracks=1136  nbVisitedNodes=14415
394.70	     nbRestartNogoods=168
394.70	       =>  wckTime=383.757  cpuTime=383.53  mem=150M402
442.44	   
442.44	   search
442.44	     run=10  nbConstraintChecks=545699373  nbValidityChecks=686552918  nbPropagations=1927763  nbRevisions=30864058
442.44	     nbUselessRevisions=27889588  nbAssignments=14420  nbFailedAssignments=3584  nbBacktracks=1713  nbVisitedNodes=18831
442.44	     nbRestartNogoods=334
442.44	       =>  wckTime=431.497  cpuTime=431.25  mem=150M402
507.06	   
507.06	   search
507.06	     run=11  nbConstraintChecks=640348589  nbValidityChecks=809824430  nbPropagations=2419084  nbRevisions=39005712
507.06	     nbUselessRevisions=35053067  nbAssignments=18334  nbFailedAssignments=4575  nbBacktracks=2136  nbVisitedNodes=23908
507.06	     nbRestartNogoods=369
507.06	       =>  wckTime=496.114  cpuTime=495.84  mem=150M402
507.06	   
507.06	   global
507.06	     nbConstraintChecks=792437367  nbValidityChecks=813093668  nbPropagations=2421999  nbRevisions=39063604
507.06	     nbUselessRevisions=35107123  nbRestartNogoods=369  solvingWckTime=496.116  solvingCpuTime=495.84  expiredTime=no
507.06	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=504.97
507.06	       =>  wckTime=506.749  cpuTime=504.93  mem=150M402
507.07	   
507.07	s SATISFIABLE
507.07	v 2164 -2216 -2600 -2740 2564 2048 2044 2200 -2636 2048 -2680 -2108 -2544 -2128 -2580 -2516 2656 -2500 -2108 2144 -2268 2524 -2444 -2196 -2392 -2396 -2636 2536 2392 2060 -2396 -2656 -2152 -2332 -2552 2684 -2312 -2144 -2540 2020 -2656 -2024 2464 2240 2604 2668 -2716 2160 2468 2084 2184 -2548 2512 2712 -2028 -2084 -2740 -2620 -2704 -2244 2096 -2588 2488 -2292 2152 2528 -2728 -2408 -2072 -2700 2720 -2580 2220 -2552 -2444 2624 -2172 -2252 -2428 2536 -2724 2604 2596 -2364 -2636 -2356 -2100 -2516 -2696 -2496 2128 2452 2612 -2660 -2728 2124 -2480 2088 2080 -2600 -2336 -2284 2192 2068 2172 -2688 -2612 -2504 -2620 -2076 2120 -2640 -2084 -2232 2376 -2396 2020 2148 -2684 -2324 2700 2420 2420 2688 -2380 -2496 2484 2416 -2144 2500 2020 2680 2020 2284 2568 -2284 2612 2676 -2472 -2036 -2580 2664 2484 -2572 -2152 -2672 -2740 -2208 -2640 -2184 -2112 -2408 -2424 -2468 -2408 -2480 -2068 -2676 2464 2424 2252 2628 -2668 2592 2684 -2188 -2304 -2344 2648 -2512 -2372 2196 -2108 -2676 2140 2620 2312 -2544 -2448 -2136 2600 -2740 2460 -2700 -2452 -2336 2104 2540 -2112 -2352 2156 -2152 -2636 2112 -2632 -2608 -2276 2268 2064 -2308 2520 -2596 -2308 -2728 2092 -2172 2552 2616 2080 2020 -2584 2020 -2164 -2260 2392 2516 -2632 -2308 -2592 2320 -2300 2588 -2476 2624 2240 -2544 -2124 -2632 2128 2708 -2448 -2492 2488 -2060 -2484 2072 -2028 -2020 2720 -2608 2544 -2700 -2508 2524 -2088 -2636 2424 -2416 -2664 2584 -2644 2192 2388 -2460 -2312 2496 -2320 -2088 -2512 -2396 -2372 -2056 2588 2340 2028 -2664 -2576 -2528 2336 -2520 -2456 2020 2532 -2676 -2048 -2120 -2236 -2100 -2700 -2672 -2080 2440 2060 -2652 2520 -2640 2648 -2604 -2428 2504 2060 -2684 2700 2652 2484 -2700 -2380 -2384 2096 2316 -2592 -2204 -2664 -2392 -2320 -2380 -2736 2388 -2708 -2328 -2136 2644 -2316 -2700 -2680 2452 2364 2092 -2368 -2424 2572 2608 -2036 -2224 -2248 -2148 -2328 2524 -2640 -2728 -2368 -2576 -2192 -2256 -2060 2724 -2740 -2368 -2624 -2584 2624 2580 -2576 -2708 -2224 2024 -2584 2020 -2496 -2388 -2332 2628 2532 2252 2296 2724 -2316 2612 -2660 -2020 -2664 -2292 -2184 2620 2476 -2584 -2544 2192 -2100 2572 -2176 -2700 2612 -2700 -2740 2612 2132 2532 2040 2476 -2104 -2468 2260 -2280 -2436 2060 2120 -2312 -2188 2156 2356 -2580 -2624 -2528 -2696 -2696 -2488 2648 2148 -2208 -2560 2700 2400 2020 2112 2460 -2444 2584 -2284 -2600 2052 -2248 -2520 2508 2548 -2252 2652 2392 -2252 2020 -2740 -2468 -2176 -2700 2060 -2740 2624 -2624 2352 -2256 2596 2240 -2292 2632 2484 2068 -2664 -2740 2724 -2724 2080 -2568 2720 -2356 -2664 2060 2268 -2368 -2060 -2740 -2236 2648 2360 -2728 -2296 -2484 -2344 -2620 -2508 2112 -2256 -2680 -2092 -2192 2044 -2592 -2396 -2060 -2732 -2320 2280 2496 -2736 2340 -2384 2660 -2220 -2236 2392 2444 2664 2552 2168 2700 2112 2092 -2700 -2504 2520 -2404 2384 -2156 2580 -2060 -2228 -2140 2060 2280 2568 2192 2232 2432 -2176 -2268 2120 -2464 -2260 -2428 2260 -2660 -2264 2368 -2628 2024 -2020 -2160 2640 2552 2024 2720 -2084 2352 2304 -2668 2428 2668 -2132 -2276 -2528 2684 -2348 -2160 -2712 2316 -2020 -2184 -2584 2496 -2740 2228 -2176 -2740 -2668 -2704 2360 2592 2676 2308 2192 -2648 -2060 -2496 -2384 -2144 2480 -2400 2504 2248 2540 2536 2700 2104 -2404 2700 2700 -2108 -2064 2288 -2140 2424 -2304 -2608 -2240 -2544 -2044 -2664 -2540 2184 -2264 2216 2100 2364 2544 2440 2628 2320 2140 2436 -2448 -2192 -2316 2068 -2740 2248 2468 -2288 2552 2644 -2640 2296 -2608 2096 2448 2244 -2152 -2288 -2684 -2700 -2072 -2368 2528 -2096 -2308 -2268 -2312 -2700 -2060 -2120 2440 -2436 2436 2236 2588 -2592 2616 -2308 -2700 2224 -2352 -2444 2676 -2248 2112 -2700 -2372 -2456 -2724 -2044 -2740 -2572 -2452 -2328 2128 -2120 -2688 -2612 -2164 -2648 -2620 -2608 -2584 2688 -2632 -2260 -2472 -2684 -2284 -2420 -2080 -2244 -2644 -2620 2448 -2164 -2640 -2116 -2036 2196 -2556 -2020 2700 -2224 -2336 -2492 2348 -2604 2080 -2740 -2544 2184 -2240 2320 2556 2332 -2656 -2236 -2216 -2252 -2112 2492 2552 2684 -2320 2688 -2068 -2604 -2084 -2068 2700 -2480 -2728 -2396 2336 -2060 2460 2140 -2188 2672 -2604 2148 2456 -2648 -2180 2392 2076 -2500 2420 2672 2348 -2132 -2676 -2492 -2668 -2028 -2700 2676 2340 2024 -2284 2512 2504 -2612 -2136 -2572 -2672 2652 -2252 -2508 -2740 2500 -2604 -2740 2208 2060 2092 -2076 -2072 2676 2268 2656 2112 2568 -2356 -2060 -2176 -2036 2288 2496 -2220 2616 -2148 -2088 -2104 2180 -2204 2500 -2060 -2664 -2612 -2740 -2188 2060 -2340 -2368 2388 -2356 -2468 2640 -2052 2628 2348 2560 -2192 2300 -2020 2356 -2104 2032 -2432 2716 2628 2736 -2436 -2472 2672 -2348 2540 -2736 2300 2740 2432 2372 2192 -2224 -2604 2552 2404 2348 -2136 2208 -2172 -2184 2596 -2440 2252 -2072 -2564 -2740 -2620 -2288 2580 2484 -2676 2180 2352 2160 2184 -2592 2144 -2428 -2592 2472 -2684 -2524 2028 -2040 2452 -2540 2304 2312 -2624 2600 -2212 -2740 2660 2584 2428 -2608 -2064 -2484 -2232 -2620 2100 2616 -2496 2212 2412 2584 2540 -2100 2372 2664 -2084 -2716 -2328 -2556 2140 -2256 -2444 -2108 -2480 -2700 -2280 2340 2340 -2032 2176 -2060 -2060 2412 -2644 2684 -2136 -2464 -2420 -2060 -2680 -2576 2176 2156 -2544 -2152 -2332 -2020 -2220 -2408 -2616 2144 2172 2672 2272 -2080 2060 2700 2020 2424 2524 -2168 -2044 -2192 -2328 2540 -2524 -2648 -2496 -2556 2036 -2440 -2092 -2732 -2232 2700 -2556 2696 -2680 -2664 -2536 -2392 2628 2700 2508 2348 -2492 -2132 -2196 2180 -2100 -2248 -2140 2296 2020 -2684 -2200 2508 -2128 -2712 2448 -2460 2580 -2180 2696 -2020 -2552 2704 2216 -2684 -2280 -2132 2200 -2028 -2536 2088 2340 -2596 2140 -2360 -2280 -2328 -2420 -2688 -2372 -2740 -2232 -2736 -2548 2436 -2564 -2304 2456 -2352 -2156 -2460 -2644 -2296 2124 2232 -2168 2216 -2456 2660 2648 -2348 -2136 -2700 -2716 2712 -2624 2364 -2712 -2412 -2212 -2332 -2664 2624 2068 -2700 2496 -2528 -2640 -2384 -2252 2272 2576 -2584 2648 -2316 -2728 2188 2024 -2740 -2336 2548 -2692 2692 -2352 2668 -2712 -2192 -2344 2416 2620 -2704 -2148 2076 -2668 2032 -2504 2492 -2316 -2380 2052 2280 2020 2196 -2736 2168 -2592 2692 -2612 2492 -2032 2064 2544 -2524 -2460 -2724 2340 -2656 2152 -2288 -2372 -2700 -2392 -2708 -2632 -2660 2716 -2064 2700 2624 -2144 -2240 2060 -2224 -2728 2296 -2100 2168 -2212 -2272 2512 -2120 2564 -2740 -2136 -2584 2152 2300 2188 2736 2096 2020 -2540 -2700 2612 2400 2612 2288 -2516 2312 2020 -2332 -2344 -2556 -2456 2136 -2272 2124 -2064 -2252 -2060 -2240 -2740 -2652 -2224 2400 -2576 2344 2580 2144 -2560 -2724 2696 -2092 -2544 -2700 2172 2112 -2492 2512 2324 -2400 -2700 2660 -2652 2116 -2584 -2044 2072 2032 -2516 -2444 2464 -2676 2512 -2128 -2140 2020 2132 -2600 2488 2160 2440 -2072 -2320 2740 -2108 -2352 -2700 -2480 2460 2076 -2624 -2596 2328 -2604 2052 -2708 -2492 2344 -2740 -2704 2444 -2476 -2584 2140 -2440 2092 -2584 2608 -2740 2508 -2348 -2592 2696 -2568 -2656 -2700 -2584 -2712 -2740 -2500 2684 -2256 2428 -2568 -2664 2740 -2676 2216 -2156 -2596 -2720 -2600 -2532 2300 -2700 2152 -2620 2132 -2500 -2132 2028 -2256 -2060 2316 2096 2148 -2180 -2224 -2560 -2740 -2700 -2592 -2456 -2092 2644 -2172 -2696 -2644 2324 2464 -2184 -2604 2552 -2120 2096 2404 2640 -2704 2024 2716 -2388 -2324 -2688 2076 2668 -2308 -2544 -2364 2076 -2596 -2260 2516 2248 2684 -2696 -2528 2060 -2040 2556 2060 -2700 -2480 -2124 2620 2192 -2552 -2228 2112 2140 -2460 2472 -2444 2408 2300 2604 -2020 2288 2128 -2232 -2256 -2324 -2624 2244 -2240 2408 -2352 -2668 2220 -2100 2700 -2460 2076 -2692 -2220 -2668 -2724 -2536 -2444 2112 -2732 -2444 2312 -2116 -2132 2728 -2096 -2700 2696 -2672 -2500 2068 2532 -2148 2176 -2452 -2112 2120 -2284 -2476 -2556 2060 -2600 -2124 -2296 2656 2436 2052 -2608 2632 2020 -2484 -2388 2404 2380 -2516 -2264 -2128 -2164 -2228 2068 -2680 2200 -2360 -2028 -2624 2412 -2188 -2420 -2396 -2692 2344 2668 -2532 2040 -2624 -2060 2652 -2436 -2724 2060 -2696 -2292 -2232 -2272 -2420 -2632 -2304 -2732 2516 2164 2620 -2204 2572 -2236 -2372 -2740 -2304 -2388 -2620 -2068 2684 -2060 2688 -2684 -2156 -2392 -2140 -2172 2020 -2404 -2664 2576 -2360 -2184 2196 2528 2396 -2464 -2352 2020 -2036 -2352 -2084 -2152 -2308 -2704 2284 -2188 2432 2072 -2716 -2060 -2740 2072 2544 2628 -2740 -2564 -2652 2408 -2684 -2680 -2348 -2020 -2332 2696 -2256 -2452 -2084 2416 -2616 2060 -2456 -2624 -2088 -2328 -2352 -2476 -2680 2020 -2240 2380 -2532 -2476 -2516 2616 -2248 -2632 -2084 -2740 2428 2228 2140 -2740 -2592 -2208 2616 -2608 -2656 -2700 2464 2132 2060 -2432 2264 2020 2684 -2372 -2440 -2672 -2568 2584 -2680 2376 2592 -2604 -2696 2124 -2676 -2156 -2628 -2156 2720 -2552 -2272 2696 2532 2044 2584 -2072 2620 -2176 -2700 -2068 2056 -2564 2532 -2400 -2680 2220 2152 2720 -2692 2440 2380 2268 2028 -2384 2424 -2216 -2372 2576 -2552 2672 -2544 2280 -2328 -2500 2624 -2740 -2148 -2212 2596 -2456 -2352 2740 2528 -2496 2020 -2032 -2068 -2592 -2648 -2524 2636 2644 -2548 2552 -2588 2700 -2560 -2244 2504 -2144 -2584 2672 -2632 -2356 -2740 -2640 -2700 2452 2456 2028 2512 -2740 -2036 -2068 2456 -2060 2376 -2072 2332 2696 2304 2440 2276 -2636 -2740 -2740 -2700 -2072 -2348 -2504 -2500 -2516 -2060 -2740 -2428 -2320 2660 2288 2592 -2636 2424 -2124 -2700 2308 -2700 -2656 2020 -2244 -2720 -2352 -2736 2568 2036 -2160 -2576 -2536 2280 2552 -2392 -2688 2456 2348 2584 2196 -2580 -2740 2176 2668 2724 -2740 -2200 2240 -2352 -2704 -2248 -2740 2720 2028 -2464 -2484 -2712 -2056 2716 2076 2028 2444 2464 -2076 2404 -2412 2728 2532 -2332 2704 -2712 2568 2088 -2056 -2224 -2256 2180 -2732 2608 -2368 -2252 2312 -2700 2660 2280 -2660 2552 -2060 2624 -2740 -2292 -2336 -2716 -2088 -2152 -2180 -2448 -2728 -2232 -2352 2644 -2084 2580 -2292 2596 2312 -2700 -2656 -2624 -2180 2300 -2636 -2104 2300 2672 -2500 -2212 -2492 -2112 2604 -2160 2272 -2100 -2680 -2628 -2540 2424 -2268 -2040 -2060 -2552 2456 2356 2488 -2296 -2060 -2740 -2460 2520 2700 2304 2196 2356 -2388 2332 2460 2644 -2020 -2152 -2108 -2352 -2672 2704 -2140 2288 2104 -2616 -2176 2716 -2564 2068 -2700 -2336 -2020 -2516 2228 -2684 -2208 -2736 -2232 -2612 -2312 2468 -2376 2412 2020 -2020 2616 -2740 -2108 2700 -2608 -2448 2500 -2352 -2740 2672 -2196 -2280 2108 -2048 2632 2380 2196 -2408 -2512 -2408 2284 2080 -2276 2736 2456 -2448 2580 -2468 -2020 2704 -2092 -2496 -2700 -2124 -2680 -2308 -2096 2344 2060 -2236 2520 -2392 2512 2020 -2020 -2724 -2136 2064 -2592 -2264 -2488 -2680 -2468 -2476 -2700 2020 -2076 2336 -2440 -2328 -2248 2340 -2620 -2068 -2068 -2200 -2200 2620 -2624 2212 -2616 2240 -2240 -2648 -2724 -2648 2384 -2052 2328 2568 -2724 2084 2684 2700 -2060 2604 -2740 -2400 -2696 -2408 -2480 -2084 -2248 2240 2480 -2504 2404 -2336 2660 -2060 -2060 -2408 2108 -2576 -2292 2460 -2692 2364 -2464 2052 2696 2692 2424 -2588 -2144 -2592 2140 -2680 -2564 -2700 2468 2636 -2120 -2676 -2332 2404 2372 -2516 -2696 2620 2664 -2500 -2076 -2620 -2580 -2152 -2588 -2724 2060 2296 -2688 -2060 -2268 -2188 2492 -2740 -2680 2580 -2644 2592 2028 -2328 -2492 2348 -2580 -2392 2020 2448 2528 -2584 -2620 -2700 2692 -2308 2556 -2604 -2652 -2168 2280 -2064 2072 2136 2732 -2560 -2332 2284 2244 -2436 -2616 -2096 -2364 -2676 2020 -2144 2548 -2336 2036 2320 2572 -2160 -2692 -2516 2484 2252 2628 2108 -2668 -2188 2084 -2140 -2552 -2620 -2700 -2584 -2732 -2632 -2740 2660 -2044 -2404 -2564 2060 -2140 2536 -2216 2700 2480 2216 -2684 -2060 -2312 2212 2456 -2104 2576 -2628 2632 2304 2644 -2668 -2136 2332 -2064 -2168 2332 2420 -2496 -2700 2248 -2116 -2740 -2688 2596 2312 -2636 -2484 2628 -2432 -2740 -2040 -2416 2200 -2568 -2020 -2292 -2180 -2556 -2180 2740 2232 -2088 -2388 2484 -2648 2152 2220 -2140 2020 -2228 -2552 -2168 -2344 -2524 -2548 -2640 2136 2628 2112 2560 -2536 -2292 -2672 -2668 2512 2676 2388 -2564 2116 -2152 -2424 2060 -2532 -2740 -2500 2196 2624 2596 2300 -2096 2512 -2180 2124 -2612 2064 2368 2244 2288 -2664 2020 -2112 2536 2312 -2528 2528 -2512 -2196 -2020 2276 -2208 -2652 -2208 -2128 -2676 -2420 -2580 -2556 -2692 -2556 2552 2368 -2420 2064 -2252 -2664 2196 -2084 -2080 -2356 -2700 -2736 2060 2380 -2716 2180 -2220 -2044 -2724 -2460 -2688 -2700 -2680 2560 -2224 -2104 2680 -2508 2060 -2740 -2236 2584 -2088 -2184 2048 -2216 -2352 2668 -2068 -2552 -2184 -2476 -2116 2604 -2592 -2740 -2272 -2540 -2288 -2436 2112 -2640 -2552 -2536 -2020 -2060 -2324 -2228 2476 2612 -2544 2668 -2664 -2132 -2032 -2068 2188 2128 -2092 -2588 2684 2160 2020 2396 -2216 2304 -2700 2408 -2740 -2564 2688 2724 -2688 -2588 2432 2024 2492 2320 -2512 2196 -2180 2512 2148 -2632 -2164 2508 -2260 -2252 2428 2440 -2516 -2404 -2168 -2272 2552 2676 2476 2420 -2156 -2236 2188 2308 -2072 -2212 2260 -2076 2204 -2072 -2640 -2592 2428 2700 2492 -2652 -2576 2532 2068 2644 -2628 -2368 2120 -2656 -2684 -2144 -2404 2624 2156 2020 -2136 -2192 -2644 2380 -2068 2308 2120 2584 -2388 -2044 -2572 2688 -2740 2532 2628 2160 -2204 2476 -2520 -2092 -2640 -2076 2124 2332 -2312 -2460 -2208 -2540 -2660 2624 -2648 2604 -2296 -2700 -2600 2460 2584 2708 -2468 -2060 -2604 2488 2188 2724 -2348 -2596 -2504 -2608 -2424 -2600 -2216 -2164 2296 -2576 -2292 -2680 2256 -2032 -2232 2592 -2208 -2700 -2116 2068 -2656 -2348 -2244 2732 -2684 -2684 -2556 -2724 -2324 -2060 -2292 2424 -2184 -2116 2592 -2236 2420 -2124 -2636 -2064 2084 2260 -2048 2400 2608 2020 -2652 -2676 2212 -2696 2332 -2464 -2680 -2652 -2480 2420 -2700 -2368 2236 2624 -2388 -2572 -2740 -2244 -2060 -2068 -2564 2036 -2636 2716 2724 -2716 2612 -2660 -2552 -2056 -2544 2096 -2060 2288 2164 -2164 -2628 -2680 2096 -2280 2656 2148 -2360 -2076 -2084 -2496 -2640 -2364 -2060 2568 2044 -2168 -2700 -2664 -2264 -2600 2460 -2676 -2348 2184 2740 -2044 -2300 -2100 2028 2312 -2500 2384 -2328 2740 -2372 -2032 2264 2572 2412 2508 -2464 -2368 2612 2528 -2532 -2488 -2068 2560 -2180 -2036 -2420 -2216 2672 2328 -2580 2020 2688 2020 -2660 2444 -2588 2684 2568 -2344 2284 -2108 -2372 -2408 -2696 -2632 2608 2420 -2072 2388 2288 2200 -2580 2324 2484 2076 -2636 2524 -2200 -2204 -2720 -2720 2180 -2592 -2288 -2312 -2524 -2384 -2568 2564 2152 2612 2040 -2060 -2652 -2700 -2712 -2328 -2604 -2104 2348 -2020 -2596 -2228 2496 -2084 2556 -2216 -2740 2284 -2020 2564 -2476 2352 2708 -2620 -2388 -2112 -2356 2620 -2588 2676 -2240 -2616 -2076 -2080 2096 -2228 2580 2740 2436 -2500 -2272 -2632 -2140 -2488 -2080 -2628 -2700 -2060 -2060 2532 -2472 2036 2472 -2656 -2148 2020 -2628 -2448 -2028 2664 2460 2652 -2444 -2700 -2360 
507.07	d NODES 18334
507.07	d CHECKS 792437367
507.07	   
507.07	   totalWckTime=506.833  totalCpuTime=504.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/node44/watcher-200839-1168072216 -o ROOT/results/node44/solver-200839-1168072216 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200839-1168072216/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: 0.85 0.98 1.20 4/73 8982
/proc/meminfo: memFree=1642248/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=168 CPUtime=0
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 155620727 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11281188 0 0 4096 0 0 0 0 17 1 0 0
/proc/8981/statm: 42 23 18 14 0 2 0

[startup+0.103331 s]
/proc/loadavg: 0.85 0.98 1.20 4/73 8982
/proc/meminfo: memFree=1642248/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=914988 CPUtime=0.09
/proc/8981/stat : 8981 (java) S 8979 8981 8845 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 155620727 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515373 s]
/proc/loadavg: 0.85 0.98 1.20 4/73 8982
/proc/meminfo: memFree=1642248/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915328 CPUtime=0.49
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 7509 0 1 0 44 5 0 0 20 0 8 0 155620727 937295872 7248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228832 7250 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34447 s]
/proc/loadavg: 1.02 1.01 1.21 3/87 8996
/proc/meminfo: memFree=1481944/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915620 CPUtime=1.32
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 24468 0 1 0 120 12 0 0 25 0 8 0 155620727 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228905 24205 2160 14 0 215375 0
[pid=8981/tid=8986] ppid=8979 vsize=915620 CPUtime=0.1
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 7925 0 0 0 8 2 0 0 16 0 8 0 155620731 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155620731 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915620 CPUtime=0.15
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 408 0 0 0 14 1 0 0 16 0 8 0 155620734 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937594880 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915620

[startup+2.98162 s]
/proc/loadavg: 1.02 1.01 1.21 3/87 8996
/proc/meminfo: memFree=1452184/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915620 CPUtime=2.97
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 26188 0 1 0 283 14 0 0 25 0 8 0 155620727 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228905 25922 2180 14 0 215375 0
[pid=8981/tid=8986] ppid=8979 vsize=915620 CPUtime=0.21
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 9569 0 0 0 19 2 0 0 16 0 8 0 155620731 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155620731 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915620 CPUtime=0.17
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 420 0 0 0 16 1 0 0 15 0 8 0 155620734 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937594880 25922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915620

[startup+6.26596 s]
/proc/loadavg: 1.18 1.05 1.22 3/87 8996
/proc/meminfo: memFree=1431832/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915620 CPUtime=6.25
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 29469 0 1 0 609 16 0 0 25 0 8 0 155620727 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153901718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228905 29199 2182 14 0 215375 0
[pid=8981/tid=8986] ppid=8979 vsize=915620 CPUtime=0.4
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 12818 0 0 0 36 4 0 0 16 0 8 0 155620731 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155620731 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915620 CPUtime=0.21
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 447 0 0 0 20 1 0 0 15 0 8 0 155620734 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915620 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937594880 29199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915620

[startup+12.7526 s]
/proc/loadavg: 1.32 1.08 1.23 3/87 8996
/proc/meminfo: memFree=1265960/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=12.73
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49778 0 1 0 1247 26 0 0 25 0 8 0 155620727 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49462 2533 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.23
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32573 0 0 0 111 12 0 0 17 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.36
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 566 0 0 0 34 2 0 0 15 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915936

[startup+25.6019 s]
/proc/loadavg: 1.43 1.11 1.24 3/87 8996
/proc/meminfo: memFree=1266088/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=25.58
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49781 0 1 0 2532 26 0 0 25 0 8 0 155620727 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49462 2533 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.23
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32573 0 0 0 111 12 0 0 16 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.36
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 568 0 0 0 34 2 0 0 16 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915936

[startup+51.2956 s]
/proc/loadavg: 1.77 1.22 1.27 3/87 8996
/proc/meminfo: memFree=1266024/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=51.25
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49781 0 1 0 5099 26 0 0 25 0 8 0 155620727 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49462 2533 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.23
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32573 0 0 0 111 12 0 0 16 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.36
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 568 0 0 0 34 2 0 0 16 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915936

[startup+102.514 s]
/proc/loadavg: 1.90 1.34 1.31 3/87 8996
/proc/meminfo: memFree=1266088/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=102.45
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49801 0 1 0 10219 26 0 0 25 0 8 0 155620727 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49477 2535 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.23
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 111 12 0 0 16 0 8 0 155620731 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.38
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 580 0 0 0 36 2 0 0 16 0 8 0 155620734 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915936

[startup+162.584 s]
/proc/loadavg: 1.96 1.46 1.35 3/87 8996
/proc/meminfo: memFree=1265960/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=162.51
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49832 0 1 0 16224 27 0 0 25 0 8 0 155620727 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074201299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49499 2537 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.24
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 112 12 0 0 16 0 8 0 155620731 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.42
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 604 0 0 0 39 3 0 0 15 0 8 0 155620734 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.51
Current children cumulated vsize (KiB) 915936

[startup+222.652 s]
/proc/loadavg: 1.98 1.55 1.39 3/87 8996
/proc/meminfo: memFree=1265896/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=222.56
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49835 0 1 0 22229 27 0 0 25 0 8 0 155620727 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49500 2537 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.24
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 112 12 0 0 16 0 8 0 155620731 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.42
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 606 0 0 0 39 3 0 0 16 0 8 0 155620734 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.56
Current children cumulated vsize (KiB) 915936

[startup+282.723 s]
/proc/loadavg: 1.99 1.63 1.42 3/87 8996
/proc/meminfo: memFree=1265832/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=282.61
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49837 0 1 0 28234 27 0 0 25 0 8 0 155620727 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49501 2537 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.24
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 112 12 0 0 16 0 8 0 155620731 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.43
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 608 0 0 0 40 3 0 0 16 0 8 0 155620734 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.61
Current children cumulated vsize (KiB) 915936

[startup+342.804 s]
/proc/loadavg: 2.15 1.73 1.47 3/87 8996
/proc/meminfo: memFree=1265832/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=342.68
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49842 0 1 0 34241 27 0 0 25 0 8 0 155620727 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49503 2537 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.24
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 112 12 0 0 16 0 8 0 155620731 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.43
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 612 0 0 0 40 3 0 0 16 0 8 0 155620734 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.68
Current children cumulated vsize (KiB) 915936

[startup+402.893 s]
/proc/loadavg: 2.06 1.78 1.50 3/87 8996
/proc/meminfo: memFree=1265768/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=402.74
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49844 0 1 0 40247 27 0 0 25 0 8 0 155620727 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49504 2537 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.24
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 112 12 0 0 16 0 8 0 155620731 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.43
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 613 0 0 0 40 3 0 0 16 0 8 0 155620734 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.74
Current children cumulated vsize (KiB) 915936

[startup+462.974 s]
/proc/loadavg: 2.02 1.81 1.53 3/87 8996
/proc/meminfo: memFree=1265768/2055920 swapFree=4192812/4192956
[pid=8981] ppid=8979 vsize=915936 CPUtime=462.81
/proc/8981/stat : 8981 (java) R 8979 8981 8845 0 -1 0 49846 0 1 0 46254 27 0 0 25 0 8 0 155620727 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8981/statm: 228984 49506 2537 14 0 215454 0
[pid=8981/tid=8986] ppid=8979 vsize=915936 CPUtime=1.24
/proc/8981/task/8986/stat : 8986 (java) S 8979 8981 8845 0 -1 64 32574 0 0 0 112 12 0 0 16 0 8 0 155620731 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8987] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8987/stat : 8987 (java) S 8979 8981 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620731 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8988] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8988/stat : 8988 (java) S 8979 8981 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620731 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8993] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8993/stat : 8993 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620734 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8994] ppid=8979 vsize=915936 CPUtime=0.44
/proc/8981/task/8994/stat : 8994 (java) S 8979 8981 8845 0 -1 64 615 0 0 0 41 3 0 0 17 0 8 0 155620734 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8995] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8995/stat : 8995 (java) S 8979 8981 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620734 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8981/tid=8996] ppid=8979 vsize=915936 CPUtime=0
/proc/8981/task/8996/stat : 8996 (java) S 8979 8981 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620734 937918464 49506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.81
Current children cumulated vsize (KiB) 915936

Child status: 0
Real time (s): 507.113
CPU time (s): 506.936
CPU user time (s): 506.625
CPU system time (s): 0.310952
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 506.625
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49856
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= 12194
involuntary context switches= 13029

runsolver used 0.544917 s user time and 1.40978 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Sat Jan  6 08:30:17 UTC 2007


IDJOB= 200839
IDBENCH= 3730
FILE ID= node44/200839-1168072216

PBS_JOBID= 3475970

Free space on /tmp= 66526 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5aac2eb20b7fc7710efc477fa975869f

RANDOM SEED= 431284571

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.213
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.213
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:       1643112 kB
Buffers:         19232 kB
Cached:         303904 kB
SwapCached:          0 kB
Active:          71408 kB
Inactive:       272336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1643112 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           14816 kB
Writeback:           0 kB
Mapped:          31788 kB
Slab:            54660 kB
Committed_AS:  2900640 kB
PageTables:       1708 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= 66526 MiB



End job on node44 on Sat Jan  6 08:38:44 UTC 2007