Trace number 2097937

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 112v4 ACSAT 32.1601 32.3386

DiagnosticValue
CHECKS13863300
NODES800

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-10.xml
MD5SUM0c9bd9627ff304e4b5c8ec56755ce638
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 benchmark10.0325
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data 

0.02/0.08	
0.02/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097937-1247414177.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.38/0.49	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350  nbTotalValues=121824
0.38/0.49	       =>  wckTime=0.245  cpuTime=0.17  mem=12M804
0.38/0.49	   
0.38/0.49	   predicates being loaded...
0.48/0.54	   
0.48/0.54	   constraints being loaded...
20.58/20.78	   
20.58/20.78	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 38M869)
25.24/25.46	     nbConstraints=4803  nbGlobalConstraints=3  nbMergedConstraints=4175  nbConvertedConstraints=1359
25.24/25.46	     nbConvertConstraintsChecks=45751856  nbExtensionStructures=1279  nbSharedExtensionStructures=277
25.24/25.46	     nbConflictsStructures=2536  nbSharedConflictsStructures=420  nbUnbuiltConflictsStructures=1832
25.24/25.46	     nbSharedBinaryRepresentations=281411  nbEvaluationManagers=3089  nbSharedEvaluationManagers=352  minDegree=3
25.24/25.46	     maxDegree=20  minArity=2  avgArity=2  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.438
25.24/25.46	     symmetryCpuTime=0.32  nbCliques=3
25.24/25.46	       =>  wckTime=25.218  cpuTime=24.34  mem=73M539
25.53/25.71	   
25.53/25.71	   solver IterativeSystematicSolver being built... 
25.64/25.83	   
25.64/25.83	   INFO : Forward propagation technique limited 
25.74/25.93	       =>  wckTime=25.69  cpuTime=24.54  mem=77M271
28.61/28.84	   
28.61/28.84	   preprocessing
28.61/28.84	     nbConstraintChecks=8073048  nbValidityChecks=176262  nbPropagations=854  nbRevisions=5681  nbUselessRevisions=5128
28.61/28.84	     nbRemovedValues=25636  detectedInconsistency=no
28.61/28.84	       =>  wckTime=2.907  cpuTime=2.86  mem=77M271
32.10/32.30	   
32.10/32.30	   search
32.10/32.30	     run=0  nbConstraintChecks=5790285  nbValidityChecks=2965874  minDepth=801  maxDepth=800  nbPropagations=6549
32.10/32.30	     nbRevisions=37307  nbUselessRevisions=31733  nbAssignments=800  nbFailedAssignments=0  nbBacktracks=0
32.10/32.30	     nbVisitedNodes=801  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
32.10/32.30	     nbSEliminables=0  nbREliminables=69.69  nbIEliminables=382.33  nbDEliminables=0  nbPEliminables=0
32.10/32.30	       =>  wckTime=6.367  cpuTime=6.22  mem=51M453
32.10/32.30	   
32.10/32.30	   global
32.10/32.30	     nbConstraintChecks=13863333  nbValidityChecks=3142136  nbPropagations=7403  nbRevisions=42988
32.10/32.30	     nbUselessRevisions=36861  nbRestartNogoods=0  solvingWckTime=6.369  solvingCpuTime=6.23  expiredTime=no
32.10/32.30	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=30.74  globalCpuTime=30.82
32.10/32.30	       =>  wckTime=32.064  cpuTime=30.78  mem=51M453
32.10/32.31	   
32.10/32.31	s SATISFIABLE
32.10/32.31	v 2656 2592 2152 -2580 -2660 2580 2716 -2100 2584 2716 -2060 2700 -2184 2232 -2640 2580 -2696 -2192 -2352 -2640 2556 2488 2600 -2280 -2544 2600 -2084 2512 -2592 -2564 -2624 -2160 -2228 2620 -2200 -2300 -2020 -2660 2680 -2460 -2220 -2648 -2348 -2632 -2656 -2360 -2380 -2480 2596 -2464 -2064 -2560 -2488 2020 -2660 -2252 2196 -2552 2104 2100 -2308 2212 2292 -2148 -2692 -2212 2044 2412 2528 2692 2520 2300 -2200 -2272 2400 -2212 2076 -2456 -2628 -2436 -2560 2648 2372 -2304 -2476 2612 2060 2668 -2108 -2296 -2620 -2624 2020 2264 -2252 2680 -2620 2616 -2160 2532 -2060 -2656 2612 -2256 2648 -2588 -2696 -2216 -2332 -2644 2624 -2664 -2176 -2704 2584 -2020 -2616 -2060 -2224 -2364 2596 -2056 -2372 2664 -2704 2676 -2664 -2132 -2260 -2528 -2540 -2184 -2540 2572 2124 2544 2576 2020 -2608 -2236 -2304 -2140 -2132 2632 2124 -2588 -2500 2400 -2584 -2180 -2624 -2080 -2704 -2148 -2560 -2240 2652 -2684 -2704 2648 -2576 2396 -2628 -2640 2664 -2616 -2320 2656 -2360 -2068 2108 2656 2412 -2164 -2476 2496 -2504 2640 -2332 -2488 2552 -2052 -2704 2632 2568 2128 -2164 2592 -2060 2196 -2256 -2200 2576 2688 -2424 -2444 -2684 -2200 2472 2240 -2592 -2704 2292 -2376 2512 -2228 2040 -2020 2620 -2324 -2144 2524 -2140 -2628 -2384 -2472 -2440 -2124 -2660 -2028 2256 -2108 2472 -2284 -2104 -2308 -2280 -2560 2200 2644 -2160 2296 2716 2688 -2684 2664 -2216 2152 -2160 -2528 -2524 -2232 -2548 2256 -2220 -2520 -2204 2572 -2320 -2584 -2120 -2704 -2472 -2528 -2660 -2200 -2560 -2488 2296 -2084 -2360 2648 -2096 -2688 2664 2636 2576 -2020 2020 2600 -2704 2656 -2424 -2020 2628 -2528 -2208 -2568 2616 2148 -2552 2292 -2220 2492 2540 -2184 -2684 -2464 -2340 -2364 -2492 -2544 2616 2200 -2520 2640 -2520 2636 -2660 -2572 2332 2336 2324 2160 -2424 2584 2532 2568 2692 -2224 -2160 -2560 -2088 -2592 -2520 -2416 2280 -2620 -2320 -2340 -2588 -2440 -2680 -2240 -2548 -2660 -2120 2696 -2488 -2160 -2280 -2612 2252 -2704 -2572 -2372 -2196 2472 -2640 -2364 2496 -2372 -2684 2224 2128 2480 -2108 2532 2020 2656 -2680 -2544 -2536 -2648 -2344 2592 -2080 2112 2056 2248 -2580 -2440 -2640 -2060 2120 2288 -2704 -2580 2580 2596 -2316 -2284 -2612 -2412 2676 2100 -2372 -2172 2656 -2540 -2348 -2548 -2500 -2620 2212 2640 -2208 -2512 2040 -2528 2236 2652 2400 2600 -2364 -2616 2180 -2648 2368 -2384 2268 -2072 -2716 -2208 -2164 2480 -2668 -2488 -2288 -2540 2716 -2224 -2664 2640 -2620 -2520 -2060 -2524 -2404 2636 2584 2676 -2636 -2640 -2680 -2620 -2400 -2020 -2688 2616 -2640 -2148 -2132 2216 2568 2636 -2112 -2468 -2580 -2540 -2228 -2512 2224 2264 -2328 2480 -2200 2664 -2680 -2540 -2024 -2584 -2684 2608 -2200 -2404 -2580 -2620 2192 -2536 -2624 -2264 2676 -2184 2600 -2660 -2248 -2372 2640 -2700 -2512 -2432 -2552 -2664 2432 -2580 -2528 -2420 -2060 2692 -2428 -2236 -2600 -2260 -2380 -2072 -2500 -2188 -2512 2220 2616 2200 -2588 -2644 -2264 -2324 -2400 2664 2624 -2340 -2332 -2520 -2520 -2492 2528 -2060 -2276 -2640 2516 2656 2060 -2364 -2172 2588 -2160 -2520 2292 2352 2500 -2296 -2384 2032 -2560 -2264 2652 -2388 -2656 -2336 -2484 2584 -2504 -2340 -2552 -2104 -2656 2648 -2524 -2596 2608 -2332 -2600 2284 2572 -2628 -2192 2700 -2092 2608 2416 -2648 2096 2064 2564 -2660 -2244 2708 -2192 2684 2224 -2580 -2200 2432 2324 -2588 -2344 -2372 -2184 -2388 -2564 2392 2404 -2288 2188 -2620 2532 -2060 -2248 -2160 -2552 2232 -2092 2160 2304 2568 -2388 -2436 -2224 2412 -2620 2308 2020 2492 2656 2308 2472 2508 -2512 2360 2216 2268 -2328 -2688 2644 2140 -2360 2464 -2520 -2268 -2560 2664 -2268 2688 -2688 2516 -2664 2152 2288 2020 -2264 -2624 -2476 -2540 2644 -2216 2600 -2704 2696 -2424 -2588 -2460 2628 -2696 -2600 2508 -2348 2516 -2244 2620 2064 -2588 2528 -2580 -2072 -2192 -2120 -2600 -2160 -2312 2676 2224 2656 -2564 -2688 -2600 -2160 -2660 -2480 -2392 -2636 2132 -2408 -2212 2476 -2152 -2172 -2372 -2332 2020 -2324 2508 -2456 -2212 -2616 -2176 2640 -2572 2160 2644 -2520 -2324 -2480 -2232 -2336 -2628 -2204 -2108 2268 2148 2112 -2248 -2620 2060 2576 -2160 -2616 -2048 -2592 -2304 -2524 -2168 -2320 -2684 -2476 -2592 2436 -2300 -2172 -2412 -2284 2276 -2236 2484 2656 2536 -2392 2120 -2068 -2648 2448 -2664 -2320 2632 -2320 2600 -2688 -2172 -2424 -2060 -2064 -2296 -2028 -2020 -2024 2648 2264 -2064 -2536 2556 -2248 2684 -2704 -2628 2624 2328 -2112 2644 -2644 -2668 2596 -2252 -2332 -2088 -2596 -2696 2164 2060 -2560 -2256 2644 2620 2428 -2060 2076 2652 2036 2516 2200 2640 -2676 -2504 2616 -2532 2620 -2320 -2548 -2660 -2660 -2596 -2440 2532 2580 2648 2656 -2488 -2556 2576 -2524 2464 -2308 -2528 -2292 2284 -2540 -2660 -2628 -2664 2696 2036 2172 -2688 
32.10/32.31	d NODES 800
32.10/32.31	d CHECKS 13863333
32.10/32.31	   
32.10/32.31	   totalWckTime=32.133  totalCpuTime=30.83

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097937-1247414177/watcher-2097937-1247414177 -o /tmp/evaluation-result-2097937-1247414177/solver-2097937-1247414177 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097937-1247414177.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 29938
/proc/meminfo: memFree=1745944/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=272 CPUtime=0
/proc/29938/stat : 29938 (java) D 29936 29938 27955 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28484766 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/29938/statm: 68 37 28 9 0 6 0

