Trace number 1085867

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 55.3086 55.6222

DiagnosticValue
CHECKS60989000
NODES2141

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-9.xml
MD5SUMbb8fed9f370e164b93c37276047ba0d0
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 benchmark55.3086
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
Global constraints used (with number of constraints)

Solver Data (download as text)

0.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.19/0.23	
0.19/0.23	   configuration
0.19/0.23	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-1085867-1215235872.xml
0.29/0.30	   
0.29/0.30	   domains being loaded...
0.29/0.34	   
0.29/0.34	   variables being loaded...
0.38/0.49	     nbVariables=900  nbDomainTypes=28  minDomainSize=42  maxDomainSize=362  nbTotalValues=197665
0.38/0.49	       =>  wckTime=0.253  cpuTime=0.16  mem=15M696
0.38/0.49	   
0.38/0.49	   predicates being loaded...
0.48/0.55	   
0.48/0.55	   constraints being loaded...
20.68/20.71	   
20.68/20.71	   INFO : Stopping converting binary constraints (cpu=20.07, mem = 37M727)
25.46/25.53	     nbConstraints=6082  nbGlobalConstraints=11  nbMergedConstraints=5310  nbConvertedConstraints=850
25.46/25.53	     nbConvertConstraintsChecks=46271090  nbExtensionStructures=795  nbSharedExtensionStructures=124
25.46/25.53	     nbConflictsStructures=1555  nbSharedConflictsStructures=197  nbUnbuiltConflictsStructures=3781
25.46/25.53	     nbSharedBinaryRepresentations=212804  nbEvaluationManagers=4541  nbSharedEvaluationManagers=680  minDegree=3
25.46/25.53	     maxDegree=30  minArity=2  avgArity=2.01  maxArity=7  nbGenerators=0  nbFusions=0  symmetryWckTime=0.725
25.46/25.53	     symmetryCpuTime=0.59  nbCliques=11
25.46/25.53	       =>  wckTime=25.294  cpuTime=24.43  mem=82M559
25.75/25.81	   
25.75/25.81	   solver IterativeSystematicSolver being built... 
25.85/25.96	   
25.85/25.96	   INFO : Forward propagation technique limited 
25.95/26.10	       =>  wckTime=25.862  cpuTime=24.65  mem=60M626
35.77/35.98	   
35.77/35.98	   preprocessing
35.77/35.98	     nbConstraintChecks=27548138  nbValidityChecks=418871  nbPropagations=979  nbRevisions=11052
35.77/35.98	     nbUselessRevisions=10235  nbRemovedValues=44560  detectedInconsistency=no
35.77/35.98	       =>  wckTime=9.88  cpuTime=9.77  mem=61M642
55.20/55.55	   
55.20/55.55	   search
55.20/55.55	     run=2  nbConstraintChecks=33440895  nbValidityChecks=26378124  minDepth=607  maxDepth=900  nbPropagations=53086
55.20/55.55	     nbRevisions=522632  nbUselessRevisions=465024  nbAssignments=2141  nbFailedAssignments=27  nbBacktracks=0
55.20/55.55	     nbVisitedNodes=2169  nbRestartNogoods=25  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
55.20/55.55	     nbSEliminables=0  nbREliminables=71.58  nbIEliminables=550.76  nbDEliminables=0  nbPEliminables=0
55.20/55.55	       =>  wckTime=29.45  cpuTime=29.11  mem=81M305
55.20/55.55	   
55.20/55.55	   global
55.20/55.55	     nbConstraintChecks=60989033  nbValidityChecks=26796995  nbPropagations=54065  nbRevisions=533684
55.20/55.55	     nbUselessRevisions=475259  nbRestartNogoods=25  solvingWckTime=29.452  solvingCpuTime=29.11  expiredTime=no
55.20/55.55	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=53.74  globalCpuTime=53.82
55.20/55.55	       =>  wckTime=55.32  cpuTime=53.77  mem=81M305
55.20/55.56	   
55.20/55.56	s SATISFIABLE
55.20/55.56	v 2528 2664 2184 -2324 2484 2276 -2256 2672 -2460 2540 -2284 2396 -2528 -2388 -2400 -2424 -2632 2316 -2040 2580 -2504 -2692 2624 -2436 -2676 -2020 -2684 2424 -2636 2560 -2364 2276 -2436 2236 -2700 2396 2488 2544 -2576 2136 -2144 2384 -2516 2656 -2544 -2068 -2176 -2432 -2276 2652 -2120 -2620 -2152 -2140 2028 -2420 2540 -2708 -2740 -2276 -2640 2684 -2064 -2696 -2312 -2528 2692 -2088 -2420 -2720 -2596 -2236 2324 -2188 -2688 2652 -2332 2472 2028 -2532 -2696 -2608 2740 2104 2260 -2220 -2532 2344 -2740 -2592 2680 2700 -2656 2572 2028 -2584 2604 -2620 -2556 -2608 2628 -2580 2236 2492 -2320 -2708 2636 2556 2448 2340 -2244 -2508 -2720 -2508 2336 -2144 2020 2584 -2712 -2060 -2376 -2324 -2680 2024 -2284 2620 2696 -2100 2516 -2412 2192 2544 2396 2472 -2332 2480 2048 -2316 -2712 -2504 -2532 -2292 2336 2260 -2364 2620 -2716 -2468 -2700 2644 2660 2376 2432 -2132 2032 2692 -2696 -2280 -2588 -2128 -2376 2424 2656 -2476 -2656 -2256 -2060 -2060 2204 -2064 -2620 -2476 -2048 -2092 -2280 -2428 -2740 2136 -2436 -2264 2312 -2344 -2700 2656 -2528 2548 -2020 -2304 -2500 -2540 -2480 2480 -2364 -2112 -2660 -2460 -2316 -2344 2360 -2668 2116 -2172 2020 2672 2600 -2568 2148 2024 -2068 -2508 2184 -2152 -2288 2440 2528 -2396 -2024 -2668 -2452 -2428 -2384 2148 -2396 2628 -2060 -2156 -2224 -2376 -2572 2240 -2556 -2652 2060 2460 2176 2172 -2404 2472 -2324 2444 -2372 -2616 2516 -2216 -2640 -2588 2476 2580 -2596 2644 2288 2436 -2076 -2532 -2244 -2580 -2328 -2596 -2620 -2512 2224 -2468 2224 2492 2656 -2020 -2564 2552 2340 -2280 2496 2680 -2344 -2476 -2664 -2400 2568 2656 -2180 2268 -2740 -2288 2596 -2692 2276 -2680 2564 2332 -2204 2192 2576 2700 -2524 -2064 -2292 -2432 -2740 2600 2156 -2080 2352 -2060 2724 -2372 -2636 2224 2392 2412 2140 2196 -2380 -2740 -2708 -2700 -2484 2020 2696 2720 -2680 -2216 2696 2624 2500 2572 -2700 -2444 -2564 2664 -2740 -2580 -2164 2672 -2596 -2024 -2216 2060 2700 2644 -2372 2324 2132 -2432 2568 2424 -2584 2596 2440 -2060 -2420 -2432 2700 -2584 -2104 -2532 2696 -2132 2192 -2176 -2176 2540 2324 2340 2192 2512 -2060 2516 -2216 -2060 -2180 -2292 2020 -2740 -2700 2500 -2040 -2500 -2412 -2696 -2700 -2072 2324 -2712 -2452 2708 2540 -2120 -2060 2212 -2684 -2584 -2656 2068 -2544 2020 2544 2020 2060 2668 2456 2020 -2220 -2604 2572 2276 -2676 2736 -2024 -2712 -2700 -2496 2660 -2440 -2640 -2700 -2672 -2284 2452 2236 2548 -2724 -2316 -2312 2456 -2492 -2060 -2672 -2572 2352 -2068 -2664 -2428 -2184 -2352 -2304 2700 2080 -2572 -2228 2584 -2608 -2464 -2572 -2060 2616 -2712 -2524 -2412 2676 -2600 -2520 -2508 -2632 -2216 2556 2472 -2160 -2068 2624 2572 -2304 -2740 -2020 2480 2276 -2692 2180 2104 -2568 -2628 -2712 -2276 -2236 -2496 -2020 2532 2256 -2436 2364 -2216 2484 -2720 -2060 -2196 2032 2328 -2740 -2656 2436 2552 2648 -2604 2284 2460 -2356 2700 -2712 -2524 2284 -2512 -2528 2284 -2664 -2060 -2672 -2284 2616 -2032 -2436 -2284 2692 -2700 2568 -2184 -2448 -2468 -2656 -2672 2684 -2220 2736 2616 2168 -2060 2204 2060 2364 -2492 2516 2420 2456 -2208 -2608 -2436 -2256 -2700 2324 2188 -2516 -2384 -2392 2664 -2336 2076 -2064 2676 -2336 2412 2500 -2624 -2524 2188 -2384 -2156 2036 2080 -2540 2536 -2716 -2108 -2392 -2692 -2740 2564 2284 2740 2672 2624 -2532 2580 2672 -2528 -2444 -2256 2452 -2332 -2072 -2452 2252 2364 -2392 2240 -2464 -2324 2628 -2720 2064 -2136 2684 -2740 2560 2696 2152 2524 -2596 2476 2020 2568 -2028 2500 -2060 2500 -2280 2528 2632 -2712 -2072 -2168 -2556 2600 -2636 -2160 -2364 -2616 -2020 -2644 2564 2292 -2468 -2584 2060 2652 2028 2532 2556 -2224 -2088 -2476 -2116 2644 -2104 -2492 -2196 -2616 -2424 -2068 -2432 2020 -2700 -2668 -2692 -2532 2608 -2412 2172 -2488 -2700 -2368 -2532 -2348 -2540 2540 -2020 2580 -2396 2740 2408 2300 2156 2512 2100 -2200 2704 -2244 -2700 2144 -2548 -2656 -2684 -2572 2652 -2712 2612 2740 -2464 -2484 2352 -2656 2396 2660 2644 2652 -2344 2544 -2364 2020 2420 -2148 -2532 -2740 2352 -2372 -2708 -2380 2612 -2272 2628 -2560 -2500 -2424 -2520 -2660 2716 2604 -2232 -2668 -2596 -2164 -2552 -2372 -2024 -2120 2460 -2264 2616 -2484 -2556 2400 -2204 2136 -2624 -2228 2068 2568 -2064 2532 -2168 2564 2520 -2544 2616 -2276 -2668 2408 -2364 -2372 -2480 2172 -2060 -2216 -2488 -2456 2672 -2552 -2548 2520 2740 -2516 2064 -2244 -2668 -2512 2300 -2460 2116 -2320 -2328 -2488 -2060 -2256 -2672 2708 -2740 -2684 -2572 2052 -2092 -2524 2252 2244 2208 -2212 -2700 -2608 -2524 -2468 -2736 -2256 -2472 -2188 -2324 -2520 2132 -2020 -2440 -2552 2740 2568 -2692 -2224 -2072 2324 -2436 2684 -2264 2644 2680 -2216 2700 2580 -2636 -2180 -2372 -2548 2300 -2420 2436 -2216 -2028 -2564 -2332 -2684 -2700 2736 -2648 -2344 -2732 2636 2460 -2464 -2720 2480 2020 2256 2092 -2452 2108 -2244 -2220 2660 -2176 -2620 -2020 2560 2100 2712 -2028 -2488 -2132 -2464 2148 -2316 -2060 2488 2720 -2680 2644 -2508 -2680 -2572 -2588 -2496 -2060 2572 2472 2236 2540 -2396 -2488 2652 2492 -2732 2660 -2624 -2608 2668 -2696 2700 2352 2324 -2700 2656 2556 -2592 -2020 -2440 2640 -2684 -2232 2564 -2324 -2320 2484 2356 -2608 -2332 2060 2440 2312 -2592 2020 2672 2668 -2068 -2740 -2384 -2668 -2400 -2596 2440 -2648 
55.20/55.56	d NODES 2141
55.20/55.56	d CHECKS 60989033
55.20/55.56	   
55.20/55.56	   totalWckTime=55.39  totalCpuTime=53.83

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085867-1215235872/watcher-1085867-1215235872 -o /tmp/evaluation-result-1085867-1215235872/solver-1085867-1215235872 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085867-1215235872.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.04 2.01 4/72 7378
/proc/meminfo: memFree=1282912/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=152 CPUtime=0
/proc/7378/stat : 7378 (java) R 7376 7378 2716 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 2002562574 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/7378/statm: 38 26 19 9 0 4 0

