Trace number 2097761

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ACSAT 33.9748 34.3271

DiagnosticValue
CHECKS22663300
NODES1248

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-8.xml
MD5SUM76f5c8323181a5b7c43a501cf4eaddc1
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 benchmark33.9748
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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mac.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-2097761-1247413989.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.38/0.48	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.38/0.48	       =>  wckTime=0.235  cpuTime=0.16  mem=12M782
0.38/0.48	   
0.38/0.48	   predicates being loaded...
0.48/0.54	   
0.48/0.54	   constraints being loaded...
20.49/20.75	   
20.49/20.75	   INFO : Stopping converting binary constraints (cpu=20.06, mem = 57M282)
23.64/23.93	     nbConstraints=3844  nbGlobalConstraints=10  nbMergedConstraints=3288  nbConvertedConstraints=986
23.64/23.93	     nbConvertConstraintsChecks=43292218  nbExtensionStructures=898  nbSharedExtensionStructures=196
23.64/23.93	     nbConflictsStructures=1416  nbSharedConflictsStructures=263  nbUnbuiltConflictsStructures=1918
23.64/23.93	     nbSharedBinaryRepresentations=234505  nbEvaluationManagers=2436  nbSharedEvaluationManagers=412  minDegree=3
23.64/23.93	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.435
23.64/23.93	     symmetryCpuTime=0.32  nbCliques=10
23.64/23.93	       =>  wckTime=23.683  cpuTime=22.77  mem=75M25
23.84/24.17	   
23.84/24.17	   solver IterativeSystematicSolver being built... 
23.94/24.28	   
23.94/24.28	   INFO : Forward propagation technique limited 
24.04/24.37	       =>  wckTime=24.119  cpuTime=22.94  mem=70M283
27.90/28.20	   
27.90/28.20	   preprocessing
27.90/28.20	     nbConstraintChecks=11104309  nbValidityChecks=197900  nbPropagations=788  nbRevisions=6273  nbUselessRevisions=5533
27.90/28.20	     nbRemovedValues=31661  detectedInconsistency=no
27.90/28.20	       =>  wckTime=3.829  cpuTime=3.77  mem=71M287
33.84/34.29	   
33.84/34.29	   search
33.84/34.29	     run=1  nbConstraintChecks=11558957  nbValidityChecks=7411989  minDepth=489  maxDepth=700  nbPropagations=20162
33.84/34.29	     nbRevisions=138800  nbUselessRevisions=118283  nbAssignments=1248  nbFailedAssignments=14  nbBacktracks=0
33.84/34.29	     nbVisitedNodes=1263  nbRestartNogoods=10  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
33.84/34.29	     nbSEliminables=0  nbREliminables=43.78  nbIEliminables=402.51  nbDEliminables=0  nbPEliminables=0
33.84/34.29	       =>  wckTime=9.914  cpuTime=9.73  mem=49M104
33.84/34.29	   
33.84/34.29	   global
33.84/34.29	     nbConstraintChecks=22663266  nbValidityChecks=7609889  nbPropagations=20950  nbRevisions=145073
33.84/34.29	     nbUselessRevisions=123816  nbRestartNogoods=10  solvingWckTime=9.916  solvingCpuTime=9.73  expiredTime=no
33.84/34.29	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=32.65  globalCpuTime=32.72
33.84/34.29	       =>  wckTime=34.039  cpuTime=32.67  mem=49M104
33.84/34.29	   
33.84/34.29	s SATISFIABLE
33.84/34.29	v 2604 2608 -2464 -2656 -2600 -2308 -2472 2472 2336 -2276 2624 -2624 -2272 -2292 -2336 -2356 -2300 -2696 -2624 2512 -2664 -2200 2528 -2424 2688 2700 -2452 -2452 -2608 2648 -2476 2568 -2412 -2432 -2316 -2200 -2248 2184 -2392 2248 2628 2460 -2448 2244 2384 -2324 -2412 -2712 2364 -2160 -2520 2532 -2608 -2356 2176 2680 -2284 -2184 -2460 2400 2252 -2616 2452 2584 -2648 -2700 2420 -2168 2528 -2624 2676 -2160 -2452 2432 -2268 2612 -2408 -2700 -2696 -2312 2596 -2412 2256 2560 -2224 -2204 -2300 2564 -2240 -2356 2516 2636 2604 -2720 -2684 -2216 2176 -2380 -2688 -2624 -2236 -2720 -2572 -2436 2224 2568 -2264 2652 -2308 2720 2284 2652 -2224 2348 -2520 -2356 -2396 -2404 2544 -2348 2664 -2376 -2476 -2536 -2380 -2396 -2496 2480 -2284 -2200 -2552 2656 2668 2216 2160 2356 -2440 -2580 -2484 -2308 2704 -2208 -2188 2324 -2168 -2448 -2324 2540 2324 2160 -2664 -2660 -2660 2200 -2400 -2416 -2376 2680 -2604 -2396 -2672 -2500 -2584 2640 2384 -2680 -2160 -2364 -2624 2328 -2164 2160 -2420 -2636 -2572 -2620 2160 -2532 -2680 2656 -2680 2596 -2432 2432 -2364 -2656 2540 -2340 -2224 2276 2292 2160 2376 2512 2648 -2412 -2472 -2568 -2328 2556 -2704 -2404 2476 -2200 2636 -2364 -2548 -2696 2496 -2520 -2276 -2412 2624 2352 2448 -2200 -2268 2476 -2512 2628 -2308 2444 -2396 2376 -2200 2584 2416 2316 -2412 -2208 2436 2648 -2260 -2372 2228 2648 -2408 2504 2200 -2404 -2688 -2256 -2716 2624 -2596 2336 -2416 2596 2164 -2464 -2292 2252 2660 2228 -2700 -2276 -2624 -2316 2408 -2424 -2608 -2452 -2208 -2504 2392 2564 2232 -2656 -2348 2552 -2372 -2300 -2644 -2664 -2376 -2372 2584 2392 -2308 -2664 -2452 2560 -2720 2664 -2200 -2248 2340 2160 -2600 -2448 2624 -2288 2688 -2380 -2532 2676 2340 -2608 -2560 2188 -2664 -2436 2680 -2680 2584 -2272 2680 -2524 2472 -2416 2648 2616 2460 -2356 2300 2680 2372 2444 -2644 -2288 -2672 2160 -2332 -2452 -2664 2200 -2368 -2372 -2332 -2664 2396 -2368 -2720 2300 -2160 -2536 -2600 -2708 2520 -2520 2160 -2216 -2340 2552 2200 -2268 -2340 2556 -2468 2628 -2160 2624 2412 2320 -2216 -2212 2676 2684 2660 2328 -2200 2244 -2620 2444 -2440 2584 -2700 -2668 2476 -2420 -2552 -2276 -2412 2680 -2520 -2488 2600 -2204 -2424 2676 2556 -2720 2612 -2720 -2488 2252 -2616 -2316 -2280 -2624 -2680 2324 2404 2200 -2668 -2592 2580 -2576 -2436 2288 -2476 -2592 2636 -2720 -2564 2396 2268 -2292 2340 -2664 2360 -2488 2652 2348 -2200 -2696 -2444 2488 2460 2592 -2560 -2252 -2396 -2680 -2396 2588 -2508 -2300 2680 -2356 -2168 2204 -2628 -2676 -2480 2584 2408 2428 -2244 -2276 -2484 -2516 -2612 2160 -2644 -2372 2296 2460 -2560 -2396 2204 -2720 2552 -2184 2232 -2260 2624 -2424 2664 -2624 2324 -2596 -2448 2720 -2204 2300 -2404 -2184 -2720 -2276 -2524 2416 -2704 2548 -2280 2316 -2224 2316 -2400 2284 2536 -2316 2644 -2664 2624 -2608 2572 -2720 -2288 2336 -2308 -2304 -2196 -2588 -2532 2548 -2332 -2316 2268 -2260 -2292 -2508 2280 -2412 -2236 2288 -2444 2160 -2200 -2200 -2560 -2712 2440 -2664 -2252 2568 -2276 -2388 2404 -2520 -2532 -2204 -2544 2164 2672 2588 2704 -2544 -2160 -2352 -2636 -2164 -2364 -2664 2564 -2628 2292 2244 2720 -2660 2656 2324 -2636 2656 -2200 2412 -2356 -2636 2332 -2696 -2528 2568 -2656 2632 -2524 -2340 2572 -2316 -2560 2532 2668 2580 -2200 2284 2160 2228 2512 2164 -2200 2584 2604 2584 2376 2184 2376 -2448 -2640 -2208 -2624 2200 -2588 2396 -2292 2588 -2424 -2540 -2628 -2352 2692 -2624 2720 -2564 -2228 -2300 -2356 -2480 -2508 -2320 -2200 -2160 -2288 2672 2284 2620 -2324 -2660 2512 -2332 2624 -2200 -2412 2596 -2528 -2420 -2624 -2452 2452 -2720 2464 -2712 -2608 -2160 -2288 -2492 2680 -2356 -2696 -2220 2516 -2556 2160 2232 -2480 2340 -2624 -2700 -2500 -2316 2420 2648 -2412 2488 -2680 2356 -2268 -2276 2376 -2472 -2164 2436 2628 -2404 -2340 2160 -2192 2660 2444 2284 -2456 2492 -2684 2504 -2328 -2520 -2704 -2572 2392 2344 2660 -2444 2436 2584 -2212 -2452 2656 -2704 -2336 2408 2560 2564 2468 2648 -2420 2592 2652 2380 2316 -2160 2412 -2392 -2664 -2308 -2412 2300 2204 2604 2600 2384 2248 -2664 
33.84/34.29	d NODES 1248
33.84/34.29	d CHECKS 22663266
33.84/34.29	   
33.84/34.29	   totalWckTime=34.11  totalCpuTime=32.72

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-2097761-1247413989/watcher-2097761-1247413989 -o /tmp/evaluation-result-2097761-1247413989/solver-2097761-1247413989 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097761-1247413989.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.08 2.02 2.00 4/81 31949
/proc/meminfo: memFree=1644384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=18576 CPUtime=0
/proc/31949/stat : 31949 (runsolver) R 31947 31949 30038 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28464455 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 234045893927 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31949/statm: 4644 284 249 26 0 2626 0

