Trace number 1085677

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 ACSAT 29.2246 29.4871

DiagnosticValue
CHECKS8902030
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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mac.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1085677-1215235023.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.37	   
0.28/0.37	   variables being loaded...
0.48/0.55	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998  nbTotalValues=329841
0.48/0.55	       =>  wckTime=0.293  cpuTime=0.22  mem=18M603
0.48/0.55	   
0.48/0.55	   predicates being loaded...
0.58/0.61	   
0.58/0.61	   constraints being loaded...
20.49/20.73	   
20.49/20.73	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 49M225)
23.76/24.05	     nbConstraints=4623  nbMergedConstraints=4016  nbConvertedConstraints=315  nbConvertConstraintsChecks=43503096
23.76/24.05	     nbExtensionStructures=294  nbSharedExtensionStructures=26  nbConflictsStructures=486
23.76/24.05	     nbSharedConflictsStructures=249  nbUnbuiltConflictsStructures=3351  nbSharedBinaryRepresentations=163568
23.76/24.05	     nbEvaluationManagers=3543  nbSharedEvaluationManagers=765  minDegree=3  maxDegree=16  minArity=2  maxArity=2
23.76/24.05	     nbGenerators=0  nbFusions=0  symmetryWckTime=0.63  symmetryCpuTime=0.53
23.76/24.06	       =>  wckTime=23.802  cpuTime=22.92  mem=62M91
23.95/24.26	   
23.95/24.26	   solver IterativeSystematicSolver being built... 
24.25/24.53	       =>  wckTime=24.276  cpuTime=23.13  mem=65M36
27.75/28.02	   
27.75/28.02	   preprocessing
27.75/28.02	     nbConstraintChecks=8325403  nbValidityChecks=615307  nbPropagations=1363  nbRevisions=19287
27.75/28.02	     nbUselessRevisions=15721  nbRemovedValues=307563  detectedInconsistency=no
27.75/28.02	       =>  wckTime=3.486  cpuTime=3.47  mem=65M36
29.15/29.41	   
29.15/29.41	   search
29.15/29.41	     run=0  nbConstraintChecks=576626  nbValidityChecks=707757  minDepth=751  maxDepth=750  nbPropagations=4593
29.15/29.41	     nbRevisions=43061  nbUselessRevisions=37007  nbAssignments=750  nbFailedAssignments=0  nbBacktracks=0
29.15/29.41	     nbVisitedNodes=751  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
29.15/29.41	     nbSEliminables=377.98  nbREliminables=0  nbIEliminables=184.43  nbDEliminables=0  nbPEliminables=0
29.15/29.41	       =>  wckTime=4.875  cpuTime=4.82  mem=78M41
29.15/29.41	   
29.15/29.41	   global
29.15/29.41	     nbConstraintChecks=8902029  nbValidityChecks=1323064  nbPropagations=5956  nbRevisions=62348
29.15/29.41	     nbUselessRevisions=52728  nbRestartNogoods=0  solvingWckTime=4.877  solvingCpuTime=4.82  expiredTime=no
29.15/29.41	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=27.93  globalCpuTime=27.98
29.15/29.41	       =>  wckTime=29.159  cpuTime=27.95  mem=78M41
29.15/29.44	   
29.15/29.44	s SATISFIABLE
29.15/29.44	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.15/29.44	d NODES 750
29.15/29.44	d CHECKS 8902029
29.15/29.44	   
29.15/29.44	   totalWckTime=29.253  totalCpuTime=28.01

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-1085677-1215235023/watcher-1085677-1215235023 -o /tmp/evaluation-result-1085677-1215235023/solver-1085677-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 mac.xml 1 XSax HOME/instance-1085677-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: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=10616 CPUtime=0
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2002476711 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 2654 472 209 9 0 1184 0
[pid=19005/tid=19006] ppid=19003 vsize=10616 CPUtime=0
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2002476712 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 8708056 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.10208 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=865884 CPUtime=0.08
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 3717 0 1 0 7 1 0 0 18 0 9 0 2002476711 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216471 3185 1688 9 0 211026 0
[pid=19005/tid=19006] ppid=19003 vsize=865884 CPUtime=0.06
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 2798 0 1 0 6 0 0 0 20 0 9 0 2002476712 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 103782258 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.201096 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=866044 CPUtime=0.18
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 4671 0 1 0 16 2 0 0 18 0 9 0 2002476711 886829056 4098 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216511 4098 1861 9 0 211059 0
[pid=19005/tid=19006] ppid=19003 vsize=866044 CPUtime=0.15
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 3750 0 1 0 14 1 0 0 20 0 9 0 2002476712 886829056 4098 996147200 134512640 134550740 4294955968 18446744073709551615 102231164 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044

