Trace number 2083049

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
Sugar v1.14.6+picosatSAT 769.789 771.273

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-4.xml
MD5SUM1196fad89b5a5a4f355ab65ef889a576
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 benchmark28.3597
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.05/0.08	c 0	Sugar v1-14-6 + HOME/picosat
0.05/0.08	c 0	BEGIN Sun Jul 12 07:29:24 2009
0.05/0.08	c 0	PID 25118
0.05/0.08	c 0	HOST node49.alineos.net
0.05/0.08	c 0	CONVERTING HOME/instance-2083049-1247376564.xml TO HOME/temp.csp
0.05/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083049-1247376564.xml' 'HOME/temp.csp'
1.06/1.12	c 1	14 domains, 750 variables, 8 predicates, 0 relations, 8639 constraints
1.06/1.13	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
1.06/1.13	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.09/1.21	c 1	Parsing HOME/temp.csp
1.09/1.39	c 1	parsed 9411 expressions
1.09/1.40	c 1	Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.09/1.40	c 1	Converting to clausal form CSP
2.14/2.23	c 2	converted 942 (10%) expressions
4.72/4.81	c 5	converted 1883 (20%) expressions
6.91/7.01	c 7	converted 2824 (30%) expressions
8.60/8.78	c 9	converted 3765 (40%) expressions
10.39/10.57	c 10	converted 4706 (50%) expressions
11.98/12.10	c 12	converted 5647 (60%) expressions
13.36/13.53	c 13	converted 6588 (70%) expressions
15.15/15.33	c 15	converted 7529 (80%) expressions
16.65/16.82	c 17	converted 8470 (90%) expressions
17.94/18.19	c 18	converted 9411 (100%) expressions
17.94/18.19	c 18	CSP : 1491 integers, 24479 booleans, 52151 clauses, largest domain size 3353
17.94/18.19	c 18	Heap : 73 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
17.94/18.19	c 18	Propagation in CSP
18.73/18.97	c 19	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
18.73/18.97	c 19	CSP : 1491 integers, 24479 booleans, 52151 clauses, largest domain size 3353
18.73/18.97	c 19	Heap : 73 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
18.83/19.01	c 19	Simplifing CSP by introducing new Boolean variables
18.93/19.11	c 19	CSP : 1491 integers, 41391 booleans, 69063 clauses, largest domain size 3353
18.93/19.11	c 19	Heap : 76 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
19.43/19.68	c 20	Encoding CSP to SAT : HOME/temp.cnf
22.01/22.29	c 22	150 (10%) CSP integer variables are encoded (62695 clauses, 918343 bytes)
24.81/25.07	c 25	299 (20%) CSP integer variables are encoded (128420 clauses, 1961551 bytes)
27.78/28.06	c 28	448 (30%) CSP integer variables are encoded (199373 clauses, 3167752 bytes)
30.47/30.75	c 31	597 (40%) CSP integer variables are encoded (264225 clauses, 4270236 bytes)
33.15/33.40	c 33	746 (50%) CSP integer variables are encoded (327849 clauses, 5351844 bytes)
33.56/33.83	c 34	895 (60%) CSP integer variables are encoded (643870 clauses, 10724201 bytes)
33.95/34.27	c 34	1044 (70%) CSP integer variables are encoded (982887 clauses, 16487490 bytes)
34.35/34.69	c 35	1193 (80%) CSP integer variables are encoded (1294278 clauses, 22371800 bytes)
34.85/35.12	c 35	1342 (90%) CSP integer variables are encoded (1608923 clauses, 28350055 bytes)
35.25/35.56	c 35	1491 (100%) CSP integer variables are encoded (1940804 clauses, 34655794 bytes)
46.86/47.26	c 47	6907 (10%) CSP clauses are encoded (3721636 clauses, 78199820 bytes)
57.89/58.31	c 58	13813 (20%) CSP clauses are encoded (5158275 clauses, 114939042 bytes)
69.09/69.63	c 70	20719 (30%) CSP clauses are encoded (6949495 clauses, 161270729 bytes)
78.82/79.45	c 79	27626 (40%) CSP clauses are encoded (8680455 clauses, 206221574 bytes)
85.65/86.36	c 86	34532 (50%) CSP clauses are encoded (10210499 clauses, 245860368 bytes)
94.31/95.13	c 95	41438 (60%) CSP clauses are encoded (11952542 clauses, 291664603 bytes)
102.73/103.61	c 103	48345 (70%) CSP clauses are encoded (13812297 clauses, 340599868 bytes)
110.68/111.60	c 111	55251 (80%) CSP clauses are encoded (15753295 clauses, 391276832 bytes)
118.52/119.54	c 119	62157 (90%) CSP clauses are encoded (17544412 clauses, 438180096 bytes)
124.78/125.80	c 126	69063 (100%) CSP clauses are encoded (19105962 clauses, 479075232 bytes)
124.78/125.80	c 126	69063 CSP clauses encoded
124.78/125.80	c 126	Writing map file : HOME/temp.map
124.87/125.90	c 126	Heap : 76 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
124.87/125.90	c 126	SAT : 1983686 SAT variables, 19105962 SAT clauses, 479075232 bytes
124.87/125.90	c 126	Heap : 76 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
124.87/125.96	c 126	SOLVING HOME/temp.cnf
124.87/125.96	c 126	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
766.52/768.00	c 768	DECODING HOME/temp.out WITH HOME/temp.map
766.52/768.00	c 768	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
766.52/768.08	c 768	Decoding HOME/temp.out
769.41/770.96	s SATISFIABLE
769.41/770.99	v -2516 -2534 3090 3312 -3312 -3130 2554 -2488 2992 -2754 2626 -2576 2584 2758 3036 2616 -3044 2560 3142 -2618 -2584 -2562 2564 2516 3044 -2564 -3264 3338 2616 2616 -2828 -2758 -2576 2854 -3138 -2512 -3102 3312 3096 -3352 2786 2798 2994 -3076 2788 -2604 3292 2734 -2576 -2784 -2518 -3188 2890 3148 2602 3014 -2798 2504 -2586 -2518 -2562 -2576 2798 2786 2824 -2478 -3148 2828 -2556 -3038 2916 -3212 2604 -2518 3352 -2586 3190 3004 2624 -3148 2758 -2812 -3148 -2436 -2828 2612 -3144 -3042 -3240 2856 2826 -2478 2690 2572 -2478 -2788 3002 -3102 -3052 2562 3344 -2930 -3298 3108 3004 -3044 -3004 -2986 -3150 -2758 -2564 -2558 2376 -2626 -3052 3002 2828 2520 3142 2478 -2398 3038 -3208 -3248 -3038 3270 2994 2608 -3044 -2602 -3102 2556 3190 -3148 2600 -3150 2776 -3012 -2616 3076 2602 -3144 -3000 3032 -2702 -2518 2604 -2752 -2540 3300 2478 -3004 -3188 2756 2980 2828 -2580 2584 -2478 -3008 2618 3150 -3150 -3144 3108 -2564 -2596 -2826 -2478 -2616 -3190 -3150 -2494 -2616 -2542 2902 -3102 -2516 2594 -2628 -2784 -2636 2728 3148 2430 -3056 -2516 -2478 2788 -3142 2478 -2576 3004 2788 2380 -3352 2630 2968 -2992 -3150 -3142 -2624 3142 -2556 -3042 2356 -2518 3222 2676 2952 -3188 -3352 -2612 -2552 -3182 -2602 -2518 -3190 -2798 2556 -2828 -2946 -2786 2686 2604 2576 -2624 2398 -3148 2478 2556 -3190 -3312 -2852 2936 -2792 2746 -2398 2974 2820 2828 -2828 2584 2556 -3138 -3280 3162 2562 2616 -3288 3142 -2518 2482 -2478 -2478 -2618 3122 -2396 2734 -3004 2934 2828 -3190 -2624 -2586 3252 -2562 3312 -2652 2788 2602 -3330 2786 2434 -3058 2518 2358 -3004 -3142 -2784 -2590 -2518 3044 -3148 3044 -3230 -2482 2916 3252 -2854 -2768 3190 2730 3312 -3036 -3002 -2396 -2518 -3212 3016 -3102 -2616 -2824 3184 -2694 2624 3150 3000 -3040 -3004 3136 -2624 3178 -2556 -2584 -3190 3190 -2578 2982 -3182 -3004 2394 -3328 2584 3188 -2376 2876 3068 -3286 2788 -2676 3004 2516 -2584 3292 -2626 -3178 3158 3078 -2754 -2556 -2556 3190 -3142 3332 -2742 2758 -2758 -2828 3308 -2920 2758 -2478 -2562 3144 -2396 -3150 -3190 -2974 -3144 3142 2356 -3104 -2624 2584 -2796 2616 3004 3182 2516 -2624 -2516 -3322 2612 2358 2952 -2950 -3188 -2584 -2624 -2624 -2578 -3212 3352 2824 3188 -2788 -2616 -2796 2676 -2836 3282 2518 -2602 -2576 2504 -3158 3268 -3118 -2584 -3038 -2652 2578 -2828 -2816 -3346 -2726 2362 -2616 -2708 2792 -3044 2358 2788 3044 -2528 3200 3150 3326 3044 -2380 2576 -2624 -2562 3004 2624 -3002 -2518 2934 3104 -2562 -2998 -2618 -2786 3042 -2558 -2544 -2558 2736 -3044 -2542 -2788 -2584 -3150 2856 2478 2414 2998 -2626 2942 2794 -2956 -2784 3148 2402 -3044 -2828 3074 -2798 -2578 3290 -3190 -2596 3304 -2676 -3252 3120 -2576 -2774 2576 -2788 -2518 3142 -2478 2602 -2798 2586 -2954 -2996 3002 -3190 2518 3258 2390 2928 2576 -3020 2634 2562 2578 -2798 2816 -3352 2584 3108 -3150 3150 3004 2894 2390 2488 2968 2888 2716 2602 2828 -2754 -2518 -2758 -2518 3298 -3312 -3228 2604 -3034 -2358 -2942 -2516 2752 3248 -2794 2814 -3102 2616 -3002 -2798 -3104 -2952 -3040 3102 -3304 -2716 -2584 -2400 3004 2828 2518 -3188 -2758 -2626 2784 -2398 2756 -2518 -3148 3282 -3144 -2602 -2562 3150 -2522 -3188 2518 -2490 3352 -3004 -2788 2396 2756 -2562 -2824 3150 2502 2522 -2416 -2618 -2602 -2796 -2826 -2478 -2556 -3044 -2516 3142 -2556 -2518 2558 2514 2544 -2580 -2620 3072 3042 -3150 2602 2516 2578 2990 2556 3222 -2436 -3020 2448 2396 -2516 2616 2516 -2518 -3142 -2562 -3148 -3340 -2624 3092 3044 2992 2478 -2786 -2880 -3060 -2624 2780 2788 -2558 -2478 2928 -2758 2518 -2556 2478 2482 -2616 3004 -2584 2356 -3102 -2518 -2826 -2576 2798 3200 3102 -2556 -2754 2360 2618 -3240 -2788 -2518 -2518 2976 -2668 3104 -3150 -2624 2568 -2520 -2576 2758 -2828 -2480 -2576 -3044 -2604 3346 -2576 -3142 2562 -2758 -2826 -3190 2974 2576 3160 -2624 -2584 -3160 -3042 2520 -3078 -3322 2856 2788 2416 2824 2602 -3044 -3198 -2798 -2616 2576 3102 -3310 -2556 3044 2954 2828 2374 2796 -2734 -2788 -2774 2602 -3190 -3038 -2618 -2794 -3184 2358 -2798 -3036 2502 2788 3016 2450 -3142 3172 3102 -3102 2522 -2588 2478 -2618 -2578 -3018 -2478 -3190 3078 3190 2616 2420 -3042 -2794 -2828 2518 -3306 -2564 -3288 -3306 2896 -2430 2716 -2584 -2616 2788 2896 2564 -2798 -3348 -2398 3188 -2518 -2478 -2586 2420 -3102 2578 2516 2480 -2480
769.41/771.00	c 771	Heap : 20 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
769.51/771.04	c 771	CPU 769.52 (0.06 0.02 682.31 87.13)
769.51/771.04	c 771	END Sun Jul 12 07:42:15 2009

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-2083049-1247376564/watcher-2083049-1247376564 -o /tmp/evaluation-result-2083049-1247376564/solver-2083049-1247376564 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2083049-1247376564.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.06 2.02 4/74 25118
/proc/meminfo: memFree=1711024/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=12268 CPUtime=0
/proc/25118/stat : 25118 (sugar) R 25116 25118 19389 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 24716727 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 224627751525 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/25118/statm: 3067 316 241 3 0 167 0

