Trace number 1085678

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.5505 29.731

DiagnosticValue
CHECKS8895260
NODES750

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-9.xml
MD5SUMe29b6006bf1a29842bd8623c635cae42
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.2246
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 (download as text)

0.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.19/0.23	
0.19/0.23	   configuration
0.19/0.23	     name=esac.xml
0.28/0.31	   
0.28/0.31	   instance
0.28/0.31	     name=HOME/instance-1085678-1215235023.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.38/0.43	   
0.38/0.43	   variables being loaded...
0.58/0.66	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998  nbTotalValues=329841
0.58/0.66	       =>  wckTime=0.429  cpuTime=0.32  mem=18M603
0.58/0.66	   
0.58/0.66	   predicates being loaded...
0.68/0.72	   
0.68/0.72	   constraints being loaded...
20.49/20.67	   
20.49/20.67	   INFO : Stopping converting binary constraints (cpu=20.07, mem = 50M210)
23.65/23.84	     nbConstraints=4623  nbMergedConstraints=4016  nbConvertedConstraints=322  nbConvertConstraintsChecks=45407280
23.65/23.84	     nbExtensionStructures=300  nbSharedExtensionStructures=27  nbConflictsStructures=492
23.65/23.84	     nbSharedConflictsStructures=250  nbUnbuiltConflictsStructures=3345  nbSharedBinaryRepresentations=171041
23.65/23.84	     nbEvaluationManagers=3537  nbSharedEvaluationManagers=764  minDegree=3  maxDegree=16  minArity=2  maxArity=2
23.65/23.84	     nbGenerators=0  nbFusions=0  symmetryWckTime=0.644  symmetryCpuTime=0.52
23.65/23.84	       =>  wckTime=23.609  cpuTime=22.76  mem=62M745
23.85/24.08	   
23.85/24.08	   solver IterativeSystematicSolver being built... 
24.25/24.40	       =>  wckTime=24.17  cpuTime=23.0  mem=65M225
27.93/28.15	   
27.93/28.15	   preprocessing
27.93/28.15	     nbConstraintChecks=8318042  nbValidityChecks=615052  nbPropagations=1363  nbRevisions=19285
27.93/28.15	     nbUselessRevisions=15719  nbRemovedValues=307563  detectedInconsistency=no
27.93/28.15	       =>  wckTime=3.737  cpuTime=3.7  mem=65M225
29.44/29.65	   
29.44/29.65	   search
29.44/29.65	     run=0  nbConstraintChecks=577220  nbValidityChecks=704808  minDepth=751  maxDepth=750  nbPropagations=4593
29.44/29.65	     nbRevisions=43044  nbUselessRevisions=36990  nbAssignments=750  nbFailedAssignments=0  nbBacktracks=0
29.44/29.65	     nbVisitedNodes=751  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
29.44/29.65	     nbSEliminables=377.98  nbREliminables=0  nbIEliminables=184.43  nbDEliminables=0  nbPEliminables=0
29.44/29.65	       =>  wckTime=5.235  cpuTime=5.16  mem=78M259
29.44/29.65	   
29.44/29.65	   global
29.44/29.65	     nbConstraintChecks=8895262  nbValidityChecks=1319860  nbPropagations=5956  nbRevisions=62329
29.44/29.65	     nbUselessRevisions=52709  nbRestartNogoods=0  solvingWckTime=5.238  solvingCpuTime=5.16  expiredTime=no
29.44/29.65	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=28.14  globalCpuTime=28.21
29.44/29.65	       =>  wckTime=29.415  cpuTime=28.17  mem=78M259
29.44/29.67	   
29.44/29.67	s SATISFIABLE
29.44/29.67	v -2518 -2558 -3092 -3312 -3352 -3132 -2554 -2478 2992 -2758 -2624 2586 -2590 -2758 -3036 -2616 -3044 2566 -3190 -2616 -2584 -2568 2570 -2518 -3044 -2564 3250 -3352 -2626 2616 -2828 2752 -2580 -2848 -3150 -2478 -3108 3302 -3096 3292 -2780 -2792 -2994 -3074 -2788 -2610 3290 -2736 -2580 -2788 -2518 -3190 -2892 -3150 -2604 3004 -2798 -2518 -2584 -2518 -2568 2576 2356 2784 -2828 -2478 -3150 -2828 -2558 3038 2916 -3260 -2608 -2518 -3312 -2594 -3190 -3004 -2624 -3150 -2758 -2814 -3124 -2436 -2828 2610 -3174 -3042 3186 -2852 -2828 -2478 2696 -2576 -2478 -2788 -3004 -3102 -3052 -2566 -3352 -2932 -3312 -3106 3002 -3044 -3004 -2982 -3150 -2758 -2562 -2558 -2356 2624 3056 -3004 -2828 -2518 3144 -2478 -2422 3032 -3256 -3296 -3038 3312 2992 -2610 -3044 -2602 -3102 -2558 -3312 -3150 -2606 3146 -2774 -3012 -2616 -3076 -2606 3144 -3004 3040 -2706 -2518 -2604 -2758 -2546 -3352 -2478 -3004 -3190 -2758 2976 -2828 -2578 -2586 -2478 -3020 -2618 3150 -3150 -3134 3164 -2568 -2598 -2828 -2478 -2620 -3190 -3150 -2518 -2618 -2540 2908 -3110 -2514 -2604 -2584 -2782 -2710 -2728 -3150 -2590 -3060 -2518 -2478 -2788 -3148 -2478 2576 2984 -2786 -2378 -3352 -2626 2980 -2992 3150 -3150 2626 -3142 -2558 -3044 -2356 -2518 -3274 2680 -2952 -3190 3352 -2612 -2518 -3314 -2608 -2518 -3190 -2798 -2558 2832 -2942 -2786 -2678 -2604 -2578 2630 -2396 -3150 -2478 -2558 -3190 -3066 -2854 2928 -2798 -2744 -2540 -2976 2822 -2828 -2828 2588 -2558 3210 3226 -3142 -2564 2618 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2396 -2736 -3004 -2936 -2828 -3190 -2624 -2584 -3256 -2566 -3312 -2652 -2788 -2602 -3352 -2788 2356 3058 -2518 -2356 3000 -3142 -2788 -2586 -2518 3024 -3146 -3044 -3352 -2518 2914 -3300 2854 -2768 -3190 -2736 -3332 -3036 -3002 -2396 -2518 3166 -3020 -3102 -2626 -2828 3214 2696 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3190 2554 2586 3190 -3190 -2582 -2982 -3270 -3004 2396 -3312 2592 -3190 -2356 -2876 -3096 -3286 2792 -2676 -3004 -2514 2592 3120 -2640 3170 3148 -3078 -2758 -2558 -2558 -3150 -3142 -3160 -2746 -2396 -2750 -2826 3312 -2930 -2758 -2478 -2566 -3150 -2404 -3150 3190 -2978 3142 -3230 2356 -3106 -2624 -2584 -2798 -2628 -3004 -3280 -2518 -2630 -2518 3352 -2616 2356 -2952 2950 -3190 -2586 -2626 -2632 -2594 -3216 3342 2822 -3190 2788 -2628 -2798 -2676 -2832 -3312 -2518 -2610 -2658 -2536 -3146 -3322 -3106 2588 -3038 2650 -2578 -2828 -2826 -3352 -2718 -2356 -2622 -2710 -2798 3040 -2382 -2788 -3042 -2518 -3282 -3150 -3326 -3044 -2508 -2576 2628 -2578 -3004 -2626 -3004 -2518 -2938 -3104 2564 2992 -2634 -2788 2950 -2558 -2558 -2558 2734 -3044 -2558 2788 2590 -3150 -2866 -2478 2414 -3004 -2624 2942 -2798 2954 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2576 -3312 -3190 2588 -3312 2670 -3330 -3110 -2588 -2776 -2578 -2788 -2518 -3148 -2478 -2606 -2798 2600 -2952 -2996 2990 3190 -2518 -3352 -2396 2924 -2580 -3016 -2644 -2562 -2586 2788 2812 3026 -2586 -3056 -3150 -3150 -3004 -2894 -2630 -2490 2964 -2884 -2720 -2604 2828 -2758 -2518 -2758 -2518 3312 -3312 3282 2610 -3036 -2356 2948 -2518 -2758 3170 -2798 -2808 -3150 -2620 -3004 -2798 3110 -2954 -3044 -3108 -3290 2716 -2584 -2404 -3002 -2828 -2518 -3190 -2758 2634 -2790 2396 -2758 -2518 -3150 -3312 -3146 -2608 -2562 -3150 -2518 -3190 -2518 -2530 -3352 3002 -2788 2564 -2758 -2570 -2828 -3150 -2518 2520 -2396 -2626 -2618 -2798 2820 2478 -2558 3042 -2518 -3146 -2554 2518 -2558 -2514 -2576 2586 -2618 -3080 -3044 -3110 -2606 -2518 -2576 -2990 -2558 -3240 -2444 3020 -2450 2396 -2518 -2620 -2514 -2518 -3142 -2566 -3150 -3312 -2634 -3096 3042 -2994 -2478 -2788 -2890 -3060 -2626 -2782 -2788 -2558 2478 -2924 -2748 -2518 2548 -2478 -2478 -2620 -3004 -2594 -2604 -3104 -2518 -2828 2582 -2798 -3202 -3102 2554 -2754 -2364 -2626 -3242 -2788 -2518 -2518 2974 2670 -3102 -3150 -2628 -2570 -2518 2580 -2758 -2828 -2478 -2580 -3044 -2602 3060 -2588 -3142 -2562 -2758 -2826 -3190 2964 -2580 -3150 -2626 -2590 3242 -3044 -2518 -3078 -3352 2866 -2788 2396 -2750 -2602 -3044 3188 2798 -2620 -2586 -3106 -3352 -2558 -3044 -2954 2822 -2374 2792 2732 -2788 -2772 -2606 -3190 -3044 -2616 -2794 -3174 -2500 2790 3034 2500 -2788 3014 -2490 -3142 3126 -3102 -3102 -2558 2624 -2478 -2622 -2576 -3018 -2478 -3186 -3078 -3190 -2618 2418 -3044 -2798 -2828 -2518 3020 -2564 -3352 -3312 2888 2356 -2716 -2586 -2620 -2782 2906 -2570 -2798 -3352 2396 -3190 -2518 -2478 -2584 -2468 -3102 -2586 -2518 -2478 -2478 
29.44/29.67	d NODES 750
29.44/29.67	d CHECKS 8895262
29.44/29.68	   
29.44/29.68	   totalWckTime=29.495  totalCpuTime=28.23

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-1085678-1215235023/watcher-1085678-1215235023 -o /tmp/evaluation-result-1085678-1215235023/solver-1085678-1215235023 -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-1085678-1215235023.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.12 2.09 2.03 4/73 2866
/proc/meminfo: memFree=824008/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=140 CPUtime=0
/proc/2866/stat : 2866 (java) R 2864 2866 31768 0 -1 0 24 0 0 0 0 0 0 0 19 0 1 0 635749609 143360 9 996147200 134512640 134550740 4294956128 18446744073709551615 9913472 0 0 4096 0 0 0 0 17 0 0 0
/proc/2866/statm: 35 9 5 9 0 1 0

