Trace number 2097764

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 33.141 33.5076

DiagnosticValue
CHECKS19848800
NODES702

General information on the benchmark

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

Solver Data 

0.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=esac.xml
0.29/0.30	   
0.29/0.30	   instance
0.29/0.30	     name=HOME/instance-2097764-1247413995.xml
0.29/0.34	   
0.29/0.34	   domains being loaded...
0.38/0.40	   
0.38/0.40	   variables being loaded...
0.58/0.60	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.58/0.60	       =>  wckTime=0.36  cpuTime=0.29  mem=12M783
0.58/0.60	   
0.58/0.60	   predicates being loaded...
0.69/0.70	   
0.69/0.70	   constraints being loaded...
20.50/20.76	   
20.50/20.76	   INFO : Stopping converting binary constraints (cpu=20.06, mem = 53M325)
23.96/24.25	     nbConstraints=3845  nbGlobalConstraints=11  nbMergedConstraints=3288  nbConvertedConstraints=907
23.96/24.25	     nbConvertConstraintsChecks=40098764  nbExtensionStructures=829  nbSharedExtensionStructures=176
23.96/24.25	     nbConflictsStructures=1353  nbSharedConflictsStructures=244  nbUnbuiltConflictsStructures=1945
23.96/24.25	     nbSharedBinaryRepresentations=213455  nbEvaluationManagers=2469  nbSharedEvaluationManagers=458  minDegree=3
23.96/24.25	     maxDegree=20  minArity=2  avgArity=2.01  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.463
23.96/24.25	     symmetryCpuTime=0.34  nbCliques=11
23.96/24.25	       =>  wckTime=24.001  cpuTime=23.06  mem=71M963
24.15/24.48	   
24.15/24.48	   solver IterativeSystematicSolver being built... 
24.35/24.60	   
24.35/24.60	   INFO : Forward propagation technique limited 
24.35/24.70	       =>  wckTime=24.453  cpuTime=23.26  mem=70M304
28.51/28.88	   
28.51/28.88	   preprocessing
28.51/28.88	     nbConstraintChecks=11376881  nbValidityChecks=179899  nbPropagations=766  nbRevisions=6031  nbUselessRevisions=5465
28.51/28.88	     nbRemovedValues=23861  detectedInconsistency=no
28.51/28.88	       =>  wckTime=4.182  cpuTime=4.12  mem=70M304
33.07/33.44	   
33.07/33.44	   search
33.07/33.44	     run=0  nbConstraintChecks=8471900  nbValidityChecks=3845625  minDepth=407  maxDepth=700  nbPropagations=7279
33.07/33.44	     nbRevisions=47594  nbUselessRevisions=40610  nbAssignments=702  nbFailedAssignments=2  nbBacktracks=0
33.07/33.44	     nbVisitedNodes=705  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
33.07/33.44	     nbSEliminables=0  nbREliminables=43.51  nbIEliminables=372.05  nbDEliminables=0  nbPEliminables=0
33.07/33.44	       =>  wckTime=8.736  cpuTime=8.54  mem=47M233
33.07/33.44	   
33.07/33.44	   global
33.07/33.44	     nbConstraintChecks=19848781  nbValidityChecks=4025524  nbPropagations=8045  nbRevisions=53625
33.07/33.44	     nbUselessRevisions=46075  nbRestartNogoods=0  solvingWckTime=8.738  solvingCpuTime=8.54  expiredTime=no
33.07/33.44	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=31.78  globalCpuTime=31.85
33.07/33.44	       =>  wckTime=33.195  cpuTime=31.8  mem=47M233
33.07/33.44	   
33.07/33.44	s SATISFIABLE
33.07/33.44	v 2516 2612 -2484 -2656 -2172 2592 2500 -2488 -2428 -2316 -2512 -2624 2200 -2308 2352 -2384 -2376 2696 2624 2552 2684 -2160 -2680 2296 2684 2612 2252 2452 2616 -2696 2496 2596 2376 2460 -2320 -2224 2244 2216 2552 -2200 2628 2324 -2448 2160 -2364 2296 -2412 -2712 2256 2332 -2368 -2532 2652 -2280 2220 -2632 2348 -2192 -2448 2348 2192 2580 -2412 -2400 2680 -2700 2504 2604 2620 2584 -2676 -2192 -2416 2368 2216 2660 2408 2408 -2504 -2280 2624 -2452 -2404 -2520 -2180 2672 2300 -2564 -2200 -2376 -2640 2632 2604 -2720 -2680 -2208 -2480 2400 -2688 -2644 -2200 2664 -2572 -2720 -2260 -2592 -2252 -2700 2236 2680 -2200 2712 2176 2276 2536 -2404 -2416 -2364 2696 -2276 -2536 2468 -2408 2536 -2380 -2424 -2500 2636 2336 -2232 2376 2576 2668 -2440 2720 2276 -2680 2580 -2720 -2316 2440 -2160 2160 -2440 -2204 -2460 -2420 2456 -2324 2200 -2664 -2448 2700 2208 -2344 -2376 2304 2620 -2692 -2396 -2672 2496 2520 2620 -2356 -2592 -2696 -2364 -2624 2296 -2164 -2644 2224 2160 2600 -2620 -2720 -2640 -2704 2656 2720 2592 -2512 2336 2460 2656 -2640 -2348 -2232 -2320 2160 -2400 -2336 2528 2648 -2452 -2484 2572 -2292 -2664 -2668 -2464 -2476 2324 -2620 2372 -2472 -2696 2504 2520 2280 2344 2624 2320 -2480 2680 2680 2720 -2524 2596 -2260 2404 -2316 -2312 2684 2584 2440 2324 -2452 -2160 2332 -2612 -2204 -2412 -2200 -2644 -2416 2656 2200 -2404 -2516 -2248 -2600 -2624 -2716 -2316 -2344 2628 -2220 -2336 -2292 -2204 -2668 2420 -2660 -2284 2648 -2316 2504 -2396 -2608 -2412 2164 2652 2276 2572 -2300 -2656 2268 2452 -2372 -2316 -2200 -2608 -2216 -2432 -2616 2364 -2228 -2708 -2412 -2576 -2672 -2472 -2360 -2288 2360 -2480 -2500 2456 -2560 2304 2720 -2244 -2560 -2676 2276 -2636 -2460 -2460 2616 2448 2680 2720 2584 2200 2584 2572 -2592 -2256 2624 2656 2476 -2356 2312 2680 2304 -2468 2720 2248 2580 2160 -2288 2428 2480 -2200 2244 -2372 -2348 2660 -2348 2544 -2720 2420 -2720 -2464 -2504 2200 2556 -2632 -2292 -2444 -2380 2668 -2336 -2276 2388 -2560 -2404 2656 -2248 2656 -2412 2160 -2180 2164 2660 2160 2660 2568 2292 2196 -2580 2680 2388 2584 -2532 2640 2680 2284 -2624 -2208 2388 -2648 -2600 -2720 2580 -2204 -2336 -2640 -2600 -2216 -2676 -2720 -2488 -2252 -2616 -2316 2352 -2576 -2712 -2388 -2428 2440 -2616 2628 2600 -2576 -2436 -2256 -2196 -2584 2636 -2680 -2652 -2444 2212 -2292 -2396 2628 -2524 -2520 -2696 -2324 -2240 2696 2348 2548 2184 -2416 -2560 -2252 -2240 2580 -2336 2588 -2680 -2436 2256 -2356 -2200 2180 -2628 2200 -2720 -2584 2420 -2440 -2160 2300 2700 -2680 -2672 2340 -2644 2308 -2276 2544 -2544 -2396 -2360 -2580 -2584 -2220 -2160 -2272 2596 -2444 2644 -2588 2332 -2600 -2508 2540 -2216 2348 -2440 -2180 -2544 -2276 2660 -2384 2600 -2720 -2160 -2396 2220 2340 -2484 -2236 -2540 -2276 -2720 -2720 2604 -2656 -2532 -2552 -2252 -2352 2720 -2292 -2160 -2588 -2572 2628 2304 -2360 -2220 -2308 -2268 -2512 2200 -2412 -2168 -2284 -2372 -2280 2656 -2680 2592 2540 -2384 2604 2308 -2576 -2316 -2364 -2412 2676 -2496 -2200 2612 2176 -2660 2588 2640 -2424 -2264 -2316 -2676 -2712 -2364 -2560 2532 -2628 -2344 -2376 -2608 -2620 2656 2396 -2636 -2620 2300 -2472 -2356 -2588 -2348 -2696 -2664 -2660 -2696 -2700 2536 -2328 -2600 -2356 -2560 -2532 -2160 -2544 -2200 -2372 2364 2176 -2428 2164 2680 2556 2524 -2624 2216 2220 -2392 -2448 -2212 -2564 2564 -2200 -2636 -2292 -2248 2588 2368 2504 -2628 2324 2656 -2624 2592 -2476 -2172 -2308 -2356 -2516 2364 -2392 -2200 -2160 2528 -2204 2400 2620 -2332 2652 -2412 -2200 2620 2252 2372 2560 -2552 2436 -2440 -2324 -2536 -2720 2328 -2164 -2664 2160 -2320 2456 2680 2356 -2696 -2164 2536 -2680 2160 2160 2408 -2416 -2624 -2708 -2488 -2276 2364 2648 2364 -2704 -2680 -2376 -2552 -2316 2424 -2468 -2400 -2308 2600 2308 -2340 2296 -2260 -2660 -2504 -2356 -2480 2492 -2680 2384 -2360 -2560 -2576 2536 -2328 -2324 -2572 -2400 -2236 2584 2232 -2416 -2544 2680 -2176 2284 -2464 2576 2400 -2556 -2420 -2624 2716 -2368 2316 -2160 2496 -2296 -2600 -2316 2292 2268 2204 2612 -2504 -2296 -2264 -2664 
33.07/33.44	d NODES 702
33.07/33.44	d CHECKS 19848781
33.07/33.44	   
33.07/33.44	   totalWckTime=33.254  totalCpuTime=31.85

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-2097764-1247413995/watcher-2097764-1247413995 -o /tmp/evaluation-result-2097764-1247413995/solver-2097764-1247413995 -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-2097764-1247413995.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4973
/proc/meminfo: memFree=1711024/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=1616 CPUtime=0
/proc/4973/stat : 4973 (java) D 4971 4973 3121 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 28464034 1654784 151 996147200 134512640 134550932 4294955968 18446744073709551615 9716516 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/4973/statm: 404 151 125 9 0 46 0
[pid=4973/tid=4974] ppid=4971 vsize=10676 CPUtime=0
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28464035 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 10563544 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0843099 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4973
/proc/meminfo: memFree=1711024/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=865956 CPUtime=0.07
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 3304 0 1 0 5 2 0 0 18 0 9 0 28464034 886738944 2789 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216489 2789 1386 9 0 210981 0
[pid=4973/tid=4974] ppid=4971 vsize=865956 CPUtime=0.06
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 2397 0 1 0 5 1 0 0 18 0 9 0 28464035 886738944 2789 996147200 134512640 134550932 4294955968 18446744073709551615 4159512519 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865956

