Trace number 2097747

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 30.4514 30.7793

DiagnosticValue
CHECKS10023700
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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.29/0.32	   
0.29/0.32	   instance
0.29/0.32	     name=HOME/instance-2097747-1247413936.xml
0.29/0.36	   
0.29/0.36	   domains being loaded...
0.38/0.45	   
0.38/0.45	   variables being loaded...
0.59/0.67	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998  nbTotalValues=329841
0.59/0.67	       =>  wckTime=0.43  cpuTime=0.32  mem=18M678
0.59/0.67	   
0.59/0.67	   predicates being loaded...
0.69/0.73	   
0.69/0.73	   constraints being loaded...
20.69/20.92	   
20.69/20.92	   INFO : Stopping converting binary constraints (cpu=20.23, mem = 49M821)
24.06/24.36	     nbConstraints=4623  nbMergedConstraints=4016  nbConvertedConstraints=316  nbConvertConstraintsChecks=44353480
24.06/24.36	     nbExtensionStructures=291  nbSharedExtensionStructures=32  nbConflictsStructures=488
24.06/24.36	     nbSharedConflictsStructures=250  nbUnbuiltConflictsStructures=3340  nbSharedBinaryRepresentations=164649
24.06/24.36	     nbEvaluationManagers=3537  nbSharedEvaluationManagers=770  minDegree=3  maxDegree=16  minArity=2  maxArity=2
24.06/24.36	     nbGenerators=0  nbFusions=0  symmetryWckTime=0.666  symmetryCpuTime=0.54
24.06/24.36	       =>  wckTime=24.121  cpuTime=23.19  mem=62M539
24.26/24.58	   
24.26/24.58	   solver IterativeSystematicSolver being built... 
24.56/24.88	       =>  wckTime=24.644  cpuTime=23.42  mem=64M802
28.81/29.15	   
28.81/29.15	   preprocessing
28.81/29.15	     nbConstraintChecks=9384405  nbValidityChecks=628354  nbPropagations=1360  nbRevisions=19088
28.81/29.15	     nbUselessRevisions=15557  nbRemovedValues=305713  detectedInconsistency=no
28.81/29.15	       =>  wckTime=4.26  cpuTime=4.19  mem=64M802
30.29/30.68	   
30.29/30.68	   search
30.29/30.69	     run=0  nbConstraintChecks=639311  nbValidityChecks=744744  minDepth=751  maxDepth=750  nbPropagations=4580
30.29/30.69	     nbRevisions=42538  nbUselessRevisions=36527  nbAssignments=750  nbFailedAssignments=0  nbBacktracks=0
30.29/30.69	     nbVisitedNodes=751  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
30.29/30.69	     nbSEliminables=378.37  nbREliminables=0  nbIEliminables=183.54  nbDEliminables=0  nbPEliminables=0
30.29/30.69	       =>  wckTime=5.794  cpuTime=5.68  mem=78M584
30.29/30.69	   
30.29/30.69	   global
30.29/30.69	     nbConstraintChecks=10023716  nbValidityChecks=1373098  nbPropagations=5940  nbRevisions=61626
30.29/30.69	     nbUselessRevisions=52084  nbRestartNogoods=0  solvingWckTime=5.797  solvingCpuTime=5.68  expiredTime=no
30.29/30.69	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=29.09  globalCpuTime=29.16
30.29/30.69	       =>  wckTime=30.447  cpuTime=29.11  mem=78M584
30.39/30.72	   
30.39/30.72	s SATISFIABLE
30.39/30.72	v -2518 -2558 -3092 -3312 -3352 3132 -2558 -2478 2998 -2756 -2624 -2580 -2590 -2758 3030 -2620 -3044 2562 -3190 -2616 -2584 2568 2570 -2514 -3044 2566 3278 -3352 2620 2620 -2828 2752 2576 -2854 -3150 -2478 -3108 -3302 -3096 -3352 -2788 -2792 -3002 -3076 -2788 -2610 3290 -2738 -2586 -2788 -2518 -3190 -2888 -3150 -2604 3006 -2798 -2518 -2584 -2518 -2570 2580 2356 -2786 -2828 -2478 -3150 -2828 -2558 3038 2916 -3260 -2602 -2518 -3312 2598 -3190 -3004 -2624 -3150 -2758 2816 -3114 2442 -2828 2610 -3162 -3044 -3262 -2860 -2828 -2478 -2692 -2580 -2478 2778 -3004 -3102 -3060 -2566 -3352 -2928 -3312 -3106 3004 -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 -3040 -2706 -2518 2606 -2758 -2548 3168 -2478 2996 -3190 -2758 -2980 2814 -2590 -2588 -2478 -3022 -2616 -3150 -3150 3130 3154 2562 -2598 2824 -2478 -2616 -3190 -3150 -2518 -2620 -2550 2900 -3110 -2518 -2590 -2590 -2786 -2710 -2728 -3150 2356 -3056 -2518 -2478 -2788 -3148 -2478 -2578 -2990 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 2924 -2798 -2746 -2540 -2974 2822 2818 -2828 2588 -2558 3210 -3302 -3142 -2564 -2620 3088 -3142 -2518 2478 -2478 -2478 -2616 -3102 -2396 -2736 -3004 2934 -2828 -3190 2624 2584 -3296 -2570 3292 -2652 -2788 -2604 -3352 -2784 2396 3060 -2518 -2372 -3004 -3142 -2788 -2592 -2518 -3030 -3146 -3036 -3232 -2518 2910 -3300 2848 -2768 -3190 -2732 -3312 -3036 -3004 -2402 -2518 -3166 3016 -3102 -2624 -2828 3202 -2698 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3190 -2558 -2586 -3190 -3190 -2586 -3312 3182 2996 2356 -3312 -2592 -3190 -2356 2876 3088 -3346 -2792 -2678 -3004 -2514 2596 3082 -2648 3170 -3188 -3078 -2758 -2558 -2558 -3150 -3142 3122 -2746 -2396 -2758 -2822 3352 -2932 -2758 -2478 -2568 -3150 -2408 -3150 3190 -2978 3142 3142 2356 3108 2630 2584 -2798 -2630 -3004 -3200 -2518 -2630 -2518 -3352 -2620 2356 -2958 2950 -3190 -2590 -2626 -2636 -2586 -3256 3342 2826 -3190 -2774 -2632 2796 -2678 -2832 -3312 -2518 -2604 -2660 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 -2580 -2628 -2574 -3004 -2626 -3004 -2514 -2938 -3114 2562 -3000 -2626 -2788 2950 -2558 -2558 -2558 -2740 3034 -2558 -2788 2590 -3150 -2868 -2478 2412 -3004 -2624 -3352 -2798 2950 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2576 3312 -3190 2588 -3312 2670 -3330 -3110 -2592 -2776 -2580 -2788 -2518 -3144 -2478 -2606 -2798 -2608 -2954 -2996 2990 3188 -2518 -3352 -2396 2920 -2586 -3020 -2630 -2562 -2586 2798 -2820 3352 -2592 -3048 -3150 -3150 2994 -2888 -2396 -2490 2966 -2880 -2720 -2602 2828 -2758 -2518 -2758 -2518 3312 -3312 -3312 -2610 -3036 -2356 2940 -2518 -2758 3128 -2798 2814 -3150 -2622 -3004 -2798 -3110 -2960 -3044 -3104 -3318 -2718 -2590 -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 2564 -2828 -3150 -2518 2518 -2396 -2618 -2614 -2798 -2828 -2478 -2558 -3044 -2518 -3146 -2554 2518 -2558 -2518 -2396 2588 2630 -3080 -3044 -3110 2608 -2518 -2576 -2990 -2558 -3240 -2448 -3020 -2450 2396 -2518 -2626 -2514 -2518 -3142 -2568 -3150 -3208 -2630 -3096 -3044 3000 -2478 -2788 2892 -3060 -2630 -2782 -2788 -2554 -2478 2926 -2758 -2518 2548 -2478 -2478 -2626 -3004 -2590 -2606 -3104 -2518 -2828 -2576 -2798 -3202 -3102 2554 -2758 -2364 -2626 -3242 -2788 -2518 -2518 2962 -2672 -3102 -3150 2628 -2570 -2518 2582 -2758 2822 -2478 -2582 -3044 -2602 -3352 2590 -3142 -2564 2758 -2826 -3190 2966 -2586 -3150 -2628 -2590 3244 -3044 -2518 -3078 -3352 2874 -2788 2396 -2740 -2602 3034 -3228 -2798 -2626 -2584 -3106 -3352 -2558 -3036 -2962 2820 -2372 2792 2744 -2788 -2784 2608 -3190 -3044 -2616 -2798 3170 -2500 -2798 -3036 -2510 -2788 3002 -2494 -3142 3126 -3102 -3102 -2558 -2630 -2478 -2626 2576 -3020 -2478 3190 -3078 -3190 2620 2424 -3044 2796 -2828 -2518 -3312 -2566 -3352 -3312 2884 2356 -2718 -2586 -2622 2780 2908 2570 -2798 -3312 -2412 -3190 -2518 -2478 -2590 2578 -3102 -2578 -2518 -2478 -2478 
30.39/30.72	d NODES 750
30.39/30.72	d CHECKS 10023716
30.39/30.72	   
30.39/30.72	   totalWckTime=30.533  totalCpuTime=29.19

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-2097747-1247413936/watcher-2097747-1247413936 -o /tmp/evaluation-result-2097747-1247413936/solver-2097747-1247413936 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097747-1247413936.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 3933
/proc/meminfo: memFree=1306728/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=10676 CPUtime=0
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28457225 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 2669 474 207 9 0 1184 0
[pid=3933/tid=3934] ppid=3931 vsize=10676 CPUtime=0
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28457226 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 8765400 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0972749 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 3933
/proc/meminfo: memFree=1306728/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=865984 CPUtime=0.08
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 3724 0 1 0 6 2 0 0 18 0 9 0 28457225 886767616 3192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216496 3192 1690 9 0 210981 0
[pid=3933/tid=3934] ppid=3931 vsize=865984 CPUtime=0.07
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 2815 0 1 0 6 1 0 0 18 0 9 0 28457226 886767616 3192 996147200 134512640 134550932 4294955968 18446744073709551615 4125976488 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.101275 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 3933
/proc/meminfo: memFree=1306728/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=865984 CPUtime=0.09
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 3762 0 1 0 7 2 0 0 18 0 9 0 28457225 886767616 3219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216496 3219 1698 9 0 210981 0
[pid=3933/tid=3934] ppid=3931 vsize=865984 CPUtime=0.07
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 2853 0 1 0 6 1 0 0 18 0 9 0 28457226 886767616 3219 996147200 134512640 134550932 4294955968 18446744073709551615 4125965780 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301296 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 3933
/proc/meminfo: memFree=1306728/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=866296 CPUtime=0.29
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 5696 0 1 0 25 4 0 0 18 0 9 0 28457225 887087104 5099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216574 5099 1927 9 0 211052 0
[pid=3933/tid=3934] ppid=3931 vsize=866296 CPUtime=0.25
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 4727 0 1 0 22 3 0 0 19 0 9 0 28457226 887087104 5099 996147200 134512640 134550932 4294955968 18446744073709551615 7918372 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866296

