Trace number 2097759

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 52.583 52.9307

DiagnosticValue
CHECKS68341700
NODES2803

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-5.xml
MD5SUMfa37dee04ffe0cd0af7a8fde9f661bf5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark48.6576
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097759-1247413982.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.39/0.47	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.39/0.47	       =>  wckTime=0.226  cpuTime=0.16  mem=12M782
0.39/0.47	   
0.39/0.47	   predicates being loaded...
0.49/0.53	   
0.49/0.53	   constraints being loaded...
20.48/20.54	   
20.48/20.55	   INFO : Stopping converting binary constraints (cpu=20.07, mem = 58M182)
23.64/23.72	     nbConstraints=3843  nbGlobalConstraints=9  nbMergedConstraints=3288  nbConvertedConstraints=994
23.64/23.72	     nbConvertConstraintsChecks=44023594  nbExtensionStructures=910  nbSharedExtensionStructures=188
23.64/23.72	     nbConflictsStructures=1424  nbSharedConflictsStructures=259  nbUnbuiltConflictsStructures=1931
23.64/23.72	     nbSharedBinaryRepresentations=244713  nbEvaluationManagers=2445  nbSharedEvaluationManagers=395  minDegree=3
23.64/23.72	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.506
23.64/23.72	     symmetryCpuTime=0.34  nbCliques=9
23.64/23.72	       =>  wckTime=23.478  cpuTime=22.75  mem=29M959
23.85/23.91	   
23.85/23.91	   solver IterativeSystematicSolver being built... 
23.96/24.03	   
23.96/24.03	   INFO : Forward propagation technique limited 
24.05/24.12	       =>  wckTime=23.882  cpuTime=22.94  mem=70M216
28.11/28.27	   
28.11/28.27	   preprocessing
28.11/28.27	     nbConstraintChecks=10700520  nbValidityChecks=282525  nbPropagations=930  nbRevisions=8049  nbUselessRevisions=6716
28.11/28.27	     nbRemovedValues=52087  detectedInconsistency=no
28.11/28.27	       =>  wckTime=4.147  cpuTime=4.08  mem=70M216
47.43/47.70	   
47.43/47.70	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=74M144)
52.48/52.85	   
52.48/52.85	   search
52.48/52.85	     run=8  nbConstraintChecks=57641169  nbValidityChecks=34716193  minDepth=205  maxDepth=700  nbPropagations=266818
52.48/52.85	     nbRevisions=2472742  nbUselessRevisions=2009676  nbAssignments=2803  nbFailedAssignments=645
52.48/52.85	     nbInferredBacktracks=2  nbBacktracks=217  nbVisitedNodes=3568  nbRestartNogoods=93  nbFoundSolutions=1
52.48/52.85	     nbSEliminables=0  nbREliminables=46.87  nbIEliminables=581.57  nbDEliminables=0  nbPEliminables=0
52.48/52.85	       =>  wckTime=28.721  cpuTime=28.36  mem=74M144
52.48/52.85	   
52.48/52.85	   global
52.48/52.85	     nbConstraintChecks=68341689  nbValidityChecks=34998718  nbPropagations=267748  nbRevisions=2480791
52.48/52.85	     nbUselessRevisions=2016392  nbRestartNogoods=93  solvingWckTime=28.724  solvingCpuTime=28.36  expiredTime=no
52.48/52.85	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=51.28  globalCpuTime=51.35
52.48/52.85	       =>  wckTime=52.61  cpuTime=51.3  mem=74M144
52.48/52.85	   
52.48/52.86	s SATISFIABLE
52.48/52.86	v -2620 -2580 -2404 -2720 -2660 -2416 -2432 2408 2324 2276 -2460 -2624 -2160 2304 2300 2328 -2380 -2604 -2624 2592 2624 2672 -2720 -2344 -2656 -2652 -2452 -2464 -2532 -2696 2420 -2720 -2412 2472 -2328 2196 -2160 -2260 2432 -2396 2600 2444 -2416 -2200 -2364 2320 -2372 -2620 -2280 2160 2476 2508 -2664 -2216 -2672 -2680 -2160 2224 2476 2480 2192 2720 -2452 -2564 2708 -2660 -2416 2604 2584 -2624 2628 -2208 -2444 -2368 2160 2656 -2484 2356 -2520 2316 2608 -2412 -2200 -2520 2160 2324 2300 2564 -2160 -2332 -2652 -2652 -2680 2692 -2720 -2348 2320 2396 -2712 -2584 -2228 -2692 -2500 2328 2184 2644 2192 2696 2160 2680 -2160 2680 -2220 -2308 2604 2364 -2372 -2240 -2544 -2200 -2632 2364 -2416 2640 -2372 2288 -2504 2484 -2228 -2248 2420 -2640 -2560 -2360 -2292 2308 -2436 2584 -2188 -2316 -2688 2160 -2200 2184 -2212 2416 2348 -2552 2396 -2712 2576 -2396 -2676 2264 -2340 -2436 -2308 -2664 -2680 -2396 2580 2512 -2536 2584 -2356 2660 -2532 -2356 -2584 2340 2160 -2720 -2480 2608 -2600 -2676 -2200 2628 2652 -2696 -2720 2612 -2472 -2288 -2388 2656 2556 -2348 -2184 2268 -2228 -2356 -2476 2448 2672 -2496 -2484 2540 -2292 -2568 2672 2404 -2376 2324 2616 -2312 -2548 -2696 -2548 -2520 -2368 -2420 2624 2356 2488 2332 2200 -2468 2524 -2580 -2224 -2280 -2268 -2300 2680 2584 2516 -2452 2496 2356 2420 2624 2204 2372 -2160 -2696 -2488 2504 -2660 -2404 2620 -2308 2712 2616 -2472 2280 -2348 -2716 -2184 2384 -2292 2264 2680 2256 2636 2412 -2560 -2316 2540 -2396 -2720 -2456 2172 -2504 -2332 -2528 -2276 -2564 2220 -2412 -2412 -2420 -2720 -2600 2228 -2384 2612 -2332 -2180 -2632 -2456 2564 2604 2420 -2316 2248 -2356 2172 -2408 -2448 2576 2304 2668 2376 -2560 2632 -2380 -2680 -2448 -2296 2624 -2456 2680 -2720 -2524 2216 2680 2532 -2552 -2480 2648 -2720 2400 -2356 2448 2664 -2380 -2488 -2680 -2288 2708 2160 -2288 -2448 2648 -2236 -2324 2372 -2264 -2584 2160 -2500 -2704 2280 -2160 -2508 2600 -2664 -2232 -2508 2200 -2160 -2320 -2476 -2348 -2276 -2300 -2620 2420 2628 -2224 -2664 2412 -2172 2712 -2224 2656 2680 2636 -2508 2200 -2352 2612 2228 -2520 2584 -2468 -2612 2368 2416 -2628 2212 -2408 -2644 2596 -2680 -2544 2200 -2224 -2672 -2500 2488 -2584 -2708 2456 2252 -2680 -2320 -2364 -2572 2644 2200 -2448 2212 -2668 2516 -2596 -2680 -2416 2300 2500 -2588 2672 -2680 -2640 2404 -2204 -2260 2300 -2552 -2412 -2528 -2656 -2456 2196 -2680 2376 -2492 -2520 2460 -2560 -2300 -2176 2568 -2484 2584 -2572 -2340 -2448 2356 2200 -2224 2588 -2648 -2476 -2624 -2456 -2308 -2184 -2316 2660 2428 -2720 -2348 2720 -2268 2320 2456 2576 -2396 -2380 -2704 2540 2224 -2200 -2408 2624 -2444 -2664 2592 -2272 -2580 2532 2528 -2252 -2340 -2408 -2224 -2720 2280 2700 -2400 2680 -2612 2200 -2396 -2184 -2276 -2452 -2312 -2544 -2316 2680 2720 2624 -2656 -2532 2700 -2252 2340 -2160 2232 -2188 2576 -2572 -2544 -2304 -2308 2184 -2316 -2396 -2508 2212 -2424 -2172 2200 -2476 -2236 2492 -2200 2548 -2668 -2300 2604 -2356 2572 -2276 -2416 -2436 2524 -2456 -2224 -2544 2212 -2696 -2628 2664 -2324 -2236 2372 -2512 2284 2364 -2720 2572 -2616 -2344 -2188 -2604 2572 2652 -2252 -2588 2680 2308 2344 2356 2676 2308 2692 -2456 -2544 -2680 2656 2488 -2476 -2668 -2316 2556 2540 2704 -2504 -2200 2356 2364 -2200 -2500 -2164 -2160 2584 -2604 2584 -2520 -2200 -2340 2444 -2700 2564 2644 -2220 -2620 2460 -2328 2588 -2440 -2544 -2628 2292 -2696 -2564 2720 -2580 -2164 2388 -2356 -2192 2460 2404 -2200 -2180 -2468 2664 -2224 -2624 2316 -2692 -2372 2188 -2544 -2160 -2412 -2460 -2604 -2360 2604 -2360 2344 -2720 -2400 -2624 2608 2620 -2268 -2484 2652 -2356 2656 2164 -2460 2692 2196 -2176 2516 2340 -2624 -2720 -2516 2360 2404 2680 -2400 2416 2668 2444 2456 2320 -2360 -2460 2340 2200 -2572 -2416 2340 2388 -2236 -2700 2444 -2292 -2476 -2548 -2720 -2284 -2308 -2560 -2672 -2496 -2328 -2324 2508 -2368 -2460 -2584 -2232 -2452 2560 2680 -2188 -2364 2560 -2528 -2268 2660 -2332 2580 2624 -2436 -2316 2160 -2304 2248 -2704 2268 -2412 2276 2204 2568 -2536 -2184 2264 -2664 
52.48/52.86	d NODES 2803
52.48/52.86	d CHECKS 68341689
52.48/52.86	   
52.48/52.86	   totalWckTime=52.681  totalCpuTime=51.36

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-2097759-1247413982/watcher-2097759-1247413982 -o /tmp/evaluation-result-2097759-1247413982/solver-2097759-1247413982 -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-2097759-1247413982.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.16 2.06 2.01 4/80 1748
/proc/meminfo: memFree=1753960/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=152 CPUtime=0
/proc/1748/stat : 1748 (java) R 1746 1748 29707 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 28461643 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 0 0 0
/proc/1748/statm: 38 26 19 9 0 4 0