[startup+0.0291401 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 29938
/proc/meminfo: memFree=1745944/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=861936 CPUtime=0.02
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 2091 0 1 0 1 1 0 0 18 0 5 0 28484766 882622464 1742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 215484 1745 803 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936

[startup+0.102147 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 29938
/proc/meminfo: memFree=1745944/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=865980 CPUtime=0.09
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 3828 0 1 0 7 2 0 0 18 0 9 0 28484766 886763520 3273 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216495 3277 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980

[startup+0.302165 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 29938
/proc/meminfo: memFree=1745944/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=866500 CPUtime=0.29
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 6110 0 1 0 25 4 0 0 18 0 9 0 28484766 887296000 5476 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216625 5476 1987 9 0 211083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866500

[startup+0.701204 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 29938
/proc/meminfo: memFree=1745944/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=867736 CPUtime=0.69
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 10074 0 1 0 63 6 0 0 18 0 9 0 28484766 888561664 9428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216934 9428 2038 9 0 211370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867736

[startup+1.50128 s]
/proc/loadavg: 2.01 2.05 2.01 3/89 29947
/proc/meminfo: memFree=1696912/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=867648 CPUtime=1.48
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 19245 0 1 0 137 11 0 0 18 0 9 0 28484766 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216912 18571 2031 9 0 211370 0
[pid=29938/tid=29940] ppid=29936 vsize=867648 CPUtime=1.21
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 15832 0 1 0 113 8 0 0 25 0 9 0 28484766 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4126915112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=867648 CPUtime=0.05
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 2020 0 0 0 5 0 0 0 16 0 9 0 28484768 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28484770 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=867648 CPUtime=0.18
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 691 0 0 0 18 0 0 0 16 0 9 0 28484770 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28484770 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28484770 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867648

[startup+3.10144 s]
/proc/loadavg: 2.01 2.05 2.01 3/89 29947
/proc/meminfo: memFree=1679120/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=867648 CPUtime=3.07
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 19273 0 1 0 296 11 0 0 18 0 9 0 28484766 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216912 18598 2031 9 0 211370 0
[pid=29938/tid=29940] ppid=29936 vsize=867648 CPUtime=2.78
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 15833 0 1 0 269 9 0 0 25 0 9 0 28484766 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4126467488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=867648 CPUtime=0.05
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 2020 0 0 0 5 0 0 0 17 0 9 0 28484768 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28484770 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=867648 CPUtime=0.21
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 718 0 0 0 21 0 0 0 15 0 9 0 28484770 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28484770 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28484770 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867648

[startup+6.30276 s]
/proc/loadavg: 2.01 2.05 2.01 3/89 29947
/proc/meminfo: memFree=1678872/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=867648 CPUtime=6.26
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 19279 0 1 0 614 12 0 0 18 0 9 0 28484766 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216912 18601 2031 9 0 211370 0
[pid=29938/tid=29940] ppid=29936 vsize=867648 CPUtime=5.96
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 15838 0 1 0 587 9 0 0 25 0 9 0 28484766 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4126915170 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=867648 CPUtime=0.05
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 2020 0 0 0 5 0 0 0 16 0 9 0 28484768 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28484770 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=867648 CPUtime=0.21
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 719 0 0 0 21 0 0 0 15 0 9 0 28484770 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28484770 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28484770 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867648

[startup+12.7014 s]
/proc/loadavg: 2.00 2.05 2.01 3/89 29947
/proc/meminfo: memFree=1678680/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=867648 CPUtime=12.63
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 19290 0 1 0 1249 14 0 0 18 0 9 0 28484766 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 216912 18610 2031 9 0 211370 0
[pid=29938/tid=29940] ppid=29936 vsize=867648 CPUtime=12.32
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 15840 0 1 0 1220 12 0 0 25 0 9 0 28484766 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4126950832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29941] ppid=29936 vsize=867648 CPUtime=0.05
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 2020 0 0 0 5 0 0 0 16 0 9 0 28484768 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29942] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28484768 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28484770 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=867648 CPUtime=0.22
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 728 0 0 0 22 0 0 0 15 0 9 0 28484770 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29946] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28484770 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=867648 CPUtime=0
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28484770 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 867648

[startup+25.5027 s]
/proc/loadavg: 2.00 2.04 2.01 6/91 29951
/proc/meminfo: memFree=1646984/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=868296 CPUtime=25.34
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 37586 536 1 0 2506 23 4 1 18 0 9 0 28484766 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 217074 26530 2084 9 0 211532 0
[pid=29938/tid=29940] ppid=29936 vsize=868296 CPUtime=24.57
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 19411 536 1 0 2437 15 4 1 18 0 9 0 28484766 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29941] ppid=29936 vsize=868296 CPUtime=0.49
/proc/29938/task/29941/stat : 29941 (java) R 29936 29938 27955 0 -1 64 16438 536 0 0 39 5 4 1 16 0 9 0 28484768 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 102758168 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29942] ppid=29936 vsize=868296 CPUtime=0.05
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 16 536 0 0 0 0 4 1 16 0 9 0 28484768 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29943] ppid=29936 vsize=868296 CPUtime=0.05
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 5 536 0 0 0 0 4 1 16 0 9 0 28484768 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29944] ppid=29936 vsize=868296 CPUtime=0.05
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 24 0 9 0 28484770 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=868296 CPUtime=0.32
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 887 536 0 0 27 0 4 1 15 0 9 0 28484770 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29946] ppid=29936 vsize=868296 CPUtime=0.05
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 25 0 9 0 28484770 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=868296 CPUtime=0.05
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 16 536 0 0 0 0 4 1 15 0 9 0 28484770 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868296

