Trace number 201051

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, and are wall clock time (not CPU 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
CSP4J - Combo 2006-12-19SAT 1728.37 1731.84

DiagnosticValue
NODES3472

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-6.xml
MD5SUM7d741b27b4b5681d00dbaf2b3dd555a0
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 benchmark20.2259
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data (download as text)

1731.71	v 2548 2432 2516 2640 2640 -2424 -2336 2488 -2388 2492 2636 2564 2512 -2516 2380 -2520 2464 2396 2468 -2312 2600 2408 -2328 -2640 -2392 2504 -2612 2592 -2504 -2628 -2336 2320 -2420 2392 2408 -2288 2592 -2280 -2292 -2320 2600 2380 -2456 2472 -2280 2448 2548 -2556 -2280 2552 2408 2320 2280 2360 2348 2280 -2328 2320 -2608 2392 -2308 -2640 2552 2576 2532 2596 2344 2460 2568 -2524 -2304 2404 -2296 2320 2528 2600 -2280 -2316 2600 -2280 2512 -2336 -2352 -2384 2568 2564 2516 2608 2404 2320 2288 2344 -2316 2400 2280 -2600 -2416 -2444 -2620 -2364 -2344 2348 -2300 2504 -2292 2320 -2356 2600 -2552 2584 2608 -2280 -2320 -2332 -2392 -2488 -2316 -2324 -2624 2320 2484 -2628 2592 2588 2640 2308 2640 -2352 2284 -2280 2320 -2436 -2460 2628 -2528 -2620 -2640 -2640 2412 2348 -2524 2424 2592 -2304 2612 -2396 2320 -2428 2500 2464 2360 -2320 2320 -2320 -2288 2596 2484 2404 -2596 2324 -2280 2432 -2320 2516 -2280 2524 2400 -2560 -2616 2404 2588 -2352 -2520 2440 -2280 2588 -2364 -2640 2572 2556 2392 -2452 2320 2336 -2336 2384 2620 -2292 2296 -2336 2616 2568 -2600 2416 -2300 2564 -2584 2540 -2480 2516 -2556 -2332 -2388 2600 -2640 -2596 -2552 -2320 -2600 -2384 2508 -2284 2300 -2280 2372 2320 2340 2524 2296 2528 -2640 2480 -2528 2344 2388 -2428 2412 -2640 -2568 2496 -2320 2340 -2320 -2584 2336 -2412 -2588 -2640 2600 -2552 2320 2628 -2400 2340 2460 2444 2568 2320 -2324 2640 2600 -2472 -2328 -2300 2300 2556 2548 2348 -2312 -2600 -2600 2340 2576 -2600 -2640 -2332 -2376 2516 -2452 2384 2424 2280 2524 -2440 -2320 2632 -2280 2452 2508 2356 -2640 -2376 -2604 2600 -2320 2404 -2388 2328 2288 2332 2520 -2596 2296 -2360 2280 2380 2636 -2452 2320 -2600 2496 2488 2444 2592 -2640 2292 -2288 -2388 2432 2600 -2420 -2640 2416 2324 2640 -2348 2504 -2280 2320 2480 2320 2600 -2564 2496 -2320 2488 2520 -2516 2404 2584 2316 2640 -2568 2320 -2452 2400 2388 2296 2624 2424 -2524 2428 -2280 -2340 2384 2340 2496 -2360 2380 -2568 2356 2632 -2640 2312 2372 -2280 2504 -2320 -2556 2452 -2624 2320 2332 2400 2280 -2280 2320 -2372 2596 2512 2336 2288 -2528 2280 -2576 -2392 -2476 -2392 -2320 -2460 -2640 2564 -2280 -2296 2384 -2332 2320 -2640 -2628 -2640 2320 2456 2516 2528 -2320 -2576 -2320 -2420 -2632 2340 2556 -2600 2408 2320 2372 2424 2316 -2640 -2404 2380 -2448 2304 2320 2420 2640 -2368 2396 2472 2368 2524 2328 -2376 -2320 -2516 2600 2600 -2628 -2552 2596 -2520 -2640 2596 -2356 2368 -2280 -2472 -2320 2640 -2348 2328 -2280 -2336 -2600 2420 2300 -2528 -2584 -2516 2436 -2636 -2320 2432 -2592 2532 2388 2584 -2416 2608 -2408 2288 -2352 2600 -2564 -2280 2300 2544 -2280 2344 2476 -2620 2280 2452 2360 2536 -2320 -2440 2576 2320 -2556 2424 2520 2444 2400 -2320 -2288 -2640 2608 -2468 -2464 -2372 -2600 2288 2288 -2280 -2628 2568 -2548 2456 2328 2640 2600 -2440 -2408 -2280 2280 -2336 -2612 2572 2340 2640 -2476 -2332 -2436 2428 2320 2412 2640 2600 -2640 2432 2456 2332 2384 -2528 -2392 -2336 2480 -2584 2600 -2320 -2520 2624 2640 2448 -2424 -2572 2416 2620 -2280 -2432 2496 2436 -2600 2464 2460 -2640 -2640 2320 -2592 -2616 -2300 2320 -2376 2280 -2528 2328 -2640 -2316 -2472 -2320 -2376 2296 -2472 2564 -2340 2320 2636 -2404 -2512 2540 -2612 2528 -2596 2488 2288 2540 -2600 2452 2444 -2552 2548 2364 -2484 -2324 2388 -2600 2420 2640 2572 -2444 2636 -2280 -2324 -2396 -2640 2536 2624 -2448 2628 2588 2344 2504 2552 2640 -2504 2572 2320 2528 2344 2320 -2428 2624 2568 2300 2356 -2596 2340 -2528 2388 2376 -2600 2640 -2496 2532 2416 2596 2320 -2348 2420 2380 2452 -2288 2332 2588 -2368 2372 -2600 2280 -2392 2600 -2624 2376 -2424 -2640 -2280 2320 -2340 -2284 2476 -2340 2352 2352 -2280 2344 -2544 2476 -2540 2612 2356 -2492 -2284 2356 -2540 -2388 2500 2280 2592 2492 -2476 2472 -2636 -2568 -2280 2628 2320 2432 -2640 2280 2432 2596 2436 2284 2536 -2280 2632 -2308 2368 -2480 2536 -2556 -2280 -2640 2572 2632 2328 2320 -2304 -2484 2304 2372 -2284 -2392 2292 2612 2620 -2476 2548 -2420 2288 -2340 2316 2300 -2404 2452 -2280 2380 2396 -2640 2384 -2280 2476 -2548 -2632 -2516 2540 -2388 -2336 2320 2448 -2532 2640 -2512 2332 2364 -2556 -2572 -2488 -2412 2300 2484 2624 2288 2400 -2468 2584 2600 2560 2496 2344 2532 2456 -2640 -2444 -2496 2560 -2600 2632 -2544 2600 2316 2328 2576 2628 2596 -2444 -2640 2372 -2292 -2368 2280 2424 2596 -2640 2500 -2572 2400 2620 -2384 2580 -2280 2348 2356 -2448 2488 2296 2360 -2280 2460 2280 -2280 2640 -2280 -2488 2600 -2280 2316 2572 2448 -2476 -2344 2440 2500 -2600 2320 2320 2484 2624 2372 -2308 2440 -2564 -2580 -2288 2292 2404 2632 -2640 -2536 -2432 -2624 -2568 2580 2488 2324 2320 2556 2320 2628 2568 -2300 2564 -2388 2360 2284 -2280 2600 -2428 -2480 2312 2552 -2568 2556 -2380 2636 -2640 -2436 2544 -2464 2280 -2584 -2456 2428 2600 2336 -2320 2332 2420 2508 -2328 2308 2480 2360 2480 -2320 -2308 2576 -2328 2344 2332 2320 -2544 -2568 2300 -2444 -2628 -2544 2284 -2332 -2412 2288 -2640 2320 2332 2432 2496 -2520 -2592 2540 2460 2640 2468 -2620 -2292 -2312 -2340 2280 -2536 -2640 2364 2616 -2640 2608 -2288 2600 2472 -2524 -2640 -2640 2528 -2404 -2364 -2540 -2280 -2280 -2600 -2548 2312 2560 -2600 -2320 2588 -2320 2320 -2460 2292 -2292 2552 -2280 2600 -2448 2404 2488 2436 2500 2484 -2600 -2496 2280 -2280 2640 2628 -2416 2464 2640 2640 2580 2500 2412 2640 2284 2504 -2600 -2640 2320 -2364 2412 2280 -2412 2368 -2528 -2360 -2548 -2292 2600 -2572 2564 2380 2592 -2336 -2580 2320 2320 2600 2444 -2460 2592 -2568 -2372 2296 2288 2348 -2548 2556 -2308 2352 -2640 -2444 -2412 2528 -2340 -2336 2348 -2420 2324 -2536 -2600 -2384 2468 -2540 -2312 2416 -2600 2336 -2484 -2324 2572 2444 2440 -2640 2372 2376 -2532 -2364 2560 2280 2380 2576 2280 -2320 2536 -2580 -2588 2328 2596 2640 -2280 2328 -2316 2404 2576 -2428 2592 2280 -2444 2356 -2428 2360 2600 -2568 2452 -2552 2392 -2280 2408 -2348 -2344 -2600 2280 2452 2356 2592 2492 2348 2284 2568 2444 2320 -2328 2508 -2280 -2632 2304 2288 2496 -2288 2280 2424 -2612 -2356 -2404 -2504 2536 -2388 -2464 -2640 2324 2600 2340 -2388 2320 2448 -2336 2504 2600 2324 -2332 2384 -2320 2496 -2580 2640 2360 -2324 2580 -2376 2600 2616 2356 -2640 2600 2616 -2600 -2432 -2352 2576 -2560 -2600 2416 -2320 2640 2600 -2600 -2592 -2424 -2584 2332 2428 -2388 -2308 2600 2320 2420 2312 -2556 -2320 -2424 2480 -2516 2516 -2320 2448 2320 -2524 -2464 2500 2584 2640 -2592 2484 2328 2600 -2588 -2344 -2460 -2640 -2324 -2408 2600 -2416 -2392 2600 2420 -2600 2584 -2464 2440 -2424 -2548 -2324 -2336 2504 -2380 -2288 2488 2508 2592 -2476 -2476 2460 -2576 2316 -2360 -2580 2416 2476 2280 -2296 2436 2300 -2536 2612 2444 -2600 -2528 -2508 2320 2620 2576 2384 2436 -2620 2328 2544 -2308 2640 2352 2320 2400 2608 -2340 -2280 2320 -2412 -2504 2356 2512 2340 2528 -2436 2444 -2340 2320 2492 2480 -2640 2444 -2456 -2384 2508 -2320 2384 2328 -2340 -2632 2280 2472 -2640 2580 -2448 -2448 -2584 -2320 -2376 2444 -2632 -2568 2564 -2280 2404 2584 2524 2280 2584 2540 -2400 2600 -2488 -2636 -2416 -2436 2516 -2640 -2384 2320 2580 2320 2456 -2280 2556 2588 -2412 2532 2500 2376 -2600 2320 2288 2596 -2488 -2600 2388 2384 2280 2464 2640 2368 2540 2584 -2320 2640 2280 -2404 -2640 -2328 2320 -2280 2320 -2344 2640 -2400 2280 -2528 -2580 2320 -2572 2636 2488 -2396 2364 2360 2344 2440 2556 -2584 2440 2592 -2528 2624 2548 -2508 -2616 2308 2404 -2444 2528 2336 2600 2564 -2296 2280 -2352 -2288 2300 -2376 2320 2308 2424 -2640 2556 -2532 2352 -2640 2600 -2640 -2600 -2640 2600 2576 -2600 2320 2600 -2312 -2632 -2620 -2336 2604 2368 2596 -2636 -2640 2324 -2404 -2320 -2320 2432 -2640 -2408 -2412 -2320 2400 2516 2572 -2408 -2604 2612 -2340 2280 2292 -2540 2600 2616 -2396 -2552 -2280 2556 2428 -2464 -2640 2492 2396 2612 -2392 -2324 -2308 -2280 2600 -2568 2308 2548 -2544 2368 -2292 -2484 -2464 -2400 2404 -2280 2320 2336 -2448 2588 2320 2416 2600 -2392 -2516 -2352 -2428 -2612 -2460 2312 -2500 -2600 -2524 2604 2624 2504 -2352 2456 -2440 2456 2416 2336 -2444 2320 2536 -2500 2440 -2536 2408 2356 -2380 2280 -2388 2624 -2392 -2508 -2640 2320 -2556 -2328 2288 -2392 2548 -2640 2640 -2528 -2412 2396 -2608 -2512 -2564 2336 2436 -2280 -2464 -2372 -2512 -2328 2300 -2352 -2356 2476 -2640 2392 2308 2320 2600 -2376 2320 2324 2640 -2480 -2620 -2340 -2624 -2572 2572 2528 2628 -2624 -2356 -2280 2640 -2280 2632 2320 2280 2416 -2420 2376 2448 2620 2320 2328 -2412 -2420 -2548 -2500 2600 -2548 2500 2540 -2480 2340 2320 2320 -2320 -2280 2524 2596 -2464 2544 -2304 -2352 -2600 -2324 2572 2632 2616 2640 2292 -2600 2348 -2592 2600 2536 2280 -2472 2576 -2600 2312 2548 -2516 2556 2428 -2384 -2612 -2352 2344 -2512 2448 2568 -2380 -2280 2552 2452 2600 -2424 2604 2600 2284 -2640 -2280 -2320 -2336 2572 -2600 -2572 -2408 -2620 2320 2280 -2320 -2456 -2328 2332 -2440 -2280 -2320 2376 2436 2600 2304 -2384 -2308 2612 -2428 2496 2280 2336 2428 -2428 2640 2504 -2320 2380 2300 -2640 2360 2480 -2428 2612 -2564 -2424 2544 -2356 -2556 -2568 2568 -2364 2604 -2492 -2504 2444 2620 -2332 -2600 2616 2600 2504 -2492 -2356 -2280 2592 -2508 -2640 -2420 2368 2372 -2576 -2508 2356 -2532 -2364 2584 2628 2320 2548 -2396 2396 2580 2336 2624 2592 2640 -2476 -2640 -2400 2496 2320 -2528 2324 2436 2612 2568 2640 -2528 -2396 2536 2280 -2548 -2348 2596 2392 -2340 -2544 2600 2588 2320 -2508 2336 -2468 -2320 2516 -2452 2320 -2300 2536 -2348 -2280 -2304 2600 2328 2528 2348 2600 2332 2632 -2560 -2280 2440 2600 2600 -2332 2496 2600 2464 2620 -2600 2320 2280 2640 2552 -2404 -2360 2436 2568 2372 2556 -2320 2608 -2488 2600 -2344 -2388 -2388 2540 -2280 -2304 2408 -2376 2364 2496 -2280 -2500 2372 -2436 2380 2640 2640 2588 -2600 -2280 -2608 2588 2320 2332 2504 2488 -2280 -2456 2588 -2400 -2332 2292 -2640 2476 -2396 2440 2396 2488 -2576 -2584 2600 2464 -2280 -2640 2640 2524 2548 2640 -2280 2572 -2304 -2352 -2468 -2600 2296 2520 2640 -2280 -2640 2300 -2344 -2416 -2280 -2324 -2408 2600 2320 2368 2436 2280 2320 -2560 -2536 2420 2320 -2376 -2320 2640 2280 2296 2312 2296 2516 2528 2320 2640 2400 -2280 2280 -2596 2424 -2280 2324 2640 -2352 -2640 -2584 -2304 2524 2304 -2600 2316 -2472 2344 2348 2516 -2444 -2280 -2280 -2604 -2280 2584 -2568 -2328 2320 2476 -2328 -2316 2284 2332 2360 2320 2460 -2304 2600 2364 -2292 2520 -2612 -2484 -2628 2600 -2608 2592 2296 -2388 2308 -2512 -2284 2468 2564 -2392 2600 -2380 2636 -2552 -2464 2396 2600 -2300 2588 -2328 -2500 -2300 2332 -2392 -2632 2320 -2564 -2352 2492 -2600 -2280 -2564 -2280 2600 2508 2280 -2352 2484 2588 2396 -2296 2392 2600 -2452 -2636 2532 -2312 2300 -2328 2600 -2536 2592 2472 -2568 2320 2496 2408 -2408 -2364 -2588 -2352 -2340 -2416 -2308 -2544 -2640 -2580 -2364 -2280 2280 2372 -2344 -2488 -2624 2328 2320 -2280 2448 2436 2568 -2348 -2340 2564 2592 -2356 2532 2348 2600 2320 -2396 -2304 2484 -2336 2600 2600 2524 -2624 2352 -2320 2320 2360 2600 2580 2416 2396 -2324 2640 -2604 2504 2400 2600 2640 -2356 -2500 -2600 -2488 2592 2292 -2324 -2640 -2404 -2568 -2480 2404 2596 -2640 2404 2544 -2412 2588 -2420 2436 2472 2540 2388 -2320 -2280 -2492 2280 -2280 -2588 -2640 -2344 -2612 2360 -2320 -2480 2564 -2424 2444 2532 2528 2468 2548 2616 2312 2464 2548 2472 2396 -2428 2336 -2320 -2640 2388 -2324 -2600 2560 -2600 -2600 2600 2556 2584 -2640 -2424 2296 2280 -2592 -2404 2588 -2528 -2528 -2584 2568 2532 -2456 -2540 2472 -2288 -2640 2544 -2356 2348 -2640 -2388 -2328 2600 2320 2488 -2572 2280 2616 2544 -2600 2440 2308 2320 -2380 2640 -2512 2496 2580 2480 2596 2292 2640 -2448 -2520 2356 2500 -2440 -2296 2588 2288 -2568 -2280 -2504 2480 2480 2380 -2536 -2388 -2412 2484 -2280 2320 -2280 -2512 -2320 -2460 -2600 -2320 -2388 -2368 -2600 2284 -2640 -2564 2500 -2588 2612 2344 -2280 2440 2280 2524 2600 -2600 -2592 -2640 -2460 2300 2408 2600 2640 2588 2364 -2392 2376 -2508 -2640 2284 2428 2320 2424 2464 -2300 2496 -2636 2592 2320 2280 2600 2320 2432 2376 -2592 2440 2624 2596 2384 -2420 -2404 2524 2560 -2580 2448 2600 2568 -2640 -2588 2396 2320 -2280 -2284 -2544 2552 2340 2376 2336 2580 -2488 -2328 2348 -2284 2280 -2592 -2640 -2384 -2552 2640 -2416 -2524 2332 -2464 2356 -2320 2588 -2600 2320 2516 2348 2540 -2440 -2300 -2280 2640 2376 -2424 2368 2364 2600 2320 -2592 -2320 -2320 -2640 -2380 -2484 -2288 2400 2600 2480 2576 2392 2424 -2316 -2640 2320 2600 2448 -2336 2280 -2360 -2404 2456 2448 2340 -2420 2600 -2424 -2376 2596 2496 2616 -2292 2412 -2340 -2516 -2492 -2320 2540 -2540 -2520 -2280 2576 2408 2556 -2352 -2280 2616 -2340 -2448 -2280 -2600 2336 -2376 2376 -2376 -2640 2384 -2548 2308 2412 -2516 -2376 -2300 -2440 2500 -2572 2572 -2352 -2504 -2396 2428 2280 2524 -2324 2532 2632 2428 -2496 2452 -2580 2576 2500 -2544 2512 -2344 2332 2328 2320 -2280 2600 -2284 -2552 2340 2584 -2416 2328 2460 -2448 -2484 2472 2600 2640 2608 2600 -2624 2464 2288 -2516 2280 2372 -2280 2640 -2524 2588 -2320 2440 -2480 2316 2488 2356 2624 2396 -2332 -2584 2352 -2496 2460 2500 2292 2320 -2468 2472 2320 -2536 2400 -2412 2580 -2296 -2332 2348 -2336 -2600 2580 2564 2516 -2280 -2504 -2588 2356 -2480 -2400 2464 -2280 2280 -2576 -2292 -2436 2476 -2608 -2540 -2580 2524 -2544 2480 2324 2364 2476 2584 -2588 -2612 -2536 -2280 2328 -2440 -2372 -2376 -2584 -2280 -2364 2584 2568 2468 -2320 2396 2600 2476 -2408 2280 -2280 2568 -2568 -2608 2400 2368 2580 -2540 -2456 2432 -2524 2280 2600 -2352 2292 2320 2636 -2428 2496 2356 -2348 -2280 2544 -2544 2632 -2640 -2408 -2540 2284 2512 -2340 -2640 -2436 2280 -2340 -2620 -2640 -2572 2472 -2600 -2640 2580 2344 2456 2500 2352 2320 2596 2600 2632 2344 -2484 -2584 -2476 -2492 2520 2348 -2352 -2380 -2444 -2352 -2596 2480 -2640 -2484 2600 -2448 -2340 2300 2508 2376 2608 -2320 -2280 2320 -2364 2420 2588 -2352 -2392 -2440 2480 -2384 2288 -2576 -2392 -2428 -2376 2420 -2352 2400 -2588 2328 -2388 -2320 2440 2600 -2536 -2492 -2572 -2404 2512 2512 2348 -2348 2280 -2480 2544 -2528 2320 -2320 2424 2424 2328 -2472 -2576 2572 2640 2592 -2640 -2304 2600 -2356 2280 2376 2448 -2404 -2364 2280 2624 -2324 -2292 -2540 -2344 -2320 2280 2600 -2420 2632 -2440 -2320 -2516 -2476 2632 2320 -2280 2336 2576 2600 -2320 -2316 -2388 -2332 2280 2600 -2456 2332 2416 -2584 -2408 2296 2348 -2576 -2600 2500 -2508 2320 2564 2320 2320 -2328 -2400 -2640 2424 2364 2368 -2384 -2640 2340 -2300 -2280 2320 -2564 -2456 -2332 2416 -2572 -2572 2380 -2400 -2580 -2348 2584 -2524 2280 -2640 2280 -2408 2564 2352 -2500 2340 2580 -2640 2632 -2324 -2280 -2640 2616 2472 -2356 2280 2392 2500 2368 -2280 2516 -2460 2408 -2580 -2464 2612 -2280 2344 -2556 2620 -2336 -2280 2504 2640 -2580 2336 -2320 2564 -2548 -2376 -2620 2604 -2336 2516 -2584 -2560 2500 2404 -2544 2356 -2408 2320 2320 -2332 -2320 -2320 -2372 2280 -2500 2280 -2524 -2548 -2520 2348 2428 2464 2340 2580 2312 -2280 2320 -2532 2516 2424 2280 -2472 2348 -2640 -2320 2512 -2320 -2540 -2640 2480 -2640 2320 2300 -2280 -2320 -2392 -2520 2600 -2504 -2600 2588 -2476 2600 -2332 2284 2612 2320 2548 -2472 -2464 2380 -2316 -2464 -2640 2488 2600 2280 2500 2584 2456 -2588 2464 -2552 2512 2500 2364 -2308 -2280 2480 -2608 -2360 -2640 2432 2592 2584 -2280 2516 -2300 2432 -2580 2476 2332 2344 2428 2452 -2556 2324 2556 2636 2332 2380 2320 2600 2320 -2280 -2552 2580 2600 -2344 2528 2388 -2316 2512 -2640 2556 2556 2296 -2576 -2508 2492 -2304 2320 -2572 -2348 2528 2364 2320 2332 2556 2280 -2604 -2444 2452 -2328 -2308 -2500 -2508 -2416 -2348 -2300 2496 -2452 2368 2320 -2532 2360 2356 2324 -2316 2600 -2308 -2356 2440 2628 -2540 -2392 -2564 2392 2600 -2320 -2640 2476 -2432 2468 2600 -2572 -2320 -2600 2484 -2600 -2304 2456 -2296 2588 -2328 -2552 2432 2508 2408 -2468 2404 -2304 -2576 -2280 2292 2600 -2280 2480 2280 2548 2360 -2628 2600 2620 2568 -2464 2600 2280 -2348 -2572 2624 -2280 2500 2320 2356 2348 2596 -2328 2344 2504 -2548 -2640 -2388 2600 2600 2492 -2608 -2556 -2560 2592 -2600 2512 2548 2640 -2420 2404 -2356 2456 2488 2496 -2480 -2516 -2600 -2500 2556 2460 -2324 2568 -2324 -2640 2432 -2320 -2600 2592 2444 -2596 2540 -2280 2592 -2448 2280 2404 2588 2580 2452 2332 2320 -2280 2280 2320 -2536 2404 2464 2412 -2328 2292 2640 -2640 2476 2280 2640 -2468 2596 -2444 -2460 -2568 -2388 -2384 -2556 -2288 -2428 2584 -2640 2440 2620 -2412 -2280 -2288 2580 -2520 2356 2640 2332 -2432 2600 2336 2532 2640 -2304 -2540 2320 2628 2284 2312 2584 2436 -2368 -2492 2320 2320 2520 2364 2376 2568 2360 -2508 2612 -2336 -2320 -2284 -2280 -2480 -2376 -2452 -2336 -2448 -2432 -2284 2300 -2640 2424 2504 -2404 2620 -2396 -2588 2628 2308 -2292 2616 2620 2280 2452 2368 -2376 2320 -2280 2388 -2320 2340 2372 2492 -2352 -2640 -2424 -2316 2288 2572 -2280 2364 -2280 -2600 2600 2520 2628 2284 2320 2576 2508 -2428 -2600 -2540 2628 -2280 -2404 2608 -2548 -2524 -2384 2600 -2640 2320 2452 -2640 2428 2520 2340 -2324 -2432 2604 2544 2396 
1731.72	s SATISFIABLE
1731.72	d NODES 3472

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-201051-1168144899 -o ROOT/results/node33/solver-201051-1168144899 -C 1800 -M 900 /tmp/evaluation/201051-1168144899/cspfj.sh -solver Combo -competition /tmp/evaluation/201051-1168144899/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 1.88 1.35 1.55 3/81 31071
/proc/meminfo: memFree=1636128/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 269 0 0 0 0 0 0 0 19 0 1 0 162883757 5480448 228 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824298578 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/31069/statm: 1338 228 191 169 0 49 0
[pid=31071] ppid=31069 vsize=5352 CPUtime=0
/proc/31071/stat : 31071 (cspfj.sh) R 31069 31069 30849 0 -1 4194368 25 0 0 0 0 0 0 0 22 0 1 0 162883758 5480448 233 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824129831 0 0 4096 0 0 0 0 17 1 0 0
/proc/31071/statm: 1338 233 195 169 0 49 0

[startup+0.103717 s]
/proc/loadavg: 1.88 1.35 1.55 3/81 31071
/proc/meminfo: memFree=1636128/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512802 s]
/proc/loadavg: 1.88 1.35 1.55 3/81 31071
/proc/meminfo: memFree=1636128/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.3344 s]
/proc/loadavg: 1.89 1.36 1.55 3/88 31079
/proc/meminfo: memFree=1558376/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=865668 CPUtime=1.3
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 8944 0 1 0 123 7 0 0 25 0 8 0 162883758 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31072/statm: 216417 8620 1828 14 0 203679 0
[pid=31072/tid=31073] ppid=31069 vsize=865668 CPUtime=0.22
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 4754 0 0 0 19 3 0 0 16 0 8 0 162883762 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31074] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883762 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31075] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 162883762 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31076] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=865668 CPUtime=0.18
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 456 0 0 0 17 1 0 0 15 0 8 0 162883765 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883765 886444032 8620 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 871020