[startup+0.10025 s]
/proc/loadavg: 2.16 2.06 2.01 4/80 1748
/proc/meminfo: memFree=1753960/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=865980 CPUtime=0.08
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 3777 0 1 0 7 1 0 0 18 0 9 0 28461643 886763520 3235 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216495 3235 1707 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.201253 s]
/proc/loadavg: 2.16 2.06 2.01 4/80 1748
/proc/meminfo: memFree=1753960/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=866140 CPUtime=0.19
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 4899 0 1 0 16 3 0 0 18 0 9 0 28461643 886927360 4316 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216535 4316 1888 9 0 211013 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866140

[startup+0.301261 s]
/proc/loadavg: 2.16 2.06 2.01 4/80 1748
/proc/meminfo: memFree=1753960/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=866380 CPUtime=0.28
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 6093 0 1 0 25 3 0 0 18 0 9 0 28461643 887173120 5459 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216595 5459 1987 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701287 s]
/proc/loadavg: 2.16 2.06 2.01 4/80 1748
/proc/meminfo: memFree=1753960/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=867776 CPUtime=0.69
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 10170 0 1 0 63 6 0 0 18 0 9 0 28461643 888602624 9524 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216944 9524 2036 9 0 211380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867776

[startup+1.50134 s]
/proc/loadavg: 2.16 2.06 2.01 3/89 1757
/proc/meminfo: memFree=1700576/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=867776 CPUtime=1.49
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 16340 0 1 0 140 9 0 0 18 0 9 0 28461643 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216944 15691 2041 9 0 211380 0
[pid=1748/tid=1750] ppid=1746 vsize=867776 CPUtime=1.3
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 14953 0 1 0 122 8 0 0 25 0 9 0 28461644 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4126905216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1751] ppid=1746 vsize=867776 CPUtime=0
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28461645 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1752] ppid=1746 vsize=867776 CPUtime=0
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 28461646 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1753] ppid=1746 vsize=867776 CPUtime=0
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 28461646 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1754] ppid=1746 vsize=867776 CPUtime=0
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28461648 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=867776 CPUtime=0.17
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 689 0 0 0 17 0 0 0 15 0 9 0 28461648 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1756] ppid=1746 vsize=867776 CPUtime=0
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28461648 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=867776 CPUtime=0
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28461648 888602624 15691 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867776