[startup+0.101275 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4973
/proc/meminfo: memFree=1711024/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=865984 CPUtime=0.09
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 3771 0 1 0 7 2 0 0 18 0 9 0 28464034 886767616 3226 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216496 3226 1701 9 0 210981 0
[pid=4973/tid=4974] ppid=4971 vsize=865984 CPUtime=0.07
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 2862 0 1 0 6 1 0 0 18 0 9 0 28464035 886767616 3226 996147200 134512640 134550932 4294955968 18446744073709551615 104514425 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301295 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4973
/proc/meminfo: memFree=1711024/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=866224 CPUtime=0.29
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 5777 0 1 0 25 4 0 0 18 0 9 0 28464034 887013376 5148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216556 5148 1978 9 0 211014 0
[pid=4973/tid=4974] ppid=4971 vsize=866224 CPUtime=0.24
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 4843 0 1 0 22 2 0 0 18 0 9 0 28464035 887013376 5148 996147200 134512640 134550932 4294955968 18446744073709551615 4125925036 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866224

[startup+0.701336 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 4973
/proc/meminfo: memFree=1711024/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=867196 CPUtime=0.69
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 8647 0 1 0 64 5 0 0 18 0 9 0 28464034 888008704 8002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216799 8002 2025 9 0 211235 0
[pid=4973/tid=4974] ppid=4971 vsize=867196 CPUtime=0.55
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 7452 0 1 0 52 3 0 0 20 0 9 0 28464035 888008704 8002 996147200 134512640 134550932 4294955968 18446744073709551615 4126426645 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867196

[startup+1.50142 s]
/proc/loadavg: 2.00 2.02 2.00 4/90 4982
/proc/meminfo: memFree=1674728/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=867788 CPUtime=1.47
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 16197 0 1 0 138 9 0 0 18 0 9 0 28464034 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216947 15548 2041 9 0 211383 0
[pid=4973/tid=4974] ppid=4971 vsize=867788 CPUtime=1.26
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 14793 0 1 0 119 7 0 0 25 0 9 0 28464035 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4126917208 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=867788 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28464037 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=867788 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28464037 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=867788 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28464037 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=867788 CPUtime=0
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28464039 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=867788 CPUtime=0.18
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 705 0 0 0 18 0 0 0 16 0 9 0 28464039 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=867788 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28464039 888614912 15548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=867788 CPUtime=0
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464039 888614912 15548 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) 867788

[startup+3.10258 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4982
/proc/meminfo: memFree=1654760/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=867700 CPUtime=3.06
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 19572 0 1 0 295 11 0 0 18 0 9 0 28464034 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216925 18897 2031 9 0 211383 0
[pid=4973/tid=4974] ppid=4971 vsize=867700 CPUtime=2.74
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 15819 0 1 0 266 8 0 0 25 0 9 0 28464035 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4126913142 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=867700 CPUtime=0.06
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 2312 0 0 0 6 0 0 0 16 0 9 0 28464037 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28464037 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28464037 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28464039 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=867700 CPUtime=0.22
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 739 0 0 0 22 0 0 0 15 0 9 0 28464039 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28464039 888524800 18897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464039 888524800 18897 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) 867700

[startup+6.30292 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4982
/proc/meminfo: memFree=1642856/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=867700 CPUtime=6.23
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 19579 0 1 0 612 11 0 0 18 0 9 0 28464034 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216925 18902 2031 9 0 211383 0
[pid=4973/tid=4974] ppid=4971 vsize=867700 CPUtime=5.91
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 15823 0 1 0 582 9 0 0 25 0 9 0 28464035 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4126913152 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=867700 CPUtime=0.06
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 2312 0 0 0 6 0 0 0 16 0 9 0 28464037 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28464037 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28464037 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28464039 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=867700 CPUtime=0.23
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 742 0 0 0 23 0 0 0 16 0 9 0 28464039 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28464039 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464039 888524800 18902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867700

[startup+12.7026 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4982
/proc/meminfo: memFree=1642600/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=867700 CPUtime=12.57
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 19591 0 1 0 1244 13 0 0 18 0 9 0 28464034 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 216925 18911 2031 9 0 211383 0
[pid=4973/tid=4974] ppid=4971 vsize=867700 CPUtime=12.24
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 15827 0 1 0 1213 11 0 0 25 0 9 0 28464035 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4126948727 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=867700 CPUtime=0.06
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 2312 0 0 0 6 0 0 0 17 0 9 0 28464037 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28464037 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28464037 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28464039 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=867700 CPUtime=0.23
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 750 0 0 0 23 0 0 0 16 0 9 0 28464039 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28464039 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=867700 CPUtime=0
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28464039 888524800 18911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867700

[startup+25.5019 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4986
/proc/meminfo: memFree=1611048/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=868112 CPUtime=25.24
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 46341 492 1 0 2496 23 4 1 18 0 9 0 28464034 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 217028 27473 2662 9 0 211464 0
[pid=4973/tid=4974] ppid=4971 vsize=868112 CPUtime=24.29
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 23480 492 1 0 2410 14 4 1 25 0 9 0 28464035 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4127359421 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=868112 CPUtime=0.6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 21022 492 0 0 49 6 4 1 17 0 9 0 28464037 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 20 492 0 0 0 0 4 1 17 0 9 0 28464037 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 15 492 0 0 0 0 4 1 16 0 9 0 28464037 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 492 0 0 0 0 4 1 18 0 9 0 28464039 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=868112 CPUtime=0.41
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 983 492 0 0 36 0 4 1 15 0 9 0 28464039 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 492 0 0 0 0 4 1 19 0 9 0 28464039 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 9 492 0 0 0 0 4 1 15 0 9 0 28464039 888946688 27473 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868112

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

[startup+28.7023 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 4986
/proc/meminfo: memFree=1610920/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=868112 CPUtime=28.41
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 46344 492 1 0 2813 23 4 1 18 0 9 0 28464034 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 217028 27474 2662 9 0 211464 0
[pid=4973/tid=4974] ppid=4971 vsize=868112 CPUtime=27.46
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 23481 492 1 0 2727 14 4 1 25 0 9 0 28464035 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4127243872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=868112 CPUtime=0.6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 21022 492 0 0 49 6 4 1 16 0 9 0 28464037 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 20 492 0 0 0 0 4 1 17 0 9 0 28464037 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 15 492 0 0 0 0 4 1 16 0 9 0 28464037 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 492 0 0 0 0 4 1 18 0 9 0 28464039 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=868112 CPUtime=0.41
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 985 492 0 0 36 0 4 1 15 0 9 0 28464039 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 492 0 0 0 0 4 1 19 0 9 0 28464039 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 9 492 0 0 0 0 4 1 15 0 9 0 28464039 888946688 27474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.41
Current children cumulated vsize (KiB) 868112

[startup+31.9076 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 4986
/proc/meminfo: memFree=1610856/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=868112 CPUtime=31.59
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 46886 492 1 0 3131 23 4 1 18 0 9 0 28464034 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 217028 27490 2662 9 0 211464 0
[pid=4973/tid=4974] ppid=4971 vsize=868112 CPUtime=30.6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 24006 492 1 0 3041 14 4 1 25 0 9 0 28464035 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4126919872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=868112 CPUtime=0.6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 21022 492 0 0 49 6 4 1 17 0 9 0 28464037 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 20 492 0 0 0 0 4 1 17 0 9 0 28464037 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 15 492 0 0 0 0 4 1 16 0 9 0 28464037 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 492 0 0 0 0 4 1 18 0 9 0 28464039 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=868112 CPUtime=0.44
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 1002 492 0 0 39 0 4 1 15 0 9 0 28464039 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 492 0 0 0 0 4 1 19 0 9 0 28464039 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 9 492 0 0 0 0 4 1 15 0 9 0 28464039 888946688 27490 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.59
Current children cumulated vsize (KiB) 868112

[startup+32.7017 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 4986
/proc/meminfo: memFree=1610856/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=868112 CPUtime=32.37
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 47048 492 1 0 3209 23 4 1 18 0 9 0 28464034 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 217028 27492 2662 9 0 211464 0
[pid=4973/tid=4974] ppid=4971 vsize=868112 CPUtime=31.38
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 24167 492 1 0 3119 14 4 1 25 0 9 0 28464035 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4127369499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=868112 CPUtime=0.6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 21022 492 0 0 49 6 4 1 16 0 9 0 28464037 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 20 492 0 0 0 0 4 1 17 0 9 0 28464037 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 15 492 0 0 0 0 4 1 16 0 9 0 28464037 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 492 0 0 0 0 4 1 18 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=868112 CPUtime=0.45
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 1003 492 0 0 40 0 4 1 16 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 492 0 0 0 0 4 1 19 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 9 492 0 0 0 0 4 1 15 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.37
Current children cumulated vsize (KiB) 868112

[startup+33.1017 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 4986
/proc/meminfo: memFree=1610856/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=868112 CPUtime=32.77
/proc/4973/stat : 4973 (java) S 4971 4973 3121 0 -1 0 47141 492 1 0 3249 23 4 1 18 0 9 0 28464034 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 217028 27492 2662 9 0 211464 0
[pid=4973/tid=4974] ppid=4971 vsize=868112 CPUtime=31.78
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 3121 0 -1 64 24260 492 1 0 3159 14 4 1 25 0 9 0 28464035 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4127415334 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=868112 CPUtime=0.6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3121 0 -1 64 21022 492 0 0 49 6 4 1 16 0 9 0 28464037 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3121 0 -1 64 20 492 0 0 0 0 4 1 17 0 9 0 28464037 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3121 0 -1 64 15 492 0 0 0 0 4 1 16 0 9 0 28464037 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3121 0 -1 64 2 492 0 0 0 0 4 1 18 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=868112 CPUtime=0.45
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3121 0 -1 64 1003 492 0 0 40 0 4 1 16 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3121 0 -1 64 0 492 0 0 0 0 4 1 19 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4973/tid=4982] ppid=4971 vsize=868112 CPUtime=0.05
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 3121 0 -1 64 9 492 0 0 0 0 4 1 15 0 9 0 28464039 888946688 27492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.77
Current children cumulated vsize (KiB) 868112

[startup+33.5024 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 4986
/proc/meminfo: memFree=1610856/2055912 swapFree=4192812/4192956
[pid=4973] ppid=4971 vsize=0 CPUtime=33.12
/proc/4973/stat : 4973 (java) Z 4971 4973 3121 0 -1 12 51938 492 1 0 3281 26 4 1 16 0 2 0 28464034 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 33.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 33.5076
CPU time (s): 33.141
CPU user time (s): 32.855
CPU system time (s): 0.285956
CPU usage (%): 98.9059
Max. virtual memory (cumulated for all children) (KiB): 868112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.855
system time used= 0.285956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52430
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= 2384
involuntary context switches= 3732

runsolver used 0.046992 second user time and 0.118981 second system time

The end

Launcher Data 

Begin job on node78 at 2009-07-12 17:53:15
IDJOB=2097764
IDBENCH=57713
IDSOLVER=774
FILE ID=node78/2097764-1247413995
PBS_JOBID= 9510493
Free space on /tmp= 126812 MiB

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

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

MD5SUM BENCH= fc14afa27a31c1de216ea0ec7153d796
RANDOM SEED=1781927350

node78.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.232
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.232
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:      2055912 kB
MemFree:       1711504 kB
Buffers:         48824 kB
Cached:         145588 kB
SwapCached:          0 kB
Active:         204200 kB
Inactive:        82584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1711504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3040 kB
Writeback:           0 kB
Mapped:         112768 kB
Slab:            42432 kB
Committed_AS:  1040884 kB
PageTables:       1992 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126808 MiB
End job on node78 at 2009-07-12 17:53:48