[startup+0.0306919 s]
/proc/loadavg: 2.12 2.09 2.03 4/73 2866
/proc/meminfo: memFree=824008/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=861228 CPUtime=0.01
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 1709 0 1 0 0 1 0 0 18 0 3 0 635749609 881897472 1406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 215307 1406 563 9 0 210286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861228

[startup+0.10253 s]
/proc/loadavg: 2.12 2.09 2.03 4/73 2866
/proc/meminfo: memFree=824008/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=865884 CPUtime=0.09
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 3743 0 1 0 7 2 0 0 18 0 9 0 635749609 886665216 3202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216471 3202 1699 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.301556 s]
/proc/loadavg: 2.12 2.09 2.03 4/73 2866
/proc/meminfo: memFree=824008/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=866196 CPUtime=0.28
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 5626 0 1 0 25 3 0 0 18 0 9 0 635749609 886984704 5040 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216549 5040 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196

[startup+0.7016 s]
/proc/loadavg: 2.12 2.09 2.03 4/73 2866
/proc/meminfo: memFree=824008/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867108 CPUtime=0.68
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 9822 0 1 0 62 6 0 0 18 0 9 0 635749609 887918592 9183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216777 9183 1998 9 0 211283 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867108

[startup+1.50269 s]
/proc/loadavg: 2.12 2.09 2.03 3/82 2875
/proc/meminfo: memFree=781888/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867632 CPUtime=1.48
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 20231 0 1 0 135 13 0 0 18 0 9 0 635749609 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216908 19564 2006 9 0 211436 0
[pid=2866/tid=2868] ppid=2864 vsize=867632 CPUtime=1.19
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 15778 0 1 0 110 9 0 0 25 0 9 0 635749611 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4126894775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867632 CPUtime=0.07
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 3073 0 0 0 6 1 0 0 16 0 9 0 635749612 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 635749612 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635749612 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635749614 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867632 CPUtime=0.18
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 683 0 0 0 18 0 0 0 16 0 9 0 635749614 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635749615 888455168 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635749615 888455168 19564 996147200 134512640 134550740 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) 867632