[startup+0.301113 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=866284 CPUtime=0.28
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 5835 0 1 0 25 3 0 0 18 0 9 0 2002476711 887074816 5209 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216571 5209 1953 9 0 211099 0
[pid=19005/tid=19006] ppid=19003 vsize=866284 CPUtime=0.23
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 4862 0 1 0 21 2 0 0 21 0 9 0 2002476712 887074816 5209 996147200 134512640 134550740 4294955968 18446744073709551615 102359751 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284

[startup+0.701184 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867712 CPUtime=0.68
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 10544 0 1 0 62 6 0 0 18 0 9 0 2002476711 888537088 9904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216928 9904 2011 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867712 CPUtime=0.5
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 9198 0 1 0 46 4 0 0 23 0 9 0 2002476712 888537088 9904 996147200 134512640 134550740 4294955968 18446744073709551615 102605659 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867712

[startup+1.50232 s]
/proc/loadavg: 1.96 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1546744/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=1.47
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20231 0 1 0 136 11 0 0 18 0 9 0 2002476711 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19564 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=1.19
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15783 0 1 0 110 9 0 0 25 0 9 0 2002476712 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4126887970 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 16 0 9 0 2002476713 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.2
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 678 0 0 0 19 1 0 0 15 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 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.47
Current children cumulated vsize (KiB) 867624

[startup+3.1026 s]
/proc/loadavg: 1.96 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1523704/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=3.06
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20237 0 1 0 294 12 0 0 18 0 9 0 2002476711 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19569 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=2.77
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15784 0 1 0 268 9 0 0 25 0 9 0 2002476712 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4126889290 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 17 0 9 0 2002476713 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.21
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 683 0 0 0 20 1 0 0 15 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 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) 867624

[startup+6.30217 s]
/proc/loadavg: 1.96 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1516536/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=6.23
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20260 0 1 0 611 12 0 0 18 0 9 0 2002476711 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19590 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=5.91
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15786 0 1 0 582 9 0 0 25 0 9 0 2002476712 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4126894201 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 17 0 9 0 2002476713 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.23
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 704 0 0 0 22 1 0 0 16 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) R 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 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) 867624

[startup+12.7023 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1502520/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=12.56
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20266 0 1 0 1244 12 0 0 18 0 9 0 2002476711 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19594 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=12.24
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15789 0 1 0 1215 9 0 0 25 0 9 0 2002476712 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4126887916 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 16 0 9 0 2002476713 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.23
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 707 0 0 0 22 1 0 0 16 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867624

[startup+25.5016 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19018
/proc/meminfo: memFree=1431288/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=25.25
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53838 549 1 0 2498 22 4 1 18 0 9 0 2002476711 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31105 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=24.31
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26049 549 1 0 2414 12 4 1 25 0 9 0 2002476712 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4127053995 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.41
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 940 549 0 0 35 1 4 1 16 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 10 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868272

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

[startup+25.6026 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19018
/proc/meminfo: memFree=1431288/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=25.35
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53838 549 1 0 2508 22 4 1 18 0 9 0 2002476711 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31105 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=24.41
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26049 549 1 0 2424 12 4 1 25 0 9 0 2002476712 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4126893124 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.41
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 940 549 0 0 35 1 4 1 16 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 10 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868272

[startup+27.2029 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19018
/proc/meminfo: memFree=1431288/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=26.95
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53843 549 1 0 2668 22 4 1 18 0 9 0 2002476711 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31107 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=26
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26050 549 1 0 2583 12 4 1 25 0 9 0 2002476712 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4126887844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.41
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 943 549 0 0 35 1 4 1 16 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.95
Current children cumulated vsize (KiB) 868272

[startup+28.8011 s]
/proc/loadavg: 2.05 2.05 2.01 3/91 19018
/proc/meminfo: memFree=1427384/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=28.55
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53857 549 1 0 2827 23 4 1 18 0 9 0 2002476711 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31119 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=27.57
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26050 549 1 0 2740 12 4 1 25 0 9 0 2002476712 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4127349072 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.44
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 957 549 0 0 38 1 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.55
Current children cumulated vsize (KiB) 868272

[startup+29.2012 s]
/proc/loadavg: 2.05 2.05 2.01 3/91 19018
/proc/meminfo: memFree=1427384/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=28.95
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53857 549 1 0 2867 23 4 1 18 0 9 0 2002476711 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31119 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=27.97
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26050 549 1 0 2780 12 4 1 25 0 9 0 2002476712 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4127368374 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.44
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 957 549 0 0 38 1 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.95
Current children cumulated vsize (KiB) 868272

[startup+29.4012 s]
/proc/loadavg: 2.05 2.05 2.01 3/91 19018
/proc/meminfo: memFree=1427384/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=29.15
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53860 549 1 0 2887 23 4 1 18 0 9 0 2002476711 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31122 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=28.17
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26052 549 1 0 2800 12 4 1 25 0 9 0 2002476712 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4125956419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.44
/proc/19005/task/19012/stat : 19012 (java) R 19003 19005 18968 0 -1 64 958 549 0 0 38 1 4 1 15 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.15
Current children cumulated vsize (KiB) 868272

Child status: 0
Real time (s): 29.4871
CPU time (s): 29.2246
CPU user time (s): 28.9596
CPU system time (s): 0.264959
CPU usage (%): 99.1097
Max. virtual memory (cumulated for all children) (KiB): 868360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9596
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54448
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= 2669
involuntary context switches= 3158

runsolver used 0.040993 second user time and 0.107983 second system time

The end

Launcher Data (download as text)

Begin job on node18 at 2008-07-05 07:17:03
IDJOB=1085677
IDBENCH=57684
IDSOLVER=363
FILE ID=node18/1085677-1215235023
PBS_JOBID= 7881962
Free space on /tmp= 66552 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085677-1215235023/watcher-1085677-1215235023 -o /tmp/evaluation-result-1085677-1215235023/solver-1085677-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 mac.xml 1 XSax HOME/instance-1085677-1215235023.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e29b6006bf1a29842bd8623c635cae42
RANDOM SEED=308864242

node18.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.268
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	: 5931.00
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.268
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:       1602080 kB
Buffers:         58640 kB
Cached:         188160 kB
SwapCached:       6568 kB
Active:         305716 kB
Inactive:        86384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1602080 kB
SwapTotal:     4192956 kB
SwapFree:      4180540 kB
Dirty:            3364 kB
Writeback:           0 kB
Mapped:         161128 kB
Slab:            46756 kB
Committed_AS:  3738600 kB
PageTables:       2064 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= 66552 MiB
End job on node18 at 2008-07-05 07:17:33