Trace number 204539

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 403.109 407.604

DiagnosticValue
NODES381

General information on the benchmark

Namefapp/fapp16-20/fapp19/
fapp19-0350-10.xml
MD5SUMefcc4d2e7eafdee2bd6f851900d6931f
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 benchmark5.82511
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables350
Number of constraints5873
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5873
Global constraints used (with number of constraints)

Solver Data (download as text)

407.47	v 2640 2640 -2604 2162 2168 -2370 -2920 -2312 2120 2564 2534 2686 2160 -2680 2174 -2428 2588 2640 2520 -2340 2142 2368 2368 -2220 2368 -2518 -2680 2402 -2604 2368 -2660 -2806 2646 2564 -2564 2440 2880 2564 2408 2564 -2220 -2214 -2228 2578 -2260 -2530 2374 2368 2408 2170 2408 2434 2616 -2408 2368 -2430 -2160 2660 2582 2128 2160 2870 2562 -2490 -2680 2648 -2220 2890 2414 -2920 -2604 -2584 2544 2780 -2408 -2260 2368 2220 -2408 -2220 -2604 2694 2564 2472 2120 2260 2604 2640 2686 2548 2320 -2220 2582 2408 2160 -2680 2640 -2220 2640 -2220 -2120 -2368 -2604 -2208 -2512 -2640 -2220 -2312 -2604 2470 -2710 2564 2260 2368 -2368 2802 2680 -2604 -2426 2352 -2260 2694 2740 -2272 -2222 -2640 2538 -2474 2368 2544 2910 -2680 2734 2168 2708 2466 -2564 -2680 2738 2408 -2604 2504 2408 2564 2254 -2388 2220 2700 2408 2368 -2260 -2920 -2588 -2124 -2880 2362 -2260 2880 2564 2522 -2280 2762 2182 2564 2846 2514 -2368 -2604 -2734 2880 -2408 2608 -2746 -2260 -2260 -2604 -2696 2640 -2474 2840 2410 -2260 2214 -2370 2670 2120 2700 2168 2180 -2130 -2604 -2680 2640 -2482 2402 -2280 2640 2920 2408 2328 -2604 -2220 2552 -2220 2468 -2850 2260 2320 2368 2576 -2280 -2400 2640 2408 -2182 2278 2640 2266 -2268 -2680 -2680 2446 2368 2120 -2680 -2680 -2680 -2368 2560 -2466 2240 2362 2670 -2220 -2604 -2554 2122 -2260 -2120 -2852 2710 2368 2892 2520 -2220 -2920 -2680 2646 -2404 -2680 -2220 2594 2186 -2880 2408 2564 2380 2260 2564 2622 -2226 -2680 2494 2776 -2408 -2238 2920 -2408 2408 2640 -2368 2348 -2478 -2478 2522 -2680 2368 2564 -2220 2640 2254 -2920 -2208 2166 2778 2260 2426 -2214 2368 2560 2524 -2766 2564 2640 -2920 -2548 -2444 2408 -2680 2880 2542 2736 -2220 2160 2164 2542 2330 2126 2880 -2120 2564 2736 2680 2368 -2604 -2320 2640 -2360 2748 2880 2518 -2260 -2604 -2406 2640 2514 2880 -2880 2640 2408 2408 2408 2432 2640 2706 2474 -2680 -2502 -2260 2160 2806 2450 2564 -2368 -2146 -2368 -2160 -2920 2330 2328 
407.48	s SATISFIABLE
407.48	d NODES 381

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/node12/watcher-204539-1168166084 -o ROOT/results/node12/solver-204539-1168166084 -C 1800 -M 900 /tmp/evaluation/204539-1168166084/cspfj.sh -solver Combo -competition /tmp/evaluation/204539-1168166084/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: 2.62 2.23 2.04 4/97 27215
/proc/meminfo: memFree=637952/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=18540 CPUtime=0
/proc/27214/stat : 27214 (runsolver) R 27212 27214 26160 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 165003600 18984960 279 18446744073709551615 4194304 4267372 548682069024 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27214/statm: 4635 279 244 17 0 2626 0

[startup+0.10849 s]
/proc/loadavg: 2.62 2.23 2.04 4/97 27215
/proc/meminfo: memFree=637952/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.516558 s]
/proc/loadavg: 2.62 2.23 2.04 4/97 27215
/proc/meminfo: memFree=637952/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33771 s]
/proc/loadavg: 2.73 2.26 2.05 5/105 27224
/proc/meminfo: memFree=612480/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=865344 CPUtime=1.29
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 10123 0 1 0 120 9 0 0 25 0 8 0 165003601 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154527810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216336 9808 1828 14 0 203598 0
[pid=27217/tid=27218] ppid=27214 vsize=865344 CPUtime=0.28
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 5818 0 0 0 26 2 0 0 16 0 8 0 165003605 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=865344 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=865344 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=865344 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=865344 CPUtime=0.19
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 418 0 0 0 18 1 0 0 15 0 8 0 165003608 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=865344 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=865344 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 886112256 9808 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 870696