Solver just ended. Dumping a history of the last processes samples

[startup+28.702 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 29951
/proc/meminfo: memFree=1641168/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=868384 CPUtime=28.51
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 48552 536 1 0 2820 26 4 1 18 0 9 0 28484766 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 217096 28597 2662 9 0 211532 0
[pid=29938/tid=29940] ppid=29936 vsize=868384 CPUtime=27.5
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 23920 536 1 0 2728 17 4 1 25 0 9 0 28484766 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4127121648 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29941] ppid=29936 vsize=868384 CPUtime=0.69
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 22821 536 0 0 58 6 4 1 17 0 9 0 28484768 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29942] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 21 536 0 0 0 0 4 1 17 0 9 0 28484768 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29943] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 15 536 0 0 0 0 4 1 16 0 9 0 28484768 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29944] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 24 0 9 0 28484770 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=868384 CPUtime=0.38
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 943 536 0 0 33 0 4 1 16 0 9 0 28484770 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29946] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 25 0 9 0 28484770 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 19 536 0 0 0 0 4 1 15 0 9 0 28484770 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.51
Current children cumulated vsize (KiB) 868384

[startup+30.3022 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 29951
/proc/meminfo: memFree=1641104/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=868384 CPUtime=30.12
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 48974 536 1 0 2980 27 4 1 18 0 9 0 28484766 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 217096 28612 2662 9 0 211532 0
[pid=29938/tid=29940] ppid=29936 vsize=868384 CPUtime=29.06
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 24325 536 1 0 2884 17 4 1 25 0 9 0 28484766 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4126915101 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29941] ppid=29936 vsize=868384 CPUtime=0.69
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 22821 536 0 0 58 6 4 1 17 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29942] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 21 536 0 0 0 0 4 1 17 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29943] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 15 536 0 0 0 0 4 1 16 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29944] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 24 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=868384 CPUtime=0.42
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 960 536 0 0 36 1 4 1 15 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29946] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 25 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 19 536 0 0 0 0 4 1 15 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.12
Current children cumulated vsize (KiB) 868384