[startup+0.072508 s]
/proc/loadavg: 2.00 2.06 2.02 4/74 25118
/proc/meminfo: memFree=1711024/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16476 CPUtime=0.05
/proc/25118/stat : 25118 (sugar) R 25116 25118 19389 0 -1 4194304 1015 0 0 0 4 1 0 0 18 0 1 0 24716727 16871424 983 996147200 4194304 4206940 548682068608 18446744073709551615 224645229893 0 0 4224 0 0 0 0 17 1 0 0
/proc/25118/statm: 4119 983 380 3 0 698 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16476

[startup+0.101513 s]
/proc/loadavg: 2.00 2.06 2.02 4/74 25118
/proc/meminfo: memFree=1711024/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=0.06
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.301535 s]
/proc/loadavg: 2.00 2.06 2.02 4/74 25118
/proc/meminfo: memFree=1711024/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=0.06
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.701596 s]
/proc/loadavg: 2.00 2.06 2.02 4/74 25118
/proc/meminfo: memFree=1711024/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=0.06
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50172 s]
/proc/loadavg: 2.00 2.06 2.02 3/85 25130
/proc/meminfo: memFree=1688336/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=1.09
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1309 8855 0 1 5 1 97 6 16 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 16868

[startup+3.10294 s]
/proc/loadavg: 2.00 2.06 2.02 3/85 25140
/proc/meminfo: memFree=1690512/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=1.09
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1309 8855 0 1 5 1 97 6 16 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
[pid=25131] ppid=25118 vsize=5356 CPUtime=0
/proc/25131/stat : 25131 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24716841 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25131/statm: 1339 233 193 169 0 50 0
[pid=25132] ppid=25131 vsize=868568 CPUtime=1.94
/proc/25132/stat : 25132 (java) S 25131 25118 19389 0 -1 0 8396 0 1 0 189 5 0 0 18 0 9 0 24716841 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25132/statm: 217142 7476 2566 9 0 211647 0
[pid=25132/tid=25133] ppid=25131 vsize=868568 CPUtime=1.5
/proc/25132/task/25133/stat : 25133 (java) R 25131 25118 19389 0 -1 64 2791 0 1 0 148 2 0 0 25 0 9 0 24716842 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4126540371 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25134] ppid=25131 vsize=868568 CPUtime=0.25
/proc/25132/task/25134/stat : 25134 (java) S 25131 25118 19389 0 -1 64 3430 0 0 0 23 2 0 0 16 0 9 0 24716843 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25135] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25135/stat : 25135 (java) S 25131 25118 19389 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24716843 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25136] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25136/stat : 25136 (java) S 25131 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24716843 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25137] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25137/stat : 25137 (java) S 25131 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24716845 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25138] ppid=25131 vsize=868568 CPUtime=0.17
/proc/25132/task/25138/stat : 25138 (java) S 25131 25118 19389 0 -1 64 1477 0 0 0 17 0 0 0 16 0 9 0 24716845 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25139] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25139/stat : 25139 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24716845 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25140] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25140/stat : 25140 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24716845 889413632 7476 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 890792

