Trace number 2097938

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 ESACSAT 32.2261 32.4173

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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.17/0.25	
0.17/0.25	   configuration
0.17/0.25	     name=esac.xml
0.17/0.28	   
0.17/0.28	   instance
0.17/0.28	     name=HOME/instance-2097938-1247414177.xml
0.27/0.32	   
0.27/0.32	   domains being loaded...
0.27/0.36	   
0.27/0.36	   variables being loaded...
0.38/0.50	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350  nbTotalValues=121824
0.47/0.50	       =>  wckTime=0.244  cpuTime=0.17  mem=12M804
0.47/0.50	   
0.47/0.50	   predicates being loaded...
0.47/0.56	   
0.47/0.56	   constraints being loaded...
20.67/20.82	   
20.67/20.82	   INFO : Stopping converting binary constraints (cpu=20.07, mem = 38M869)
25.23/25.47	     nbConstraints=4803  nbGlobalConstraints=3  nbMergedConstraints=4175  nbConvertedConstraints=1359
25.23/25.47	     nbConvertConstraintsChecks=45751856  nbExtensionStructures=1279  nbSharedExtensionStructures=277
25.23/25.47	     nbConflictsStructures=2536  nbSharedConflictsStructures=420  nbUnbuiltConflictsStructures=1832
25.23/25.47	     nbSharedBinaryRepresentations=281411  nbEvaluationManagers=3089  nbSharedEvaluationManagers=352  minDegree=3
25.23/25.47	     maxDegree=20  minArity=2  avgArity=2  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.424
25.23/25.47	     symmetryCpuTime=0.32  nbCliques=3
25.23/25.47	       =>  wckTime=25.216  cpuTime=24.34  mem=73M539
25.54/25.72	   
25.54/25.72	   solver IterativeSystematicSolver being built... 
25.63/25.85	   
25.63/25.85	   INFO : Forward propagation technique limited 
25.72/25.95	       =>  wckTime=25.699  cpuTime=24.53  mem=77M271
28.71/28.91	   
28.71/28.91	   preprocessing
28.71/28.91	     nbConstraintChecks=8073048  nbValidityChecks=176262  nbPropagations=854  nbRevisions=5681  nbUselessRevisions=5128
28.71/28.91	     nbRemovedValues=25636  detectedInconsistency=no
28.71/28.91	       =>  wckTime=2.95  cpuTime=2.92  mem=77M271
32.10/32.37	   
32.10/32.37	   search
32.10/32.37	     run=0  nbConstraintChecks=5790285  nbValidityChecks=2965874  minDepth=801  maxDepth=800  nbPropagations=6549
32.10/32.37	     nbRevisions=37307  nbUselessRevisions=31733  nbAssignments=800  nbFailedAssignments=0  nbBacktracks=0
32.10/32.37	     nbVisitedNodes=801  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
32.10/32.37	     nbSEliminables=0  nbREliminables=69.69  nbIEliminables=382.33  nbDEliminables=0  nbPEliminables=0
32.10/32.37	       =>  wckTime=6.415  cpuTime=6.29  mem=51M453
32.10/32.37	   
32.10/32.37	   global
32.10/32.37	     nbConstraintChecks=13863333  nbValidityChecks=3142136  nbPropagations=7403  nbRevisions=42988
32.10/32.37	     nbUselessRevisions=36861  nbRestartNogoods=0  solvingWckTime=6.417  solvingCpuTime=6.3  expiredTime=no
32.10/32.37	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=30.8  globalCpuTime=30.87
32.10/32.37	       =>  wckTime=32.121  cpuTime=30.83  mem=51M453
32.10/32.38	   
32.10/32.38	s SATISFIABLE
32.10/32.38	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.38	d NODES 800
32.10/32.38	d CHECKS 13863333
32.10/32.38	   
32.10/32.38	   totalWckTime=32.19  totalCpuTime=30.87

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-2097938-1247414177/watcher-2097938-1247414177 -o /tmp/evaluation-result-2097938-1247414177/solver-2097938-1247414177 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097938-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.05 2.03 2.01 4/80 490
/proc/meminfo: memFree=1658480/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=18576 CPUtime=0
/proc/490/stat : 490 (runsolver) R 488 490 31053 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28480969 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 218076081447 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/490/statm: 4644 284 249 26 0 2626 0

