Trace number 2097748

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 29.9604 30.0623

DiagnosticValue
CHECKS10009100
NODES750

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-10.xml
MD5SUMc2cac25a9d0eff8b4d5c2c7d14b32353
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 benchmark29.9604
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data 

0.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-2097748-1247413937.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.49/0.51	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998  nbTotalValues=329841
0.49/0.51	       =>  wckTime=0.267  cpuTime=0.18  mem=18M678
0.49/0.51	   
0.49/0.51	   predicates being loaded...
0.49/0.57	   
0.49/0.57	   constraints being loaded...
20.58/20.65	   
20.58/20.65	   INFO : Stopping converting binary constraints (cpu=20.18, mem = 50M816)
23.65/23.73	     nbConstraints=4623  nbMergedConstraints=4016  nbConvertedConstraints=327  nbConvertConstraintsChecks=48301568
23.65/23.73	     nbExtensionStructures=301  nbSharedExtensionStructures=33  nbConflictsStructures=498
23.65/23.73	     nbSharedConflictsStructures=251  nbUnbuiltConflictsStructures=3330  nbSharedBinaryRepresentations=176054
23.65/23.73	     nbEvaluationManagers=3527  nbSharedEvaluationManagers=769  minDegree=3  maxDegree=16  minArity=2  maxArity=2
23.65/23.73	     nbGenerators=0  nbFusions=0  symmetryWckTime=0.662  symmetryCpuTime=0.54
23.65/23.73	       =>  wckTime=23.487  cpuTime=22.83  mem=64M463
23.85/23.95	   
23.85/23.95	   solver IterativeSystematicSolver being built... 
24.15/24.25	       =>  wckTime=24.007  cpuTime=23.06  mem=65M385
28.31/28.48	   
28.31/28.48	   preprocessing
28.31/28.48	     nbConstraintChecks=9370889  nbValidityChecks=626925  nbPropagations=1360  nbRevisions=19088
28.31/28.48	     nbUselessRevisions=15557  nbRemovedValues=305713  detectedInconsistency=no
28.31/28.48	       =>  wckTime=4.22  cpuTime=4.17  mem=65M385
29.79/29.99	   
29.79/29.99	   search
29.79/29.99	     run=0  nbConstraintChecks=638197  nbValidityChecks=737920  minDepth=751  maxDepth=750  nbPropagations=4552
29.79/29.99	     nbRevisions=42346  nbUselessRevisions=36367  nbAssignments=750  nbFailedAssignments=0  nbBacktracks=0
29.79/29.99	     nbVisitedNodes=751  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
29.79/29.99	     nbSEliminables=378.43  nbREliminables=0  nbIEliminables=184.27  nbDEliminables=0  nbPEliminables=0
29.79/29.99	       =>  wckTime=5.733  cpuTime=5.63  mem=79M314
29.79/29.99	   
29.79/29.99	   global
29.79/29.99	     nbConstraintChecks=10009086  nbValidityChecks=1364845  nbPropagations=5912  nbRevisions=61434
29.79/29.99	     nbUselessRevisions=51924  nbRestartNogoods=0  solvingWckTime=5.736  solvingCpuTime=5.64  expiredTime=no
29.79/29.99	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=28.67  globalCpuTime=28.74
29.79/29.99	       =>  wckTime=29.75  cpuTime=28.7  mem=79M314
29.90/30.02	   
29.90/30.02	s SATISFIABLE
29.90/30.02	v -2518 -2558 -3092 -3312 -3352 3132 -2552 -2478 2998 -2756 -2624 2586 -2590 -2758 3030 -2620 -3044 -2562 -3190 -2616 -2584 2568 2570 -2514 -3044 2566 3278 -3352 -2626 2616 -2828 2752 2576 -2852 -3110 -2478 -3108 -3302 -3096 -3352 -2788 -2792 -2996 -3076 -2788 -2610 3290 -2738 2586 -2788 -2518 -3190 -2888 -3150 -2604 3004 -2798 -2518 -2584 -2518 -2570 2580 2356 -2786 -2828 -2478 -3150 -2828 -2558 3038 2914 -3216 -2610 -2518 -3312 -2598 -3190 -3004 -2624 -3150 -2758 2816 -3102 -2436 -2828 2610 -3162 -3042 -3262 -2860 -2828 -2478 -2692 -2580 -2478 2778 -3004 -3102 -3060 -2566 -3352 -2928 -3312 -3106 3002 -3044 2994 -2982 -3150 -2758 -2562 -2558 -2356 2630 -3056 -3004 -2828 -2518 3144 -2478 -2422 -3040 3222 -3262 -3038 3312 -2994 -2610 -3044 -2602 -3102 -2558 3192 -3150 -2602 -3150 -2780 3020 -2618 -3070 -2610 -3154 -3004 3024 2708 -2518 2606 -2758 -2540 3126 -2478 2996 -3190 -2758 -2980 2826 -2596 2586 -2478 -3022 -2616 -3150 -3150 3130 3142 -2570 -2518 2824 -2478 -2616 -3190 -3150 -2518 -2620 -2538 2900 -3110 -2518 -2590 -2588 -2786 -2710 -2728 -3150 2356 -3062 -2518 -2478 -2788 -3148 -2478 -2578 -3004 2782 -2384 -3332 -2632 -2982 -2992 -3150 -3150 -2632 -3142 -2558 -3044 -2356 -2518 -3352 2680 -2952 -3190 -3352 -2612 -2518 -3312 -2610 -2518 -3190 -2798 2554 2832 2942 -2786 -2680 -2606 -2580 -2630 -2396 -3150 -2478 -2558 -3190 -3312 -2856 2938 -2798 -2746 -2540 -2974 2822 2818 -2828 2588 -2558 3210 -3302 -3142 -2564 2594 -3288 -3142 -2518 2478 -2478 -2478 -2616 -3102 -2396 -2736 -3004 2934 -2828 -3190 2624 2584 -3256 -2570 3292 -2652 -2788 -2602 -3352 -2784 2396 3060 -2518 -2372 -3004 -3142 -2788 -2592 -2518 -3044 -3146 -3036 -3232 -2518 2910 -3256 2848 -2768 -3190 -2732 -3312 -3036 -3002 -2396 -2518 -3166 -3022 -3102 -2628 -2828 3202 -2698 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3150 -2558 -2586 -3190 -3190 -2586 -2982 3182 2996 2356 -3312 -2592 -3190 -2356 2874 3088 -3346 -2792 -2678 -3004 -2514 2596 3082 -2648 3170 3164 -3078 -2758 -2558 -2558 -3150 -3142 3122 -2748 -2396 -2758 -2822 3312 -2920 -2758 -2478 -2568 -3150 -2408 -3150 3190 -2978 3142 3142 2356 3108 -2584 2584 -2798 -2630 -3004 -3200 -2518 -2630 -2518 -3352 -2620 2356 -2958 2950 -3190 -2590 -2626 -2636 -2586 -3216 3342 2826 -3190 -2786 -2632 2796 -2678 -2832 -3312 -2518 -2614 -2634 2356 3166 -3352 -3126 2588 -3038 -2650 -2576 -2828 -2834 -3352 -2720 -2356 -2616 -2712 -2798 -3044 -2382 2782 -3044 -2518 -3284 3148 -3306 3044 -2538 -2576 -2628 -2574 -3004 -2626 -3004 -2514 -2938 -3114 2564 -3000 -2626 -2788 2950 -2558 -2558 -2558 -2740 3034 -2558 -2788 2590 -3150 -2868 -2478 2412 -3004 -2624 2942 -2798 2950 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2576 -3312 -3190 2588 -3312 2670 -3330 -3102 -2592 -2776 -2580 -2788 -2518 -3144 -2478 -2606 -2798 2608 -2954 -2996 2990 3188 -2518 -3352 -2396 2920 -2582 -3020 -2630 -2562 -2586 2794 -2820 3352 -2592 -3048 -3150 -3150 2994 -2888 -2396 -2490 2964 -2880 -2720 -2604 2828 -2758 -2518 -2758 -2518 3312 -3312 -3312 -2610 -3036 -2356 2940 -2518 -2758 3248 -2798 2812 -3150 -2622 -3004 -2798 -3110 -2960 -3044 -3104 -3238 -2718 -2624 -2404 -3004 -2828 -2518 -3190 -2758 -2638 -2780 2396 -2756 -2518 -3150 -3312 -3148 -2608 -2562 -3150 -2518 -3190 -2518 -2454 -3352 3004 -2788 2566 -2758 -2574 -2828 -3150 -2518 2518 -2396 -2618 -2614 -2798 -2828 -2478 -2558 -3044 -2518 -3146 -2554 2518 -2558 -2512 -2396 -2580 2636 3064 -3044 -3110 2608 -2518 -2576 -2990 -2558 -3240 -2448 -3020 -2450 2396 -2518 -2622 -2514 -2518 -3142 -2568 -3150 -3166 -2638 -3096 -3042 3000 -2478 -2788 2880 -3060 -2630 -2782 -2788 -2554 -2478 2924 -2754 -2518 2548 -2478 -2478 2622 -3004 -2598 -2606 -3104 -2518 -2828 -2576 -2798 -3202 -3102 2554 -2758 -2364 -2626 -3242 -2788 -2518 -2518 2962 -2672 -3102 -3150 2628 -2570 -2518 2576 -2758 2822 -2478 -2582 -3044 -2602 -3352 2590 -3142 -2562 2758 -2826 -3190 2964 -2582 -3142 -2626 -2590 3244 -3044 -2518 -3078 -3352 2874 -2788 2396 -2740 -2602 3034 -3204 -2798 -2626 -2588 -3106 -3352 -2558 -3036 -2956 2820 -2372 2792 2742 -2788 -2782 2608 -3190 -3044 -2616 -2798 3170 -2500 -2798 -3036 2498 -2788 3002 -2494 -3142 3126 -3102 -3102 -2558 -2628 -2478 -2626 -2576 -3020 -2478 3190 -3078 -3190 2620 2424 -3044 2796 -2828 -2518 -3312 -2566 -3352 -3312 2898 2356 -2718 -2586 -2616 2780 2908 2570 -2798 -3352 -2412 -3190 -2518 -2478 -2590 2578 -3102 -2578 -2518 -2478 -2478 
29.90/30.02	d NODES 750
29.90/30.02	d CHECKS 10009086
29.90/30.02	   
29.90/30.02	   totalWckTime=29.84  totalCpuTime=28.76

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-2097748-1247413937/watcher-2097748-1247413937 -o /tmp/evaluation-result-2097748-1247413937/solver-2097748-1247413937 -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-2097748-1247413937.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.05 2.07 2.04 4/80 4998
/proc/meminfo: memFree=1738480/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=18576 CPUtime=0
/proc/4998/stat : 4998 (runsolver) R 4996 4998 32701 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 28457195 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4998/statm: 4644 284 249 26 0 2626 0

