Trace number 2084082

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
Choco2.1.1 2009-06-10SAT 1798.61 1800.54

DiagnosticValue
CHECKS0
NODES234836

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-10.xml
MD5SUM0c9bd9627ff304e4b5c8ec56755ce638
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 benchmark10.0325
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data 

1798.50/1800.45	s SATISFIABLE
1798.50/1800.45	v -2528 -2616 2312 2488 -2704 -2572 2652 -2112 2528 -2592 2100 -2696 -2224 2280 2628 2512 -2676 2260 -2252 2628 2508 -2608 -2552 2452 -2388 2588 -2156 -2656 2472 -2348 -2488 2192 2148 2624 2204 -2288 -2376 -2588 2680 2444 2288 -2624 2344 -2404 -2636 2312 2448 2560 -2580 -2060 -2028 2612 -2532 -2072 -2640 -2536 2124 2596 2412 2100 -2356 -2192 2436 2108 -2680 2332 2200 -2472 2568 2692 -2560 -2324 -2240 2320 -2300 2164 2096 2364 2456 -2492 2476 -2672 -2692 -2228 2540 2624 -2100 2440 -2072 -2360 -2596 2584 2312 2320 2092 -2668 2628 2576 -2184 2536 -2060 -2604 2564 2272 -2656 -2584 2604 2232 -2344 -2628 -2452 2396 2252 2644 -2528 2024 2628 -2180 -2236 2376 2660 -2248 -2284 2632 -2436 2672 -2664 2216 -2108 2492 2520 -2160 2540 2604 2144 2336 -2516 -2448 2664 2164 -2456 -2140 -2164 2632 -2116 -2496 -2480 -2348 2528 -2264 2488 -2076 2672 -2256 2536 -2332 -2640 -2668 -2628 -2628 -2620 2532 2580 -2556 2688 -2616 -2316 -2564 -2264 2112 2108 -2588 2652 -2212 -2260 -2472 -2348 -2648 -2308 -2576 -2544 2288 2704 2620 2588 -2140 -2232 2616 -2352 -2200 -2352 -2176 2556 2696 -2272 2268 2656 2208 -2616 2088 -2556 2676 -2320 -2380 2536 -2208 -2036 -2140 2632 2372 -2224 -2468 -2236 2512 2224 -2472 -2472 2192 2636 -2036 2400 2220 -2576 2372 -2452 2308 2336 2548 2372 2564 2160 -2440 -2476 -2552 -2656 -2412 -2212 2164 2228 2532 -2452 2220 2524 2208 -2072 2520 2164 -2600 -2304 -2580 2244 -2704 2520 2500 -2648 2232 2488 2608 2332 -2160 2356 -2512 -2672 -2504 -2640 -2564 2484 2088 -2044 -2608 -2696 2692 2516 2060 2612 -2500 -2232 2584 2492 2112 2540 -2444 -2224 2596 2576 2196 -2684 -2592 2372 -2400 2496 -2620 2628 -2208 -2496 -2628 2440 -2556 -2656 2640 -2484 2320 2336 2164 -2552 2508 -2636 -2548 2648 2320 2192 -2500 -2100 -2592 2540 2420 -2344 -2532 -2272 2396 2500 2260 -2568 -2168 -2616 -2592 -2152 -2628 -2540 -2284 2276 -2600 -2292 2648 2320 -2084 2220 -2692 -2636 -2352 2472 -2648 2608 2360 2088 -2500 -2148 -2640 -2212 -2536 -2612 -2632 2580 -2608 -2424 -2444 2084 2420 2712 -2176 2504 2240 2608 2336 2300 -2676 -2680 2580 -2480 -2568 2252 2396 2360 -2408 2632 -2196 2448 2176 2648 -2528 2284 2552 2404 -2620 -2172 -2536 -2208 -2656 2044 2536 2224 -2652 -2200 2572 2324 -2488 -2112 -2544 -2428 2384 -2268 2128 2072 -2216 2184 -2512 -2652 2656 2324 2544 -2692 -2368 -2656 -2656 2532 2524 2020 2452 2308 2620 -2672 -2652 2632 2672 -2632 -2472 2372 2020 2584 2620 -2592 -2180 -2160 -2392 -2536 -2556 2116 -2280 2536 2484 2252 -2512 2184 -2376 2388 2520 2224 2656 2616 2540 2224 2544 2588 -2640 -2192 2360 2580 2600 2268 2524 2548 2332 -2032 2184 2588 2584 -2248 2384 -2640 -2688 2480 -2416 -2512 2636 2088 -2524 2568 2408 -2252 -2680 -2240 2260 -2588 2328 -2412 2076 2524 2108 2500 -2068 -2644 2600 2488 -2672 2328 2436 -2304 2664 2576 -2284 -2244 -2476 2536 2484 2576 -2068 -2212 2592 -2500 -2616 -2060 2332 -2212 2620 -2200 2540 -2348 2368 2380 -2248 -2232 -2088 2484 2268 -2640 2360 2636 -2372 2492 2540 -2376 -2248 -2596 -2068 -2608 2556 -2388 2680 -2544 2360 2588 2284 2584 -2540 -2352 2664 2328 -2548 -2404 -2616 2288 2264 2428 -2644 -2412 -2480 2204 -2604 -2200 -2612 2188 2652 2364 -2596 -2324 2432 -2196 -2304 -2488 -2048 2392 -2268 2292 -2552 2524 2128 -2272 -2232 -2656 -2308 -2124 2184 -2284 -2572 -2396 -2420 2236 -2608 -2652 2620 2060 2540 -2668 2244 2616 2716 -2504 -2332 2220 2316 2228 2656 2648 2072 -2320 -2476 -2516 2248 2496 2660 -2284 2600 -2632 2716 -2536 2380 2460 2028 2280 2500 2676 2564 2628 2032 -2576 2616 2652 2416 -2552 2420 2636 -2656 -2596 2564 2400 2472 -2164 2656 -2148 2576 2616 -2580 -2336 -2344 -2120 -2552 -2560 2212 -2436 -2416 2580 2620 -2668 2596 2216 2572 2436 2328 -2640 2220 -2140 2196 2432 -2164 -2120 -2376 2396 -2020 2304 -2512 -2432 2052 2596 -2072 -2628 2400 -2340 -2616 2528 -2324 2400 -2304 2408 -2400 -2172 2296 2580 2148 -2124 -2716 -2584 2084 -2532 2248 2596 2200 -2660 -2292 -2448 -2048 2316 2628 2380 2556 2300 -2356 2156 2124 -2264 -2264 2240 -2492 2696 2556 2376 2144 -2076 2560 2180 -2684 -2280 -2576 -2296 -2436 2648 2232 -2184 2032 -2452 -2448 2152 -2060 2108 -2544 2496 2492 2512 -2620 2500 2632 -2700 2528 2568 -2284 2296 -2644 -2588 -2520 2596 -2124 2336 2160 -2604 2568 2204 2488 2556 -2260 2616 2604 -2436 -2064 -2120 -2688 -2080 2548 -2128 -2572 -2612 -2020 2656 -2500 -2616 2492 2676 2656 2624 -2596 -2308 -2440 -2512 -2600 2588 -2540 2608 2576 2580 -2456 -2324 2508 2496 -2204 2520 2616 -2624 -2668 2688 -2056 -2260 2596 
1798.50/1800.45	d AC 32
1798.50/1800.45	d RUNTIME 1800.324
1798.50/1800.45	d NODES 234836
1798.50/1800.45	d NODES/s 130
1798.50/1800.45	d BACKTRACKS 2341563
1798.50/1800.45	d BACKTRACKS/s 1301
1798.50/1800.45	d CHECKS 0
1798.50/1800.45	d CHECKS/s 0
1798.50/1800.45	c SAT 1800.324 TIME      234836 NDS    1181 PARSTIME      2784 BUILDPB       1796359 RES       true RESTART       1 HEURISTIC       true RANDVAL

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-2084082-1247378786/watcher-2084082-1247378786 -o /tmp/evaluation-result-2084082-1247378786/solver-2084082-1247378786 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2084082-1247378786.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979 

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.08 2.06 2.03 3/82 26521
/proc/meminfo: memFree=1482648/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=1612 CPUtime=0
/proc/26521/stat : 26521 (java) D 26519 26521 24206 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 24942667 1650688 138 996147200 134512640 134550932 4294956000 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/26521/statm: 404 142 105 9 0 46 0

