Trace number 2097760

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 48.6576 48.969

DiagnosticValue
CHECKS58810900
NODES2402

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-5.xml
MD5SUMfa37dee04ffe0cd0af7a8fde9f661bf5
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 benchmark48.6576
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
Global constraints used (with number of constraints)

Solver Data 

0.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.17/0.26	
0.17/0.26	   configuration
0.17/0.26	     name=esac.xml
0.27/0.30	   
0.27/0.30	   instance
0.27/0.30	     name=HOME/instance-2097760-1247413983.xml
0.27/0.33	   
0.27/0.33	   domains being loaded...
0.27/0.38	   
0.27/0.38	   variables being loaded...
0.48/0.51	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.48/0.51	       =>  wckTime=0.243  cpuTime=0.18  mem=12M782
0.48/0.51	   
0.48/0.51	   predicates being loaded...
0.48/0.57	   
0.48/0.57	   constraints being loaded...
20.48/20.79	   
20.48/20.79	   INFO : Stopping converting binary constraints (cpu=20.07, mem = 54M332)
23.94/24.24	     nbConstraints=3843  nbGlobalConstraints=9  nbMergedConstraints=3288  nbConvertedConstraints=910
23.94/24.24	     nbConvertConstraintsChecks=40792940  nbExtensionStructures=839  nbSharedExtensionStructures=158
23.94/24.24	     nbConflictsStructures=1359  nbSharedConflictsStructures=230  nbUnbuiltConflictsStructures=1992
23.94/24.24	     nbSharedBinaryRepresentations=222984  nbEvaluationManagers=2512  nbSharedEvaluationManagers=412  minDegree=3
23.94/24.24	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.454
23.94/24.24	     symmetryCpuTime=0.35  nbCliques=9
23.94/24.24	       =>  wckTime=23.972  cpuTime=23.07  mem=73M886
24.14/24.46	   
24.14/24.46	   solver IterativeSystematicSolver being built... 
24.24/24.58	   
24.24/24.58	   INFO : Forward propagation technique limited 
24.34/24.68	       =>  wckTime=24.412  cpuTime=23.25  mem=69M558
28.42/28.78	   
28.42/28.78	   preprocessing
28.42/28.78	     nbConstraintChecks=11031786  nbValidityChecks=293719  nbPropagations=930  nbRevisions=8202  nbUselessRevisions=6869
28.42/28.78	     nbRemovedValues=52087  detectedInconsistency=no
28.42/28.78	       =>  wckTime=4.101  cpuTime=4.06  mem=70M562
48.02/48.33	   
48.02/48.33	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=74M483)
48.52/48.88	   
48.52/48.89	   search
48.52/48.89	     run=7  nbConstraintChecks=47779103  nbValidityChecks=30564734  minDepth=92  maxDepth=700  nbPropagations=200248
48.52/48.89	     nbRevisions=1811293  nbUselessRevisions=1483841  nbAssignments=2402  nbFailedAssignments=399  nbBacktracks=164
48.52/48.89	     nbVisitedNodes=2890  nbRestartNogoods=75  nbFoundSolutions=1  nbSEliminables=0  nbREliminables=41.83
48.52/48.89	     nbIEliminables=577.53  nbDEliminables=0  nbPEliminables=0
48.52/48.89	       =>  wckTime=24.205  cpuTime=24.08  mem=74M483
48.52/48.89	   
48.52/48.89	   global
48.52/48.89	     nbConstraintChecks=58810889  nbValidityChecks=30858453  nbPropagations=201178  nbRevisions=1819495
48.52/48.89	     nbUselessRevisions=1490710  nbRestartNogoods=75  solvingWckTime=24.207  solvingCpuTime=24.08  expiredTime=no
48.52/48.89	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=47.32  globalCpuTime=47.38
48.52/48.89	       =>  wckTime=48.623  cpuTime=47.34  mem=74M483
48.52/48.89	   
48.52/48.89	s SATISFIABLE
48.52/48.89	v -2608 -2560 -2404 2680 -2660 -2308 -2432 2436 2324 2276 -2472 -2624 -2360 -2292 2300 2308 -2392 -2616 -2624 2572 2688 -2688 -2720 -2348 -2696 2680 2256 -2464 -2584 -2696 2432 2564 -2392 -2472 -2380 -2256 -2200 -2272 2476 -2276 -2596 -2452 -2444 -2200 -2384 -2312 -2392 -2632 2352 -2160 2480 -2548 -2624 -2180 -2720 2704 -2160 2188 2488 -2432 -2188 2720 -2452 2544 2700 -2700 -2496 2508 -2616 2580 2636 -2208 2448 2436 2252 2652 -2408 2356 2596 2336 2608 -2412 -2324 -2520 2232 2200 -2300 -2572 -2172 -2348 -2680 -2552 -2720 -2696 2592 -2348 -2360 -2420 2716 2648 2236 -2692 -2500 2280 -2220 2716 -2208 2692 2160 2680 -2160 2664 -2232 -2360 -2624 -2396 -2388 -2256 2580 -2200 2616 2364 -2412 -2640 -2380 2348 2520 -2472 -2244 -2248 2416 -2640 2556 2320 -2160 2336 2392 2584 2528 -2340 -2620 2160 -2160 2276 -2200 -2424 -2360 -2536 -2324 2648 -2664 -2396 2620 2264 -2372 -2364 -2308 -2720 -2704 -2396 2592 -2496 2512 2624 -2356 2644 -2160 -2364 -2584 2332 2164 -2680 2456 2608 2600 -2588 2160 2628 2652 2656 -2720 2592 2436 -2388 2400 -2648 2600 -2340 -2228 -2272 2292 -2356 2324 2476 -2676 -2488 -2484 2520 2292 -2568 -2688 -2400 -2388 2348 -2696 2384 -2548 2608 2508 2520 2420 -2288 2624 2376 2448 -2200 -2200 2408 2524 -2636 2204 2216 -2296 -2368 -2720 2584 2472 2328 -2488 -2316 2456 -2664 -2224 -2416 2200 -2656 -2408 2540 -2680 -2404 2612 -2308 -2680 2624 2648 -2280 -2348 2540 2180 2308 -2292 -2284 2604 2160 2580 2288 2624 -2316 2480 -2396 -2720 2528 -2160 -2520 2336 -2576 2204 -2576 -2220 -2412 -2432 -2416 2644 -2664 -2224 -2380 -2624 2416 -2180 -2648 -2528 2584 -2720 -2512 -2396 -2248 -2380 2352 -2576 -2448 2552 2248 2660 2332 -2560 2632 2376 -2604 -2536 -2200 2624 -2452 2680 -2656 2584 2160 -2680 2532 -2532 2508 -2648 -2720 2452 -2356 2292 -2648 -2328 2432 -2552 -2288 -2692 2160 -2288 -2448 -2660 2280 2264 -2372 -2252 2624 2160 -2440 2608 2276 -2160 -2468 2588 -2652 2524 -2484 -2364 -2284 -2316 2480 -2324 -2300 -2340 2588 -2432 -2572 2224 2664 2412 -2348 -2680 -2244 2656 2684 2628 -2544 2200 -2172 -2652 2568 -2472 2584 -2468 -2540 2320 -2372 -2504 -2160 -2488 -2700 -2600 -2680 -2664 2204 2252 2640 -2552 2496 2680 -2708 2484 -2252 -2680 -2316 -2288 2584 2680 -2200 -2472 2312 2532 2520 -2560 -2680 2428 -2372 2484 2464 2672 -2696 2664 2356 2268 2384 -2376 -2552 -2416 2408 2656 2344 2200 -2720 -2392 -2480 2496 2456 -2560 2424 -2220 2540 2532 2584 -2560 -2416 2536 2356 2200 -2220 -2628 -2648 -2432 -2624 -2464 2384 2164 -2292 -2700 2448 -2624 2296 2680 2364 2320 2456 2552 -2396 2348 2680 2584 -2260 -2320 -2252 -2624 -2444 2544 2592 -2424 -2628 -2440 2500 -2176 2300 -2352 -2260 2720 -2276 2660 -2400 2680 -2600 2212 -2396 -2220 2332 -2456 2212 -2480 -2316 2632 2720 2584 -2656 -2572 -2684 2252 2328 -2160 -2248 2196 -2628 2532 -2544 2368 -2312 -2164 -2268 2424 -2508 -2388 2504 -2200 -2160 -2476 -2160 -2200 -2200 2524 2652 2332 2604 -2384 -2624 -2276 -2384 -2436 2512 -2520 -2204 2560 2216 -2700 2588 -2704 -2540 -2216 -2296 -2608 -2160 2364 -2720 -2572 2588 -2328 2204 -2660 -2612 2656 -2292 -2676 2680 2336 -2340 2356 2500 -2324 -2696 2616 2576 -2680 -2660 2488 -2464 -2668 -2316 2560 2540 2692 -2508 2200 2420 -2388 2212 -2160 2164 -2200 2584 -2532 2620 2548 2192 -2340 -2448 -2700 -2468 2644 -2200 -2596 2416 -2248 2588 2396 -2548 -2628 2376 2616 -2544 -2664 -2568 2228 -2300 -2356 -2564 -2472 2328 -2200 -2160 2504 2680 -2236 -2624 2380 -2720 -2372 2252 -2664 -2404 -2376 2512 2676 2412 -2584 -2356 -2316 -2720 2356 -2720 2608 -2720 -2232 2488 2656 2356 -2696 -2184 2472 -2720 2320 -2200 2440 -2352 2596 2564 2448 2324 -2412 2680 2396 2576 2668 -2492 -2268 2284 2360 2200 2308 -2200 -2580 -2432 -2340 2364 -2244 2660 2440 -2252 2432 2508 -2592 2500 -2272 -2560 -2656 -2560 -2396 2344 2508 -2392 -2444 -2556 -2228 2432 2636 2680 -2184 -2304 -2548 -2528 2424 -2652 -2420 -2624 2720 -2424 -2316 -2160 2356 -2348 -2664 -2320 -2296 -2308 -2204 -2616 2512 -2292 -2288 -2664 
48.52/48.89	d NODES 2402
48.52/48.89	d CHECKS 58810889
48.52/48.90	   
48.52/48.90	   totalWckTime=48.699  totalCpuTime=47.4

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-2097760-1247413983/watcher-2097760-1247413983 -o /tmp/evaluation-result-2097760-1247413983/solver-2097760-1247413983 -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-2097760-1247413983.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