[startup+3.10145 s]
/proc/loadavg: 2.16 2.06 2.01 4/89 1757
/proc/meminfo: memFree=1696480/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=867688 CPUtime=3.09
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 19575 0 1 0 298 11 0 0 18 0 9 0 28461643 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216922 18900 2031 9 0 211380 0
[pid=1748/tid=1750] ppid=1746 vsize=867688 CPUtime=2.79
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 15833 0 1 0 270 9 0 0 25 0 9 0 28461644 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4126906698 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1751] ppid=1746 vsize=867688 CPUtime=0.06
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 2317 0 0 0 6 0 0 0 16 0 9 0 28461645 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1752] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28461646 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1753] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28461646 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1754] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28461648 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=867688 CPUtime=0.2
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 724 0 0 0 20 0 0 0 15 0 9 0 28461648 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1756] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28461648 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28461648 888512512 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867688

[startup+6.30267 s]
/proc/loadavg: 2.15 2.05 2.01 3/89 1757
/proc/meminfo: memFree=1685600/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=867688 CPUtime=6.29
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 19580 0 1 0 617 12 0 0 18 0 9 0 28461643 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216922 18903 2031 9 0 211380 0
[pid=1748/tid=1750] ppid=1746 vsize=867688 CPUtime=5.99
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 15836 0 1 0 589 10 0 0 25 0 9 0 28461644 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4126906648 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1751] ppid=1746 vsize=867688 CPUtime=0.06
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 2317 0 0 0 6 0 0 0 16 0 9 0 28461645 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1752] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28461646 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1753] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28461646 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1754] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28461648 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=867688 CPUtime=0.21
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 725 0 0 0 21 0 0 0 15 0 9 0 28461648 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1756] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28461648 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28461648 888512512 18903 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867688