[startup+0.0987961 s]
/proc/loadavg: 2.05 2.03 2.01 4/80 490
/proc/meminfo: memFree=1658480/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=865980 CPUtime=0.08
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 3662 0 1 0 6 2 0 0 18 0 9 0 28480969 886763520 3145 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216495 3145 1680 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.101796 s]
/proc/loadavg: 2.05 2.03 2.01 4/80 490
/proc/meminfo: memFree=1658480/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=865980 CPUtime=0.08
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 3717 0 1 0 6 2 0 0 18 0 9 0 28480969 886763520 3185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216495 3185 1695 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.301832 s]
/proc/loadavg: 2.05 2.03 2.01 4/80 490
/proc/meminfo: memFree=1658480/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=866380 CPUtime=0.27
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 5934 0 1 0 23 4 0 0 18 0 9 0 28480969 887173120 5300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216595 5300 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866380

[startup+0.701902 s]
/proc/loadavg: 2.05 2.03 2.01 4/80 490
/proc/meminfo: memFree=1658480/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=867736 CPUtime=0.67
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 9929 0 1 0 60 7 0 0 18 0 9 0 28480969 888561664 9283 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216934 9283 2038 9 0 211370 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867736

[startup+1.50204 s]
/proc/loadavg: 2.05 2.03 2.01 3/89 499
/proc/meminfo: memFree=1609824/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=867648 CPUtime=1.47
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 19245 0 1 0 134 13 0 0 18 0 9 0 28480969 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216912 18571 2031 9 0 211370 0
[pid=490/tid=492] ppid=488 vsize=867648 CPUtime=1.2
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 15832 0 1 0 109 11 0 0 25 0 9 0 28480970 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4126921327 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=493] ppid=488 vsize=867648 CPUtime=0.05
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 2020 0 0 0 5 0 0 0 16 0 9 0 28480972 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=494] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=495] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=496] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 28480975 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=867648 CPUtime=0.18
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 691 0 0 0 18 0 0 0 16 0 9 0 28480975 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=498] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28480975 888471552 18571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480975 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.47
Current children cumulated vsize (KiB) 867648

[startup+3.10129 s]
/proc/loadavg: 2.13 2.05 2.01 3/89 499
/proc/meminfo: memFree=1591648/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=867648 CPUtime=3.06
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 19273 0 1 0 292 14 0 0 18 0 9 0 28480969 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216912 18598 2031 9 0 211370 0
[pid=490/tid=492] ppid=488 vsize=867648 CPUtime=2.77
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 15833 0 1 0 265 12 0 0 25 0 9 0 28480970 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4126917762 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=493] ppid=488 vsize=867648 CPUtime=0.05
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 2020 0 0 0 5 0 0 0 17 0 9 0 28480972 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=494] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=495] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=496] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 28480975 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=867648 CPUtime=0.21
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 718 0 0 0 21 0 0 0 15 0 9 0 28480975 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=498] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28480975 888471552 18598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480975 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.06
Current children cumulated vsize (KiB) 867648

[startup+6.30283 s]
/proc/loadavg: 2.13 2.05 2.01 3/89 499
/proc/meminfo: memFree=1591584/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=867648 CPUtime=6.25
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 19279 0 1 0 610 15 0 0 18 0 9 0 28480969 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216912 18601 2031 9 0 211370 0
[pid=490/tid=492] ppid=488 vsize=867648 CPUtime=5.95
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 15838 0 1 0 582 13 0 0 25 0 9 0 28480970 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4126921284 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=493] ppid=488 vsize=867648 CPUtime=0.05
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 2020 0 0 0 5 0 0 0 16 0 9 0 28480972 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=494] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=495] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=496] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 28480975 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=867648 CPUtime=0.21
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 719 0 0 0 21 0 0 0 16 0 9 0 28480975 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=498] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28480975 888471552 18601 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480975 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.25
Current children cumulated vsize (KiB) 867648

[startup+12.7019 s]
/proc/loadavg: 2.11 2.05 2.01 3/89 499
/proc/meminfo: memFree=1591400/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=867648 CPUtime=12.61
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 19290 0 1 0 1244 17 0 0 18 0 9 0 28480969 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 216912 18610 2031 9 0 211370 0
[pid=490/tid=492] ppid=488 vsize=867648 CPUtime=12.29
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 15840 0 1 0 1214 15 0 0 25 0 9 0 28480970 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4126940315 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=493] ppid=488 vsize=867648 CPUtime=0.05
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 2020 0 0 0 5 0 0 0 16 0 9 0 28480972 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=494] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=495] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28480972 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=496] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 28480975 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=867648 CPUtime=0.23
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 728 0 0 0 23 0 0 0 15 0 9 0 28480975 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=498] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28480975 888471552 18610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=867648 CPUtime=0
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480975 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.61
Current children cumulated vsize (KiB) 867648