[startup+0.083003 s]
/proc/loadavg: 2.05 2.07 2.04 4/80 4998
/proc/meminfo: memFree=1738480/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=864148 CPUtime=0.07
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 3133 0 1 0 6 1 0 0 21 0 9 0 28457195 884887552 2618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216037 2618 1241 9 0 210930 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864148

[startup+0.100959 s]
/proc/loadavg: 2.05 2.07 2.04 4/80 4998
/proc/meminfo: memFree=1738480/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=865984 CPUtime=0.09
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 3740 0 1 0 8 1 0 0 21 0 9 0 28457195 886767616 3208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216496 3208 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301978 s]
/proc/loadavg: 2.05 2.07 2.04 4/80 4998
/proc/meminfo: memFree=1738480/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=866380 CPUtime=0.29
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 6015 0 1 0 26 3 0 0 21 0 9 0 28457195 887173120 5381 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216595 5381 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380

[startup+0.70201 s]
/proc/loadavg: 2.05 2.07 2.04 4/80 4998
/proc/meminfo: memFree=1738480/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=867736 CPUtime=0.68
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 11157 0 1 0 62 6 0 0 21 0 9 0 28457195 888561664 10511 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216934 10511 2038 9 0 211370 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867736

[startup+1.50108 s]
/proc/loadavg: 2.04 2.07 2.04 3/89 5007
/proc/meminfo: memFree=1684904/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=867648 CPUtime=1.48
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 20289 0 1 0 137 11 0 0 21 0 9 0 28457195 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216912 19614 2031 9 0 211370 0
[pid=4998/tid=5000] ppid=4996 vsize=867648 CPUtime=1.21
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 15835 0 1 0 113 8 0 0 18 0 9 0 28457196 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4126925559 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5001] ppid=4996 vsize=867648 CPUtime=0.05
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 3063 0 0 0 4 1 0 0 17 0 9 0 28457198 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5002] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5003] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5004] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457200 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=867648 CPUtime=0.18
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 690 0 0 0 18 0 0 0 15 0 9 0 28457200 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5006] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457200 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28457200 888471552 19614 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867648