[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 4/80 31268
/proc/meminfo: memFree=1430560/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=18576 CPUtime=0
/proc/31268/stat : 31268 (runsolver) R 31266 29880 29880 0 -1 4194368 8 0 0 0 0 0 0 0 19 0 1 0 28465867 19021824 282 996147200 4194304 4302564 548682068384 18446744073709551615 259922090202 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31268/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0302981 s]
/proc/loadavg: 2.02 2.01 2.00 4/80 31268
/proc/meminfo: memFree=1430560/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=861288 CPUtime=0.01
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 1717 0 1 0 0 1 0 0 18 0 3 0 28465867 881958912 1414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 215322 1414 568 9 0 210237 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861288

[startup+0.101201 s]
/proc/loadavg: 2.02 2.01 2.00 4/80 31268
/proc/meminfo: memFree=1430560/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=865984 CPUtime=0.08
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 3719 0 1 0 6 2 0 0 18 0 9 0 28465867 886767616 3187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216496 3187 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301237 s]
/proc/loadavg: 2.02 2.01 2.00 4/80 31268
/proc/meminfo: memFree=1430560/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=866380 CPUtime=0.27
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 5818 0 1 0 24 3 0 0 18 0 9 0 28465867 887173120 5194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216595 5194 1976 9 0 211053 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866380