[startup+0.042771 s]
/proc/loadavg: 2.08 2.06 2.03 3/82 26521
/proc/meminfo: memFree=1482648/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=859892 CPUtime=0.03
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 2268 0 1 0 2 1 0 0 18 0 5 0 24942667 880529408 1853 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 214973 1853 863 9 0 209888 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 859892

[startup+0.103115 s]
/proc/loadavg: 2.08 2.06 2.03 3/82 26521
/proc/meminfo: memFree=1482648/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=864068 CPUtime=0.09
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 3799 0 1 0 7 2 0 0 18 0 9 0 24942667 884805632 3262 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216017 3262 1723 9 0 210485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864068

[startup+0.301138 s]
/proc/loadavg: 2.08 2.06 2.03 3/82 26521
/proc/meminfo: memFree=1482648/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=864992 CPUtime=0.29
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 4770 0 1 0 26 3 0 0 18 0 9 0 24942667 885751808 4195 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216248 4195 1855 9 0 210716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864992

[startup+0.701182 s]
/proc/loadavg: 2.08 2.06 2.03 3/82 26521
/proc/meminfo: memFree=1482648/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=864992 CPUtime=0.68
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 8504 0 1 0 63 5 0 0 18 0 9 0 24942667 885751808 7918 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216248 7918 1896 9 0 210716 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864992