[startup+0.073764 s]
/proc/loadavg: 2.07 2.04 2.01 4/72 7378
/proc/meminfo: memFree=1282912/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=865856 CPUtime=0.06
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 3514 0 1 0 5 1 0 0 18 0 9 0 2002562574 886636544 3004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216464 3004 1625 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101768 s]
/proc/loadavg: 2.07 2.04 2.01 4/72 7378
/proc/meminfo: memFree=1282912/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=865884 CPUtime=0.09
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 3832 0 1 0 7 2 0 0 18 0 9 0 2002562574 886665216 3283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216471 3283 1735 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.301786 s]
/proc/loadavg: 2.07 2.04 2.01 4/72 7378
/proc/meminfo: memFree=1282912/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=866400 CPUtime=0.29
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 6078 0 1 0 25 4 0 0 18 0 9 0 2002562574 887193600 5448 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216600 5448 1961 9 0 211128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866400

[startup+0.701824 s]
/proc/loadavg: 2.07 2.04 2.01 4/72 7378
/proc/meminfo: memFree=1282912/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=867712 CPUtime=0.68
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 10587 0 1 0 61 7 0 0 18 0 9 0 2002562574 888537088 9947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216928 9948 2011 9 0 211434 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867712

[startup+1.5019 s]
/proc/loadavg: 2.07 2.04 2.01 3/81 7387
/proc/meminfo: memFree=1231384/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=867624 CPUtime=1.49
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 19576 0 1 0 135 14 0 0 18 0 9 0 2002562574 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216906 18909 2006 9 0 211434 0
[pid=7378/tid=7380] ppid=7376 vsize=867624 CPUtime=1.22
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 15784 0 1 0 111 11 0 0 25 0 9 0 2002562575 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4125963891 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7381] ppid=7376 vsize=867624 CPUtime=0.06
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 2418 0 0 0 5 1 0 0 16 0 9 0 2002562576 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7382] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7383] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7384] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002562578 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=867624 CPUtime=0.18
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 677 0 0 0 18 0 0 0 16 0 9 0 2002562578 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7386] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 2002562578 888446976 18909 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002562578 888446976 18909 996147200 134512640 134550740 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) 867624