[startup+12.7021 s]
/proc/loadavg: 2.14 2.05 2.01 3/89 1757
/proc/meminfo: memFree=1685408/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=867688 CPUtime=12.69
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 19591 0 1 0 1256 13 0 0 18 0 9 0 28461643 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 216922 18911 2031 9 0 211380 0
[pid=1748/tid=1750] ppid=1746 vsize=867688 CPUtime=12.37
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 15840 0 1 0 1226 11 0 0 25 0 9 0 28461644 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4126905216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1751] ppid=1746 vsize=867688 CPUtime=0.06
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 2317 0 0 0 6 0 0 0 16 0 9 0 28461645 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1752] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28461646 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1753] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28461646 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1754] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28461648 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=867688 CPUtime=0.22
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 732 0 0 0 22 0 0 0 16 0 9 0 28461648 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1756] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28461648 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=867688 CPUtime=0
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28461648 888512512 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 867688

[startup+25.502 s]
/proc/loadavg: 2.11 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653280/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=25.43
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 47519 496 1 0 2518 21 3 1 18 0 9 0 28461643 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27597 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=24.51
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 22862 496 1 0 2433 14 3 1 25 0 9 0 28461644 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4126912457 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.38
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 958 496 0 0 34 0 3 1 15 0 9 0 28461648 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 10 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 868424

