Trace number 201388

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 ESACSAT 285.017 287.583

DiagnosticValue
CHECKS219265145
NODES2991

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-9.xml
MD5SUMf4de69641c2d3c9c2d0fb9081c06c18a
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 benchmark11.4013
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/201388-1168147443/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.57	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.57	       =>  wckTime=0.263  cpuTime=0.19  mem=17M630
0.57	   
0.57	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
203.36	   
203.36	   INFO : Stopping converting binary constraints (cpu=200.07, mem = 124M988)
204.53	     nbConstraints=8005  nbMergedConstraints=7027  nbConvertedConstraints=4348  nbConvertConstraintsChecks=334442725
204.53	     nbExtensionStructures=3708  nbSharedExtensionStructures=640  nbConflictsStructures=3708
204.53	     nbSharedConflictsStructures=640  nbSharedBinaryRepresentations=1627797  nbEvaluationManagers=3136
204.53	     nbSharedEvaluationManagers=521  maxDegree=27  maxArity=2
204.53	       =>  wckTime=204.222  cpuTime=200.95  mem=124M130
204.92	   
204.92	   solver IterativeSystematicSolver being built... 
205.20	       =>  wckTime=204.887  cpuTime=201.2  mem=147M94
262.97	   
262.97	   INFO : Stopping ESAC
262.97	   
262.97	   preprocessing
262.97	     nbConstraintChecks=144265373  nbValidityChecks=51458692  nbPropagations=56020  nbRevisions=551978
262.98	     nbUselessRevisions=490079  nbSingletonTests=1235  nbEffectiveSingletonTests=1  nbESACBranches=16
262.98	     nbRemovedValues=103378  detectedInconsistency=no
262.98	       =>  wckTime=57.765  cpuTime=57.18  mem=147M94
269.22	   
269.22	   search
269.22	     run=0  nbConstraintChecks=14881403  nbValidityChecks=6857318  nbPropagations=65407  nbRevisions=639566
269.22	     nbUselessRevisions=567395  nbAssignments=396  nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=413
269.22	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
269.22	       =>  wckTime=64.006  cpuTime=63.31  mem=132M557
276.72	   
276.72	   search
276.72	     run=1  nbConstraintChecks=40010307  nbValidityChecks=22483518  nbPropagations=150183  nbRevisions=1462563
276.72	     nbUselessRevisions=1297870  nbAssignments=1145  nbFailedAssignments=19  nbBacktracks=30  nbVisitedNodes=819
276.72	     nbRestartNogoods=4  mapSize=12  nbInferences=0  nbTooLargeKeys=0
276.72	       =>  wckTime=71.512  cpuTime=70.74  mem=144M156
279.59	   
279.59	   search
279.59	     run=2  nbConstraintChecks=50101369  nbValidityChecks=29419362  nbPropagations=244575  nbRevisions=2376205
279.59	     nbUselessRevisions=2108252  nbAssignments=1554  nbFailedAssignments=38  nbBacktracks=57  nbVisitedNodes=1254
279.59	     nbRestartNogoods=5  mapSize=23  nbInferences=0  nbTooLargeKeys=0
279.59	       =>  wckTime=74.383  cpuTime=73.57  mem=156M610
282.48	   
282.48	   search
282.48	     run=3  nbConstraintChecks=60346723  nbValidityChecks=36458108  nbPropagations=348908  nbRevisions=3384449
282.48	     nbUselessRevisions=3001799  nbAssignments=1986  nbFailedAssignments=68  nbBacktracks=93  nbVisitedNodes=1726
282.48	     nbRestartNogoods=6  mapSize=40  nbInferences=0  nbTooLargeKeys=0
282.48	       =>  wckTime=77.274  cpuTime=76.44  mem=169M380
287.49	   
287.49	   search
287.49	     run=4  nbConstraintChecks=74999772  nbValidityChecks=44391139  nbPropagations=465922  nbRevisions=4501843
287.49	     nbUselessRevisions=3991493  nbAssignments=2991  nbFailedAssignments=73  nbBacktracks=93  nbVisitedNodes=2736
287.49	     nbRestartNogoods=7  mapSize=40  nbInferences=0  nbTooLargeKeys=0
287.49	       =>  wckTime=82.28  cpuTime=81.36  mem=152M439
287.49	   
287.49	   global
287.49	     nbConstraintChecks=219265145  nbValidityChecks=95849831  nbPropagations=521942  nbRevisions=5053821
287.49	     nbUselessRevisions=4481572  nbRestartNogoods=7  solvingWckTime=82.283  solvingCpuTime=81.36  expiredTime=no
287.49	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=282.62
287.49	       =>  wckTime=287.18  cpuTime=282.57  mem=152M439
287.49	   
287.49	s SATISFIABLE
287.49	v 2024 -2660 -2276 2072 2204 2700 -2020 2448 2700 -2280 2020 2700 2276 2432 2620 -2700 -2272 2740 2556 2408 -2096 -2020 -2020 -2476 2328 -2516 -2508 2508 2704 -2552 2052 2740 2580 2336 2740 -2060 -2380 2124 -2332 -2600 -2624 2536 -2096 -2472 -2108 2472 -2088 -2060 2200 2436 -2356 2556 -2300 -2144 -2476 2680 2736 2252 -2668 2104 -2740 2740 -2036 2412 2380 -2060 -2020 -2464 -2700 -2236 -2284 -2236 -2700 -2740 -2536 2408 -2484 2184 -2700 -2356 2644 2040 2700 2492 -2036 2568 -2164 -2488 2260 -2700 2208 -2688 -2580 2056 -2060 2512 -2072 2292 2448 -2048 2108 -2416 2492 2364 2736 -2544 2728 2708 2176 -2332 -2724 -2468 -2468 2580 2456 2088 -2452 -2188 2684 2288 -2232 -2660 2200 -2620 -2128 -2192 -2700 2628 2700 -2444 2536 2688 2740 -2364 -2160 2028 -2308 2740 -2600 2700 2684 -2060 2204 -2020 2296 -2060 -2516 2700 -2724 2020 -2392 -2268 2148 2600 -2020 2508 2428 2684 -2124 2108 2472 2640 -2596 -2300 -2392 -2144 -2020 -2452 -2640 2696 -2560 2700 2200 -2088 2700 2020 2232 -2020 2588 2656 2680 -2724 2352 -2384 -2464 -2252 -2392 2360 2600 -2160 -2228 2368 2148 -2060 2320 -2260 -2192 2024 -2260 -2468 2556 2256 -2064 2624 -2292 2524 -2688 -2020 2740 -2020 -2732 2436 -2032 -2544 -2700 2700 2240 2432 -2456 2368 -2136 2064 -2060 2596 2700 -2720 2512 -2472 -2272 -2288 -2644 -2700 -2516 -2396 2728 2520 -2388 2060 2236 -2292 2564 -2300 2060 -2676 2728 -2548 2556 -2580 -2188 -2112 -2564 -2064 2124 2596 2152 -2040 -2212 -2664 -2340 -2740 -2080 -2204 -2128 2700 2692 -2176 -2424 -2524 -2060 -2020 2496 -2296 -2580 2668 -2076 -2076 -2516 -2228 2188 2556 -2072 -2488 2264 -2076 2572 -2732 -2140 -2700 2732 2036 -2720 -2060 -2296 -2260 -2040 2420 -2512 2312 2404 2172 2332 2128 -2024 -2640 -2612 2060 2664 -2524 -2292 -2324 2352 2108 -2396 -2292 2380 -2576 -2064 -2080 2048 -2196 -2200 2600 -2692 -2040 2072 2492 2540 -2560 -2404 -2680 2536 -2160 -2020 -2392 2060 2020 -2292 2576 -2220 2356 2196 -2060 -2360 -2568 2020 -2548 2252 -2696 -2640 2144 2592 2064 -2020 -2544 2492 2684 -2600 2296 2668 2740 2596 -2420 -2072 2176 -2272 -2512 -2088 2036 -2740 -2512 2696 -2164 2036 2432 2724 2544 2712 2644 2684 -2020 -2092 2032 2700 -2080 2024 2168 2096 -2640 2088 2212 -2060 -2704 2504 -2320 2416 -2116 2196 2696 -2344 -2284 -2604 -2592 2272 -2544 -2076 2620 -2460 2264 2224 -2700 -2148 2600 2740 -2644 2700 -2400 -2580 -2064 -2708 -2736 -2544 2216 -2600 2612 -2456 -2232 -2644 -2160 -2508 -2292 -2188 2676 2032 -2548 2716 2700 2060 2124 -2060 -2372 2020 -2048 2088 -2740 2732 -2152 2436 2496 2596 2684 -2060 2228 -2572 2448 -2608 -2700 -2292 -2556 -2408 2644 -2728 -2332 -2316 -2024 2560 2740 -2620 2328 -2148 2064 -2556 -2060 2272 -2312 -2328 2700 2356 -2584 -2356 2096 -2628 -2720 2700 2332 2444 2020 2740 2604 2532 -2252 -2692 2688 -2548 2392 2304 -2036 -2060 2700 2348 2504 2368 2276 -2048 -2512 2692 -2740 -2024 2320 2392 2132 2556 -2292 -2300 2592 -2516 -2656 -2352 -2064 2476 2636 -2700 2464 2552 -2092 2376 2476 -2324 2480 -2392 2020 2540 -2432 2020 2616 2108 2536 2080 -2680 -2620 2292 2644 -2552 -2504 -2392 2240 2412 2564 -2700 2364 2552 2272 2520 -2700 2452 -2352 2140 2596 -2132 2700 2332 -2536 -2108 -2732 2728 2344 2072 -2068 2696 2696 2208 2528 2140 2132 -2032 2464 -2360 2120 -2512 -2740 -2684 2456 2112 -2652 -2360 -2420 2512 -2336 -2156 2216 -2044 2456 -2484 -2652 -2156 -2740 -2672 2236 -2352 -2584 2060 2352 -2692 2104 2740 -2620 2336 -2296 -2136 -2304 -2684 -2624 2588 2596 2528 -2060 -2148 2296 -2252 2736 -2740 -2644 2212 2332 2060 2200 2664 -2064 -2324 -2740 2736 -2420 -2700 2396 2064 2692 2600 2472 -2196 2432 2684 -2504 -2032 -2456 -2272 -2216 2032 -2036 -2020 2580 2060 -2604 -2060 -2620 2556 2336 2020 -2060 -2740 2280 2176 -2504 2512 2056 -2332 -2164 -2180 -2740 -2564 2684 -2060 -2396 -2188 -2356 -2020 2656 -2740 2544 2336 2432 -2096 2656 -2424 2188 2620 -2340 -2332 2168 2612 2468 2296 -2020 2020 -2460 -2480 -2020 2564 2668 2020 -2312 -2060 -2676 2020 -2244 2140 2648 -2248 -2696 -2560 -2020 -2436 2352 2632 -2092 2608 2416 -2604 2212 -2480 2120 -2048 2596 2308 2240 2216 2020 2020 2732 2324 2252 2356 2440 2560 2164 2416 2076 -2096 2688 2392 2648 -2292 2088 2156 -2060 2688 2392 2728 -2332 2020 -2740 2072 -2524 -2064 2316 -2184 -2164 2320 -2728 2604 2232 2364 -2312 2548 -2312 2060 2068 -2416 2568 -2612 2148 2576 2224 2724 2320 2620 -2244 2684 -2148 -2100 -2228 -2112 2696 2076 -2568 -2080 -2464 2036 -2672 2264 -2160 -2212 2564 2084 -2684 -2724 2576 2172 -2740 -2740 -2496 -2572 2684 -2584 -2552 -2312 2740 2352 2024 2500 2496 -2472 -2688 -2584 2668 -2272 2416 2332 2504 -2060 -2508 2492 -2640 -2740 -2292 2188 2672 2604 -2628 2372 -2056 -2316 -2076 -2100 2348 -2620 -2612 -2100 -2740 -2348 -2660 -2716 2088 -2372 -2552 2740 -2472 2588 -2564 -2404 2084 -2120 2584 -2628 2228 -2080 -2072 2220 2460 2564 -2076 -2688 2472 -2268 -2060 -2740 2280 2212 -2524 -2716 -2356 -2036 -2524 2588 2280 -2312 -2588 -2060 -2024 2020 -2060 -2352 -2252 2700 -2536 2664 2700 2512 -2236 -2476 -2388 -2700 2188 -2740 -2552 2184 -2108 2096 2560 -2288 2676 -2512 2680 -2640 2688 -2660 2292 2104 2440 -2060 -2452 2332 -2068 2704 -2080 2372 -2528 -2148 -2740 2396 -2348 2060 2100 -2724 -2408 -2664 -2332 -2128 -2088 2380 2060 2700 -2436 -2740 -2740 -2740 -2380 -2640 -2440 -2284 2372 2580 -2196 -2476 2532 -2628 -2148 -2400 -2232 -2024 -2552 -2340 -2196 2724 -2396 2500 2332 -2388 2344 2476 2652 2160 2432 2040 -2700 -2100 -2076 -2304 2256 -2060 2056 -2476 2740 -2512 2412 2384 -2040 2444 -2076 -2120 2396 -2252 -2100 2612 2632 -2240 -2060 -2340 2056 2652 2712 -2680 -2020 2728 2692 -2684 2632 2404 -2452 2440 -2484 -2688 
287.49	d NODES 2991
287.49	d CHECKS 219265145
287.49	   
287.49	   totalWckTime=287.262  totalCpuTime=282.62

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/node9/watcher-201388-1168147443 -o ROOT/results/node9/solver-201388-1168147443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201388-1168147443/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.96 2.01 2.00 4/86 11826
/proc/meminfo: memFree=1744832/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=11868 CPUtime=0
/proc/11825/stat : 11825 (java) D 11823 11825 11758 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 163139405 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/11825/statm: 2967 515 425 14 0 1602 0