[startup+3.10105 s]
/proc/loadavg: 2.07 2.04 2.01 3/81 7387
/proc/meminfo: memFree=1214936/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=867624 CPUtime=3.08
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 19584 0 1 0 294 14 0 0 18 0 9 0 2002562574 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216906 18916 2006 9 0 211434 0
[pid=7378/tid=7380] ppid=7376 vsize=867624 CPUtime=2.81
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 15786 0 1 0 269 12 0 0 25 0 9 0 2002562575 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4126938018 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7381] ppid=7376 vsize=867624 CPUtime=0.06
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 2418 0 0 0 5 1 0 0 17 0 9 0 2002562576 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7382] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7383] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7384] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002562578 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=867624 CPUtime=0.19
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 683 0 0 0 19 0 0 0 15 0 9 0 2002562578 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7386] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 2002562578 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002562578 888446976 18916 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867624

[startup+6.30236 s]
/proc/loadavg: 2.07 2.04 2.01 3/81 7387
/proc/meminfo: memFree=1214616/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=867624 CPUtime=6.28
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 19613 0 1 0 613 15 0 0 18 0 9 0 2002562574 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216906 18941 2006 9 0 211434 0
[pid=7378/tid=7380] ppid=7376 vsize=867624 CPUtime=5.99
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 15792 0 1 0 586 13 0 0 25 0 9 0 2002562575 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4126890919 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7381] ppid=7376 vsize=867624 CPUtime=0.06
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 2418 0 0 0 5 1 0 0 16 0 9 0 2002562576 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7382] ppid=7376 vsize=867628 CPUtime=0
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002562576 888451072 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7383] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7384] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002562578 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=867624 CPUtime=0.21
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 706 0 0 0 21 0 0 0 16 0 9 0 2002562578 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7386] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 2002562578 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002562578 888446976 18941 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867624

