Trace number 2097763

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ACSAT 32.4971 32.656

DiagnosticValue
CHECKS19588800
NODES713

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-9.xml
MD5SUMfc14afa27a31c1de216ea0ec7153d796
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 benchmark13.8769
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.25	
0.17/0.25	   configuration
0.17/0.25	     name=mac.xml
0.17/0.28	   
0.17/0.28	   instance
0.17/0.28	     name=HOME/instance-2097763-1247413993.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.227  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.47/20.55	   
20.47/20.55	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 57M787)
23.54/23.69	     nbConstraints=3845  nbGlobalConstraints=11  nbMergedConstraints=3288  nbConvertedConstraints=997
23.54/23.69	     nbConvertConstraintsChecks=43533586  nbExtensionStructures=904  nbSharedExtensionStructures=208
23.54/23.69	     nbConflictsStructures=1422  nbSharedConflictsStructures=275  nbUnbuiltConflictsStructures=1882
23.54/23.69	     nbSharedBinaryRepresentations=235857  nbEvaluationManagers=2400  nbSharedEvaluationManagers=437  minDegree=3
23.54/23.69	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.444
23.54/23.69	     symmetryCpuTime=0.35  nbCliques=11
23.54/23.69	       =>  wckTime=23.436  cpuTime=22.77  mem=75M157
23.83/23.92	   
23.83/23.93	   solver IterativeSystematicSolver being built... 
23.94/24.05	   
23.94/24.05	   INFO : Forward propagation technique limited 
24.05/24.14	       =>  wckTime=23.896  cpuTime=22.95  mem=70M276
28.00/28.11	   
28.00/28.11	   preprocessing
28.00/28.11	     nbConstraintChecks=11008438  nbValidityChecks=172385  nbPropagations=766  nbRevisions=5870  nbUselessRevisions=5304
28.00/28.11	     nbRemovedValues=23861  detectedInconsistency=no
28.00/28.11	       =>  wckTime=3.958  cpuTime=3.9  mem=71M245
32.36/32.54	   
32.36/32.54	   search
32.36/32.54	     run=0  nbConstraintChecks=8580379  nbValidityChecks=3862516  minDepth=420  maxDepth=700  nbPropagations=7543
32.36/32.54	     nbRevisions=51029  nbUselessRevisions=43269  nbAssignments=713  nbFailedAssignments=9  nbBacktracks=4
32.36/32.54	     nbVisitedNodes=724  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=3  nbInferences=0  nbTooLargeKeys=0
32.36/32.54	     nbSEliminables=0  nbREliminables=43.23  nbIEliminables=373.77  nbDEliminables=0  nbPEliminables=0
32.36/32.54	       =>  wckTime=8.392  cpuTime=8.26  mem=77M870
32.36/32.54	   
32.36/32.54	   global
32.36/32.54	     nbConstraintChecks=19588817  nbValidityChecks=4034901  nbPropagations=8309  nbRevisions=56899
32.36/32.54	     nbUselessRevisions=48573  nbRestartNogoods=0  solvingWckTime=8.394  solvingCpuTime=8.26  expiredTime=no
32.36/32.54	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=31.19  globalCpuTime=31.25
32.36/32.54	       =>  wckTime=32.294  cpuTime=31.21  mem=77M870
32.36/32.55	   
32.36/32.55	s SATISFIABLE
32.36/32.55	v 2516 2612 -2484 -2656 -2172 2592 2500 -2488 -2428 -2316 -2512 -2624 2200 -2308 2352 2416 -2376 -2652 2624 2552 2684 -2160 -2680 2296 2684 2632 -2388 2452 2616 -2696 2496 2596 2376 2460 -2320 -2272 2244 2220 2552 -2200 2628 2324 -2448 2160 -2364 2296 -2412 -2712 2256 2332 -2368 -2532 2652 -2280 2160 -2632 -2368 -2192 -2488 2380 2192 2580 -2412 -2460 2680 -2700 2504 2604 2620 2596 -2676 -2192 -2416 2304 2216 2660 2408 2408 -2504 -2352 2624 -2452 -2404 -2520 -2180 2672 2300 2540 -2200 -2232 -2640 2628 2604 -2720 -2680 -2208 -2480 2400 -2688 -2644 -2200 2664 -2572 -2720 -2260 2712 -2252 -2700 2236 2680 -2200 2604 -2180 2280 2536 -2404 2272 -2364 2696 -2276 -2536 2468 -2408 -2320 -2380 -2456 -2500 2636 2336 -2232 2376 2588 2668 -2440 2720 -2528 -2680 2580 -2720 -2316 2496 -2160 2160 -2440 -2200 -2460 -2420 2456 -2324 2200 -2664 -2448 2700 2208 -2344 -2376 2304 2612 -2692 -2396 -2672 2496 2520 2620 -2356 -2596 -2680 -2364 -2624 2296 -2164 -2644 2224 2160 2600 -2620 -2720 -2640 -2704 2656 2720 2588 -2512 2336 2460 2656 -2640 -2348 -2232 -2320 -2248 -2400 -2336 2528 2648 -2452 -2484 2572 -2292 -2664 -2668 -2464 -2476 2324 -2620 2372 -2472 -2696 2504 2520 2280 2344 2624 2392 -2480 -2680 2680 2324 -2524 -2636 -2260 2404 -2568 -2364 2684 2584 2440 2324 -2452 -2160 2332 -2612 -2204 -2412 -2200 -2644 2464 2656 2200 -2404 -2556 -2248 -2600 2624 2592 -2316 -2344 2628 2284 -2336 -2292 -2204 -2624 2420 -2660 -2284 2648 -2316 2504 -2396 -2608 -2412 -2160 2652 2276 2572 -2232 -2692 2248 2452 -2372 -2316 -2200 -2608 -2216 -2432 -2616 2364 -2208 -2708 -2412 -2576 -2672 -2472 -2360 -2288 2360 -2480 -2500 2424 -2560 2304 2720 -2248 -2560 -2676 2276 -2636 -2460 -2460 2616 2448 2680 2720 2584 2200 2580 2572 -2592 -2256 2624 2656 2432 -2356 2312 2680 2304 2436 2720 2248 2580 2160 -2288 2428 2536 -2200 2244 -2372 -2348 2660 -2348 2544 -2720 2420 -2720 -2464 -2504 2212 2556 -2656 -2212 -2444 -2380 2668 -2336 -2276 2388 -2628 -2384 2656 -2248 2656 -2412 2160 -2200 2164 2660 2160 2660 2568 2292 2196 -2580 2680 -2420 2584 -2532 2640 2680 2208 -2624 -2208 2388 -2648 -2600 -2720 2580 -2204 -2336 -2640 -2600 -2216 -2676 -2720 -2488 -2252 -2628 -2316 2352 -2576 -2712 -2408 -2476 2440 -2616 2628 2600 2280 -2436 -2256 -2208 -2584 2636 -2680 -2652 -2444 -2268 -2292 2504 2628 -2524 -2520 -2696 -2324 -2240 2696 -2392 2548 2184 -2416 -2560 -2252 -2240 2580 -2336 2588 -2652 -2544 2256 -2356 -2200 2244 -2628 2200 -2720 -2584 2420 -2392 -2160 2300 2700 -2364 -2564 2340 -2644 2308 -2276 2544 -2544 -2396 -2360 2572 -2584 -2220 -2160 -2272 2596 -2444 2656 -2588 2332 -2588 -2508 2540 -2216 2348 -2440 -2636 -2540 -2276 2660 -2340 2600 -2692 -2160 -2396 2596 2340 -2484 -2236 -2540 -2276 -2720 -2720 2616 -2656 -2532 2556 -2252 -2324 2720 -2292 -2160 -2588 -2572 2628 2304 -2360 -2220 -2348 -2268 -2512 2200 -2412 -2168 -2284 -2372 -2280 2720 -2680 -2696 2540 -2384 2604 2308 -2576 -2316 -2364 -2412 2676 -2496 -2200 2612 2176 -2660 2588 2664 -2424 2232 -2316 -2552 -2712 -2364 -2560 2532 -2628 -2344 -2376 -2608 -2620 2656 2396 -2636 -2620 2300 -2472 -2356 -2588 -2348 -2696 2668 2580 -2696 -2700 2536 -2328 -2600 -2356 -2560 -2532 -2172 -2544 -2200 -2372 2364 2176 2424 2164 2680 2556 2580 2556 2216 -2220 -2392 -2448 -2212 -2564 2564 -2200 -2596 -2292 -2248 2588 2368 2504 -2628 2324 2656 -2624 2592 -2476 -2228 -2308 -2356 -2516 2344 -2392 -2200 -2160 2528 -2204 2400 2620 -2332 2672 -2412 -2208 2620 2252 2372 2560 -2672 -2472 2500 -2324 2332 -2720 2328 -2164 -2664 2160 -2320 2456 2680 2356 -2696 -2164 2536 -2680 2160 2160 2408 -2416 -2624 -2584 2528 -2276 2364 2648 2364 -2708 -2680 -2376 -2552 -2316 -2380 -2464 -2400 -2308 2600 -2432 -2340 2296 -2272 -2660 -2504 -2356 -2480 2492 -2680 2384 -2360 -2560 -2576 2536 2344 -2324 -2572 -2400 -2248 2584 2232 -2416 -2544 2680 -2176 2284 -2464 2576 2432 2596 -2420 -2624 2716 -2368 2316 -2160 2372 -2296 -2624 2240 -2348 2308 2204 2612 -2504 -2296 -2264 -2664 
32.36/32.55	d NODES 713
32.36/32.55	d CHECKS 19588817
32.36/32.59	   
32.36/32.60	   totalWckTime=32.409  totalCpuTime=31.25

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-2097763-1247413993/watcher-2097763-1247413993 -o /tmp/evaluation-result-2097763-1247413993/solver-2097763-1247413993 -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-2097763-1247413993.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.00 2.00 2.00 4/80 1071
/proc/meminfo: memFree=1620512/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=18576 CPUtime=0
/proc/1071/stat : 1071 (runsolver) R 1068 1071 31822 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28091014 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 209135922471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1071/statm: 4644 284 249 26 0 2626 0