[startup+3.10287 s]
/proc/loadavg: 2.11 2.09 2.03 3/82 2875
/proc/meminfo: memFree=753088/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867632 CPUtime=3.07
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 20241 0 1 0 294 13 0 0 18 0 9 0 635749609 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216908 19573 2006 9 0 211436 0
[pid=2866/tid=2868] ppid=2864 vsize=867632 CPUtime=2.78
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 15782 0 1 0 268 10 0 0 25 0 9 0 635749611 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4126520035 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867632 CPUtime=0.07
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 3073 0 0 0 6 1 0 0 16 0 9 0 635749612 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 635749612 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635749612 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635749614 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867632 CPUtime=0.19
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 689 0 0 0 19 0 0 0 16 0 9 0 635749614 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635749615 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635749615 888455168 19573 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867632

[startup+6.30124 s]
/proc/loadavg: 2.11 2.09 2.03 3/82 2875
/proc/meminfo: memFree=752832/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867632 CPUtime=6.26
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 20264 0 1 0 612 14 0 0 18 0 9 0 635749609 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216908 19594 2006 9 0 211436 0
[pid=2866/tid=2868] ppid=2864 vsize=867632 CPUtime=5.94
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 15783 0 1 0 584 10 0 0 25 0 9 0 635749611 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4126892087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867632 CPUtime=0.07
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 3073 0 0 0 6 1 0 0 16 0 9 0 635749612 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 635749612 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635749612 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635749614 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867632 CPUtime=0.21
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 711 0 0 0 21 0 0 0 16 0 9 0 635749614 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635749615 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635749615 888455168 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867632

