Trace number 2097762

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ESACSAT 37.4673 37.7157

DiagnosticValue
CHECKS27898600
NODES1596

General information on the benchmark

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

Solver Data 

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=esac.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-2097762-1247413989.xml
0.28/0.35	   
0.28/0.35	   domains being loaded...
0.38/0.43	   
0.38/0.43	   variables being loaded...
0.48/0.56	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.48/0.56	       =>  wckTime=0.315  cpuTime=0.21  mem=12M782
0.48/0.56	   
0.48/0.56	   predicates being loaded...
0.58/0.62	   
0.58/0.62	   constraints being loaded...
20.49/20.69	   
20.49/20.69	   INFO : Stopping converting binary constraints (cpu=20.08, mem = 54M327)
23.77/23.95	     nbConstraints=3844  nbGlobalConstraints=10  nbMergedConstraints=3288  nbConvertedConstraints=919
23.77/23.95	     nbConvertConstraintsChecks=41047436  nbExtensionStructures=841  nbSharedExtensionStructures=176
23.77/23.95	     nbConflictsStructures=1365  nbSharedConflictsStructures=244  nbUnbuiltConflictsStructures=1965
23.77/23.95	     nbSharedBinaryRepresentations=219396  nbEvaluationManagers=2489  nbSharedEvaluationManagers=426  minDegree=3
23.77/23.95	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.457
23.77/23.95	     symmetryCpuTime=0.37  nbCliques=10
23.77/23.95	       =>  wckTime=23.705  cpuTime=22.91  mem=73M386
23.97/24.18	   
23.97/24.18	   solver IterativeSystematicSolver being built... 
24.17/24.30	   
24.17/24.30	   INFO : Forward propagation technique limited 
24.26/24.40	       =>  wckTime=24.164  cpuTime=23.1  mem=69M962
28.43/28.66	   
28.43/28.66	   preprocessing
28.43/28.66	     nbConstraintChecks=11349592  nbValidityChecks=204875  nbPropagations=788  nbRevisions=6385  nbUselessRevisions=5645
28.43/28.66	     nbRemovedValues=31661  detectedInconsistency=no
28.43/28.66	       =>  wckTime=4.249  cpuTime=4.19  mem=70M966
37.33/37.68	   
37.33/37.68	   search
37.33/37.68	     run=2  nbConstraintChecks=16549011  nbValidityChecks=11509378  minDepth=360  maxDepth=700  nbPropagations=37881
37.33/37.68	     nbRevisions=276181  nbUselessRevisions=234054  nbAssignments=1596  nbFailedAssignments=28  nbBacktracks=0
37.33/37.68	     nbVisitedNodes=1625  nbRestartNogoods=25  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
37.33/37.68	     nbSEliminables=0  nbREliminables=49.1  nbIEliminables=422.06  nbDEliminables=0  nbPEliminables=0
37.33/37.68	       =>  wckTime=13.268  cpuTime=13.02  mem=49M613
37.33/37.68	   
37.33/37.68	   global
37.33/37.68	     nbConstraintChecks=27898603  nbValidityChecks=11714253  nbPropagations=38669  nbRevisions=282566
37.33/37.68	     nbUselessRevisions=239699  nbRestartNogoods=25  solvingWckTime=13.27  solvingCpuTime=13.03  expiredTime=no
37.33/37.68	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=36.1  globalCpuTime=36.19
37.33/37.68	       =>  wckTime=37.438  cpuTime=36.13  mem=49M613
37.33/37.68	   
37.33/37.68	s SATISFIABLE
37.33/37.68	v 2604 -2588 -2488 -2656 -2628 -2268 -2472 2472 2336 -2276 -2496 -2624 -2160 -2292 -2336 2336 -2456 -2656 -2624 2512 2652 -2200 2460 -2424 2660 -2720 2304 -2452 -2608 2648 2280 2600 -2292 -2432 -2344 -2200 -2248 2184 -2392 2248 2628 2460 -2448 -2180 2384 -2324 -2412 -2712 2364 -2160 -2520 2532 -2664 -2200 2160 2680 -2452 -2224 -2468 2400 2252 -2680 2452 -2584 2548 -2700 2508 2312 2528 -2624 2676 -2160 2488 -2432 -2268 2612 -2408 -2700 -2696 -2280 2596 -2412 -2200 2560 -2224 2556 -2300 2532 -2240 -2356 -2592 2636 2604 -2720 2600 2348 2368 -2380 2700 -2612 -2236 -2720 -2572 -2260 2224 2568 -2160 2652 2264 2720 2220 2652 -2224 2348 -2520 -2356 -2396 2232 -2696 -2224 2628 -2376 -2484 -2576 -2380 -2376 -2496 2480 -2284 -2200 -2576 2572 2668 -2408 2160 2356 2436 2580 2204 -2288 -2720 -2200 -2188 -2200 -2168 -2448 2416 -2504 2324 2160 -2664 -2660 -2660 2200 -2360 -2396 -2376 2680 -2528 -2460 -2672 2544 -2584 2640 2384 -2700 -2160 -2364 -2624 2252 2164 -2664 -2456 -2636 -2572 2652 2160 -2532 -2680 2656 -2680 2596 -2432 2432 2456 -2656 -2424 -2340 -2184 2312 2292 2160 -2356 2512 2660 -2456 -2472 -2548 -2328 2556 -2688 -2404 2476 -2200 2636 -2356 -2548 -2696 2508 -2520 2304 -2348 2624 -2320 2448 -2200 -2268 -2436 -2512 -2664 -2308 -2272 -2396 2396 -2624 2584 -2460 2208 -2456 -2208 2252 2624 -2268 -2416 2228 -2620 -2408 2656 -2716 -2404 -2688 -2308 2648 -2624 -2596 -2316 -2416 2660 2164 -2464 -2292 2252 -2712 2172 -2700 -2168 -2624 -2316 2408 -2424 -2608 -2416 -2208 -2504 2392 2540 2232 -2616 -2192 2552 -2372 -2300 -2644 -2664 2228 -2372 2584 2392 -2232 -2648 -2416 2560 -2720 -2456 -2200 -2248 2340 2224 -2448 -2448 -2544 -2288 2508 -2412 -2532 2676 2340 -2560 -2488 -2212 2608 -2444 2680 -2444 2584 -2200 2704 -2524 2472 2672 2648 2616 2436 -2356 2300 2680 2308 2444 -2640 -2288 -2672 2160 -2332 -2452 2680 2200 -2368 -2372 -2332 2624 2396 -2368 -2720 -2276 -2160 2468 -2600 -2708 2520 -2552 2160 -2160 -2316 -2532 2200 -2248 -2340 -2628 -2484 2596 -2160 2648 2412 -2720 -2200 -2212 2676 2604 -2612 -2348 -2200 -2288 2564 2164 -2440 2584 -2480 -2612 2300 -2372 -2552 -2276 -2412 -2680 -2520 -2420 2600 -2204 -2340 -2608 2556 -2680 -2720 -2720 -2488 2252 -2612 2296 -2276 2624 -2680 2412 2404 -2184 -2636 -2572 -2464 -2536 -2436 2212 -2184 -2592 2636 -2484 2488 2396 2268 -2252 2336 -2664 -2380 -2408 2652 2384 -2200 -2696 -2444 2488 2496 2536 -2560 -2292 -2160 -2352 -2396 2588 -2472 2376 -2720 -2356 2240 2204 -2628 -2676 -2476 2584 2408 2344 -2244 -2276 -2484 -2476 2612 -2380 -2644 -2372 2276 2468 -2560 -2396 -2384 -2720 2552 -2184 -2200 -2260 2624 -2448 2664 -2624 2316 -2588 -2448 -2392 -2204 2300 -2404 -2184 -2664 -2336 -2524 2416 -2516 2432 -2280 2316 -2224 2316 2340 -2328 2536 -2316 -2640 -2720 2624 -2608 2572 -2660 -2288 -2356 -2308 -2200 -2196 -2588 -2532 2548 -2388 -2352 2268 -2260 -2292 -2508 2680 -2412 -2236 2288 -2444 2160 -2200 -2200 2592 2712 -2320 -2664 -2252 2568 2396 -2344 2404 -2520 -2532 -2204 -2544 2164 2672 2588 2664 -2364 -2160 -2352 -2636 2596 -2364 -2476 2564 -2628 -2348 2244 2720 -2604 2656 2324 -2636 -2720 -2340 2412 -2356 -2700 2332 -2696 2528 2568 -2656 2632 -2524 -2340 2572 2356 -2560 2532 2668 2504 -2200 2284 2160 2228 2512 2164 -2200 2584 2572 2584 -2712 2184 2376 -2448 2588 -2272 -2624 2200 -2624 2292 -2292 2588 2276 -2544 -2628 -2352 2692 -2624 2720 -2564 -2228 -2300 -2356 -2480 -2444 -2316 -2200 -2160 2308 -2720 2160 2620 -2324 -2680 2512 -2332 -2584 -2200 2376 2596 -2528 -2476 -2624 -2376 2452 -2720 -2316 -2680 -2608 2676 -2324 -2528 2680 -2500 -2696 -2228 2320 -2552 2160 2160 -2480 -2416 -2624 -2672 2428 -2316 2420 2648 -2416 2488 -2680 2356 -2308 -2276 2376 -2472 -2344 2436 2652 -2404 -2340 2160 -2192 2660 2444 2284 -2500 2492 -2600 2324 -2364 -2520 -2668 -2572 2392 2344 2440 -2444 -2224 2584 -2212 -2252 2656 2680 2188 2408 2560 2564 -2384 2648 -2420 2592 2680 2380 2316 -2160 2412 -2392 2624 -2308 2264 2300 2204 2580 2600 -2300 2248 -2664 
37.33/37.68	d NODES 1596
37.33/37.68	d CHECKS 27898603
37.33/37.68	   
37.33/37.69	   totalWckTime=37.497  totalCpuTime=36.19

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-2097762-1247413989/watcher-2097762-1247413989 -o /tmp/evaluation-result-2097762-1247413989/solver-2097762-1247413989 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097762-1247413989.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.91 2.01 2.01 4/69 3731
/proc/meminfo: memFree=1741880/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=18576 CPUtime=0
/proc/3731/stat : 3731 (runsolver) R 3729 3731 32672 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28461692 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3731/statm: 4644 284 249 26 0 2626 0

