Trace number 1087635

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete + CSP4J - WMC Engine 2008-05-30SAT 78.3161 79.085

DiagnosticValue
CHECKS21014000
NODES1674

General information on the benchmark

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

Solver Data (download as text)

70.41/71.18	c CPU-LOAD 58.97
70.41/71.18	c LOADED 800 V (350 E), 8975 ExtensionConstraint2D, arity 2, 58.97 cpu
78.14/79.00	v 2568 2564 -2168 2572 2668 -2548 -2568 2096 -2612 2664 2452 -2656 -2220 2312 2616 -2532 -2696 2204 -2168 -2616 2540 -2516 2600 2304 -2492 -2576 2060 2512 2512 -2600 2572 -2168 2152 2660 2220 -2272 2040 2644 2640 2460 -2216 -2592 -2244 2712 2656 2328 2404 -2488 2560 -2464 -2056 2568 2508 -2020 2620 2292 2264 -2584 -2308 -2104 -2372 -2172 -2452 2236 -2648 -2340 2168 2476 -2488 2688 2524 -2268 2224 2352 2396 2136 -2352 -2492 -2612 2244 -2616 -2688 2716 2212 2532 -2552 2044 -2612 2132 -2304 2660 2608 2360 2424 -2128 -2644 2604 -2716 2320 2624 2068 -2644 2712 2212 2620 -2528 2608 -2252 2372 2644 2616 -2492 2200 -2704 -2576 2120 2620 -2068 2224 -2344 -2620 2508 2296 2664 -2452 -2644 -2620 2184 2260 2548 2580 2252 -2580 2672 2164 2280 -2584 -2660 -2632 2304 2304 -2144 -2068 2624 2100 -2572 2540 2284 -2576 2340 2616 2072 -2704 -2156 -2520 -2356 -2688 2656 -2704 2512 -2600 -2284 -2632 -2560 2648 2576 -2312 2568 2352 2220 -2124 -2600 2676 -2188 2260 2428 -2532 2660 -2280 -2488 2480 -2092 2660 2488 -2592 -2344 -2260 -2656 2320 -2120 -2440 -2204 -2572 -2660 -2360 -2456 2624 2204 2512 2276 -2564 -2704 2292 2452 2540 -2220 -2032 2028 2636 2396 -2172 2476 2052 -2628 2148 2516 -2496 2220 -2620 2156 -2424 2164 -2580 2304 -2112 2268 -2360 -2580 2396 -2540 -2308 -2384 -2640 2684 -2664 -2656 -2160 -2080 2224 -2564 -2484 -2164 2536 -2336 -2236 2528 -2188 2472 -2280 2692 -2228 -2704 2492 2556 -2656 2204 -2552 -2528 2344 2208 -2352 -2644 2104 -2624 -2624 -2560 2428 2064 2080 2620 2700 2700 2512 -2084 2600 2528 -2208 2592 -2680 -2172 2504 -2488 2300 2684 -2580 -2184 -2684 2576 -2388 -2476 -2584 2652 2640 2200 -2480 -2684 -2508 2600 2660 2600 2448 -2344 -2384 -2180 -2616 2584 2644 2532 2676 2208 2244 2556 2304 -2584 -2516 -2492 -2320 2532 -2288 2332 -2572 -2436 2640 -2160 -2624 -2596 2128 2616 -2488 -2188 -2280 2640 -2300 2688 -2400 -2020 2260 2676 2640 -2400 -2068 2396 -2652 -2464 -2120 -2556 -2196 2512 -2176 -2676 2640 -2552 -2640 2680 -2352 2672 2080 -2204 2064 2404 2540 -2372 -2680 -2080 -2360 -2396 2664 -2540 2516 2644 2232 2508 -2440 2472 2624 -2092 2512 -2144 -2640 2532 -2312 -2560 -2420 2620 -2264 -2580 -2272 -2472 -2120 2528 2296 -2648 -2412 2608 2372 2608 2276 -2620 2500 -2312 -2308 2096 -2124 2444 -2124 2456 -2640 -2656 2320 2580 2676 2252 -2652 -2648 2588 -2560 2048 2484 2496 -2660 2592 2716 -2684 2676 2636 2572 2364 -2028 -2580 -2656 2640 2204 2124 2400 -2580 -2640 2200 -2288 -2540 -2492 -2136 2476 2260 -2316 -2460 2564 -2220 2660 2608 -2540 2176 -2568 -2684 -2652 -2200 2436 2580 -2580 -2360 2468 -2624 -2400 -2164 -2132 -2588 2620 2232 2412 -2600 2696 -2532 -2396 2472 -2664 2060 -2532 -2556 2364 -2136 -2648 -2248 2220 -2620 -2256 -2348 2160 -2528 2112 -2544 -2220 2604 -2628 -2588 -2644 -2212 2468 2392 2664 -2540 -2308 2256 2416 -2500 -2500 2540 2244 -2272 2640 -2492 -2604 -2548 -2356 -2224 2592 2184 2516 2320 -2308 2432 2376 -2320 -2136 -2520 2252 2688 -2296 2656 2304 -2444 -2544 2320 -2232 -2604 -2096 2656 2676 2560 2664 -2552 -2332 -2576 2344 2592 -2612 2128 -2628 2132 2552 -2532 2632 2468 -2216 -2516 -2620 2264 2716 -2040 -2580 -2292 2496 2184 -2716 2412 -2648 -2380 -2516 -2264 -2284 2528 -2020 2440 2292 2176 2572 -2540 2024 -2168 -2160 2616 2400 2028 2260 -2420 2604 -2440 2376 -2224 2436 2536 -2436 -2412 2544 -2656 -2272 -2472 2712 2520 2324 2292 -2332 -2252 -2672 -2612 -2136 2304 2472 2504 -2260 2540 2664 2328 2600 -2648 2676 -2500 2164 -2412 -2204 -2248 2504 2716 -2568 2616 2172 2620 -2692 2660 2360 -2588 2472 -2608 2656 2600 -2576 -2336 -2576 -2328 2656 2024 -2664 2616 -2580 2104 -2344 2268 -2600 2588 -2208 2600 2276 -2616 -2536 2472 2600 2164 -2492 -2376 2348 2624 2360 -2440 2212 -2536 -2136 2164 -2352 2412 -2588 -2296 -2520 2468 -2168 2616 -2212 -2628 2400 2320 2584 -2512 2304 2548 -2304 2424 2572 2228 -2116 -2476 2164 2176 2356 2580 2040 2640 -2164 -2612 2180 -2528 2360 -2488 -2080 -2320 2624 2336 -2624 2220 2292 2252 -2060 -2256 2256 2160 -2524 2696 2624 -2436 -2360 2116 2640 -2400 -2664 2344 -2604 -2320 2576 -2640 -2212 -2188 -2060 2348 2464 2260 2088 -2064 -2664 2264 -2072 -2028 -2600 -2372 -2684 2704 -2628 -2536 2280 2144 2644 2664 -2676 -2640 2176 2392 2220 -2600 -2616 2228 -2700 -2544 2252 -2624 -2660 -2400 2080 2520 -2636 2560 -2500 2316 2600 2528 -2504 2644 2504 2620 2344 2672 -2616 -2620 2600 2244 -2440 2532 2612 -2660 2516 -2604 2616 2496 2400 -2368 -2492 -2252 -2288 -2476 -2616 2568 -2664 -2600 -2312 2320 -2636 
78.14/79.00	s SATISFIABLE
78.14/79.00	d NODES 1674
78.14/79.00	d CHECKS 21014023
78.24/79.00	c gac3-effective-revisions: 7
78.24/79.00	c gac3-useless-revisions: 17969
78.24/79.00	c local-minima: 169
78.24/79.00	c prepro-constraint-ccks: 0
78.24/79.00	c prepro-constraint-presenceccks: 0
78.24/79.00	c prepro-cpu: 0.26000002
78.24/79.00	c prepro-matrix2d-ccks: 3275261
78.24/79.00	c prepro-matrix2d-presenceccks: 2834620
78.24/79.00	c prepro-removed: 240
78.24/79.00	c total-assgn: 1674
78.24/79.00	c total-constraint-ccks: 16443861
78.24/79.00	c total-constraint-presence-ccks: 0
78.24/79.00	c total-cpu: 6.81
78.24/79.00	c total-matrix2d-ccks: 4570162
78.24/79.00	c total-matrix2d-presence-ccks: 5666320
78.24/79.00	c tuples: 0
78.24/79.00	c tuples-collisions: 0
78.24/79.00	c TOTAL-NODES 1674
78.24/79.00	c TOTAL-CPU 6.81

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087635-1215245041/watcher-1087635-1215245041 -o /tmp/evaluation-result-1087635-1215245041/solver-1087635-1215245041 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1087635-1215245041.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.03 2.01 4/72 22132
/proc/meminfo: memFree=1779080/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 647437721 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 231493828690 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/22132/statm: 1339 230 191 169 0 50 0
[pid=22133] ppid=22132 vsize=172 CPUtime=0
/proc/22133/stat : 22133 (dirname) R 22132 22132 19348 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 647437722 176128 22 996147200 4194304 4208292 548682069008 18446744073709551615 231491041324 0 0 4096 0 0 0 0 17 1 0 0
/proc/22133/statm: 43 22 16 3 0 3 0