[startup+3.10123 s]
/proc/loadavg: 2.04 2.07 2.04 3/89 5007
/proc/meminfo: memFree=1667496/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=867648 CPUtime=3.08
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 20295 0 1 0 297 11 0 0 21 0 9 0 28457195 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216912 19619 2031 9 0 211370 0
[pid=4998/tid=5000] ppid=4996 vsize=867648 CPUtime=2.81
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 15836 0 1 0 273 8 0 0 25 0 9 0 28457196 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4126924610 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5001] ppid=4996 vsize=867648 CPUtime=0.05
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 3063 0 0 0 4 1 0 0 17 0 9 0 28457198 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5002] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5003] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5004] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457200 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=867648 CPUtime=0.19
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 695 0 0 0 19 0 0 0 15 0 9 0 28457200 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5006] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457200 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28457200 888471552 19619 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867648

[startup+6.30251 s]
/proc/loadavg: 2.12 2.08 2.05 3/89 5007
/proc/meminfo: memFree=1667112/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=867648 CPUtime=6.28
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 20317 0 1 0 616 12 0 0 21 0 9 0 28457195 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216912 19639 2031 9 0 211370 0
[pid=4998/tid=5000] ppid=4996 vsize=867648 CPUtime=5.99
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 15838 0 1 0 590 9 0 0 25 0 9 0 28457196 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4126953931 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5001] ppid=4996 vsize=867648 CPUtime=0.05
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 3063 0 0 0 4 1 0 0 16 0 9 0 28457198 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5003] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5004] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457200 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=867648 CPUtime=0.2
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 715 0 0 0 20 0 0 0 16 0 9 0 28457200 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5006] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457200 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28457200 888471552 19639 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867648