[startup+2.98701 s]
/proc/loadavg: 2.73 2.26 2.05 5/105 27224
/proc/meminfo: memFree=568576/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=865756 CPUtime=2.92
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 23949 0 1 0 273 19 0 0 25 0 8 0 165003601 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216439 23615 1828 14 0 203701 0
[pid=27217/tid=27218] ppid=27214 vsize=865756 CPUtime=0.98
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 18475 0 0 0 88 10 0 0 16 0 8 0 165003605 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=865756 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=865756 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=865756 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=865756 CPUtime=0.28
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 533 0 0 0 27 1 0 0 15 0 8 0 165003608 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=865756 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=865756 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 886534144 23615 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 871108

[startup+6.21059 s]
/proc/loadavg: 2.73 2.26 2.05 5/105 27224
/proc/meminfo: memFree=438592/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=865992 CPUtime=6.11
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 51875 0 1 0 573 38 0 0 25 0 8 0 165003601 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073579708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216498 51525 1828 14 0 203760 0
[pid=27217/tid=27218] ppid=27214 vsize=865992 CPUtime=2.23
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 45057 0 0 0 202 21 0 0 16 0 8 0 165003605 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=865992 CPUtime=0.36
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 559 0 0 0 34 2 0 0 15 0 8 0 165003608 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 886775808 51525 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 871344

[startup+12.6117 s]
/proc/loadavg: 2.92 2.31 2.07 4/105 27224
/proc/meminfo: memFree=225792/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=865992 CPUtime=12.45
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 104925 0 1 0 1169 76 0 0 25 0 8 0 165003601 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155519985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216498 104563 1828 14 0 203760 0
[pid=27217/tid=27218] ppid=27214 vsize=865992 CPUtime=4.13
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 93793 0 0 0 367 46 0 0 16 0 8 0 165003605 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=865992 CPUtime=0.36
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 561 0 0 0 34 2 0 0 15 0 8 0 165003608 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 886775808 104563 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 871344

[startup+25.486 s]
/proc/loadavg: 2.93 2.34 2.08 4/105 27224
/proc/meminfo: memFree=134720/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=865992 CPUtime=25.21
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 127663 0 1 0 2428 93 0 0 25 0 8 0 165003601 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074200370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216498 127296 1833 14 0 203760 0
[pid=27217/tid=27218] ppid=27214 vsize=865992 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=865992 CPUtime=0.55
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 666 0 0 0 53 2 0 0 15 0 8 0 165003608 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 886775808 127296 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 871344

[startup+51.1009 s]
/proc/loadavg: 2.96 2.40 2.10 4/105 27224
/proc/meminfo: memFree=133952/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=865992 CPUtime=50.56
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 127865 0 1 0 4961 95 0 0 25 0 8 0 165003601 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216498 127498 1833 14 0 203760 0
[pid=27217/tid=27218] ppid=27214 vsize=865992 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=865992 CPUtime=0.9
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 868 0 0 0 86 4 0 0 15 0 8 0 165003608 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=865992 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 886775808 127498 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 871344

[startup+102.373 s]
/proc/loadavg: 2.49 2.36 2.10 3/105 27224
/proc/meminfo: memFree=131392/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=866652 CPUtime=101.32
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 128473 0 1 0 10032 100 0 0 25 0 8 0 165003601 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074206494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216663 128106 1833 14 0 203925 0
[pid=27217/tid=27218] ppid=27214 vsize=866652 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=866652 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=866652 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=866652 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=866652 CPUtime=1.61
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 1469 0 0 0 154 7 0 0 15 0 8 0 165003608 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=866652 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=866652 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 887451648 128106 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 872004

[startup+162.467 s]
/proc/loadavg: 2.25 2.31 2.10 3/105 27224
/proc/meminfo: memFree=128448/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=867708 CPUtime=160.81
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 129203 0 1 0 15977 104 0 0 25 0 8 0 165003601 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4079105803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 216927 128836 1833 14 0 204189 0
[pid=27217/tid=27218] ppid=27214 vsize=867708 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=867708 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=867708 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=867708 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=867708 CPUtime=2.43
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 2189 0 0 0 233 10 0 0 15 0 8 0 165003608 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=867708 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=867708 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 888532992 128836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 873060

[startup+222.493 s]
/proc/loadavg: 2.09 2.25 2.09 3/105 27224
/proc/meminfo: memFree=125632/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=868632 CPUtime=220.17
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 129919 0 1 0 21906 111 0 0 25 0 8 0 165003601 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4081050550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 217158 129552 1833 14 0 204420 0
[pid=27217/tid=27218] ppid=27214 vsize=868632 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=868632 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=868632 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=868632 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=868632 CPUtime=3.24
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 2897 0 0 0 309 15 0 0 16 0 8 0 165003608 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=868632 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=868632 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 889479168 129552 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 873984