[startup+0.0942531 s]
/proc/loadavg: 2.08 2.02 2.00 4/81 31949
/proc/meminfo: memFree=1644384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=865980 CPUtime=0.07
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 3719 0 1 0 6 1 0 0 21 0 9 0 28464455 886763520 3187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216495 3187 1695 9 0 210980 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865980

[startup+0.101253 s]
/proc/loadavg: 2.08 2.02 2.00 4/81 31949
/proc/meminfo: memFree=1644384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=865980 CPUtime=0.08
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 3735 0 1 0 7 1 0 0 21 0 9 0 28464455 886763520 3203 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216495 3203 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.301277 s]
/proc/loadavg: 2.08 2.02 2.00 4/81 31949
/proc/meminfo: memFree=1644384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=866380 CPUtime=0.28
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 5959 0 1 0 25 3 0 0 21 0 9 0 28464455 887173120 5325 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216595 5325 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701318 s]
/proc/loadavg: 2.08 2.02 2.00 4/81 31949
/proc/meminfo: memFree=1644384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=867776 CPUtime=0.67
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 9880 0 1 0 61 6 0 0 21 0 9 0 28464455 888602624 9234 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216944 9234 2036 9 0 211380 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867776

[startup+1.5024 s]
/proc/loadavg: 2.08 2.02 2.00 3/90 31958
/proc/meminfo: memFree=1596248/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=867776 CPUtime=1.47
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 16316 0 1 0 136 11 0 0 21 0 9 0 28464455 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216944 15667 2041 9 0 211380 0
[pid=31949/tid=31951] ppid=31947 vsize=867776 CPUtime=1.27
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 14930 0 1 0 117 10 0 0 25 0 9 0 28464457 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4126940601 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=867776 CPUtime=0
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28464458 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=867776 CPUtime=0
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 11 0 0 0 0 0 0 0 24 0 9 0 28464458 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=867776 CPUtime=0
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 28464458 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=867776 CPUtime=0
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28464460 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=867776 CPUtime=0.18
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 687 0 0 0 18 0 0 0 15 0 9 0 28464460 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=867776 CPUtime=0
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28464460 888602624 15667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=867776 CPUtime=0
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464460 888602624 15667 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) 867776