[startup+2.98431 s]
/proc/loadavg: 1.89 1.36 1.55 3/88 31079
/proc/meminfo: memFree=1544872/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=865668 CPUtime=2.94
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 12584 0 1 0 280 14 0 0 25 0 8 0 162883758 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31072/statm: 216417 12238 1828 14 0 203679 0
[pid=31072/tid=31073] ppid=31069 vsize=865668 CPUtime=0.36
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 7753 0 0 0 33 3 0 0 16 0 8 0 162883762 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31074] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883762 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31075] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 162883762 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31076] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=865668 CPUtime=0.28
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 516 0 0 0 27 1 0 0 15 0 8 0 162883765 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=865668 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883765 886444032 12238 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871020

[startup+6.18797 s]
/proc/loadavg: 1.90 1.37 1.56 3/88 31079
/proc/meminfo: memFree=1516400/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=865920 CPUtime=6.13
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 19023 0 1 0 588 25 0 0 25 0 8 0 162883758 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155092029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31072/statm: 216480 18652 1828 14 0 203742 0
[pid=31072/tid=31073] ppid=31069 vsize=865920 CPUtime=0.66
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 13130 0 0 0 61 5 0 0 16 0 8 0 162883762 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31074] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883762 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31075] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 162883762 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31076] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=865920 CPUtime=0.34
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 538 0 0 0 33 1 0 0 17 0 8 0 162883765 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883765 886702080 18652 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 871272