[startup+12.7021 s]
/proc/loadavg: 2.11 2.08 2.05 3/89 5007
/proc/meminfo: memFree=1666920/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=867648 CPUtime=12.68
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 20323 0 1 0 1255 13 0 0 21 0 9 0 28457195 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 216912 19643 2031 9 0 211370 0
[pid=4998/tid=5000] ppid=4996 vsize=867648 CPUtime=12.39
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 15842 0 1 0 1229 10 0 0 25 0 9 0 28457196 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4126920944 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5001] ppid=4996 vsize=867648 CPUtime=0.05
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 3063 0 0 0 4 1 0 0 16 0 9 0 28457198 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5003] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457198 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5004] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457200 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=867648 CPUtime=0.21
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 717 0 0 0 21 0 0 0 16 0 9 0 28457200 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4998/tid=5006] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457200 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=867648 CPUtime=0
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28457200 888471552 19643 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867648

[startup+25.5012 s]
/proc/loadavg: 2.08 2.08 2.04 3/89 5011
/proc/meminfo: memFree=1622952/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=868296 CPUtime=25.43
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 54065 547 1 0 2516 22 4 1 21 0 9 0 28457195 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 217074 31248 2640 9 0 211532 0
[pid=4998/tid=5000] ppid=4996 vsize=868296 CPUtime=24.52
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 25849 547 1 0 2435 12 4 1 25 0 9 0 28457196 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4127222424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5001] ppid=4996 vsize=868296 CPUtime=0.59
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 26387 547 0 0 47 7 4 1 17 0 9 0 28457198 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 20 547 0 0 0 0 4 1 16 0 9 0 28457198 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5003] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 30 547 0 0 0 0 4 1 15 0 9 0 28457198 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5004] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 547 0 0 0 0 4 1 18 0 9 0 28457200 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=868296 CPUtime=0.39
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 956 547 0 0 33 1 4 1 15 0 9 0 28457200 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5006] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 547 0 0 0 0 4 1 19 0 9 0 28457200 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 11 547 0 0 0 0 4 1 15 0 9 0 28457200 889135104 31248 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 868296

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