[startup+6.30139 s]
/proc/loadavg: 2.00 2.06 2.01 3/85 25140
/proc/meminfo: memFree=1679120/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=1.09
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1309 8855 0 1 5 1 97 6 16 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
[pid=25131] ppid=25118 vsize=5356 CPUtime=0
/proc/25131/stat : 25131 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24716841 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25131/statm: 1339 233 193 169 0 50 0
[pid=25132] ppid=25131 vsize=868568 CPUtime=5.13
/proc/25132/stat : 25132 (java) S 25131 25118 19389 0 -1 0 11559 0 1 0 503 10 0 0 18 0 9 0 24716841 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25132/statm: 217142 10384 2566 9 0 211647 0
[pid=25132/tid=25133] ppid=25131 vsize=868568 CPUtime=4.32
/proc/25132/task/25133/stat : 25133 (java) R 25131 25118 19389 0 -1 64 3127 0 1 0 430 2 0 0 25 0 9 0 24716842 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4126505649 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25134] ppid=25131 vsize=868568 CPUtime=0.58
/proc/25132/task/25134/stat : 25134 (java) S 25131 25118 19389 0 -1 64 6251 0 0 0 53 5 0 0 16 0 9 0 24716843 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25135] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25135/stat : 25135 (java) S 25131 25118 19389 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24716843 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25136] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25136/stat : 25136 (java) S 25131 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24716843 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25137] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25137/stat : 25137 (java) S 25131 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24716845 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25138] ppid=25131 vsize=868568 CPUtime=0.18
/proc/25132/task/25138/stat : 25138 (java) S 25131 25118 19389 0 -1 64 1483 0 0 0 18 0 0 0 15 0 9 0 24716845 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25139] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25139/stat : 25139 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24716845 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25140] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25140/stat : 25140 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24716845 889413632 10384 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 890792