[startup+12.6873 s]
/proc/loadavg: 1.90 1.38 1.56 3/88 31079
/proc/meminfo: memFree=1469496/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=865920 CPUtime=12.59
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 28894 0 1 0 1218 41 0 0 25 0 8 0 162883758 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073876400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31072/statm: 216480 28499 1828 14 0 203742 0
[pid=31072/tid=31073] ppid=31069 vsize=865920 CPUtime=1.23
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 21437 0 0 0 115 8 0 0 16 0 8 0 162883762 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31074] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883762 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31075] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 162883762 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31076] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=865920 CPUtime=0.34
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 539 0 0 0 33 1 0 0 16 0 8 0 162883765 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=865920 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883765 886702080 28499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 871272

[startup+25.58 s]
/proc/loadavg: 1.92 1.40 1.56 3/88 31079
/proc/meminfo: memFree=1412216/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=867596 CPUtime=25.42
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 42886 0 1 0 2476 66 0 0 25 0 8 0 162883758 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154526334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31072/statm: 216899 42462 1828 14 0 204161 0
[pid=31072/tid=31073] ppid=31069 vsize=867596 CPUtime=2.23
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 33387 0 0 0 211 12 0 0 17 0 8 0 162883762 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31074] ppid=31069 vsize=867596 CPUtime=0
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883762 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31075] ppid=31069 vsize=867596 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 162883762 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31076] ppid=31069 vsize=867596 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=867596 CPUtime=0.34
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 539 0 0 0 33 1 0 0 16 0 8 0 162883765 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=867596 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=867596 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 888418304 42462 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 872948