[startup+0.067952 s]
/proc/loadavg: 2.06 2.03 2.01 4/72 22132
/proc/meminfo: memFree=1779080/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101961 s]
/proc/loadavg: 2.06 2.03 2.01 4/72 22132
/proc/meminfo: memFree=1779080/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301988 s]
/proc/loadavg: 2.06 2.03 2.01 4/72 22132
/proc/meminfo: memFree=1779080/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701045 s]
/proc/loadavg: 2.06 2.03 2.01 4/72 22132
/proc/meminfo: memFree=1779080/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50216 s]
/proc/loadavg: 2.06 2.03 2.01 3/82 22143
/proc/meminfo: memFree=1766776/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=844372 CPUtime=1.46
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 6886 0 1 0 141 5 0 0 22 0 9 0 647437722 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 211093 5997 2575 9 0 205654 0
[pid=22135/tid=22136] ppid=22132 vsize=844372 CPUtime=1.13
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 3423 0 1 0 111 2 0 0 25 0 9 0 647437723 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4126077397 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=844372 CPUtime=0.14
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 2200 0 0 0 13 1 0 0 16 0 9 0 647437724 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 647437725 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=844372 CPUtime=0.15
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 647437727 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 864636928 5997 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849728

[startup+3.1024 s]
/proc/loadavg: 2.14 2.05 2.01 3/82 22143
/proc/meminfo: memFree=1763512/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=844372 CPUtime=3.06
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 7681 0 1 0 299 7 0 0 22 0 9 0 647437722 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 211093 6648 2575 9 0 205654 0
[pid=22135/tid=22136] ppid=22132 vsize=844372 CPUtime=2.59
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 3567 0 1 0 256 3 0 0 25 0 9 0 647437723 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=844372 CPUtime=0.28
/proc/22135/task/22137/stat : 22137 (java) R 22132 22132 19348 0 -1 64 2851 0 0 0 26 2 0 0 16 0 9 0 647437724 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 103736067 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 647437725 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=844372 CPUtime=0.15
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 647437727 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 864636928 6648 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 849728