[startup+0.0344031 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 1071
/proc/meminfo: memFree=1620512/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=861936 CPUtime=0.01
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 1893 0 1 0 1 0 0 0 18 0 5 0 28091014 882622464 1575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 215484 1575 693 9 0 210399 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861936

[startup+0.101964 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 1071
/proc/meminfo: memFree=1620512/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=865984 CPUtime=0.07
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 3732 0 1 0 6 1 0 0 18 0 9 0 28091014 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216496 3200 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984

[startup+0.301984 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 1071
/proc/meminfo: memFree=1620512/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=866380 CPUtime=0.28
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 5963 0 1 0 25 3 0 0 18 0 9 0 28091014 887173120 5329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216595 5331 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.70202 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 1071
/proc/meminfo: memFree=1620512/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=867776 CPUtime=0.67
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 10046 0 1 0 61 6 0 0 18 0 9 0 28091014 888602624 9400 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216944 9400 2036 9 0 211380 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867776

[startup+1.50209 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1080
/proc/meminfo: memFree=1571416/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=867776 CPUtime=1.48
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 16342 0 1 0 138 10 0 0 18 0 9 0 28091014 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216944 15693 2041 9 0 211380 0
[pid=1071/tid=1073] ppid=1068 vsize=867776 CPUtime=1.27
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 14957 0 1 0 119 8 0 0 20 0 9 0 28091015 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4126906626 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1074] ppid=1068 vsize=867776 CPUtime=0
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 28091017 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=867776 CPUtime=0
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28091017 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=867776 CPUtime=0
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28091017 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=867776 CPUtime=0
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28091019 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=867776 CPUtime=0.18
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 687 0 0 0 18 0 0 0 15 0 9 0 28091019 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1079] ppid=1068 vsize=867776 CPUtime=0
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28091019 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=867776 CPUtime=0
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28091019 888602624 15693 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867776

[startup+3.10123 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1080
/proc/meminfo: memFree=1563608/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=867688 CPUtime=3.07
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 19570 0 1 0 295 12 0 0 18 0 9 0 28091014 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216922 18895 2031 9 0 211380 0
[pid=1071/tid=1073] ppid=1068 vsize=867688 CPUtime=2.76
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 15834 0 1 0 267 9 0 0 25 0 9 0 28091015 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4126467488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1074] ppid=1068 vsize=867688 CPUtime=0.06
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 2313 0 0 0 5 1 0 0 17 0 9 0 28091017 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1075] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28091017 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1076] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28091017 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1077] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28091019 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=867688 CPUtime=0.22
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 722 0 0 0 22 0 0 0 15 0 9 0 28091019 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1079] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28091019 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28091019 888512512 18895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867688