[startup+12.7023 s]
/proc/loadavg: 2.00 2.05 2.01 3/85 25140
/proc/meminfo: memFree=1648912/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=1.09
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1309 8855 0 1 5 1 97 6 16 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
[pid=25131] ppid=25118 vsize=5356 CPUtime=0
/proc/25131/stat : 25131 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24716841 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25131/statm: 1339 233 193 169 0 50 0
[pid=25132] ppid=25131 vsize=868568 CPUtime=11.49
/proc/25132/stat : 25132 (java) S 25131 25118 19389 0 -1 0 22678 0 1 0 1130 19 0 0 18 0 9 0 24716841 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25132/statm: 217142 17805 2567 9 0 211647 0
[pid=25132/tid=25133] ppid=25131 vsize=868568 CPUtime=9.67
/proc/25132/task/25133/stat : 25133 (java) R 25131 25118 19389 0 -1 64 3703 0 1 0 963 4 0 0 25 0 9 0 24716842 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4126540348 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25134] ppid=25131 vsize=868568 CPUtime=1.6
/proc/25132/task/25134/stat : 25134 (java) S 25131 25118 19389 0 -1 64 16794 0 0 0 147 13 0 0 16 0 9 0 24716843 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25135] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25135/stat : 25135 (java) S 25131 25118 19389 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24716843 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25136] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25136/stat : 25136 (java) S 25131 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24716843 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25137] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25137/stat : 25137 (java) S 25131 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24716845 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25138] ppid=25131 vsize=868568 CPUtime=0.18
/proc/25132/task/25138/stat : 25138 (java) S 25131 25118 19389 0 -1 64 1483 0 0 0 18 0 0 0 16 0 9 0 24716845 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25139] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25139/stat : 25139 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24716845 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25140] ppid=25131 vsize=868568 CPUtime=0
/proc/25132/task/25140/stat : 25140 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24716845 889413632 17805 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 890792