[startup+51.2363 s]
/proc/loadavg: 2.02 1.47 1.58 3/88 31079
/proc/meminfo: memFree=1318328/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=868448 CPUtime=50.95
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 63765 0 1 0 4993 102 0 0 25 0 8 0 162883758 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073736332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31072/statm: 217112 61958 1828 14 0 204374 0
[pid=31072/tid=31073] ppid=31069 vsize=868448 CPUtime=3.92
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 50604 0 0 0 373 19 0 0 16 0 8 0 162883762 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31074] ppid=31069 vsize=868448 CPUtime=0
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883762 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31075] ppid=31069 vsize=868448 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 162883762 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31076] ppid=31069 vsize=868448 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=868448 CPUtime=0.34
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 539 0 0 0 33 1 0 0 16 0 8 0 162883765 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=868448 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=868448 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 889290752 61958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 873800

[startup+102.532 s]
/proc/loadavg: 2.07 1.57 1.60 3/88 31079
/proc/meminfo: memFree=1195192/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=870432 CPUtime=102

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

[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 173242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 173242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 173242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 173242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 173242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 173242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1359.97
Current children cumulated vsize (KiB) 892572

[startup+1423.06 s]
/proc/loadavg: 2.02 2.04 1.91 3/83 31379
/proc/meminfo: memFree=843856/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=887220 CPUtime=1419.91
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 314489 0 1 0 141588 403 0 0 25 0 8 0 162883758 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072925640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31072/statm: 221805 175166 1834 14 0 209067 0
[pid=31072/tid=31073] ppid=31069 vsize=887220 CPUtime=16.17
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 146324 0 0 0 1561 56 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1419.91
Current children cumulated vsize (KiB) 892572

[startup+1483.15 s]
/proc/loadavg: 2.01 2.03 1.91 3/83 31379
/proc/meminfo: memFree=843856/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=887220 CPUtime=1479.93
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 314489 0 1 0 147589 404 0 0 25 0 8 0 162883758 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072941211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31072/statm: 221805 175166 1834 14 0 209067 0
[pid=31072/tid=31073] ppid=31069 vsize=887220 CPUtime=16.17
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 146324 0 0 0 1561 56 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.93
Current children cumulated vsize (KiB) 892572

[startup+1543.24 s]
/proc/loadavg: 2.00 2.02 1.91 3/83 31379
/proc/meminfo: memFree=843856/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=887220 CPUtime=1539.97
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 314489 0 1 0 153593 404 0 0 25 0 8 0 162883758 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072933363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31072/statm: 221805 175166 1834 14 0 209067 0
[pid=31072/tid=31073] ppid=31069 vsize=887220 CPUtime=16.17
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 146324 0 0 0 1561 56 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.97
Current children cumulated vsize (KiB) 892572

[startup+1603.33 s]
/proc/loadavg: 2.00 2.01 1.91 3/83 31379
/proc/meminfo: memFree=843864/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=887220 CPUtime=1600.01
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 314490 0 1 0 159596 405 0 0 25 0 8 0 162883758 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072926795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31072/statm: 221805 175166 1834 14 0 209067 0
[pid=31072/tid=31073] ppid=31069 vsize=887220 CPUtime=16.22
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 146324 0 0 0 1566 56 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 175166 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.01
Current children cumulated vsize (KiB) 892572

[startup+1663.42 s]
/proc/loadavg: 2.00 2.01 1.91 3/83 31379
/proc/meminfo: memFree=843800/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=887220 CPUtime=1660.02
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 314493 0 1 0 165596 406 0 0 25 0 8 0 162883758 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072941220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31072/statm: 221805 175169 1834 14 0 209067 0
[pid=31072/tid=31073] ppid=31069 vsize=887220 CPUtime=16.22
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 146324 0 0 0 1566 56 0 0 16 0 8 0 162883762 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 175169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.02
Current children cumulated vsize (KiB) 892572

[startup+1723.52 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 31379
/proc/meminfo: memFree=843800/2055920 swapFree=4192224/4192956
[pid=31069] ppid=31067 vsize=5352 CPUtime=0
/proc/31069/stat : 31069 (cspfj.sh) S 31067 31069 30849 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 162883757 5480448 240 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31069/statm: 1338 240 201 169 0 49 0
[pid=31072] ppid=31069 vsize=887220 CPUtime=1720.07
/proc/31072/stat : 31072 (java) R 31069 31069 30849 0 -1 0 314505 0 1 0 171596 411 0 0 25 0 8 0 162883758 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072921047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31072/statm: 221805 175180 1834 14 0 209067 0
[pid=31072/tid=31073] ppid=31069 vsize=887220 CPUtime=16.26
/proc/31072/task/31073/stat : 31073 (java) S 31069 31069 30849 0 -1 64 146324 0 0 0 1570 56 0 0 16 0 8 0 162883762 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31074] ppid=31069 vsize=887220 CPUtime=0.02
/proc/31072/task/31074/stat : 31074 (java) S 31069 31069 30849 0 -1 64 11 0 0 0 2 0 0 0 17 0 8 0 162883762 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31075] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31075/stat : 31075 (java) S 31069 31069 30849 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162883762 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31072/tid=31076] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31076/stat : 31076 (java) S 31069 31069 30849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162883765 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31077] ppid=31069 vsize=887220 CPUtime=14.33
/proc/31072/task/31077/stat : 31077 (java) S 31069 31069 30849 0 -1 64 11137 0 0 0 1366 67 0 0 15 0 8 0 162883765 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31078] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31078/stat : 31078 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 162883765 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31072/tid=31079] ppid=31069 vsize=887220 CPUtime=0
/proc/31072/task/31079/stat : 31079 (java) S 31069 31069 30849 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162883765 908513280 175180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.07
Current children cumulated vsize (KiB) 892572