[startup+1.50427 s]
/proc/loadavg: 2.08 2.06 2.03 3/91 26530
/proc/meminfo: memFree=1435984/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865148 CPUtime=1.47
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 19374 0 1 0 137 10 0 0 18 0 9 0 24942667 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216287 18766 1960 9 0 210755 0
[pid=26521/tid=26523] ppid=26519 vsize=865148 CPUtime=1.12
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 14522 0 1 0 104 8 0 0 25 0 9 0 24942669 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865148 CPUtime=0.1
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 3513 0 0 0 9 1 0 0 16 0 9 0 24942670 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865148 CPUtime=0.23
/proc/26521/task/26528/stat : 26528 (java) R 26519 26521 24206 0 -1 64 607 0 0 0 23 0 0 0 15 0 9 0 24942673 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 101529491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 885911552 18766 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 885911552 18766 996147200 134512640 134550932 4294955840 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) 865148

[startup+3.10145 s]
/proc/loadavg: 2.15 2.07 2.03 4/91 26530
/proc/meminfo: memFree=1376784/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865148 CPUtime=3.06
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 33734 0 1 0 289 17 0 0 18 0 9 0 24942667 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216287 33110 1982 9 0 210755 0
[pid=26521/tid=26523] ppid=26519 vsize=865148 CPUtime=2.24
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 14767 0 1 0 216 8 0 0 25 0 9 0 24942669 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 103823641 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865148 CPUtime=0.48
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 17573 0 0 0 42 6 0 0 17 0 9 0 24942670 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865148 CPUtime=0.31
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 662 0 0 0 30 1 0 0 15 0 9 0 24942673 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 885911552 33110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865148 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 885911552 33110 996147200 134512640 134550932 4294955840 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) 865148

[startup+6.30181 s]
/proc/loadavg: 2.15 2.07 2.03 3/91 26530
/proc/meminfo: memFree=1322768/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=6.23
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 38787 0 1 0 603 20 0 0 18 0 9 0 24942667 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 38159 1985 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=5.12
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 14808 0 1 0 504 8 0 0 25 0 9 0 24942669 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=0.66
/proc/26521/task/26524/stat : 26524 (java) R 26519 26521 24206 0 -1 64 22511 0 0 0 58 8 0 0 17 0 9 0 24942670 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 102709373 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.41
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 736 0 0 0 40 1 0 0 15 0 9 0 24942673 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 38159 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 38159 996147200 134512640 134550932 4294955840 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) 865280

[startup+12.7015 s]
/proc/loadavg: 2.13 2.07 2.03 3/91 26530
/proc/meminfo: memFree=1209488/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=12.57
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 68192 0 1 0 1225 32 0 0 18 0 9 0 24942667 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 67562 1985 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=11.2
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 14811 0 1 0 1112 8 0 0 25 0 9 0 24942669 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4127507415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=0.91
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 51912 0 0 0 71 20 0 0 16 0 9 0 24942670 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.41
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 737 0 0 0 40 1 0 0 16 0 9 0 24942673 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 67562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 67562 996147200 134512640 134550932 4294955840 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) 865280

[startup+25.503 s]
/proc/loadavg: 2.11 2.07 2.03 3/91 26530
/proc/meminfo: memFree=1074192/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=25.24
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 78776 0 1 0 2487 37 0 0 18 0 9 0 24942667 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 78136 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=23.72
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 14838 0 1 0 2363 9 0 0 25 0 9 0 24942669 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4127531031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=0.99
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 62428 0 0 0 74 25 0 0 16 0 9 0 24942670 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.5
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 778 0 0 0 48 2 0 0 16 0 9 0 24942673 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 78136 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 78136 996147200 134512640 134550932 4294955840 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) 865280