[startup+25.5021 s]
/proc/loadavg: 2.09 2.04 2.01 2/91 503
/proc/meminfo: memFree=1559640/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=868296 CPUtime=25.33
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 35695 537 1 0 2504 24 4 1 18 0 9 0 28480969 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 217074 26530 2084 9 0 211532 0
[pid=490/tid=492] ppid=488 vsize=868296 CPUtime=24.57
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 19399 537 1 0 2434 18 4 1 18 0 9 0 28480970 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=493] ppid=488 vsize=868296 CPUtime=0.48
/proc/490/task/493/stat : 493 (java) R 488 490 31053 0 -1 64 14578 537 0 0 39 4 4 1 16 0 9 0 28480972 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 103731847 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=494] ppid=488 vsize=868296 CPUtime=0.05
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 16 537 0 0 0 0 4 1 16 0 9 0 28480972 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=495] ppid=488 vsize=868296 CPUtime=0.05
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 5 537 0 0 0 0 4 1 16 0 9 0 28480972 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=496] ppid=488 vsize=868296 CPUtime=0.05
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 23 0 9 0 28480975 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=868296 CPUtime=0.34
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 898 537 0 0 29 0 4 1 15 0 9 0 28480975 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=498] ppid=488 vsize=868296 CPUtime=0.05
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 24 0 9 0 28480975 889135104 26530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=868296 CPUtime=0.05
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 16 537 0 0 0 0 4 1 15 0 9 0 28480975 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.33
Current children cumulated vsize (KiB) 868296

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

[startup+28.7016 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 503
/proc/meminfo: memFree=1554080/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=868384 CPUtime=28.51
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 48553 537 1 0 2818 28 4 1 18 0 9 0 28480969 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 217096 28597 2662 9 0 211532 0
[pid=490/tid=492] ppid=488 vsize=868384 CPUtime=27.47
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 23908 537 1 0 2723 19 4 1 25 0 9 0 28480970 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4127121648 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=493] ppid=488 vsize=868384 CPUtime=0.7
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 22824 537 0 0 59 6 4 1 17 0 9 0 28480972 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=494] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 21 537 0 0 0 0 4 1 17 0 9 0 28480972 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=495] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 14 537 0 0 0 0 4 1 16 0 9 0 28480972 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=496] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 23 0 9 0 28480975 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=868384 CPUtime=0.4
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 954 537 0 0 35 0 4 1 16 0 9 0 28480975 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=498] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 24 0 9 0 28480975 889225216 28597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 19 537 0 0 0 0 4 1 15 0 9 0 28480975 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.3029 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 503
/proc/meminfo: memFree=1554016/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=868384 CPUtime=30.1
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 48963 537 1 0 2977 28 4 1 18 0 9 0 28480969 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 217096 28612 2662 9 0 211532 0
[pid=490/tid=492] ppid=488 vsize=868384 CPUtime=29.03
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 24302 537 1 0 2879 19 4 1 25 0 9 0 28480970 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4127430559 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=493] ppid=488 vsize=868384 CPUtime=0.7
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 22824 537 0 0 59 6 4 1 17 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=494] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 21 537 0 0 0 0 4 1 17 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=495] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 14 537 0 0 0 0 4 1 16 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=496] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 23 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=868384 CPUtime=0.43
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 971 537 0 0 38 0 4 1 15 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=498] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 24 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 19 537 0 0 0 0 4 1 15 0 9 0 28480975 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.1
Current children cumulated vsize (KiB) 868384

[startup+31.103 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 503
/proc/meminfo: memFree=1554016/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=868384 CPUtime=30.9
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 49046 537 1 0 3057 28 4 1 18 0 9 0 28480969 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 217096 28612 2662 9 0 211532 0
[pid=490/tid=492] ppid=488 vsize=868384 CPUtime=29.83
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 24384 537 1 0 2959 19 4 1 25 0 9 0 28480970 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4127409781 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=493] ppid=488 vsize=868384 CPUtime=0.7
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 22824 537 0 0 59 6 4 1 17 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=494] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 21 537 0 0 0 0 4 1 17 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=495] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 14 537 0 0 0 0 4 1 16 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=496] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 23 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=868384 CPUtime=0.43
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 971 537 0 0 38 0 4 1 15 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=498] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 24 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 19 537 0 0 0 0 4 1 15 0 9 0 28480975 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.9
Current children cumulated vsize (KiB) 868384