[startup+25.5021 s]
/proc/loadavg: 2.00 2.05 2.01 3/85 25140
/proc/meminfo: memFree=1611280/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=1.09
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1310 8855 0 1 5 1 97 6 16 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
[pid=25131] ppid=25118 vsize=5356 CPUtime=0
/proc/25131/stat : 25131 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24716841 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25131/statm: 1339 233 193 169 0 50 0
[pid=25132] ppid=25131 vsize=868680 CPUtime=24.21
/proc/25132/stat : 25132 (java) S 25131 25118 19389 0 -1 0 32779 0 1 0 2393 28 0 0 18 0 9 0 24716841 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25132/statm: 217170 25837 2592 9 0 211647 0
[pid=25132/tid=25133] ppid=25131 vsize=868680 CPUtime=20.85
/proc/25132/task/25133/stat : 25133 (java) R 25131 25118 19389 0 -1 64 4484 0 1 0 2080 5 0 0 25 0 9 0 24716842 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4126991600 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25134] ppid=25131 vsize=868680 CPUtime=3.08
/proc/25132/task/25134/stat : 25134 (java) S 25131 25118 19389 0 -1 64 26082 0 0 0 288 20 0 0 16 0 9 0 24716843 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25135] ppid=25131 vsize=868680 CPUtime=0
/proc/25132/task/25135/stat : 25135 (java) S 25131 25118 19389 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24716843 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25136] ppid=25131 vsize=868680 CPUtime=0
/proc/25132/task/25136/stat : 25136 (java) S 25131 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24716843 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25137] ppid=25131 vsize=868680 CPUtime=0
/proc/25132/task/25137/stat : 25137 (java) S 25131 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24716845 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25138] ppid=25131 vsize=868680 CPUtime=0.24
/proc/25132/task/25138/stat : 25138 (java) S 25131 25118 19389 0 -1 64 1515 0 0 0 23 1 0 0 15 0 9 0 24716845 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25139] ppid=25131 vsize=868680 CPUtime=0
/proc/25132/task/25139/stat : 25139 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24716845 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25132/tid=25140] ppid=25131 vsize=868680 CPUtime=0
/proc/25132/task/25140/stat : 25140 (java) S 25131 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24716845 889528320 25837 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 890904