[startup+3.10257 s]
/proc/loadavg: 2.15 2.03 2.01 3/90 31958
/proc/meminfo: memFree=1587480/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=867688 CPUtime=3.05
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 19572 0 1 0 292 13 0 0 21 0 9 0 28464455 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216922 18897 2031 9 0 211380 0
[pid=31949/tid=31951] ppid=31947 vsize=867688 CPUtime=2.75
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 15832 0 1 0 264 11 0 0 25 0 9 0 28464457 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4126905216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=867688 CPUtime=0.06
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 2317 0 0 0 6 0 0 0 16 0 9 0 28464458 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28464458 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28464458 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28464460 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=867688 CPUtime=0.22
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 721 0 0 0 22 0 0 0 15 0 9 0 28464460 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28464460 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464460 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867688

[startup+6.3019 s]
/proc/loadavg: 2.15 2.03 2.01 3/90 31958
/proc/meminfo: memFree=1576088/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=867688 CPUtime=6.22
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 19578 0 1 0 608 14 0 0 21 0 9 0 28464455 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216922 18901 2031 9 0 211380 0
[pid=31949/tid=31951] ppid=31947 vsize=867688 CPUtime=5.9
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 15835 0 1 0 579 11 0 0 25 0 9 0 28464457 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4126947486 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=867688 CPUtime=0.06
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 2317 0 0 0 6 0 0 0 16 0 9 0 28464458 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28464458 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28464458 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28464460 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=867688 CPUtime=0.22
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 724 0 0 0 22 0 0 0 15 0 9 0 28464460 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28464460 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464460 888512512 18901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867688