[startup+6.30252 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1080
/proc/meminfo: memFree=1552280/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=867688 CPUtime=6.27
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 19574 0 1 0 614 13 0 0 18 0 9 0 28091014 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216922 18897 2031 9 0 211380 0
[pid=1071/tid=1073] ppid=1068 vsize=867688 CPUtime=5.96
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 15837 0 1 0 586 10 0 0 25 0 9 0 28091015 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4126467497 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1074] ppid=1068 vsize=867688 CPUtime=0.06
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 2313 0 0 0 5 1 0 0 16 0 9 0 28091017 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1075] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28091017 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1076] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28091017 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1077] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28091019 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=867688 CPUtime=0.22
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 723 0 0 0 22 0 0 0 15 0 9 0 28091019 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1079] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28091019 888512512 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28091019 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) 6.27
Current children cumulated vsize (KiB) 867688

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1080
/proc/meminfo: memFree=1552088/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=867688 CPUtime=12.67
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 19585 0 1 0 1253 14 0 0 18 0 9 0 28091014 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 216922 18905 2031 9 0 211380 0
[pid=1071/tid=1073] ppid=1068 vsize=867688 CPUtime=12.34
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 15841 0 1 0 1223 11 0 0 25 0 9 0 28091015 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4126907905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1074] ppid=1068 vsize=867688 CPUtime=0.06
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 2313 0 0 0 5 1 0 0 16 0 9 0 28091017 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1075] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28091017 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1076] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28091017 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1077] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28091019 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=867688 CPUtime=0.24
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 730 0 0 0 23 1 0 0 16 0 9 0 28091019 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1079] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28091019 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=867688 CPUtime=0
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28091019 888512512 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867688