[startup+51.1028 s]
/proc/loadavg: 2.00 2.05 2.01 3/85 25140
/proc/meminfo: memFree=1525904/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=1.1
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1310 8855 0 1 6 1 97 6 16 0 1 0 24716727 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25118/statm: 4217 1111 409 3 0 796 0
[pid=25131] ppid=25118 vsize=5356 CPUtime=0
/proc/25131/stat : 25131 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24716841 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25131/statm: 1339 233 193 169 0 50 0
[pid=25132] ppid=25131 vsize=868680 CPUtime=49.64
/proc/25132/stat : 25132 (java) S 25131 25118 19389 0 -1 0 33056 0 1 0 4881 83 0 0 18 0 9 0 24716841 889528320 25859 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25132/statm: 217170 25859 2593 9 0 211647 0

################
# More data... #
################

/proc/meminfo: memFree=455200/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=124.9
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1367 43300 0 2 6 2 12159 323 16 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25171] ppid=25118 vsize=5356 CPUtime=0
/proc/25171/stat : 25171 (sh) S 25118 25118 19389 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24729323 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25171/statm: 1339 232 193 169 0 50 0
[pid=25172] ppid=25171 vsize=775444 CPUtime=515.97
/proc/25172/stat : 25172 (picosat) R 25171 25118 19389 0 -1 4194304 184722 0 0 0 43233 8364 0 0 25 0 1 0 24729324 794054656 184697 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 0 0 0
/proc/25172/statm: 193861 184697 42 102 0 193756 0
Current children cumulated CPU time (s) 640.87
Current children cumulated vsize (KiB) 797668

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25172
/proc/meminfo: memFree=455136/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=124.9
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1367 43300 0 2 6 2 12159 323 16 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25171] ppid=25118 vsize=5356 CPUtime=0
/proc/25171/stat : 25171 (sh) S 25118 25118 19389 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24729323 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25171/statm: 1339 232 193 169 0 50 0
[pid=25172] ppid=25171 vsize=775444 CPUtime=575.94
/proc/25172/stat : 25172 (picosat) R 25171 25118 19389 0 -1 4194304 184739 0 0 0 49230 8364 0 0 25 0 1 0 24729324 794054656 184714 996147200 134512640 134931368 4294956256 18446744073709551615 134525698 0 0 4096 0 0 0 0 17 0 0 0
/proc/25172/statm: 193861 184714 42 102 0 193756 0
Current children cumulated CPU time (s) 700.84
Current children cumulated vsize (KiB) 797668

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25172
/proc/meminfo: memFree=455008/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=124.9
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1367 43300 0 2 6 2 12159 323 16 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25171] ppid=25118 vsize=5356 CPUtime=0
/proc/25171/stat : 25171 (sh) S 25118 25118 19389 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24729323 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25171/statm: 1339 232 193 169 0 50 0
[pid=25172] ppid=25171 vsize=775444 CPUtime=635.92
/proc/25172/stat : 25172 (picosat) R 25171 25118 19389 0 -1 4194304 184759 0 0 0 55228 8364 0 0 25 0 1 0 24729324 794054656 184734 996147200 134512640 134931368 4294956256 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 0 0 0
/proc/25172/statm: 193861 184734 42 102 0 193756 0
Current children cumulated CPU time (s) 760.82
Current children cumulated vsize (KiB) 797668

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

[startup+767.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25172
/proc/meminfo: memFree=497952/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=124.9
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1367 43300 0 2 6 2 12159 323 16 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25171] ppid=25118 vsize=5356 CPUtime=0
/proc/25171/stat : 25171 (sh) S 25118 25118 19389 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24729323 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25171/statm: 1339 232 193 169 0 50 0
[pid=25172] ppid=25171 vsize=709908 CPUtime=641.52
/proc/25172/stat : 25172 (picosat) R 25171 25118 19389 0 -1 4194304 184773 0 0 0 55781 8371 0 0 25 0 1 0 24729324 726945792 165619 996147200 134512640 134931368 4294956256 18446744073709551615 134608241 0 0 4096 0 0 0 0 17 0 0 0
/proc/25172/statm: 177477 165619 47 102 0 177372 0
Current children cumulated CPU time (s) 766.42
Current children cumulated vsize (KiB) 732132