[startup+27.1014 s]
/proc/loadavg: 2.08 2.08 2.04 3/89 5011
/proc/meminfo: memFree=1622888/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=868296 CPUtime=27.02
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 54071 547 1 0 2675 22 4 1 21 0 9 0 28457195 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 217074 31250 2640 9 0 211532 0
[pid=4998/tid=5000] ppid=4996 vsize=868296 CPUtime=26.1
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 25849 547 1 0 2593 12 4 1 25 0 9 0 28457196 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4127230153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5001] ppid=4996 vsize=868296 CPUtime=0.59
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 26387 547 0 0 47 7 4 1 17 0 9 0 28457198 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 20 547 0 0 0 0 4 1 16 0 9 0 28457198 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5003] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 30 547 0 0 0 0 4 1 15 0 9 0 28457198 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5004] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 547 0 0 0 0 4 1 18 0 9 0 28457200 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=868296 CPUtime=0.4
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 960 547 0 0 34 1 4 1 17 0 9 0 28457200 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5006] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 547 0 0 0 0 4 1 19 0 9 0 28457200 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 13 547 0 0 0 0 4 1 15 0 9 0 28457200 889135104 31250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.02
Current children cumulated vsize (KiB) 868296

[startup+28.7025 s]
/proc/loadavg: 2.08 2.08 2.04 3/89 5011
/proc/meminfo: memFree=1622888/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=868296 CPUtime=28.6
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 54081 547 1 0 2833 22 4 1 21 0 9 0 28457195 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 217074 31258 2640 9 0 211532 0
[pid=4998/tid=5000] ppid=4996 vsize=868296 CPUtime=27.67
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 25850 547 1 0 2750 12 4 1 25 0 9 0 28457196 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4127400484 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5001] ppid=4996 vsize=868296 CPUtime=0.59
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 26387 547 0 0 47 7 4 1 16 0 9 0 28457198 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 20 547 0 0 0 0 4 1 16 0 9 0 28457198 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5003] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 30 547 0 0 0 0 4 1 15 0 9 0 28457198 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5004] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 547 0 0 0 0 4 1 18 0 9 0 28457200 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=868296 CPUtime=0.41
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 969 547 0 0 35 1 4 1 15 0 9 0 28457200 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5006] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 547 0 0 0 0 4 1 19 0 9 0 28457200 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 13 547 0 0 0 0 4 1 15 0 9 0 28457200 889135104 31258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.6
Current children cumulated vsize (KiB) 868296

[startup+29.5026 s]
/proc/loadavg: 2.08 2.08 2.04 3/89 5011
/proc/meminfo: memFree=1622888/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=868296 CPUtime=29.4
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 54087 547 1 0 2913 22 4 1 21 0 9 0 28457195 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 217074 31263 2640 9 0 211532 0
[pid=4998/tid=5000] ppid=4996 vsize=868296 CPUtime=28.45
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 25850 547 1 0 2828 12 4 1 25 0 9 0 28457196 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4127412414 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5001] ppid=4996 vsize=868296 CPUtime=0.59
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 26387 547 0 0 47 7 4 1 17 0 9 0 28457198 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 20 547 0 0 0 0 4 1 16 0 9 0 28457198 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5003] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 30 547 0 0 0 0 4 1 15 0 9 0 28457198 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5004] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 547 0 0 0 0 4 1 18 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=868296 CPUtime=0.42
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 975 547 0 0 36 1 4 1 15 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5006] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 547 0 0 0 0 4 1 19 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 13 547 0 0 0 0 4 1 15 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.4
Current children cumulated vsize (KiB) 868296