[startup+0.0208779 s]
/proc/loadavg: 1.91 2.01 2.01 4/69 3731
/proc/meminfo: memFree=1741880/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=11192 CPUtime=0
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 877 0 1 0 0 0 0 0 18 0 2 0 28461692 11460608 631 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 2798 631 327 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11192

[startup+0.102847 s]
/proc/loadavg: 1.91 2.01 2.01 4/69 3731
/proc/meminfo: memFree=1741880/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=865984 CPUtime=0.08
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 3741 0 1 0 7 1 0 0 18 0 9 0 28461692 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216496 3204 1692 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.30287 s]
/proc/loadavg: 1.91 2.01 2.01 4/69 3731
/proc/meminfo: memFree=1741880/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=866296 CPUtime=0.28
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 5700 0 1 0 25 3 0 0 18 0 9 0 28461692 887087104 5103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216574 5103 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296

[startup+0.701911 s]
/proc/loadavg: 1.91 2.01 2.01 4/69 3731
/proc/meminfo: memFree=1741880/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=867136 CPUtime=0.68
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 9068 0 1 0 63 5 0 0 18 0 9 0 28461692 887947264 8422 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216784 8422 2036 9 0 211220 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867136

[startup+1.50199 s]
/proc/loadavg: 1.91 2.01 2.01 3/78 3740
/proc/meminfo: memFree=1694512/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=867744 CPUtime=1.47
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 16248 0 1 0 137 10 0 0 18 0 9 0 28461692 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216936 15599 2041 9 0 211372 0
[pid=3731/tid=3733] ppid=3729 vsize=867744 CPUtime=1.26
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 14862 0 1 0 118 8 0 0 25 0 9 0 28461694 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4126915068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=867744 CPUtime=0
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28461695 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=867744 CPUtime=0
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28461695 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=867744 CPUtime=0
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28461695 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=867744 CPUtime=0
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28461697 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=867744 CPUtime=0.2
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 687 0 0 0 19 1 0 0 16 0 9 0 28461697 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=867744 CPUtime=0
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28461698 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=867744 CPUtime=0
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28461698 888569856 15599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867744