[startup+6.30187 s]
/proc/loadavg: 2.14 2.05 2.01 3/82 22143
/proc/meminfo: memFree=1759544/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=844372 CPUtime=6.22
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 8675 0 1 0 613 9 0 0 22 0 9 0 647437722 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 211093 7399 2575 9 0 205654 0
[pid=22135/tid=22136] ppid=22132 vsize=844372 CPUtime=5.53
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 3810 0 1 0 550 3 0 0 25 0 9 0 647437723 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4125947658 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=844372 CPUtime=0.5
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 3602 0 0 0 46 4 0 0 16 0 9 0 647437724 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 647437725 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=844372 CPUtime=0.15
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 531 0 0 0 15 0 0 0 16 0 9 0 647437727 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=844372 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 864636928 7399 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 849728

[startup+12.7032 s]
/proc/loadavg: 2.12 2.05 2.01 3/83 22144
/proc/meminfo: memFree=1740144/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=12.56
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 15119 0 1 0 1239 17 0 0 22 0 10 0 647437722 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 12164 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=10.69
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 4498 0 1 0 1063 6 0 0 25 0 10 0 647437723 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=1.17
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 7568 0 0 0 110 7 0 0 16 0 10 0 647437724 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 647437725 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 9 0 0 0 0 0 0 0 16 0 10 0 647437725 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647437727 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=0.67
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 2315 0 0 0 65 2 0 0 15 0 10 0 647437727 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 647437727 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 647437727 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22144] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22144/stat : 22144 (java) S 22132 22132 19348 0 -1 64 3 0 0 0 0 0 0 0 16 0 10 0 647438559 871333888 12164 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 856268