[startup+12.702 s]
/proc/loadavg: 2.10 2.09 2.03 3/82 2875
/proc/meminfo: memFree=752640/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867632 CPUtime=12.62
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 20269 0 1 0 1248 14 0 0 18 0 9 0 635749609 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216908 19597 2006 9 0 211436 0
[pid=2866/tid=2868] ppid=2864 vsize=867632 CPUtime=12.31
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 15786 0 1 0 1220 11 0 0 25 0 9 0 635749611 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4126892207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867632 CPUtime=0.07
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 3073 0 0 0 6 1 0 0 16 0 9 0 635749612 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 635749612 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635749612 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635749614 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867632 CPUtime=0.21
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 713 0 0 0 21 0 0 0 16 0 9 0 635749614 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635749615 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867632 CPUtime=0
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635749615 888455168 19597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867632

[startup+25.5025 s]
/proc/loadavg: 2.08 2.08 2.02 3/82 2879
/proc/meminfo: memFree=709056/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867956 CPUtime=25.34
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 53882 546 1 0 2504 25 4 1 18 0 9 0 635749609 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216989 31133 2616 9 0 211517 0
[pid=2866/tid=2868] ppid=2864 vsize=867956 CPUtime=24.32
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 25953 546 1 0 2412 15 4 1 25 0 9 0 635749611 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4126895428 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867956 CPUtime=0.68
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 26097 546 0 0 56 7 4 1 17 0 9 0 635749612 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 18 546 0 0 0 0 4 1 16 0 9 0 635749612 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 29 546 0 0 0 0 4 1 15 0 9 0 635749612 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 546 0 0 0 0 4 1 18 0 9 0 635749614 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867956 CPUtime=0.4
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 958 546 0 0 35 0 4 1 16 0 9 0 635749614 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 546 0 0 0 0 4 1 19 0 9 0 635749615 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 13 546 0 0 0 0 4 1 15 0 9 0 635749615 888786944 31133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867956

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