[startup+3.10115 s]
/proc/loadavg: 1.91 2.01 2.01 3/78 3740
/proc/meminfo: memFree=1674416/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=867656 CPUtime=3.06
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 19575 0 1 0 294 12 0 0 18 0 9 0 28461692 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216914 18900 2031 9 0 211372 0
[pid=3731/tid=3733] ppid=3729 vsize=867656 CPUtime=2.74
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 15836 0 1 0 265 9 0 0 25 0 9 0 28461694 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4126907752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=867656 CPUtime=0.07
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 2317 0 0 0 6 1 0 0 16 0 9 0 28461695 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28461695 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28461695 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28461697 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=867656 CPUtime=0.24
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 720 0 0 0 23 1 0 0 15 0 9 0 28461697 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28461698 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28461698 888479744 18900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867656

[startup+6.30248 s]
/proc/loadavg: 1.92 2.01 2.01 3/78 3740
/proc/meminfo: memFree=1646256/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=867656 CPUtime=6.25
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 19582 0 1 0 612 13 0 0 18 0 9 0 28461692 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216914 18905 2031 9 0 211372 0
[pid=3731/tid=3733] ppid=3729 vsize=867656 CPUtime=5.92
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 15840 0 1 0 583 9 0 0 25 0 9 0 28461694 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4126907661 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=867656 CPUtime=0.07
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 2317 0 0 0 6 1 0 0 16 0 9 0 28461695 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28461695 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28461695 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28461697 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=867656 CPUtime=0.24
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 723 0 0 0 23 1 0 0 16 0 9 0 28461697 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28461698 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28461698 888479744 18905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867656