[startup+25.5017 s]
/proc/loadavg: 2.10 2.05 2.01 3/83 22144
/proc/meminfo: memFree=1713200/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=25.24
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 22160 0 1 0 2490 34 0 0 22 0 10 0 647437722 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 19161 2583 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=21.5
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 5579 0 1 0 2133 17 0 0 25 0 10 0 647437723 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4127201428 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=1.77
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 13005 0 0 0 167 10 0 0 16 0 10 0 647437724 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 647437725 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 647437725 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647437727 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=1.94
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 2837 0 0 0 189 5 0 0 15 0 10 0 647437727 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 647437727 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 647437727 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22144] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22144/stat : 22144 (java) S 22132 22132 19348 0 -1 64 3 0 0 0 0 0 0 0 16 0 10 0 647438559 871333888 19161 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

Current children cumulated CPU time (s) 69.62
Current children cumulated vsize (KiB) 856268

[startup+73.5028 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 22145
/proc/meminfo: memFree=1470256/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=72.79
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 82425 0 1 0 7181 98 0 0 22 0 9 0 647437722 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 79360 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=60.49
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 9275 0 1 0 6000 49 0 0 25 0 9 0 647437723 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4125257450 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=5.81
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 68283 0 0 0 549 32 0 0 17 0 9 0 647437724 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 647437725 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=6.47
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 4124 0 0 0 631 16 0 0 15 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.79
Current children cumulated vsize (KiB) 856268

[startup+76.7012 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 22145
/proc/meminfo: memFree=1470128/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=75.96
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 82426 0 1 0 7498 98 0 0 22 0 9 0 647437722 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 79360 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=63.6
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 9276 0 1 0 6311 49 0 0 25 0 9 0 647437723 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4127349176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=5.85
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 68283 0 0 0 553 32 0 0 16 0 9 0 647437724 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 647437725 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=6.48
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 4124 0 0 0 632 16 0 0 15 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 871333888 79360 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.96
Current children cumulated vsize (KiB) 856268

[startup+78.3025 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 22145
/proc/meminfo: memFree=1466864/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=77.54
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 83248 0 1 0 7656 98 0 0 22 0 9 0 647437722 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 80181 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=65.18
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 10093 0 1 0 6469 49 0 0 25 0 9 0 647437723 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4127349159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=5.86
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 68288 0 0 0 554 32 0 0 16 0 9 0 647437724 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=6.48
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 4124 0 0 0 632 16 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) R 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.54
Current children cumulated vsize (KiB) 856268

[startup+78.7025 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 22145
/proc/meminfo: memFree=1466864/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=77.94
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 83248 0 1 0 7696 98 0 0 22 0 9 0 647437722 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 80181 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=65.58
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 10093 0 1 0 6509 49 0 0 25 0 9 0 647437723 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4127349159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=5.86
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 68288 0 0 0 554 32 0 0 16 0 9 0 647437724 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=6.48
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 4124 0 0 0 632 16 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.94
Current children cumulated vsize (KiB) 856268

[startup+78.9026 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 22145
/proc/meminfo: memFree=1466864/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=78.14
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 83248 0 1 0 7716 98 0 0 22 0 9 0 647437722 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 80181 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=65.78
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 10093 0 1 0 6529 49 0 0 25 0 9 0 647437723 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4127349159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=5.86
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 68288 0 0 0 554 32 0 0 16 0 9 0 647437724 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=6.48
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 4124 0 0 0 632 16 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.14
Current children cumulated vsize (KiB) 856268

[startup+79.0026 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 22145
/proc/meminfo: memFree=1466864/2055920 swapFree=4180808/4192956
[pid=22132] ppid=22130 vsize=5356 CPUtime=0
/proc/22132/stat : 22132 (concrete.sh) S 22130 22132 19348 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 647437721 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22132/statm: 1339 242 201 169 0 50 0
[pid=22135] ppid=22132 vsize=850912 CPUtime=78.24
/proc/22135/stat : 22135 (java) S 22132 22132 19348 0 -1 0 83248 0 1 0 7726 98 0 0 22 0 9 0 647437722 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22135/statm: 212728 80181 2585 9 0 207288 0
[pid=22135/tid=22136] ppid=22132 vsize=850912 CPUtime=65.88
/proc/22135/task/22136/stat : 22136 (java) R 22132 22132 19348 0 -1 64 10093 0 1 0 6539 49 0 0 25 0 9 0 647437723 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4125237454 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22137] ppid=22132 vsize=850912 CPUtime=5.86
/proc/22135/task/22137/stat : 22137 (java) S 22132 22132 19348 0 -1 64 68288 0 0 0 554 32 0 0 16 0 9 0 647437724 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22138] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22138/stat : 22138 (java) S 22132 22132 19348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22139] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22139/stat : 22139 (java) S 22132 22132 19348 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 647437725 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22140] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22140/stat : 22140 (java) S 22132 22132 19348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22141] ppid=22132 vsize=850912 CPUtime=6.48
/proc/22135/task/22141/stat : 22141 (java) S 22132 22132 19348 0 -1 64 4124 0 0 0 632 16 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22142] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22142/stat : 22142 (java) S 22132 22132 19348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22135/tid=22143] ppid=22132 vsize=850912 CPUtime=0
/proc/22135/task/22143/stat : 22143 (java) S 22132 22132 19348 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 647437727 871333888 80181 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.24
Current children cumulated vsize (KiB) 856268