[startup+0.701257 s]
/proc/loadavg: 2.02 2.01 2.00 4/80 31268
/proc/meminfo: memFree=1430560/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=867776 CPUtime=0.68
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 9466 0 1 0 62 6 0 0 18 0 9 0 28465867 888602624 8820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216944 8820 2036 9 0 211380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867776

[startup+1.5014 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 31277
/proc/meminfo: memFree=1386072/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=867776 CPUtime=1.46
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 16282 0 1 0 137 9 0 0 18 0 9 0 28465867 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216944 15633 2041 9 0 211380 0
[pid=31268/tid=31270] ppid=31266 vsize=867776 CPUtime=1.25
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 14897 0 1 0 117 8 0 0 25 0 9 0 28465869 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31271] ppid=31266 vsize=867776 CPUtime=0
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28465870 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31272] ppid=31266 vsize=867776 CPUtime=0
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28465870 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=867776 CPUtime=0
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28465870 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=867776 CPUtime=0
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28465872 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=867776 CPUtime=0.2
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 687 0 0 0 19 1 0 0 15 0 9 0 28465872 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31276] ppid=31266 vsize=867776 CPUtime=0
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28465872 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=867776 CPUtime=0
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28465873 888602624 15633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867776

[startup+3.10148 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 31277
/proc/meminfo: memFree=1373912/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=867688 CPUtime=3.05
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 19572 0 1 0 293 12 0 0 18 0 9 0 28465867 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216922 18897 2031 9 0 211380 0
[pid=31268/tid=31270] ppid=31266 vsize=867688 CPUtime=2.72
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 15833 0 1 0 263 9 0 0 25 0 9 0 28465869 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4126906615 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31271] ppid=31266 vsize=867688 CPUtime=0.07
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 2317 0 0 0 6 1 0 0 16 0 9 0 28465870 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31272] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28465870 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28465870 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28465872 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=867688 CPUtime=0.23
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 721 0 0 0 22 1 0 0 15 0 9 0 28465872 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31276] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28465872 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28465873 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867688