[startup+12.7011 s]
/proc/loadavg: 1.93 2.01 2.01 3/78 3740
/proc/meminfo: memFree=1613168/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=867656 CPUtime=12.62
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 19592 0 1 0 1248 14 0 0 18 0 9 0 28461692 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 216914 18913 2031 9 0 211372 0
[pid=3731/tid=3733] ppid=3729 vsize=867656 CPUtime=12.28
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 15843 0 1 0 1217 11 0 0 25 0 9 0 28461694 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4126910508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=867656 CPUtime=0.07
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 2317 0 0 0 6 1 0 0 17 0 9 0 28461695 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28461695 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28461695 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28461697 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=867656 CPUtime=0.25
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 730 0 0 0 24 1 0 0 16 0 9 0 28461697 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28461698 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=867656 CPUtime=0
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28461698 888479744 18913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867656

[startup+25.5025 s]
/proc/loadavg: 1.94 2.01 2.01 3/89 3776
/proc/meminfo: memFree=1586712/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=868068 CPUtime=25.35
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 46372 492 1 0 2508 23 3 1 18 0 9 0 28461692 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 217017 27502 2662 9 0 211453 0
[pid=3731/tid=3733] ppid=3729 vsize=868068 CPUtime=24.41
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 23272 492 1 0 2423 14 3 1 25 0 9 0 28461694 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4127250634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=868068 CPUtime=0.57
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 21277 492 0 0 48 5 3 1 17 0 9 0 28461695 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 20 492 0 0 0 0 3 1 17 0 9 0 28461695 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 14 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 18 0 9 0 28461697 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=868068 CPUtime=0.4
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 965 492 0 0 35 1 3 1 15 0 9 0 28461697 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 19 0 9 0 28461698 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 13 492 0 0 0 0 3 1 15 0 9 0 28461698 888901632 27502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868068

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

[startup+31.9071 s]
/proc/loadavg: 1.95 2.01 2.00 3/89 3776
/proc/meminfo: memFree=1586456/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=868068 CPUtime=31.7
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 47063 492 1 0 3142 24 3 1 18 0 9 0 28461692 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 217017 27518 2662 9 0 211453 0
[pid=3731/tid=3733] ppid=3729 vsize=868068 CPUtime=30.72
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 23946 492 1 0 3054 14 3 1 25 0 9 0 28461694 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4127405640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=868068 CPUtime=0.57
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 21277 492 0 0 48 5 3 1 17 0 9 0 28461695 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 20 492 0 0 0 0 3 1 17 0 9 0 28461695 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 14 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 18 0 9 0 28461697 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=868068 CPUtime=0.43
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 982 492 0 0 38 1 3 1 15 0 9 0 28461697 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 19 0 9 0 28461698 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 13 492 0 0 0 0 3 1 15 0 9 0 28461698 888901632 27518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.7
Current children cumulated vsize (KiB) 868068

[startup+35.1014 s]
/proc/loadavg: 1.95 2.01 2.00 3/89 3776
/proc/meminfo: memFree=1586456/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=868068 CPUtime=34.87
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 47466 492 1 0 3459 24 3 1 18 0 9 0 28461692 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 217017 27525 2662 9 0 211453 0
[pid=3731/tid=3733] ppid=3729 vsize=868068 CPUtime=33.88
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 24342 492 1 0 3370 14 3 1 25 0 9 0 28461694 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4126910427 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=868068 CPUtime=0.57
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 21277 492 0 0 48 5 3 1 17 0 9 0 28461695 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 20 492 0 0 0 0 3 1 17 0 9 0 28461695 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 14 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 18 0 9 0 28461697 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=868068 CPUtime=0.44
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 989 492 0 0 39 1 3 1 15 0 9 0 28461697 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 19 0 9 0 28461698 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 13 492 0 0 0 0 3 1 15 0 9 0 28461698 888901632 27525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.87
Current children cumulated vsize (KiB) 868068