[startup+12.7026 s]
/proc/loadavg: 2.21 2.05 2.01 3/90 31958
/proc/meminfo: memFree=1575960/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=867688 CPUtime=12.56
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 19589 0 1 0 1241 15 0 0 21 0 9 0 28464455 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 216922 18909 2031 9 0 211380 0
[pid=31949/tid=31951] ppid=31947 vsize=867688 CPUtime=12.23
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 15839 0 1 0 1210 13 0 0 25 0 9 0 28464457 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4126913458 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=867688 CPUtime=0.06
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 2317 0 0 0 6 0 0 0 16 0 9 0 28464458 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28464458 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28464458 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28464460 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=867688 CPUtime=0.25
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 731 0 0 0 24 1 0 0 16 0 9 0 28464460 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28464460 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=867688 CPUtime=0
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464460 888512512 18909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867688

[startup+25.5019 s]
/proc/loadavg: 2.26 2.06 2.02 3/90 31962
/proc/meminfo: memFree=1543448/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=868100 CPUtime=25.22
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 46613 497 1 0 2494 24 3 1 21 0 9 0 28464455 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 217025 27671 2663 9 0 211461 0
[pid=31949/tid=31951] ppid=31947 vsize=868100 CPUtime=24.27
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 23057 497 1 0 2408 15 3 1 25 0 9 0 28464457 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4127130864 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=868100 CPUtime=0.58
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 21731 497 0 0 49 5 3 1 17 0 9 0 28464458 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 20 497 0 0 0 0 3 1 17 0 9 0 28464458 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 15 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=868100 CPUtime=0.41
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 971 497 0 0 36 1 3 1 15 0 9 0 28464460 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 9 497 0 0 0 0 3 1 15 0 9 0 28464460 888934400 27671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868100

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