[startup+6.30279 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 31277
/proc/meminfo: memFree=1362264/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=867688 CPUtime=6.22
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 19579 0 1 0 610 12 0 0 18 0 9 0 28465867 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216922 18902 2031 9 0 211380 0
[pid=31268/tid=31270] ppid=31266 vsize=867688 CPUtime=5.88
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 15837 0 1 0 579 9 0 0 25 0 9 0 28465869 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4126907831 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31271] ppid=31266 vsize=867688 CPUtime=0.07
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 2317 0 0 0 6 1 0 0 16 0 9 0 28465870 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31272] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28465870 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28465870 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28465872 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=867688 CPUtime=0.24
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 724 0 0 0 23 1 0 0 15 0 9 0 28465872 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31276] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28465872 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28465873 888512512 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867688

[startup+12.7014 s]
/proc/loadavg: 2.09 2.03 2.01 3/89 31277
/proc/meminfo: memFree=1362136/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=867688 CPUtime=12.56
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 19590 0 1 0 1242 14 0 0 18 0 9 0 28465867 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 216922 18910 2031 9 0 211380 0
[pid=31268/tid=31270] ppid=31266 vsize=867688 CPUtime=12.21
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 15841 0 1 0 1211 10 0 0 25 0 9 0 28465869 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4126911323 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31271] ppid=31266 vsize=867688 CPUtime=0.07
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 2317 0 0 0 6 1 0 0 17 0 9 0 28465870 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31272] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28465870 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28465870 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28465872 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=867688 CPUtime=0.25
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 731 0 0 0 24 1 0 0 16 0 9 0 28465872 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31276] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28465872 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=867688 CPUtime=0
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28465873 888512512 18910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867688

[startup+25.5026 s]
/proc/loadavg: 2.07 2.02 2.00 3/78 31284
/proc/meminfo: memFree=1716344/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=25.24
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 46185 498 1 0 2495 25 3 1 18 0 9 0 28465867 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27390 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=24.28
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 23244 498 1 0 2409 15 3 1 25 0 9 0 28465869 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4126913399 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 17 0 9 0 28465870 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.41
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 967 498 0 0 36 1 3 1 15 0 9 0 28465872 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 8 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868100

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