[startup+31.1022 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 29951
/proc/meminfo: memFree=1641104/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=868384 CPUtime=30.91
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 49071 536 1 0 3059 27 4 1 18 0 9 0 28484766 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 217096 28612 2662 9 0 211532 0
[pid=29938/tid=29940] ppid=29936 vsize=868384 CPUtime=29.86
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 24422 536 1 0 2964 17 4 1 25 0 9 0 28484766 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4127409724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29941] ppid=29936 vsize=868384 CPUtime=0.69
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 22821 536 0 0 58 6 4 1 17 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29942] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 21 536 0 0 0 0 4 1 17 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29943] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 15 536 0 0 0 0 4 1 16 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29944] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 24 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=868384 CPUtime=0.42
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 960 536 0 0 36 1 4 1 15 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29946] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 25 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 19 536 0 0 0 0 4 1 15 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.91
Current children cumulated vsize (KiB) 868384

[startup+31.9073 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 29951
/proc/meminfo: memFree=1641104/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=868384 CPUtime=31.71
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 49623 536 1 0 3139 27 4 1 18 0 9 0 28484766 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 217096 28612 2662 9 0 211532 0
[pid=29938/tid=29940] ppid=29936 vsize=868384 CPUtime=30.65
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 24974 536 1 0 3043 17 4 1 25 0 9 0 28484766 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4126915089 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29941] ppid=29936 vsize=868384 CPUtime=0.69
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 22821 536 0 0 58 6 4 1 16 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29942] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 21 536 0 0 0 0 4 1 17 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29943] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 15 536 0 0 0 0 4 1 16 0 9 0 28484768 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29944] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 24 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=868384 CPUtime=0.42
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 960 536 0 0 36 1 4 1 15 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29946] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 25 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 19 536 0 0 0 0 4 1 15 0 9 0 28484770 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.71
Current children cumulated vsize (KiB) 868384