[startup+31.9071 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 503
/proc/meminfo: memFree=1554016/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=868384 CPUtime=31.7
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 49527 537 1 0 3137 28 4 1 18 0 9 0 28480969 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 217096 28612 2662 9 0 211532 0
[pid=490/tid=492] ppid=488 vsize=868384 CPUtime=30.64
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 24865 537 1 0 3039 20 4 1 25 0 9 0 28480970 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4127409836 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=493] ppid=488 vsize=868384 CPUtime=0.7
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 22824 537 0 0 59 6 4 1 16 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=494] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 21 537 0 0 0 0 4 1 17 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=495] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 14 537 0 0 0 0 4 1 16 0 9 0 28480972 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=496] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 23 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=868384 CPUtime=0.43
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 971 537 0 0 38 0 4 1 15 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=498] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 24 0 9 0 28480975 889225216 28612 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 19 537 0 0 0 0 4 1 15 0 9 0 28480975 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.7
Current children cumulated vsize (KiB) 868384

[startup+32.3012 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 503
/proc/meminfo: memFree=1554016/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=868384 CPUtime=32.1
/proc/490/stat : 490 (java) S 488 490 31053 0 -1 0 53405 537 1 0 3176 29 4 1 18 0 9 0 28480969 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/490/statm: 217096 30980 2662 9 0 211532 0
[pid=490/tid=492] ppid=488 vsize=868384 CPUtime=30.99
/proc/490/task/492/stat : 492 (java) R 488 490 31053 0 -1 64 25113 537 1 0 3074 20 4 1 25 0 9 0 28480970 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4127429694 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=493] ppid=488 vsize=868384 CPUtime=0.74
/proc/490/task/493/stat : 493 (java) S 488 490 31053 0 -1 64 26443 537 0 0 63 6 4 1 16 0 9 0 28480972 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=494] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/494/stat : 494 (java) S 488 490 31053 0 -1 64 21 537 0 0 0 0 4 1 16 0 9 0 28480972 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=495] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/495/stat : 495 (java) S 488 490 31053 0 -1 64 25 537 0 0 0 0 4 1 16 0 9 0 28480972 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=496] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/496/stat : 496 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 23 0 9 0 28480975 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=497] ppid=488 vsize=868384 CPUtime=0.43
/proc/490/task/497/stat : 497 (java) S 488 490 31053 0 -1 64 971 537 0 0 38 0 4 1 15 0 9 0 28480975 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=490/tid=498] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/498/stat : 498 (java) S 488 490 31053 0 -1 64 1 537 0 0 0 0 4 1 24 0 9 0 28480975 889225216 30980 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=490/tid=499] ppid=488 vsize=868384 CPUtime=0.05
/proc/490/task/499/stat : 499 (java) S 488 490 31053 0 -1 64 19 537 0 0 0 0 4 1 15 0 9 0 28480975 889225216 30980 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

[startup+32.4012 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 503
/proc/meminfo: memFree=1554016/2055920 swapFree=4192812/4192956
[pid=490] ppid=488 vsize=0 CPUtime=32.19
/proc/490/stat : 490 (java) Z 488 490 31053 0 -1 12 53445 537 1 0 3184 30 4 1 16 0 2 0 28480969 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/490/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 32.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 32.4173
CPU time (s): 32.2261
CPU user time (s): 31.8922
CPU system time (s): 0.333949
CPU usage (%): 99.4101
Max. virtual memory (cumulated for all children) (KiB): 868384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8922
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53982
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= 2772
involuntary context switches= 3343

runsolver used 0.038994 second user time and 0.117982 second system time

The end

Launcher Data 

Begin job on node57 at 2009-07-12 17:56:17
IDJOB=2097938
IDBENCH=58032
IDSOLVER=774
FILE ID=node57/2097938-1247414177
PBS_JOBID= 9510532
Free space on /tmp= 66412 MiB

SOLVER NAME= Abscon 112v4 ESAC
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 esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097938-1247414177/watcher-2097938-1247414177 -o /tmp/evaluation-result-2097938-1247414177/solver-2097938-1247414177 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097938-1247414177.xml

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

MD5SUM BENCH= 0c9bd9627ff304e4b5c8ec56755ce638
RANDOM SEED=1805608019

node57.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.261
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.261
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:       1658960 kB
Buffers:         48980 kB
Cached:         120680 kB
SwapCached:          0 kB
Active:         266080 kB
Inactive:        75256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658960 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3256 kB
Writeback:           0 kB
Mapped:         192240 kB
Slab:            40532 kB
Committed_AS:  1023620 kB
PageTables:       2092 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= 66408 MiB
End job on node57 at 2009-07-12 17:56:50