[startup+38.3018 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 31316
/proc/meminfo: memFree=1633568/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=38.02
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 46956 498 1 0 3772 26 3 1 18 0 9 0 28465867 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27416 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=37.01
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 23984 498 1 0 3681 16 3 1 25 0 9 0 28465869 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4126911298 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 16 0 9 0 28465870 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.46
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 997 498 0 0 41 1 3 1 16 0 9 0 28465872 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 9 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.02
Current children cumulated vsize (KiB) 868100

[startup+44.7014 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 31316
/proc/meminfo: memFree=1633632/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=44.41
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 47049 498 1 0 4411 26 3 1 18 0 9 0 28465867 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27419 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=43.4
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 24074 498 1 0 4320 16 3 1 25 0 9 0 28465869 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4127133879 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 17 0 9 0 28465870 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.47
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 1000 498 0 0 41 2 3 1 15 0 9 0 28465872 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 9 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.41
Current children cumulated vsize (KiB) 868100

[startup+46.3016 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31316
/proc/meminfo: memFree=1633568/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=46.01
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 47057 498 1 0 4571 26 3 1 18 0 9 0 28465867 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27419 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=45
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 24082 498 1 0 4480 16 3 1 25 0 9 0 28465869 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4125952222 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 16 0 9 0 28465870 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.47
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 1000 498 0 0 41 2 3 1 15 0 9 0 28465872 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 9 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.01
Current children cumulated vsize (KiB) 868100

[startup+47.9028 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31316
/proc/meminfo: memFree=1633568/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=47.61
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 47154 498 1 0 4731 26 3 1 18 0 9 0 28465867 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27423 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=46.59
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 24174 498 1 0 4639 16 3 1 25 0 9 0 28465869 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4127358016 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 16 0 9 0 28465870 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.48
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 1005 498 0 0 42 2 3 1 15 0 9 0 28465872 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 9 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27423 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.61
Current children cumulated vsize (KiB) 868100

[startup+48.7028 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31316
/proc/meminfo: memFree=1625056/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=48.42
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 47287 498 1 0 4811 27 3 1 18 0 9 0 28465867 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27425 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=47.39
/proc/31268/task/31270/stat : 31270 (java) R 31266 31268 29880 0 -1 64 24305 498 1 0 4719 16 3 1 25 0 9 0 28465869 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4126909842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 17 0 9 0 28465870 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.49
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 1007 498 0 0 43 2 3 1 15 0 9 0 28465872 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 9 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27425 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.42
Current children cumulated vsize (KiB) 868100

[startup+48.9029 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31316
/proc/meminfo: memFree=1625056/2055920 swapFree=4192812/4192956
[pid=31268] ppid=31266 vsize=868100 CPUtime=48.61
/proc/31268/stat : 31268 (java) S 31266 31268 29880 0 -1 0 47329 498 1 0 4830 27 3 1 18 0 9 0 28465867 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31268/statm: 217025 27428 2662 9 0 211461 0
[pid=31268/tid=31270] ppid=31266 vsize=868100 CPUtime=47.59
/proc/31268/task/31270/stat : 31270 (java) S 31266 31268 29880 0 -1 64 24346 498 1 0 4738 17 3 1 25 0 9 0 28465869 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31271] ppid=31266 vsize=868100 CPUtime=0.58
/proc/31268/task/31271/stat : 31271 (java) S 31266 31268 29880 0 -1 64 21121 498 0 0 48 6 3 1 17 0 9 0 28465870 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31272] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31272/stat : 31272 (java) S 31266 31268 29880 0 -1 64 20 498 0 0 0 0 3 1 17 0 9 0 28465870 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31273] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31273/stat : 31273 (java) S 31266 31268 29880 0 -1 64 16 498 0 0 0 0 3 1 16 0 9 0 28465870 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31274] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31274/stat : 31274 (java) S 31266 31268 29880 0 -1 64 2 498 0 0 0 0 3 1 18 0 9 0 28465872 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31275] ppid=31266 vsize=868100 CPUtime=0.49
/proc/31268/task/31275/stat : 31275 (java) S 31266 31268 29880 0 -1 64 1008 498 0 0 43 2 3 1 15 0 9 0 28465872 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31268/tid=31276] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31276/stat : 31276 (java) S 31266 31268 29880 0 -1 64 0 498 0 0 0 0 3 1 19 0 9 0 28465872 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31268/tid=31277] ppid=31266 vsize=868100 CPUtime=0.04
/proc/31268/task/31277/stat : 31277 (java) S 31266 31268 29880 0 -1 64 9 498 0 0 0 0 3 1 15 0 9 0 28465873 888934400 27428 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (KiB) 868100

Child status: 0
Real time (s): 48.969
CPU time (s): 48.6576
CPU user time (s): 48.3476
CPU system time (s): 0.309952
CPU usage (%): 99.3642
Max. virtual memory (cumulated for all children) (KiB): 868100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.3477
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47856
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= 3294
involuntary context switches= 3499

runsolver used 0.053991 second user time and 0.177972 second system time

The end

Launcher Data 

Begin job on node4 at 2009-07-12 17:53:04
IDJOB=2097760
IDBENCH=57704
IDSOLVER=774
FILE ID=node4/2097760-1247413983
PBS_JOBID= 9510635
Free space on /tmp= 66260 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-5.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-2097760-1247413983/watcher-2097760-1247413983 -o /tmp/evaluation-result-2097760-1247413983/solver-2097760-1247413983 -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-2097760-1247413983.xml

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

MD5SUM BENCH= fa37dee04ffe0cd0af7a8fde9f661bf5
RANDOM SEED=763177522

node4.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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1431040 kB
Buffers:         40472 kB
Cached:         122252 kB
SwapCached:          0 kB
Active:         503124 kB
Inactive:        66236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1431040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6500 kB
Writeback:           0 kB
Mapped:         427068 kB
Slab:            39876 kB
Committed_AS:  1005196 kB
PageTables:       2660 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= 66260 MiB
End job on node4 at 2009-07-12 17:53:53