[startup+12.703 s]
/proc/loadavg: 2.06 2.03 2.01 3/81 7387
/proc/meminfo: memFree=1214424/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=867624 CPUtime=12.69
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 19620 0 1 0 1252 17 0 0 18 0 9 0 2002562574 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 216906 18945 2006 9 0 211434 0
[pid=7378/tid=7380] ppid=7376 vsize=867624 CPUtime=12.37
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 15796 0 1 0 1223 14 0 0 25 0 9 0 2002562575 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4126888176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7381] ppid=7376 vsize=867624 CPUtime=0.06
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 2418 0 0 0 5 1 0 0 17 0 9 0 2002562576 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7382] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7383] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002562576 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7384] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2002562578 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=867624 CPUtime=0.22
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 709 0 0 0 22 0 0 0 15 0 9 0 2002562578 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7386] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 2002562578 888446976 18945 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=867624 CPUtime=0
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002562578 888446976 18945 996147200 134512640 134550740 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) 867624

[startup+25.5012 s]
/proc/loadavg: 2.05 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1183192/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=25.46
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 31402 575 1 0 2516 24 5 1 18 0 9 0 2002562574 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 26788 2019 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=24.66
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 19449 575 1 0 2444 16 5 1 20 0 9 0 2002562575 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 102689665 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.52
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 10235 575 0 0 42 4 5 1 16 0 9 0 2002562576 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 13 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 5 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.35
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 874 575 0 0 29 0 5 1 15 0 9 0 2002562578 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 12 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 26788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 868272