[startup+36.7016 s]
/proc/loadavg: 1.95 2.01 2.00 3/89 3776
/proc/meminfo: memFree=1586328/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=868068 CPUtime=36.44
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 51335 492 1 0 3615 25 3 1 18 0 9 0 28461692 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 217017 29842 2662 9 0 211453 0
[pid=3731/tid=3733] ppid=3729 vsize=868068 CPUtime=35.42
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 24587 492 1 0 3523 15 3 1 25 0 9 0 28461694 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4127134625 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=868068 CPUtime=0.61
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 24888 492 0 0 51 6 3 1 16 0 9 0 28461695 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 20 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 27 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 18 0 9 0 28461697 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=868068 CPUtime=0.44
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 989 492 0 0 39 1 3 1 16 0 9 0 28461697 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 19 0 9 0 28461698 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 13 492 0 0 0 0 3 1 15 0 9 0 28461698 888901632 29842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.44
Current children cumulated vsize (KiB) 868068

[startup+37.5017 s]
/proc/loadavg: 1.95 2.01 2.00 3/89 3776
/proc/meminfo: memFree=1577048/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=868068 CPUtime=37.24
/proc/3731/stat : 3731 (java) S 3729 3731 32672 0 -1 0 51339 492 1 0 3695 25 3 1 18 0 9 0 28461692 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 217017 29845 2662 9 0 211453 0
[pid=3731/tid=3733] ppid=3729 vsize=868068 CPUtime=36.21
/proc/3731/task/3733/stat : 3733 (java) R 3729 3731 32672 0 -1 64 24587 492 1 0 3602 15 3 1 25 0 9 0 28461694 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4127405696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3734] ppid=3729 vsize=868068 CPUtime=0.61
/proc/3731/task/3734/stat : 3734 (java) S 3729 3731 32672 0 -1 64 24888 492 0 0 51 6 3 1 17 0 9 0 28461695 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3735] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3735/stat : 3735 (java) S 3729 3731 32672 0 -1 64 20 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3736] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3736/stat : 3736 (java) S 3729 3731 32672 0 -1 64 27 492 0 0 0 0 3 1 16 0 9 0 28461695 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3737] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3737/stat : 3737 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 18 0 9 0 28461697 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3738] ppid=3729 vsize=868068 CPUtime=0.46
/proc/3731/task/3738/stat : 3738 (java) S 3729 3731 32672 0 -1 64 993 492 0 0 40 2 3 1 15 0 9 0 28461697 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3739] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3739/stat : 3739 (java) S 3729 3731 32672 0 -1 64 1 492 0 0 0 0 3 1 19 0 9 0 28461698 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3731/tid=3740] ppid=3729 vsize=868068 CPUtime=0.04
/proc/3731/task/3740/stat : 3740 (java) S 3729 3731 32672 0 -1 64 13 492 0 0 0 0 3 1 15 0 9 0 28461698 888901632 29845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.24
Current children cumulated vsize (KiB) 868068

[startup+37.7018 s]
/proc/loadavg: 1.95 2.01 2.00 3/89 3776
/proc/meminfo: memFree=1577048/2055920 swapFree=4192812/4192956
[pid=3731] ppid=3729 vsize=0 CPUtime=37.43
/proc/3731/stat : 3731 (java) Z 3729 3731 32672 0 -1 12 51379 492 1 0 3713 26 3 1 16 0 2 0 28461692 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3731/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 37.43
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 37.7157
CPU time (s): 37.4673
CPU user time (s): 37.1733
CPU system time (s): 0.293955
CPU usage (%): 99.3414
Max. virtual memory (cumulated for all children) (KiB): 868068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.1733
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51871
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= 2743
involuntary context switches= 3403

runsolver used 0.06399 second user time and 0.119981 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-12 17:53:10
IDJOB=2097762
IDBENCH=57705
IDSOLVER=774
FILE ID=node67/2097762-1247413989
PBS_JOBID= 9510513
Free space on /tmp= 66488 MiB

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

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

MD5SUM BENCH= 76f5c8323181a5b7c43a501cf4eaddc1
RANDOM SEED=1053378000

node67.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.239
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.239
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:       1742360 kB
Buffers:         42436 kB
Cached:         177000 kB
SwapCached:          0 kB
Active:         151792 kB
Inactive:       102712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3008 kB
Writeback:           0 kB
Mapped:          45372 kB
Slab:            44524 kB
Committed_AS:   209172 kB
PageTables:       1808 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= 66504 MiB
End job on node67 at 2009-07-12 17:53:47