[startup+29.9026 s]
/proc/loadavg: 2.08 2.08 2.04 3/89 5011
/proc/meminfo: memFree=1622824/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=868296 CPUtime=29.79
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 54088 547 1 0 2952 22 4 1 21 0 9 0 28457195 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 217074 31263 2640 9 0 211532 0
[pid=4998/tid=5000] ppid=4996 vsize=868296 CPUtime=28.85
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 25850 547 1 0 2868 12 4 1 25 0 9 0 28457196 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4127412344 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5001] ppid=4996 vsize=868296 CPUtime=0.59
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 26387 547 0 0 47 7 4 1 17 0 9 0 28457198 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 20 547 0 0 0 0 4 1 16 0 9 0 28457198 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5003] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 30 547 0 0 0 0 4 1 15 0 9 0 28457198 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5004] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 547 0 0 0 0 4 1 18 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=868296 CPUtime=0.42
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 976 547 0 0 36 1 4 1 15 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5006] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 547 0 0 0 0 4 1 19 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 13 547 0 0 0 0 4 1 15 0 9 0 28457200 889135104 31263 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (KiB) 868296

[startup+30.0026 s]
/proc/loadavg: 2.08 2.08 2.04 3/89 5011
/proc/meminfo: memFree=1622824/2055920 swapFree=4192812/4192956
[pid=4998] ppid=4996 vsize=868296 CPUtime=29.9
/proc/4998/stat : 4998 (java) S 4996 4998 32701 0 -1 0 54097 547 1 0 2962 23 4 1 21 0 9 0 28457195 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4998/statm: 217074 31268 2640 9 0 211532 0
[pid=4998/tid=5000] ppid=4996 vsize=868296 CPUtime=28.94
/proc/4998/task/5000/stat : 5000 (java) R 4996 4998 32701 0 -1 64 25857 547 1 0 2877 12 4 1 25 0 9 0 28457196 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4127451580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5001] ppid=4996 vsize=868296 CPUtime=0.59
/proc/4998/task/5001/stat : 5001 (java) S 4996 4998 32701 0 -1 64 26387 547 0 0 47 7 4 1 17 0 9 0 28457198 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5002] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5002/stat : 5002 (java) S 4996 4998 32701 0 -1 64 20 547 0 0 0 0 4 1 16 0 9 0 28457198 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5003] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5003/stat : 5003 (java) S 4996 4998 32701 0 -1 64 30 547 0 0 0 0 4 1 15 0 9 0 28457198 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5004] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5004/stat : 5004 (java) S 4996 4998 32701 0 -1 64 2 547 0 0 0 0 4 1 18 0 9 0 28457200 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5005] ppid=4996 vsize=868296 CPUtime=0.43
/proc/4998/task/5005/stat : 5005 (java) S 4996 4998 32701 0 -1 64 978 547 0 0 37 1 4 1 15 0 9 0 28457200 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5006] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5006/stat : 5006 (java) S 4996 4998 32701 0 -1 64 0 547 0 0 0 0 4 1 19 0 9 0 28457200 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4998/tid=5007] ppid=4996 vsize=868296 CPUtime=0.05
/proc/4998/task/5007/stat : 5007 (java) S 4996 4998 32701 0 -1 64 13 547 0 0 0 0 4 1 15 0 9 0 28457200 889135104 31268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (KiB) 868296

Child status: 0
Real time (s): 30.0623
CPU time (s): 29.9604
CPU user time (s): 29.6945
CPU system time (s): 0.265959
CPU usage (%): 99.6612
Max. virtual memory (cumulated for all children) (KiB): 868384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.6945
system time used= 0.265959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54678
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= 2628
involuntary context switches= 2374

runsolver used 0.035994 second user time and 0.112982 second system time

The end

Launcher Data 

Begin job on node51 at 2009-07-12 17:52:17
IDJOB=2097748
IDBENCH=57683
IDSOLVER=774
FILE ID=node51/2097748-1247413937
PBS_JOBID= 9510544
Free space on /tmp= 66204 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-10.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-2097748-1247413937/watcher-2097748-1247413937 -o /tmp/evaluation-result-2097748-1247413937/solver-2097748-1247413937 -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-2097748-1247413937.xml

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

MD5SUM BENCH= c2cac25a9d0eff8b4d5c2c7d14b32353
RANDOM SEED=111651690

node51.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.225
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.225
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:       1738960 kB
Buffers:         48312 kB
Cached:         112712 kB
SwapCached:          0 kB
Active:         195088 kB
Inactive:        62096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738960 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3504 kB
Writeback:           0 kB
Mapped:         116612 kB
Slab:            45000 kB
Committed_AS:  1024032 kB
PageTables:       1956 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= 66204 MiB
End job on node51 at 2009-07-12 17:52:47