[startup+282.538 s]
/proc/loadavg: 2.17 2.24 2.09 3/105 27224
/proc/meminfo: memFree=122816/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=869564 CPUtime=279.51
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 130633 0 1 0 27836 115 0 0 25 0 8 0 165003601 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074200351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 217391 130266 1833 14 0 204653 0
[pid=27217/tid=27218] ppid=27214 vsize=869564 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=869564 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=869564 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=869564 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=869564 CPUtime=4.06
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 3602 0 0 0 388 18 0 0 15 0 8 0 165003608 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=869564 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=869564 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 890433536 130266 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.51
Current children cumulated vsize (KiB) 874916

[startup+342.584 s]
/proc/loadavg: 2.06 2.19 2.09 3/105 27224
/proc/meminfo: memFree=119872/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=870488 CPUtime=338.86
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 131380 0 1 0 33766 120 0 0 25 0 8 0 165003601 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074206087 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 217622 131013 1833 14 0 204884 0
[pid=27217/tid=27218] ppid=27214 vsize=870488 CPUtime=4.51
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 116084 0 0 0 393 58 0 0 16 0 8 0 165003605 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=870488 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=870488 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165003605 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=870488 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=870488 CPUtime=4.93
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 4338 0 0 0 471 22 0 0 15 0 8 0 165003608 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=870488 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=870488 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 891379712 131013 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 338.86
Current children cumulated vsize (KiB) 875840

[startup+402.639 s]
/proc/loadavg: 2.02 2.15 2.08 3/105 27224
/proc/meminfo: memFree=95552/2055920 swapFree=4160348/4192956
[pid=27214] ppid=27212 vsize=5352 CPUtime=0
/proc/27214/stat : 27214 (cspfj.sh) S 27212 27214 26160 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 165003600 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27214/statm: 1338 240 201 169 0 49 0
[pid=27217] ppid=27214 vsize=871408 CPUtime=398.25
/proc/27217/stat : 27217 (java) R 27214 27214 26160 0 -1 0 137482 0 1 0 39700 125 0 0 25 0 8 0 165003601 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4086067574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27217/statm: 217852 137038 1833 14 0 205114 0
[pid=27217/tid=27218] ppid=27214 vsize=871408 CPUtime=6.36
/proc/27217/task/27218/stat : 27218 (java) S 27214 27214 26160 0 -1 64 121762 0 0 0 575 61 0 0 16 0 8 0 165003605 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27219] ppid=27214 vsize=871408 CPUtime=0
/proc/27217/task/27219/stat : 27219 (java) S 27214 27214 26160 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165003605 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27220] ppid=27214 vsize=871408 CPUtime=0
/proc/27217/task/27220/stat : 27220 (java) S 27214 27214 26160 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165003605 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27221] ppid=27214 vsize=871408 CPUtime=0
/proc/27217/task/27221/stat : 27221 (java) S 27214 27214 26160 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 165003608 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27222] ppid=27214 vsize=871408 CPUtime=5.38
/proc/27217/task/27222/stat : 27222 (java) S 27214 27214 26160 0 -1 64 4720 0 0 0 514 24 0 0 15 0 8 0 165003608 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27223] ppid=27214 vsize=871408 CPUtime=0
/proc/27217/task/27223/stat : 27223 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165003608 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27217/tid=27224] ppid=27214 vsize=871408 CPUtime=0
/proc/27217/task/27224/stat : 27224 (java) S 27214 27214 26160 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165003608 892321792 137038 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.25
Current children cumulated vsize (KiB) 876760

Child status: 0
Real time (s): 407.604
CPU time (s): 403.109
CPU user time (s): 401.696
CPU system time (s): 1.41279
CPU usage (%): 98.8973
Max. virtual memory (cumulated for all children) (KiB): 877756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 401.696
system time used= 1.41278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145141
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= 28281
involuntary context switches= 44928

runsolver used 0.605907 s user time and 1.53477 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sun Jan  7 10:34:46 UTC 2007


IDJOB= 204539
IDBENCH= 4039
FILE ID= node12/204539-1168166084

PBS_JOBID= 3478328

Free space on /tmp= 66319 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
COMMAND LINE= /tmp/evaluation/204539-1168166084/cspfj.sh -solver Combo -competition /tmp/evaluation/204539-1168166084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-204539-1168166084 -o ROOT/results/node12/solver-204539-1168166084 -C 1800 -M 900  /tmp/evaluation/204539-1168166084/cspfj.sh -solver Combo -competition /tmp/evaluation/204539-1168166084/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  efcc4d2e7eafdee2bd6f851900d6931f

RANDOM SEED= 35528587

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.265
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.265
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:        638432 kB
Buffers:         54248 kB
Cached:         518072 kB
SwapCached:       4660 kB
Active:         852836 kB
Inactive:       488736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        638432 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            1064 kB
Writeback:           0 kB
Mapped:         789460 kB
Slab:            59376 kB
Committed_AS:  5252244 kB
PageTables:       3584 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= 66319 MiB



End job on node12 on Sun Jan  7 10:41:33 UTC 2007