[startup+27.1026 s]
/proc/loadavg: 2.08 2.08 2.02 3/82 2879
/proc/meminfo: memFree=709056/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867956 CPUtime=26.94
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 53886 546 1 0 2664 25 4 1 18 0 9 0 635749609 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216989 31135 2616 9 0 211517 0
[pid=2866/tid=2868] ppid=2864 vsize=867956 CPUtime=25.92
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 25953 546 1 0 2572 15 4 1 25 0 9 0 635749611 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4127189186 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867956 CPUtime=0.68
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 26097 546 0 0 56 7 4 1 17 0 9 0 635749612 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 18 546 0 0 0 0 4 1 16 0 9 0 635749612 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 29 546 0 0 0 0 4 1 15 0 9 0 635749612 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 546 0 0 0 0 4 1 18 0 9 0 635749614 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867956 CPUtime=0.4
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 961 546 0 0 35 0 4 1 16 0 9 0 635749614 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 546 0 0 0 0 4 1 19 0 9 0 635749615 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 14 546 0 0 0 0 4 1 15 0 9 0 635749615 888786944 31135 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.94
Current children cumulated vsize (KiB) 867956

[startup+28.7028 s]
/proc/loadavg: 2.07 2.08 2.02 3/82 2879
/proc/meminfo: memFree=708992/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867956 CPUtime=28.53
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 53900 546 1 0 2823 25 4 1 18 0 9 0 635749609 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216989 31147 2616 9 0 211517 0
[pid=2866/tid=2868] ppid=2864 vsize=867956 CPUtime=27.49
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 25955 546 1 0 2729 15 4 1 25 0 9 0 635749611 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4127352204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867956 CPUtime=0.68
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 26097 546 0 0 56 7 4 1 17 0 9 0 635749612 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 18 546 0 0 0 0 4 1 16 0 9 0 635749612 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 29 546 0 0 0 0 4 1 15 0 9 0 635749612 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 546 0 0 0 0 4 1 18 0 9 0 635749614 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867956 CPUtime=0.43
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 973 546 0 0 37 1 4 1 15 0 9 0 635749614 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 546 0 0 0 0 4 1 19 0 9 0 635749615 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 14 546 0 0 0 0 4 1 15 0 9 0 635749615 888786944 31147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.53
Current children cumulated vsize (KiB) 867956

[startup+29.5019 s]
/proc/loadavg: 2.07 2.08 2.02 3/82 2879
/proc/meminfo: memFree=708992/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867956 CPUtime=29.34
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 53902 546 1 0 2903 26 4 1 18 0 9 0 635749609 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216989 31148 2616 9 0 211517 0
[pid=2866/tid=2868] ppid=2864 vsize=867956 CPUtime=28.28
/proc/2866/task/2868/stat : 2868 (java) R 2864 2866 31768 0 -1 64 25955 546 1 0 2808 15 4 1 25 0 9 0 635749611 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4127378709 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867956 CPUtime=0.68
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 26097 546 0 0 56 7 4 1 17 0 9 0 635749612 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 18 546 0 0 0 0 4 1 16 0 9 0 635749612 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 29 546 0 0 0 0 4 1 15 0 9 0 635749612 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 546 0 0 0 0 4 1 18 0 9 0 635749614 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867956 CPUtime=0.44
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 975 546 0 0 38 1 4 1 15 0 9 0 635749614 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 546 0 0 0 0 4 1 19 0 9 0 635749615 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2875/stat : 2875 (java) R 2864 2866 31768 0 -1 64 14 546 0 0 0 0 4 1 15 0 9 0 635749615 888786944 31148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.34
Current children cumulated vsize (KiB) 867956