[startup+769.502 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 25182
/proc/meminfo: memFree=1153056/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=766.54
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1448 228359 0 2 6 2 67941 8705 15 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25173] ppid=25118 vsize=5356 CPUtime=0
/proc/25173/stat : 25173 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24793527 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25173/statm: 1339 233 193 169 0 50 0
[pid=25174] ppid=25173 vsize=862904 CPUtime=1.47
/proc/25174/stat : 25174 (java) S 25173 25118 19389 0 -1 0 9606 0 1 0 142 5 0 0 19 0 9 0 24793528 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25174/statm: 215726 8858 2157 9 0 210639 0
[pid=25174/tid=25175] ppid=25173 vsize=862904 CPUtime=1.1
/proc/25174/task/25175/stat : 25175 (java) R 25173 25118 19389 0 -1 64 2203 0 1 0 109 1 0 0 25 0 9 0 24793529 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25176] ppid=25173 vsize=862904 CPUtime=0.26
/proc/25174/task/25176/stat : 25176 (java) S 25173 25118 19389 0 -1 64 6208 0 0 0 24 2 0 0 16 0 9 0 24793530 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25177] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25177/stat : 25177 (java) S 25173 25118 19389 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24793530 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25178] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25178/stat : 25178 (java) S 25173 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24793530 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25179] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25179/stat : 25179 (java) S 25173 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24793532 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25180] ppid=25173 vsize=862904 CPUtime=0.08
/proc/25174/task/25180/stat : 25180 (java) S 25173 25118 19389 0 -1 64 499 0 0 0 8 0 0 0 16 0 9 0 24793532 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25181] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25181/stat : 25181 (java) S 25173 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24793532 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25182] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25182/stat : 25182 (java) S 25173 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24793533 883613696 8858 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 768.01
Current children cumulated vsize (KiB) 885128

[startup+770.303 s]
/proc/loadavg: 2.08 2.02 2.01 4/83 25182
/proc/meminfo: memFree=1150816/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=766.54
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1448 228359 0 2 6 2 67941 8705 15 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25173] ppid=25118 vsize=5356 CPUtime=0
/proc/25173/stat : 25173 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24793527 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25173/statm: 1339 233 193 169 0 50 0
[pid=25174] ppid=25173 vsize=862904 CPUtime=2.27
/proc/25174/stat : 25174 (java) S 25173 25118 19389 0 -1 0 9659 0 1 0 221 6 0 0 19 0 9 0 24793528 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25174/statm: 215726 8908 2157 9 0 210639 0
[pid=25174/tid=25175] ppid=25173 vsize=862904 CPUtime=1.9
/proc/25174/task/25175/stat : 25175 (java) R 25173 25118 19389 0 -1 64 2206 0 1 0 188 2 0 0 25 0 9 0 24793529 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4126573075 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25176] ppid=25173 vsize=862904 CPUtime=0.26
/proc/25174/task/25176/stat : 25176 (java) S 25173 25118 19389 0 -1 64 6254 0 0 0 24 2 0 0 16 0 9 0 24793530 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25177] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25177/stat : 25177 (java) S 25173 25118 19389 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24793530 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25178] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25178/stat : 25178 (java) S 25173 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24793530 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25179] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25179/stat : 25179 (java) S 25173 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24793532 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25180] ppid=25173 vsize=862904 CPUtime=0.08
/proc/25174/task/25180/stat : 25180 (java) S 25173 25118 19389 0 -1 64 503 0 0 0 8 0 0 0 16 0 9 0 24793532 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25181] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25181/stat : 25181 (java) S 25173 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24793532 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25182] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25182/stat : 25182 (java) S 25173 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24793533 883613696 8908 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 768.81
Current children cumulated vsize (KiB) 885128