[startup+0.103475 s]
/proc/loadavg: 1.96 2.01 2.00 4/86 11826
/proc/meminfo: memFree=1744832/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=914988 CPUtime=0.08
/proc/11825/stat : 11825 (java) S 11823 11825 11758 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 163139405 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511523 s]
/proc/loadavg: 1.96 2.01 2.00 4/86 11826
/proc/meminfo: memFree=1744832/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915328 CPUtime=0.49
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 7471 0 1 0 44 5 0 0 18 0 8 0 163139405 937295872 7210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228832 7210 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33762 s]
/proc/loadavg: 1.96 2.01 2.00 3/93 11833
/proc/meminfo: memFree=1677576/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=1.3
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 21260 0 1 0 118 12 0 0 23 0 8 0 163139405 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 20997 2180 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.08
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 4659 0 0 0 6 2 0 0 16 0 8 0 163139409 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.17
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 408 0 0 0 16 1 0 0 16 0 8 0 163139413 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 20997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 20997 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) 915628

[startup+2.9848 s]
/proc/loadavg: 1.96 2.01 2.00 3/93 11833
/proc/meminfo: memFree=1669064/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=2.94
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 21267 0 1 0 281 13 0 0 25 0 8 0 163139405 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 21003 2180 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.08
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 4659 0 0 0 6 2 0 0 17 0 8 0 163139409 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.18
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 414 0 0 0 17 1 0 0 16 0 8 0 163139413 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 21003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915628