Child status: 0
Real time (s): 79.085
CPU time (s): 78.3161
CPU user time (s): 77.2722
CPU system time (s): 1.04384
CPU usage (%): 99.0278
Max. virtual memory (cumulated for all children) (KiB): 856268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.2723
system time used= 1.04384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83706
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= 34754
involuntary context switches= 36161

runsolver used 0.136979 second user time and 0.279957 second system time

The end

Launcher Data (download as text)

Begin job on node39 at 2008-07-05 10:04:01
IDJOB=1087635
IDBENCH=58027
IDSOLVER=304
FILE ID=node39/1087635-1215245041
PBS_JOBID= 7881849
Free space on /tmp= 66556 MiB

SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-8.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s WMC BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087635-1215245041/watcher-1087635-1215245041 -o /tmp/evaluation-result-1087635-1215245041/solver-1087635-1215245041 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1087635-1215245041.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 76623dd14fd0d4ce7a960393ffa043ab
RANDOM SEED=2012330258

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
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.267
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:       1779560 kB
Buffers:         33624 kB
Cached:         169464 kB
SwapCached:       6012 kB
Active:         110344 kB
Inactive:       111744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779560 kB
SwapTotal:     4192956 kB
SwapFree:      4180808 kB
Dirty:            2164 kB
Writeback:           0 kB
Mapped:          26448 kB
Slab:            39764 kB
Committed_AS:   996692 kB
PageTables:       1736 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= 66556 MiB
End job on node39 at 2008-07-05 10:05:20