[startup+29.7069 s]
/proc/loadavg: 2.07 2.08 2.02 3/82 2879
/proc/meminfo: memFree=708992/2055920 swapFree=4179952/4192956
[pid=2866] ppid=2864 vsize=867956 CPUtime=29.51
/proc/2866/stat : 2866 (java) S 2864 2866 31768 0 -1 0 53915 546 1 0 2920 26 4 1 18 0 9 0 635749609 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2866/statm: 216989 31154 2616 9 0 211517 0
[pid=2866/tid=2868] ppid=2864 vsize=867956 CPUtime=28.45
/proc/2866/task/2868/stat : 2868 (java) S 2864 2866 31768 0 -1 64 25966 546 1 0 2825 15 4 1 25 0 9 0 635749611 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2869] ppid=2864 vsize=867956 CPUtime=0.68
/proc/2866/task/2869/stat : 2869 (java) S 2864 2866 31768 0 -1 64 26097 546 0 0 56 7 4 1 17 0 9 0 635749612 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2870] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2870/stat : 2870 (java) S 2864 2866 31768 0 -1 64 18 546 0 0 0 0 4 1 16 0 9 0 635749612 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2871] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2871/stat : 2871 (java) S 2864 2866 31768 0 -1 64 29 546 0 0 0 0 4 1 15 0 9 0 635749612 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2872] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2872/stat : 2872 (java) S 2864 2866 31768 0 -1 64 0 546 0 0 0 0 4 1 18 0 9 0 635749614 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2873] ppid=2864 vsize=867956 CPUtime=0.44
/proc/2866/task/2873/stat : 2873 (java) S 2864 2866 31768 0 -1 64 977 546 0 0 38 1 4 1 15 0 9 0 635749614 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2866/tid=2874] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2874/stat : 2874 (java) S 2864 2866 31768 0 -1 64 2 546 0 0 0 0 4 1 19 0 9 0 635749615 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2866/tid=2875] ppid=2864 vsize=867956 CPUtime=0.05
/proc/2866/task/2875/stat : 2875 (java) S 2864 2866 31768 0 -1 64 14 546 0 0 0 0 4 1 15 0 9 0 635749615 888786944 31154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.51
Current children cumulated vsize (KiB) 867956

Child status: 0
Real time (s): 29.731
CPU time (s): 29.5505
CPU user time (s): 29.2486
CPU system time (s): 0.301954
CPU usage (%): 99.3931
Max. virtual memory (cumulated for all children) (KiB): 868044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.2486
system time used= 0.301954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54490
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= 2429
involuntary context switches= 2629

runsolver used 0.035994 second user time and 0.113982 second system time

The end

Launcher Data (download as text)

Begin job on node88 at 2008-07-05 07:17:04
IDJOB=1085678
IDBENCH=57684
IDSOLVER=364
FILE ID=node88/1085678-1215235023
PBS_JOBID= 7881764
Free space on /tmp= 66488 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e29b6006bf1a29842bd8623c635cae42
RANDOM SEED=63981858

node88.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        824488 kB
Buffers:         31156 kB
Cached:         817356 kB
SwapCached:       7404 kB
Active:         451732 kB
Inactive:       727824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        824488 kB
SwapTotal:     4192956 kB
SwapFree:      4179952 kB
Dirty:            3264 kB
Writeback:           0 kB
Mapped:         338612 kB
Slab:            36412 kB
Committed_AS:  1425704 kB
PageTables:       2576 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= 66488 MiB
End job on node88 at 2008-07-05 07:17:33