[startup+51.1017 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=50.79
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 48381 496 1 0 5053 22 3 1 18 0 9 0 28461643 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27632 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=49.8
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 23686 496 1 0 4961 15 3 1 25 0 9 0 28461644 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4126913399 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.45
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 995 496 0 0 40 1 3 1 15 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 11 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 868424

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

[startup+51.2017 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=50.89
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 48381 496 1 0 5063 22 3 1 18 0 9 0 28461643 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27632 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=49.9
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 23686 496 1 0 4971 15 3 1 25 0 9 0 28461644 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4126910724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.45
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 995 496 0 0 40 1 3 1 15 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 11 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 868424

[startup+52.0018 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=51.69
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 48383 496 1 0 5143 22 3 1 18 0 9 0 28461643 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27633 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=50.69
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 23686 496 1 0 5050 15 3 1 25 0 9 0 28461644 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4126907948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.46
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 997 496 0 0 41 1 3 1 16 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 11 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.69
Current children cumulated vsize (KiB) 868424

[startup+52.4018 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=52.08
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 48383 496 1 0 5182 22 3 1 18 0 9 0 28461643 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27633 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=51.09
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 23686 496 1 0 5090 15 3 1 25 0 9 0 28461644 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4127130888 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.46
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 997 496 0 0 41 1 3 1 16 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 11 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.08
Current children cumulated vsize (KiB) 868424

[startup+52.8018 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=52.48
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 48385 496 1 0 5222 22 3 1 18 0 9 0 28461643 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27634 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=51.49
/proc/1748/task/1750/stat : 1750 (java) R 1746 1748 29707 0 -1 64 23686 496 1 0 5130 15 3 1 25 0 9 0 28461644 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4127130913 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.46
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 999 496 0 0 41 1 3 1 15 0 9 0 28461648 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 11 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27634 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.48
Current children cumulated vsize (KiB) 868424

[startup+52.9068 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 1761
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=1748] ppid=1746 vsize=868424 CPUtime=52.54
/proc/1748/stat : 1748 (java) S 1746 1748 29707 0 -1 0 48495 496 1 0 5228 22 3 1 18 0 9 0 28461643 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1748/statm: 217106 27638 2662 9 0 211542 0
[pid=1748/tid=1750] ppid=1746 vsize=868424 CPUtime=51.54
/proc/1748/task/1750/stat : 1750 (java) S 1746 1748 29707 0 -1 64 23795 496 1 0 5135 15 3 1 24 0 9 0 28461644 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1751] ppid=1746 vsize=868424 CPUtime=0.58
/proc/1748/task/1751/stat : 1751 (java) S 1746 1748 29707 0 -1 64 22844 496 0 0 50 4 3 1 17 0 9 0 28461645 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1752] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1752/stat : 1752 (java) S 1746 1748 29707 0 -1 64 23 496 0 0 0 0 3 1 16 0 9 0 28461646 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1753] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1753/stat : 1753 (java) S 1746 1748 29707 0 -1 64 12 496 0 0 0 0 3 1 15 0 9 0 28461646 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1754] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1754/stat : 1754 (java) S 1746 1748 29707 0 -1 64 2 496 0 0 0 0 3 1 23 0 9 0 28461648 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1755] ppid=1746 vsize=868424 CPUtime=0.46
/proc/1748/task/1755/stat : 1755 (java) S 1746 1748 29707 0 -1 64 1000 496 0 0 41 1 3 1 15 0 9 0 28461648 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1748/tid=1756] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1756/stat : 1756 (java) S 1746 1748 29707 0 -1 64 0 496 0 0 0 0 3 1 24 0 9 0 28461648 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1748/tid=1757] ppid=1746 vsize=868424 CPUtime=0.04
/proc/1748/task/1757/stat : 1757 (java) S 1746 1748 29707 0 -1 64 11 496 0 0 0 0 3 1 15 0 9 0 28461648 889266176 27638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.54
Current children cumulated vsize (KiB) 868424

Child status: 0
Real time (s): 52.9307
CPU time (s): 52.583
CPU user time (s): 52.322
CPU system time (s): 0.26096
CPU usage (%): 99.3431
Max. virtual memory (cumulated for all children) (KiB): 868424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.322
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49021
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= 3334
involuntary context switches= 3872

runsolver used 0.066989 second user time and 0.185971 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-12 17:53:02
IDJOB=2097759
IDBENCH=57704
IDSOLVER=773
FILE ID=node52/2097759-1247413982
PBS_JOBID= 9510541
Free space on /tmp= 66144 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097759-1247413982/watcher-2097759-1247413982 -o /tmp/evaluation-result-2097759-1247413982/solver-2097759-1247413982 -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-2097759-1247413982.xml

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

MD5SUM BENCH= fa37dee04ffe0cd0af7a8fde9f661bf5
RANDOM SEED=1042049880

node52.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.236
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.236
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:       1754440 kB
Buffers:         45672 kB
Cached:         150440 kB
SwapCached:          0 kB
Active:         142720 kB
Inactive:       101720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3056 kB
Writeback:           0 kB
Mapped:          68776 kB
Slab:            42216 kB
Committed_AS:  1021044 kB
PageTables:       1980 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= 66140 MiB
End job on node52 at 2009-07-12 17:53:55