Child status: 0
Real time (s): 1731.84
CPU time (s): 1728.37
CPU user time (s): 1724.05
CPU system time (s): 4.31734
CPU usage (%): 99.7999
Max. virtual memory (cumulated for all children) (KiB): 894396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.05
system time used= 4.31734
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315003
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= 86173
involuntary context switches= 93915

runsolver used 2.24066 s user time and 5.48717 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sun Jan  7 04:41:39 UTC 2007


IDJOB= 201051
IDBENCH= 3741
FILE ID= node33/201051-1168144899

PBS_JOBID= 3478135

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
COMMAND LINE= /tmp/evaluation/201051-1168144899/cspfj.sh -solver Combo -competition /tmp/evaluation/201051-1168144899/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-201051-1168144899 -o ROOT/results/node33/solver-201051-1168144899 -C 1800 -M 900  /tmp/evaluation/201051-1168144899/cspfj.sh -solver Combo -competition /tmp/evaluation/201051-1168144899/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  7d741b27b4b5681d00dbaf2b3dd555a0

RANDOM SEED= 978044987

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.281
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.281
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:       1640520 kB
Buffers:         21608 kB
Cached:         279728 kB
SwapCached:        448 kB
Active:          91768 kB
Inactive:       257452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1640520 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:           11020 kB
Writeback:           0 kB
Mapped:          66448 kB
Slab:            51592 kB
Committed_AS:  3692248 kB
PageTables:       1868 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= 66546 MiB



End job on node33 on Sun Jan  7 05:10:31 UTC 2007