[startup+51.1028 s]
/proc/loadavg: 2.15 2.07 2.03 3/91 26530
/proc/meminfo: memFree=975248/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=50.61
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80176 0 1 0 5020 41 0 0 18 0 9 0 24942667 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79526 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=49.05
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 14849 0 1 0 4893 12 0 0 25 0 9 0 24942669 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4127286178 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.01
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63806 0 0 0 75 26 0 0 16 0 9 0 24942670 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 17 0 9 0 24942673 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79526 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.44
Current children cumulated vsize (KiB) 865280

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=1780.41
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80455 0 1 0 177644 397 0 0 18 0 9 0 24942667 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79654 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=1778.6
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 15000 0 1 0 177494 366 0 0 25 0 9 0 24942669 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4127530695 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.26
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63934 0 0 0 99 27 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (KiB) 865280

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=1790.01
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80456 0 1 0 178602 399 0 0 18 0 9 0 24942667 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79654 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=1788.21
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 15001 0 1 0 178452 369 0 0 25 0 9 0 24942669 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4127260827 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.26
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63934 0 0 0 99 27 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1790.01
Current children cumulated vsize (KiB) 865280

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=1793.21
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80456 0 1 0 178921 400 0 0 18 0 9 0 24942667 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79654 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=1791.4
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 15001 0 1 0 178770 370 0 0 25 0 9 0 24942669 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.26
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63934 0 0 0 99 27 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 865280

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=1796.4
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80457 0 1 0 179239 401 0 0 18 0 9 0 24942667 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79654 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=1794.59
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 15002 0 1 0 179088 371 0 0 25 0 9 0 24942669 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4127529729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.26
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63934 0 0 0 99 27 0 0 17 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 865280

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=1798
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80457 0 1 0 179398 402 0 0 18 0 9 0 24942667 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79654 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=1796.19
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 15002 0 1 0 179247 372 0 0 25 0 9 0 24942669 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.26
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63934 0 0 0 99 27 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 865280

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=865280 CPUtime=1798.41
/proc/26521/stat : 26521 (java) S 26519 26521 24206 0 -1 0 80457 0 1 0 179438 403 0 0 18 0 9 0 24942667 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26521/statm: 216320 79654 1990 9 0 210788 0
[pid=26521/tid=26523] ppid=26519 vsize=865280 CPUtime=1796.59
/proc/26521/task/26523/stat : 26523 (java) R 26519 26521 24206 0 -1 64 15002 0 1 0 179287 372 0 0 25 0 9 0 24942669 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26524] ppid=26519 vsize=865280 CPUtime=1.26
/proc/26521/task/26524/stat : 26524 (java) S 26519 26521 24206 0 -1 64 63934 0 0 0 99 27 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26521/tid=26525] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26525/stat : 26525 (java) S 26519 26521 24206 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26526] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26526/stat : 26526 (java) S 26519 26521 24206 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942670 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26527] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26527/stat : 26527 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26528] ppid=26519 vsize=865280 CPUtime=0.52
/proc/26521/task/26528/stat : 26528 (java) S 26519 26521 24206 0 -1 64 789 0 0 0 50 2 0 0 16 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26529] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26529/stat : 26529 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26521/tid=26530] ppid=26519 vsize=865280 CPUtime=0
/proc/26521/task/26530/stat : 26530 (java) S 26519 26521 24206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942673 886046720 79654 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 865280

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 26559
/proc/meminfo: memFree=1400928/2055920 swapFree=4192812/4192956
[pid=26521] ppid=26519 vsize=0 CPUtime=1798.57
/proc/26521/stat : 26521 (java) Z 26519 26521 24206 0 -1 12 80479 0 1 0 179453 404 0 0 16 0 2 0 24942667 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26521/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.54
CPU time (s): 1798.61
CPU user time (s): 1794.53
CPU system time (s): 4.08038
CPU usage (%): 99.8928
Max. virtual memory (cumulated for all children) (KiB): 865280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 4.08038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80479
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= 40548
involuntary context switches= 17535

runsolver used 2.6096 second user time and 5.58715 second system time

The end

Launcher Data 

Begin job on node38 at 2009-07-12 08:06:26
IDJOB=2084082
IDBENCH=58032
IDSOLVER=737
FILE ID=node38/2084082-1247378786
PBS_JOBID= 9507127
Free space on /tmp= 66432 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-10.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084082-1247378786/watcher-2084082-1247378786 -o /tmp/evaluation-result-2084082-1247378786/solver-2084082-1247378786 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2084082-1247378786.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979

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

MD5SUM BENCH= 0c9bd9627ff304e4b5c8ec56755ce638
RANDOM SEED=1713998084

node38.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.229
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.229
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:       1483128 kB
Buffers:         51572 kB
Cached:         201116 kB
SwapCached:          0 kB
Active:         386952 kB
Inactive:       110208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1483128 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3764 kB
Writeback:           0 kB
Mapped:         264928 kB
Slab:            60424 kB
Committed_AS:   463200 kB
PageTables:       2372 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= 66440 MiB
End job on node38 at 2009-07-12 08:36:27