[startup+0.70133 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 3933
/proc/meminfo: memFree=1306728/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=867200 CPUtime=0.69
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 9870 0 1 0 63 6 0 0 18 0 9 0 28457225 888012800 9225 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216800 9225 2027 9 0 211236 0
[pid=3933/tid=3934] ppid=3931 vsize=867200 CPUtime=0.54
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 8675 0 1 0 49 5 0 0 20 0 9 0 28457226 888012800 9225 996147200 134512640 134550932 4294955968 18446744073709551615 4125977358 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867200

[startup+1.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3942
/proc/meminfo: memFree=1266336/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=867700 CPUtime=1.47
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 20278 0 1 0 137 10 0 0 18 0 9 0 28457225 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216925 19604 2031 9 0 211383 0
[pid=3933/tid=3934] ppid=3931 vsize=867700 CPUtime=1.19
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 15826 0 1 0 111 8 0 0 25 0 9 0 28457226 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=867700 CPUtime=0.06
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 3062 0 0 0 6 0 0 0 16 0 9 0 28457228 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457230 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=867700 CPUtime=0.19
/proc/3933/task/3940/stat : 3940 (java) R 3931 3933 2490 0 -1 64 688 0 0 0 19 0 0 0 16 0 9 0 28457230 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 102039371 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457230 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28457230 888524800 19604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867700

[startup+3.10154 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3942
/proc/meminfo: memFree=1235872/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=867700 CPUtime=3.06
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 20297 0 1 0 295 11 0 0 18 0 9 0 28457225 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216925 19622 2031 9 0 211383 0
[pid=3933/tid=3934] ppid=3931 vsize=867700 CPUtime=2.76
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 15830 0 1 0 267 9 0 0 25 0 9 0 28457226 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4126919197 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=867700 CPUtime=0.06
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 3062 0 0 0 6 0 0 0 17 0 9 0 28457228 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457230 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=867700 CPUtime=0.21
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 703 0 0 0 21 0 0 0 16 0 9 0 28457230 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457230 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28457230 888524800 19622 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867700

[startup+6.30282 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3942
/proc/meminfo: memFree=1235488/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=867700 CPUtime=6.23
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 20318 0 1 0 612 11 0 0 18 0 9 0 28457225 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216925 19642 2031 9 0 211383 0
[pid=3933/tid=3934] ppid=3931 vsize=867700 CPUtime=5.92
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 15831 0 1 0 583 9 0 0 25 0 9 0 28457226 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4126941958 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=867700 CPUtime=0.06
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 3062 0 0 0 6 0 0 0 17 0 9 0 28457228 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457230 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=867700 CPUtime=0.23
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 723 0 0 0 23 0 0 0 15 0 9 0 28457230 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457230 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28457230 888524800 19642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867700

[startup+12.7024 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3942
/proc/meminfo: memFree=1235296/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=867700 CPUtime=12.57
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 20324 0 1 0 1245 12 0 0 18 0 9 0 28457225 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 216925 19646 2031 9 0 211383 0
[pid=3933/tid=3934] ppid=3931 vsize=867700 CPUtime=12.25
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 15834 0 1 0 1215 10 0 0 25 0 9 0 28457226 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4126926455 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=867700 CPUtime=0.06
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 3062 0 0 0 6 0 0 0 16 0 9 0 28457228 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28457228 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28457230 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=867700 CPUtime=0.23
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 726 0 0 0 23 0 0 0 16 0 9 0 28457230 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28457230 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=867700 CPUtime=0
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28457230 888524800 19646 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867700

[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3946
/proc/meminfo: memFree=1191776/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=868024 CPUtime=25.24
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 53814 546 1 0 2495 23 4 2 18 0 9 0 28457225 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 217006 31115 2640 9 0 211464 0
[pid=3933/tid=3934] ppid=3931 vsize=868024 CPUtime=24.28
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 26029 546 1 0 2409 13 4 2 25 0 9 0 28457226 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4127093064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=868024 CPUtime=0.62
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 25945 546 0 0 49 7 4 2 16 0 9 0 28457228 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 20 546 0 0 0 0 4 2 16 0 9 0 28457228 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 30 546 0 0 0 0 4 2 15 0 9 0 28457228 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 546 0 0 0 0 4 2 18 0 9 0 28457230 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=868024 CPUtime=0.42
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 971 546 0 0 36 0 4 2 15 0 9 0 28457230 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 546 0 0 0 0 4 2 19 0 9 0 28457230 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3942/stat : 3942 (java) R 3931 3933 2490 0 -1 64 11 546 0 0 0 0 4 2 15 0 9 0 28457230 888856576 31115 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868024

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

[startup+28.7028 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3946
/proc/meminfo: memFree=1191776/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=868024 CPUtime=28.41
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 53822 546 1 0 2812 23 4 2 18 0 9 0 28457225 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 217006 31118 2640 9 0 211464 0
[pid=3933/tid=3934] ppid=3931 vsize=868024 CPUtime=27.44
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 26030 546 1 0 2725 13 4 2 25 0 9 0 28457226 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4126921847 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=868024 CPUtime=0.62
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 25945 546 0 0 49 7 4 2 17 0 9 0 28457228 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 20 546 0 0 0 0 4 2 16 0 9 0 28457228 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 30 546 0 0 0 0 4 2 15 0 9 0 28457228 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 546 0 0 0 0 4 2 18 0 9 0 28457230 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=868024 CPUtime=0.43
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 976 546 0 0 37 0 4 2 17 0 9 0 28457230 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 546 0 0 0 0 4 2 19 0 9 0 28457230 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 13 546 0 0 0 0 4 2 15 0 9 0 28457230 888856576 31118 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.41
Current children cumulated vsize (KiB) 868024

[startup+29.5029 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3946
/proc/meminfo: memFree=1191776/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=868024 CPUtime=29.2
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 53831 546 1 0 2891 23 4 2 18 0 9 0 28457225 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 217006 31127 2640 9 0 211464 0
[pid=3933/tid=3934] ppid=3931 vsize=868024 CPUtime=28.22
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 26030 546 1 0 2803 13 4 2 25 0 9 0 28457226 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4126921935 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=868024 CPUtime=0.62
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 25945 546 0 0 49 7 4 2 16 0 9 0 28457228 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 20 546 0 0 0 0 4 2 16 0 9 0 28457228 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 30 546 0 0 0 0 4 2 15 0 9 0 28457228 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 546 0 0 0 0 4 2 18 0 9 0 28457230 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=868024 CPUtime=0.44
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 985 546 0 0 38 0 4 2 15 0 9 0 28457230 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 546 0 0 0 0 4 2 19 0 9 0 28457230 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 13 546 0 0 0 0 4 2 15 0 9 0 28457230 888856576 31127 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (KiB) 868024

[startup+30.3029 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3946
/proc/meminfo: memFree=1191776/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=868024 CPUtime=30
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 53837 546 1 0 2971 23 4 2 18 0 9 0 28457225 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 217006 31131 2640 9 0 211464 0
[pid=3933/tid=3934] ppid=3931 vsize=868024 CPUtime=29.01
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 26030 546 1 0 2882 13 4 2 25 0 9 0 28457226 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4127400205 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=868024 CPUtime=0.62
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 25945 546 0 0 49 7 4 2 17 0 9 0 28457228 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 20 546 0 0 0 0 4 2 16 0 9 0 28457228 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 30 546 0 0 0 0 4 2 15 0 9 0 28457228 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 546 0 0 0 0 4 2 18 0 9 0 28457230 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=868024 CPUtime=0.45
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 991 546 0 0 39 0 4 2 15 0 9 0 28457230 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 546 0 0 0 0 4 2 19 0 9 0 28457230 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 13 546 0 0 0 0 4 2 15 0 9 0 28457230 888856576 31131 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (KiB) 868024

[startup+30.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3946
/proc/meminfo: memFree=1191776/2055920 swapFree=4192812/4192956
[pid=3933] ppid=3931 vsize=868024 CPUtime=30.39
/proc/3933/stat : 3933 (java) S 3931 3933 2490 0 -1 0 53843 546 1 0 3010 23 4 2 18 0 9 0 28457225 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3933/statm: 217006 31136 2640 9 0 211464 0
[pid=3933/tid=3934] ppid=3931 vsize=868024 CPUtime=29.4
/proc/3933/task/3934/stat : 3934 (java) R 3931 3933 2490 0 -1 64 26034 546 1 0 2921 13 4 2 25 0 9 0 28457226 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4127453070 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3936] ppid=3931 vsize=868024 CPUtime=0.62
/proc/3933/task/3936/stat : 3936 (java) S 3931 3933 2490 0 -1 64 25945 546 0 0 49 7 4 2 17 0 9 0 28457228 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3937] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3937/stat : 3937 (java) S 3931 3933 2490 0 -1 64 20 546 0 0 0 0 4 2 16 0 9 0 28457228 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3938] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3938/stat : 3938 (java) S 3931 3933 2490 0 -1 64 30 546 0 0 0 0 4 2 15 0 9 0 28457228 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3939] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3939/stat : 3939 (java) S 3931 3933 2490 0 -1 64 2 546 0 0 0 0 4 2 18 0 9 0 28457230 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3940] ppid=3931 vsize=868024 CPUtime=0.46
/proc/3933/task/3940/stat : 3940 (java) S 3931 3933 2490 0 -1 64 993 546 0 0 40 0 4 2 15 0 9 0 28457230 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3941] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3941/stat : 3941 (java) S 3931 3933 2490 0 -1 64 0 546 0 0 0 0 4 2 19 0 9 0 28457230 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3933/tid=3942] ppid=3931 vsize=868024 CPUtime=0.06
/proc/3933/task/3942/stat : 3942 (java) S 3931 3933 2490 0 -1 64 13 546 0 0 0 0 4 2 15 0 9 0 28457230 888856576 31136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 868024

Child status: 0
Real time (s): 30.7793
CPU time (s): 30.4514
CPU user time (s): 30.1714
CPU system time (s): 0.279957
CPU usage (%): 98.9346
Max. virtual memory (cumulated for all children) (KiB): 868112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.1714
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54423
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= 2484
involuntary context switches= 3129

runsolver used 0.043993 second user time and 0.106983 second system time

The end

Launcher Data 

Begin job on node50 at 2009-07-12 17:52:16
IDJOB=2097747
IDBENCH=57683
IDSOLVER=773
FILE ID=node50/2097747-1247413936
PBS_JOBID= 9510546
Free space on /tmp= 66416 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097747-1247413936/watcher-2097747-1247413936 -o /tmp/evaluation-result-2097747-1247413936/solver-2097747-1247413936 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097747-1247413936.xml

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

MD5SUM BENCH= c2cac25a9d0eff8b4d5c2c7d14b32353
RANDOM SEED=1427159338

node50.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.231
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.231
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:       1307208 kB
Buffers:         48900 kB
Cached:         157344 kB
SwapCached:          0 kB
Active:         588096 kB
Inactive:        98112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1307208 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3336 kB
Writeback:           0 kB
Mapped:         500368 kB
Slab:            46772 kB
Committed_AS:  1028100 kB
PageTables:       2780 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= 66412 MiB
End job on node50 at 2009-07-12 17:52:47