[startup+28.7023 s]
/proc/loadavg: 2.31 2.08 2.02 3/90 31962
/proc/meminfo: memFree=1543384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=868100 CPUtime=28.39
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 46942 497 1 0 2811 24 3 1 21 0 9 0 28464455 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 217025 27680 2663 9 0 211461 0
[pid=31949/tid=31951] ppid=31947 vsize=868100 CPUtime=27.42
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 23375 497 1 0 2723 15 3 1 25 0 9 0 28464457 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4126905169 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=868100 CPUtime=0.58
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 21731 497 0 0 49 5 3 1 16 0 9 0 28464458 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 20 497 0 0 0 0 3 1 17 0 9 0 28464458 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 15 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=868100 CPUtime=0.42
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 981 497 0 0 37 1 3 1 15 0 9 0 28464460 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 10 497 0 0 0 0 3 1 15 0 9 0 28464460 888934400 27680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 868100

[startup+31.9066 s]
/proc/loadavg: 2.31 2.08 2.02 3/90 31962
/proc/meminfo: memFree=1543384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=868100 CPUtime=31.57
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 47624 497 1 0 3128 25 3 1 21 0 9 0 28464455 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 217025 27688 2663 9 0 211461 0
[pid=31949/tid=31951] ppid=31947 vsize=868100 CPUtime=30.59
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 24046 497 1 0 3039 16 3 1 25 0 9 0 28464457 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4127406254 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=868100 CPUtime=0.58
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 21731 497 0 0 49 5 3 1 16 0 9 0 28464458 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 20 497 0 0 0 0 3 1 17 0 9 0 28464458 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 15 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=868100 CPUtime=0.44
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 992 497 0 0 39 1 3 1 16 0 9 0 28464460 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 10 497 0 0 0 0 3 1 15 0 9 0 28464460 888934400 27688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.57
Current children cumulated vsize (KiB) 868100

[startup+33.5018 s]
/proc/loadavg: 2.37 2.09 2.03 3/90 31962
/proc/meminfo: memFree=1543384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=868100 CPUtime=33.15
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 47968 497 1 0 3286 25 3 1 21 0 9 0 28464455 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 217025 27692 2663 9 0 211461 0
[pid=31949/tid=31951] ppid=31947 vsize=868100 CPUtime=32.16
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 24387 497 1 0 3196 16 3 1 25 0 9 0 28464457 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4127130913 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=868100 CPUtime=0.58
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 21731 497 0 0 49 5 3 1 16 0 9 0 28464458 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 20 497 0 0 0 0 3 1 17 0 9 0 28464458 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 15 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=868100 CPUtime=0.44
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 995 497 0 0 39 1 3 1 15 0 9 0 28464460 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 10 497 0 0 0 0 3 1 15 0 9 0 28464460 888934400 27692 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.15
Current children cumulated vsize (KiB) 868100