[startup+32.3024 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 29951
/proc/meminfo: memFree=1641104/2055920 swapFree=4192812/4192956
[pid=29938] ppid=29936 vsize=868384 CPUtime=32.1
/proc/29938/stat : 29938 (java) S 29936 29938 27955 0 -1 0 53409 536 1 0 3177 28 4 1 18 0 9 0 28484766 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29938/statm: 217096 30985 2662 9 0 211532 0
[pid=29938/tid=29940] ppid=29936 vsize=868384 CPUtime=31
/proc/29938/task/29940/stat : 29940 (java) R 29936 29938 27955 0 -1 64 25128 536 1 0 3078 17 4 1 25 0 9 0 28484766 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4127465806 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29941] ppid=29936 vsize=868384 CPUtime=0.73
/proc/29938/task/29941/stat : 29941 (java) S 29936 29938 27955 0 -1 64 26440 536 0 0 61 7 4 1 16 0 9 0 28484768 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29942] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29942/stat : 29942 (java) S 29936 29938 27955 0 -1 64 21 536 0 0 0 0 4 1 16 0 9 0 28484768 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29943] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29943/stat : 29943 (java) S 29936 29938 27955 0 -1 64 26 536 0 0 0 0 4 1 16 0 9 0 28484768 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29944] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29944/stat : 29944 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 24 0 9 0 28484770 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29945] ppid=29936 vsize=868384 CPUtime=0.42
/proc/29938/task/29945/stat : 29945 (java) S 29936 29938 27955 0 -1 64 962 536 0 0 36 1 4 1 16 0 9 0 28484770 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29938/tid=29946] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29946/stat : 29946 (java) S 29936 29938 27955 0 -1 64 1 536 0 0 0 0 4 1 25 0 9 0 28484770 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29938/tid=29947] ppid=29936 vsize=868384 CPUtime=0.05
/proc/29938/task/29947/stat : 29947 (java) S 29936 29938 27955 0 -1 64 19 536 0 0 0 0 4 1 15 0 9 0 28484770 889225216 30985 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.1
Current children cumulated vsize (KiB) 868384