[startup+51.1016 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1167640/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=50.83
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 54750 575 1 0 5048 29 5 1 18 0 9 0 2002562574 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 31283 2616 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=49.62
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 25074 575 1 0 4938 18 5 1 25 0 9 0 2002562575 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4127385508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.83
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 27835 575 0 0 69 8 5 1 17 0 9 0 2002562576 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 18 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 29 575 0 0 0 0 5 1 15 0 9 0 2002562576 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.47
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 966 575 0 0 40 1 5 1 16 0 9 0 2002562578 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 14 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 31283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 868272

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

[startup+52.7018 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1167640/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=52.42
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 54755 575 1 0 5207 29 5 1 18 0 9 0 2002562574 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 31287 2616 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=51.2
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 25074 575 1 0 5096 18 5 1 25 0 9 0 2002562575 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4126891988 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.83
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 27835 575 0 0 69 8 5 1 16 0 9 0 2002562576 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 18 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 29 575 0 0 0 0 5 1 15 0 9 0 2002562576 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.48
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 971 575 0 0 41 1 5 1 15 0 9 0 2002562578 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 14 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 31287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.42
Current children cumulated vsize (KiB) 868272

[startup+54.303 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1167576/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=54.01
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 54759 575 1 0 5366 29 5 1 18 0 9 0 2002562574 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 31289 2616 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=52.79
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 25074 575 1 0 5255 18 5 1 25 0 9 0 2002562575 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4127367269 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.83
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 27835 575 0 0 69 8 5 1 17 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 18 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 29 575 0 0 0 0 5 1 15 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.48
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 975 575 0 0 41 1 5 1 15 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 14 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.01
Current children cumulated vsize (KiB) 868272

[startup+55.102 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1167576/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=54.8
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 54759 575 1 0 5445 29 5 1 18 0 9 0 2002562574 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 31289 2616 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=53.57
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 25074 575 1 0 5333 18 5 1 25 0 9 0 2002562575 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4127369320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.83
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 27835 575 0 0 69 8 5 1 17 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 18 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 29 575 0 0 0 0 5 1 15 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.48
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 975 575 0 0 41 1 5 1 15 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 14 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.8
Current children cumulated vsize (KiB) 868272

[startup+55.5021 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1167576/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=55.2
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 54760 575 1 0 5485 29 5 1 18 0 9 0 2002562574 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 31289 2616 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=53.97
/proc/7378/task/7380/stat : 7380 (java) R 7376 7378 2716 0 -1 64 25075 575 1 0 5373 18 5 1 25 0 9 0 2002562575 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4127387642 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.83
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 27835 575 0 0 69 8 5 1 17 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 18 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 29 575 0 0 0 0 5 1 15 0 9 0 2002562576 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.48
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 975 575 0 0 41 1 5 1 15 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 14 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 31289 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 55.2
Current children cumulated vsize (KiB) 868272

[startup+55.6021 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 7391
/proc/meminfo: memFree=1167576/2055920 swapFree=4180028/4192956
[pid=7378] ppid=7376 vsize=868272 CPUtime=55.26
/proc/7378/stat : 7378 (java) S 7376 7378 2716 0 -1 0 54771 575 1 0 5491 29 5 1 18 0 9 0 2002562574 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7378/statm: 217068 31294 2616 9 0 211596 0
[pid=7378/tid=7380] ppid=7376 vsize=868272 CPUtime=54.03
/proc/7378/task/7380/stat : 7380 (java) S 7376 7378 2716 0 -1 64 25084 575 1 0 5379 18 5 1 24 0 9 0 2002562575 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7381] ppid=7376 vsize=868272 CPUtime=0.83
/proc/7378/task/7381/stat : 7381 (java) S 7376 7378 2716 0 -1 64 27835 575 0 0 69 8 5 1 17 0 9 0 2002562576 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7382] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7382/stat : 7382 (java) S 7376 7378 2716 0 -1 64 18 575 0 0 0 0 5 1 16 0 9 0 2002562576 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7383] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7383/stat : 7383 (java) S 7376 7378 2716 0 -1 64 29 575 0 0 0 0 5 1 15 0 9 0 2002562576 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7384] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7384/stat : 7384 (java) S 7376 7378 2716 0 -1 64 0 575 0 0 0 0 5 1 24 0 9 0 2002562578 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7385] ppid=7376 vsize=868272 CPUtime=0.49
/proc/7378/task/7385/stat : 7385 (java) S 7376 7378 2716 0 -1 64 977 575 0 0 42 1 5 1 16 0 9 0 2002562578 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7378/tid=7386] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7386/stat : 7386 (java) S 7376 7378 2716 0 -1 64 2 575 0 0 0 0 5 1 25 0 9 0 2002562578 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7378/tid=7387] ppid=7376 vsize=868272 CPUtime=0.06
/proc/7378/task/7387/stat : 7387 (java) S 7376 7378 2716 0 -1 64 14 575 0 0 0 0 5 1 15 0 9 0 2002562578 889110528 31294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 55.26
Current children cumulated vsize (KiB) 868272