[startup+6.26417 s]
/proc/loadavg: 1.96 2.01 2.00 3/93 11833
/proc/meminfo: memFree=1669000/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=6.19
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 21282 0 1 0 606 13 0 0 25 0 8 0 163139405 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 21018 2181 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.08
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 4659 0 0 0 6 2 0 0 16 0 8 0 163139409 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.2
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 428 0 0 0 19 1 0 0 17 0 8 0 163139413 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 21018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 21018 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) 915628

[startup+12.7559 s]
/proc/loadavg: 1.96 2.01 2.00 3/93 11833
/proc/meminfo: memFree=1669064/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=12.62
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 21285 0 1 0 1248 14 0 0 25 0 8 0 163139405 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 21020 2181 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.08
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 4659 0 0 0 6 2 0 0 17 0 8 0 163139409 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.21
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 430 0 0 0 20 1 0 0 16 0 8 0 163139413 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 21020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915628

[startup+25.6054 s]
/proc/loadavg: 1.97 2.01 2.00 3/93 11833
/proc/meminfo: memFree=1669128/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=25.36
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 21287 0 1 0 2521 15 0 0 25 0 8 0 163139405 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 21021 2181 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.08
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 4659 0 0 0 6 2 0 0 16 0 8 0 163139409 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.21
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 163139413 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 21021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915628