[startup+25.5022 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519640/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868424 CPUtime=25.42
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 46647 494 1 0 2515 23 3 1 18 0 9 0 28091014 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217106 27700 2662 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868424 CPUtime=24.49
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 23143 494 1 0 2429 16 3 1 25 0 9 0 28091015 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4126905163 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868424 CPUtime=0.58
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 21701 494 0 0 50 4 3 1 17 0 9 0 28091017 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 11 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868424 CPUtime=0.39
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 954 494 0 0 34 1 3 1 15 0 9 0 28091019 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 13 494 0 0 0 0 3 1 15 0 9 0 28091019 889266176 27700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868424

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

[startup+28.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519640/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868424 CPUtime=28.59
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 46981 494 1 0 2832 23 3 1 18 0 9 0 28091014 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217106 27710 2662 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868424 CPUtime=27.64
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 23458 494 1 0 2744 16 3 1 25 0 9 0 28091015 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4127406243 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868424 CPUtime=0.58
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 21701 494 0 0 50 4 3 1 16 0 9 0 28091017 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 11 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868424 CPUtime=0.41
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 971 494 0 0 36 1 3 1 15 0 9 0 28091019 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 15 494 0 0 0 0 3 1 15 0 9 0 28091019 889266176 27710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.59
Current children cumulated vsize (KiB) 868424

[startup+30.3016 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519576/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868424 CPUtime=30.18
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 47075 494 1 0 2991 23 3 1 18 0 9 0 28091014 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217106 27718 2662 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868424 CPUtime=29.21
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 23541 494 1 0 2901 16 3 1 25 0 9 0 28091015 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4127234375 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868424 CPUtime=0.58
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 21701 494 0 0 50 4 3 1 17 0 9 0 28091017 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 11 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868424 CPUtime=0.43
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 982 494 0 0 38 1 3 1 15 0 9 0 28091019 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 15 494 0 0 0 0 3 1 15 0 9 0 28091019 889266176 27718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.18
Current children cumulated vsize (KiB) 868424

[startup+31.9068 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519576/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868424 CPUtime=31.77
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 47496 494 1 0 3149 24 3 1 18 0 9 0 28091014 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217106 27720 2662 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868424 CPUtime=30.8
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 23961 494 1 0 3059 17 3 1 25 0 9 0 28091015 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4127406246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868424 CPUtime=0.58
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 21701 494 0 0 50 4 3 1 17 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 11 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868424 CPUtime=0.43
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 983 494 0 0 38 1 3 1 15 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 15 494 0 0 0 0 3 1 15 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.77
Current children cumulated vsize (KiB) 868424

[startup+32.3028 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519576/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868424 CPUtime=32.16
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 47814 494 1 0 3188 24 3 1 18 0 9 0 28091014 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217106 27720 2662 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868424 CPUtime=31.19
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 24279 494 1 0 3098 17 3 1 25 0 9 0 28091015 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4127406258 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868424 CPUtime=0.58
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 21701 494 0 0 50 4 3 1 17 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 11 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868424 CPUtime=0.43
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 983 494 0 0 38 1 3 1 15 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 15 494 0 0 0 0 3 1 15 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.16
Current children cumulated vsize (KiB) 868424

[startup+32.5028 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519576/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868424 CPUtime=32.36
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 47966 494 1 0 3208 24 3 1 18 0 9 0 28091014 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217106 27720 2662 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868424 CPUtime=31.39
/proc/1071/task/1073/stat : 1073 (java) R 1068 1071 31822 0 -1 64 24431 494 1 0 3118 17 3 1 25 0 9 0 28091015 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4127406300 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868424 CPUtime=0.58
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 21701 494 0 0 50 4 3 1 17 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 11 494 0 0 0 0 3 1 16 0 9 0 28091017 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868424 CPUtime=0.43
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 983 494 0 0 38 1 3 1 15 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868424 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 15 494 0 0 0 0 3 1 15 0 9 0 28091019 889266176 27720 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.36
Current children cumulated vsize (KiB) 868424

[startup+32.6028 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1084
/proc/meminfo: memFree=1519576/2055920 swapFree=4192812/4192956
[pid=1071] ppid=1068 vsize=868336 CPUtime=32.45
/proc/1071/stat : 1071 (java) S 1068 1071 31822 0 -1 0 52372 494 1 0 3216 25 3 1 18 0 9 0 28091014 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1071/statm: 217084 30689 2640 9 0 211542 0
[pid=1071/tid=1073] ppid=1068 vsize=868336 CPUtime=31.43
/proc/1071/task/1073/stat : 1073 (java) S 1068 1071 31822 0 -1 64 24540 494 1 0 3122 17 3 1 25 0 9 0 28091015 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1074] ppid=1068 vsize=868336 CPUtime=0.63
/proc/1071/task/1074/stat : 1074 (java) S 1068 1071 31822 0 -1 64 25982 494 0 0 54 5 3 1 16 0 9 0 28091017 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1075] ppid=1068 vsize=868336 CPUtime=0.04
/proc/1071/task/1075/stat : 1075 (java) S 1068 1071 31822 0 -1 64 20 494 0 0 0 0 3 1 16 0 9 0 28091017 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1076] ppid=1068 vsize=868336 CPUtime=0.04
/proc/1071/task/1076/stat : 1076 (java) S 1068 1071 31822 0 -1 64 26 494 0 0 0 0 3 1 16 0 9 0 28091017 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1077] ppid=1068 vsize=868336 CPUtime=0.04
/proc/1071/task/1077/stat : 1077 (java) S 1068 1071 31822 0 -1 64 2 494 0 0 0 0 3 1 18 0 9 0 28091019 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1078] ppid=1068 vsize=868336 CPUtime=0.43
/proc/1071/task/1078/stat : 1078 (java) S 1068 1071 31822 0 -1 64 984 494 0 0 38 1 3 1 15 0 9 0 28091019 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1071/tid=1079] ppid=1068 vsize=868336 CPUtime=0.04
/proc/1071/task/1079/stat : 1079 (java) S 1068 1071 31822 0 -1 64 0 494 0 0 0 0 3 1 19 0 9 0 28091019 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1071/tid=1080] ppid=1068 vsize=868336 CPUtime=0.04
/proc/1071/task/1080/stat : 1080 (java) S 1068 1071 31822 0 -1 64 15 494 0 0 0 0 3 1 15 0 9 0 28091019 889176064 30689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.45
Current children cumulated vsize (KiB) 868336