[startup+33.9018 s]
/proc/loadavg: 2.37 2.09 2.03 3/90 31962
/proc/meminfo: memFree=1543384/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=868100 CPUtime=33.54
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 51807 497 1 0 3324 26 3 1 21 0 9 0 28464455 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 217025 30178 2663 9 0 211461 0
[pid=31949/tid=31951] ppid=31947 vsize=868100 CPUtime=32.52
/proc/31949/task/31951/stat : 31951 (java) R 31947 31949 30038 0 -1 64 24433 497 1 0 3232 16 3 1 25 0 9 0 28464457 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4127405581 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=868100 CPUtime=0.62
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 25511 497 0 0 52 6 3 1 16 0 9 0 28464458 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 20 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 28 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=868100 CPUtime=0.44
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 995 497 0 0 39 1 3 1 15 0 9 0 28464460 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 10 497 0 0 0 0 3 1 15 0 9 0 28464460 888934400 30178 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.54
Current children cumulated vsize (KiB) 868100

[startup+34.3028 s]
/proc/loadavg: 2.37 2.09 2.03 3/90 31962
/proc/meminfo: memFree=1533400/2055920 swapFree=4192812/4192956
[pid=31949] ppid=31947 vsize=868100 CPUtime=33.93
/proc/31949/stat : 31949 (java) S 31947 31949 30038 0 -1 0 51815 497 1 0 3363 26 3 1 21 0 9 0 28464455 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31949/statm: 217025 30181 2663 9 0 211461 0
[pid=31949/tid=31951] ppid=31947 vsize=868100 CPUtime=32.9
/proc/31949/task/31951/stat : 31951 (java) S 31947 31949 30038 0 -1 64 24440 497 1 0 3270 16 3 1 25 0 9 0 28464457 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31952] ppid=31947 vsize=868100 CPUtime=0.62
/proc/31949/task/31952/stat : 31952 (java) S 31947 31949 30038 0 -1 64 25511 497 0 0 52 6 3 1 16 0 9 0 28464458 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31953] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31953/stat : 31953 (java) S 31947 31949 30038 0 -1 64 20 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31954] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31954/stat : 31954 (java) S 31947 31949 30038 0 -1 64 28 497 0 0 0 0 3 1 16 0 9 0 28464458 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31955] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31955/stat : 31955 (java) S 31947 31949 30038 0 -1 64 2 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31956] ppid=31947 vsize=868100 CPUtime=0.45
/proc/31949/task/31956/stat : 31956 (java) S 31947 31949 30038 0 -1 64 996 497 0 0 40 1 3 1 16 0 9 0 28464460 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31957] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31957/stat : 31957 (java) S 31947 31949 30038 0 -1 64 0 497 0 0 0 0 3 1 25 0 9 0 28464460 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31949/tid=31958] ppid=31947 vsize=868100 CPUtime=0.04
/proc/31949/task/31958/stat : 31958 (java) S 31947 31949 30038 0 -1 64 10 497 0 0 0 0 3 1 15 0 9 0 28464460 888934400 30181 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.93
Current children cumulated vsize (KiB) 868100

Child status: 0
Real time (s): 34.3271
CPU time (s): 33.9748
CPU user time (s): 33.6769
CPU system time (s): 0.297954
CPU usage (%): 98.9738
Max. virtual memory (cumulated for all children) (KiB): 868100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.6769
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52343
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= 2789
involuntary context switches= 4231

runsolver used 0.048992 second user time and 0.118981 second system time

The end

Launcher Data 

Begin job on node79 at 2009-07-12 17:53:09
IDJOB=2097761
IDBENCH=57705
IDSOLVER=773
FILE ID=node79/2097761-1247413989
PBS_JOBID= 9510492
Free space on /tmp= 66348 MiB

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

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

MD5SUM BENCH= 76f5c8323181a5b7c43a501cf4eaddc1
RANDOM SEED=20606979

node79.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.229
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.229
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1644800 kB
Buffers:         40120 kB
Cached:         157420 kB
SwapCached:          0 kB
Active:         251380 kB
Inactive:        99656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3272 kB
Writeback:           0 kB
Mapped:         173976 kB
Slab:            45032 kB
Committed_AS:  1023836 kB
PageTables:       2060 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= 66348 MiB
End job on node79 at 2009-07-12 17:53:43