[startup+51.2193 s]
/proc/loadavg: 1.98 2.01 2.00 4/93 11833
/proc/meminfo: memFree=1654984/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=50.75
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 24819 0 1 0 5057 18 0 0 25 0 8 0 163139405 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 24551 2181 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.29
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 8184 0 0 0 26 3 0 0 16 0 8 0 163139409 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.22
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 436 0 0 0 21 1 0 0 16 0 8 0 163139413 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 24551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915628

[startup+102.44 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 11833
/proc/meminfo: memFree=1635528/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=101.53
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 29692 0 1 0 10125 28 0 0 25 0 8 0 163139405 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 29422 2181 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.51
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 13047 0 0 0 44 7 0 0 16 0 8 0 163139409 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.23
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 444 0 0 0 22 1 0 0 16 0 8 0 163139413 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 29422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915628

[startup+162.506 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 11833
/proc/meminfo: memFree=1606216/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=161.1
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 37002 0 1 0 16073 37 0 0 25 0 8 0 163139405 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 36729 2181 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=0.95
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 20353 0 0 0 85 10 0 0 16 0 8 0 163139409 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.23
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 445 0 0 0 22 1 0 0 15 0 8 0 163139413 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 36729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.1
Current children cumulated vsize (KiB) 915628

[startup+222.593 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 11833
/proc/meminfo: memFree=1575048/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=220.66
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 45117 0 1 0 22022 44 0 0 25 0 8 0 163139405 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 44833 2545 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=1.67
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 27973 0 0 0 155 12 0 0 16 0 8 0 163139409 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 163139409 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 163139409 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.34
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 501 0 0 0 32 2 0 0 15 0 8 0 163139413 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 44833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (KiB) 915628

[startup+282.599 s]
/proc/loadavg: 2.06 2.03 2.00 3/93 11833
/proc/meminfo: memFree=1561416/2055920 swapFree=4191880/4192956
[pid=11825] ppid=11823 vsize=915628 CPUtime=280.12
/proc/11825/stat : 11825 (java) R 11823 11825 11758 0 -1 0 48535 0 1 0 27966 46 0 0 25 0 8 0 163139405 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11825/statm: 228907 48237 2548 14 0 215377 0
[pid=11825/tid=11827] ppid=11823 vsize=915628 CPUtime=1.7
/proc/11825/task/11827/stat : 11827 (java) S 11823 11825 11758 0 -1 64 31347 0 0 0 157 13 0 0 16 0 8 0 163139409 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11828] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11828/stat : 11828 (java) S 11823 11825 11758 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11829] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11829/stat : 11829 (java) S 11823 11825 11758 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163139409 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11830] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11830/stat : 11830 (java) S 11823 11825 11758 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163139413 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11831] ppid=11823 vsize=915628 CPUtime=0.39
/proc/11825/task/11831/stat : 11831 (java) S 11823 11825 11758 0 -1 64 532 0 0 0 37 2 0 0 15 0 8 0 163139413 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11832] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11832/stat : 11832 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163139413 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11825/tid=11833] ppid=11823 vsize=915628 CPUtime=0
/proc/11825/task/11833/stat : 11833 (java) S 11823 11825 11758 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163139413 937603072 48237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 915628

Child status: 0
Real time (s): 287.583
CPU time (s): 285.017
CPU user time (s): 284.5
CPU system time (s): 0.516921
CPU usage (%): 99.1077
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.5
system time used= 0.516921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51376
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= 7590
involuntary context switches= 12936

runsolver used 0.401938 s user time and 0.886865 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sun Jan  7 05:24:03 UTC 2007


IDJOB= 201388
IDBENCH= 3760
FILE ID= node9/201388-1168147443

PBS_JOBID= 3478168

Free space on /tmp= 66535 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f4de69641c2d3c9c2d0fb9081c06c18a

RANDOM SEED= 124039703

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.231
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.231
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:       1745248 kB
Buffers:         19628 kB
Cached:         136496 kB
SwapCached:        276 kB
Active:         159804 kB
Inactive:        88872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1745248 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3852 kB
Writeback:           0 kB
Mapped:         107656 kB
Slab:            46660 kB
Committed_AS:  4410972 kB
PageTables:       2416 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= 66535 MiB



End job on node9 on Sun Jan  7 05:28:50 UTC 2007