Child status: 0
Real time (s): 32.656
CPU time (s): 32.4971
CPU user time (s): 32.2081
CPU system time (s): 0.288956
CPU usage (%): 99.5132
Max. virtual memory (cumulated for all children) (KiB): 868424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.2081
system time used= 0.288956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52896
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= 2736
involuntary context switches= 2821

runsolver used 0.048992 second user time and 0.113982 second system time

The end

Launcher Data 

Begin job on node41 at 2009-07-12 17:53:13
IDJOB=2097763
IDBENCH=57713
IDSOLVER=773
FILE ID=node41/2097763-1247413993
PBS_JOBID= 9510562
Free space on /tmp= 65884 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-9.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-2097763-1247413993/watcher-2097763-1247413993 -o /tmp/evaluation-result-2097763-1247413993/solver-2097763-1247413993 -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-2097763-1247413993.xml

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

MD5SUM BENCH= fc14afa27a31c1de216ea0ec7153d796
RANDOM SEED=210608231

node41.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.212
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	: 5931.00
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.212
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:       1620992 kB
Buffers:         39556 kB
Cached:         138060 kB
SwapCached:          0 kB
Active:         295612 kB
Inactive:        81384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620992 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3036 kB
Writeback:           0 kB
Mapped:         219868 kB
Slab:            42912 kB
Committed_AS:  1021768 kB
PageTables:       2100 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= 65884 MiB
End job on node41 at 2009-07-12 17:53:46