Child status: 0
Real time (s): 32.3386
CPU time (s): 32.1601
CPU user time (s): 31.8312
CPU system time (s): 0.328949
CPU usage (%): 99.4481
Max. virtual memory (cumulated for all children) (KiB): 868384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8312
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53980
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= 2759
involuntary context switches= 3678

runsolver used 0.051992 second user time and 0.108983 second system time

The end

Launcher Data 

Begin job on node12 at 2009-07-12 17:56:17
IDJOB=2097937
IDBENCH=58032
IDSOLVER=773
FILE ID=node12/2097937-1247414177
PBS_JOBID= 9510620
Free space on /tmp= 66216 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097937-1247414177/watcher-2097937-1247414177 -o /tmp/evaluation-result-2097937-1247414177/solver-2097937-1247414177 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097937-1247414177.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0c9bd9627ff304e4b5c8ec56755ce638
RANDOM SEED=1168249531

node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.240
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.240
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:       1746424 kB
Buffers:         44800 kB
Cached:         144508 kB
SwapCached:        140 kB
Active:         145200 kB
Inactive:        94936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3268 kB
Writeback:           0 kB
Mapped:          71100 kB
Slab:            54704 kB
Committed_AS:   996124 kB
PageTables:       1848 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= 66212 MiB
End job on node12 at 2009-07-12 17:56:50