[startup+770.703 s]
/proc/loadavg: 2.08 2.02 2.01 4/83 25182
/proc/meminfo: memFree=1150816/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=766.54
/proc/25118/stat : 25118 (sugar) S 25116 25118 19389 0 -1 4194304 1448 228359 0 2 6 2 67941 8705 15 0 1 0 24716727 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25118/statm: 4217 1115 409 3 0 796 0
[pid=25173] ppid=25118 vsize=5356 CPUtime=0
/proc/25173/stat : 25173 (sh) S 25118 25118 19389 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24793527 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25173/statm: 1339 233 193 169 0 50 0
[pid=25174] ppid=25173 vsize=862904 CPUtime=2.67
/proc/25174/stat : 25174 (java) S 25173 25118 19389 0 -1 0 9758 0 1 0 261 6 0 0 19 0 9 0 24793528 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25174/statm: 215726 9003 2157 9 0 210639 0
[pid=25174/tid=25175] ppid=25173 vsize=862904 CPUtime=2.29
/proc/25174/task/25175/stat : 25175 (java) R 25173 25118 19389 0 -1 64 2211 0 1 0 227 2 0 0 25 0 9 0 24793529 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4126628160 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25176] ppid=25173 vsize=862904 CPUtime=0.26
/proc/25174/task/25176/stat : 25176 (java) S 25173 25118 19389 0 -1 64 6346 0 0 0 24 2 0 0 16 0 9 0 24793530 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25177] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25177/stat : 25177 (java) S 25173 25118 19389 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24793530 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25178] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25178/stat : 25178 (java) S 25173 25118 19389 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24793530 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25179] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25179/stat : 25179 (java) S 25173 25118 19389 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24793532 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25180] ppid=25173 vsize=862904 CPUtime=0.09
/proc/25174/task/25180/stat : 25180 (java) S 25173 25118 19389 0 -1 64 505 0 0 0 9 0 0 0 16 0 9 0 24793532 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25181] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25181/stat : 25181 (java) S 25173 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24793532 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25174/tid=25182] ppid=25173 vsize=862904 CPUtime=0
/proc/25174/task/25182/stat : 25182 (java) S 25173 25118 19389 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24793533 883613696 9003 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 769.21
Current children cumulated vsize (KiB) 885128

[startup+771.107 s]
/proc/loadavg: 2.08 2.02 2.01 2/83 25182
/proc/meminfo: memFree=1150112/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=769.59
/proc/25118/stat : 25118 (sugar) R 25116 25118 19389 0 -1 4194304 1480 238916 0 3 6 9 68231 8713 17 0 1 0 24716727 17272832 1117 996147200 4194304 4206940 548682068608 18446744073709551615 224627758121 0 0 4224 16386 0 0 0 17 0 0 0
/proc/25118/statm: 4217 1117 410 3 0 796 0
Current children cumulated CPU time (s) 769.59
Current children cumulated vsize (KiB) 16868

[startup+771.202 s]
/proc/loadavg: 2.08 2.02 2.01 2/83 25182
/proc/meminfo: memFree=1150112/2055920 swapFree=4192812/4192956
[pid=25118] ppid=25116 vsize=16868 CPUtime=769.69
/proc/25118/stat : 25118 (sugar) R 25116 25118 19389 0 -1 4194304 1480 238916 0 3 6 19 68231 8713 17 0 1 0 24716727 17272832 1117 996147200 4194304 4206940 548682068608 18446744073709551615 224627758121 0 0 4224 16386 0 0 0 17 0 0 0
/proc/25118/statm: 4217 1117 410 3 0 796 0
Current children cumulated CPU time (s) 769.69
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 771.273
CPU time (s): 769.789
CPU user time (s): 682.384
CPU system time (s): 87.4047
CPU usage (%): 99.8076
Max. virtual memory (cumulated for all children) (KiB): 896108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 682.384
system time used= 87.4047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240457
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24167
involuntary context switches= 27865

runsolver used 1.01984 second user time and 2.54661 second system time

The end

Launcher Data 

Begin job on node49 at 2009-07-12 07:29:24
IDJOB=2083049
IDBENCH=57690
IDSOLVER=738
FILE ID=node49/2083049-1247376564
PBS_JOBID= 9506988
Free space on /tmp= 66420 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-4.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083049-1247376564/watcher-2083049-1247376564 -o /tmp/evaluation-result-2083049-1247376564/solver-2083049-1247376564 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2083049-1247376564.xml

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

MD5SUM BENCH= 1196fad89b5a5a4f355ab65ef889a576
RANDOM SEED=190154828

node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1711504 kB
Buffers:         55952 kB
Cached:         183068 kB
SwapCached:          0 kB
Active:         178820 kB
Inactive:       101504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1711504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2492 kB
Writeback:           0 kB
Mapped:          52544 kB
Slab:            49260 kB
Committed_AS:   219668 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB
End job on node49 at 2009-07-12 07:42:15