Child status: 0
Real time (s): 55.6222
CPU time (s): 55.3086
CPU user time (s): 54.9756
CPU system time (s): 0.332949
CPU usage (%): 99.4361
Max. virtual memory (cumulated for all children) (KiB): 868360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.9756
system time used= 0.332949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55375
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= 3414
involuntary context switches= 3583

runsolver used 0.069989 second user time and 0.19697 second system time

The end

Launcher Data (download as text)

Begin job on node4 at 2008-07-05 07:31:12
IDJOB=1085867
IDBENCH=57715
IDSOLVER=364
FILE ID=node4/1085867-1215235872
PBS_JOBID= 7881779
Free space on /tmp= 66500 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp10/normalized-fapp10-0900-9.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085867-1215235872/watcher-1085867-1215235872 -o /tmp/evaluation-result-1085867-1215235872/solver-1085867-1215235872 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085867-1215235872.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bb8fed9f370e164b93c37276047ba0d0
RANDOM SEED=1040057351

node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1283392 kB
Buffers:         63388 kB
Cached:         216696 kB
SwapCached:       7012 kB
Active:         589068 kB
Inactive:       122344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1283392 kB
SwapTotal:     4192956 kB
SwapFree:      4180028 kB
Dirty:            3832 kB
Writeback:           0 kB
Mapped:         438848 kB
Slab:            45352 kB
Committed_AS:  3807148 kB
PageTables:       2816 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= 66496 MiB
End job on node4 at 2008-07-05 07:32:08