Trace number 2084069

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 2009-07-14SAT 71.6341 66.5694

DiagnosticValue
CHECKS1871260
NODES812

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-6.xml
MD5SUM546e6ed781e2059b953cb6ecdfe4a630
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 benchmark31.8422
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 

64.15/59.14	c CPU-LOAD 53.25
64.15/59.14	c LOADED 800 V (350 E), 4800 ExtensionConstraint2D, arity 2, 53.25 cpu
71.56/66.50	v 2508 2620 -2172 2580 2664 2624 -2676 2112 -2596 2704 2020 -2660 -2200 -2240 2568 -2588 -2696 2200 2360 2608 2528 -2552 -2640 2224 2484 -2608 -2108 -2516 -2568 -2604 -2556 -2240 -2164 -2660 2144 -2232 -2032 2620 -2620 -2436 -2220 2620 -2424 2664 -2640 -2360 2324 -2488 -2636 2448 -2048 2588 2520 -2028 2620 -2264 2236 2552 2280 2100 -2316 -2176 -2412 -2240 -2656 -2252 2188 -2464 2500 -2696 2552 -2500 2232 -2280 2316 -2168 -2260 2716 -2608 2664 2544 2596 -2716 -2216 2476 2564 2020 -2576 -2116 -2384 -2624 -2572 2384 -2464 2020 2632 -2580 -2716 -2236 -2556 -2096 -2656 2596 -2336 2616 -2540 2668 -2296 2388 -2644 2416 -2452 -2224 2664 -2528 2020 -2640 -2108 2260 -2420 -2588 2448 2332 -2664 -2492 -2644 -2692 2280 -2216 -2560 2492 2248 2500 -2636 -2216 2236 -2572 -2716 2660 2276 2292 -2140 -2196 -2612 2068 2568 -2532 2260 -2576 -2244 -2568 -2172 -2704 -2128 -2540 -2340 2616 2620 -2704 -2556 -2688 -2624 -2580 -2564 -2644 -2616 -2328 -2628 -2360 -2108 -2180 -2612 -2676 -2212 2256 -2464 -2444 -2660 2276 -2488 2480 -2020 2652 2488 -2568 2324 2100 -2656 -2344 -2080 -2440 -2236 -2628 -2656 -2240 -2436 -2608 -2264 2584 2020 -2616 -2704 -2344 -2460 2560 -2264 -2132 -2068 -2660 -2420 -2236 2528 -2060 2508 2168 -2504 -2424 2140 -2584 -2088 -2432 -2108 -2520 -2228 -2076 2280 -2320 -2584 2380 -2596 2232 -2392 2664 -2624 -2684 2456 -2184 -2120 2160 -2588 -2484 -2240 -2508 -2272 2164 -2528 -2188 -2596 -2304 2576 2144 -2704 -2688 -2520 -2660 2200 2536 -2540 -2368 -2228 -2288 2664 2060 2672 -2692 2552 -2592 2020 -2060 -2620 -2704 2700 -2512 -2060 2628 -2512 -2352 -2564 2668 -2156 -2528 -2364 2284 2684 -2464 -2220 -2684 2576 -2336 2392 2516 -2616 -2652 2208 2500 2592 -2504 -2604 -2660 -2576 -2404 -2344 -2380 -2184 -2616 2488 -2644 2528 -2696 -2184 -2160 2548 -2284 -2572 2504 -2500 2264 -2472 -2320 -2340 -2552 2356 2528 2248 -2560 -2620 -2280 -2616 -2552 -2184 2292 2616 2212 -2684 -2436 -2192 -2252 -2544 -2600 -2392 -2184 -2432 2624 2504 -2024 2544 -2200 -2556 -2216 2676 2668 -2548 -2648 -2648 2308 -2624 -2060 -2212 2020 2332 -2512 2348 -2568 -2072 -2240 -2332 2652 -2540 -2524 -2664 -2316 -2504 2476 2460 2664 2020 2500 -2320 -2652 -2540 -2312 2424 -2476 -2620 -2188 -2636 -2224 2624 -2100 -2528 -2304 2656 2388 -2628 -2340 -2548 2204 -2644 2340 2268 -2320 2096 -2056 2292 2176 -2464 -2668 -2656 2296 -2552 2640 2308 2652 2672 -2584 -2536 -2024 -2484 2396 -2628 2588 -2680 -2684 -2580 -2540 -2548 -2528 -2056 -2684 -2660 -2600 -2148 2236 -2400 -2480 -2596 -2216 -2276 2504 -2540 -2312 2544 2160 -2388 -2380 -2512 -2244 -2664 -2632 -2540 -2152 -2612 -2684 -2588 -2160 -2432 -2580 -2660 -2380 -2552 -2528 -2372 -2096 2196 -2600 2620 -2264 -2428 -2580 -2700 2648 -2440 -2528 -2664 2080 -2580 -2512 -2364 -2176 -2656 2236 -2212 -2624 -2260 -2376 -2176 2488 -2124 -2488 -2176 -2616 -2628 -2628 -2644 2348 2464 -2400 -2664 -2688 -2460 -2292 2468 -2520 -2480 -2520 2020 -2276 -2600 -2516 2580 -2716 2380 -2228 -2620 -2192 -2508 -2316 -2296 -2332 2312 2280 2056 -2496 2256 -2696 -2416 -2656 -2328 2444 -2492 -2276 -2272 -2576 -2088 -2604 2568 2564 2644 2604 -2304 -2568 2316 -2604 -2592 -2132 -2704 2060 -2608 -2676 -2564 2408 -2112 -2568 2584 -2268 -2676 2080 -2556 -2288 -2484 -2200 2584 -2380 2584 2292 2424 2160 -2384 -2456 -2040 -2432 2248 -2352 -2628 -2520 2060 -2392 2200 -2616 -2340 -2156 -2204 2332 2548 -2412 -2432 2200 2472 -2524 -2464 -2060 -2528 -2656 -2272 -2476 -2696 -2520 -2488 2248 -2356 -2208 2524 -2664 -2072 2300 -2552 -2496 -2224 2480 -2664 2332 2600 2636 -2444 -2648 -2172 2336 -2060 2144 2532 -2484 -2528 2580 -2080 -2596 -2692 -2660 2336 2548 -2292 -2624 2564 -2604 -2548 -2456 2492 2308 -2660 -2024 -2600 -2616 -2580 -2084 2292 -2272 -2640 -2588 -2320 2624 2348 -2620 2488 2596 -2640 2196 2512 -2428 -2336 -2684 -2304 2408 -2124 -2452 2108 -2196 2420 -2452 -2676 -2296 2464 -2424 -2060 2600 -2120 -2640 -2512 2200 2648 -2496 -2276 2544 2252 -2404 -2616 2172 -2168 -2424 -2220 -2148 2292 2624 -2020 2628 -2224 2588 2116 -2448 2332 -2496 2064 2332 2632 2392 2592 -2296 -2300 -2164 -2232 2256 2264 -2120 -2524 -2604 2612 -2400 2276 -2048 2560 2368 -2704 -2340 -2580 -2360 -2584 -2688 -2216 -2208 -2068 2320 2444 2068 2064 2064 2712 2332 2036 2144 2596 -2376 2604 -2704 -2588 -2536 -2336 -2124 -2644 2672 -2716 -2564 -2128 -2380 2156 -2592 -2564 -2228 2676 -2536 2208 -2644 -2624 -2372 2060 -2676 -2656 -2716 -2488 -2060 -2628 2716 -2488 -2620 -2488 -2620 -2264 -2656 -2700 -2584 -2556 -2220 2472 -2588 -2628 -2600 2480 2624 -2576 -2528 -2376 -2372 2488 -2304 2348 -2484 -2620 2580 -2664 -2692 -2300 -2344 2528 
71.56/66.51	s SATISFIABLE
71.56/66.51	d NODES 812
71.56/66.51	d CHECKS 1871263
71.56/66.51	c heuristic-cpu: 0.0
71.56/66.51	c prepro-constraint-ccks: 0
71.56/66.51	c prepro-constraint-presenceccks: 0
71.56/66.51	c prepro-cpu: 4.6
71.56/66.51	c prepro-matrix2d-ccks: 598657
71.56/66.51	c prepro-matrix2d-presenceccks: 379986
71.56/66.51	c prepro-removed: 49964
71.56/66.51	c search-cpu: 1.8299999
71.56/66.51	c search-nps: 443.71585
71.56/66.51	c total-assgn: 812
71.56/66.51	c total-constraint-ccks: 0
71.56/66.51	c total-constraint-presence-ccks: 0
71.56/66.51	c total-cpu: 6.89
71.56/66.51	c total-matrix2d-ccks: 1871263
71.56/66.51	c total-matrix2d-presence-ccks: 1906754
71.56/66.51	c TOTAL-NODES 812
71.56/66.51	c TOTAL-CPU 6.89

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2084069-1247724390/watcher-2084069-1247724390 -o /tmp/evaluation-result-2084069-1247724390/solver-2084069-1247724390 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2084069-1247724390.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 1.18 1.58 3/82 7754
/proc/meminfo: memFree=841960/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 300 127 0 0 0 0 0 0 19 0 1 0 59505105 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612365906 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/7754/statm: 1339 238 197 169 0 50 0

[startup+0.05798 s]
/proc/loadavg: 0.97 1.18 1.58 3/82 7754
/proc/meminfo: memFree=841960/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101993 s]
/proc/loadavg: 0.97 1.18 1.58 3/82 7754
/proc/meminfo: memFree=841960/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302009 s]
/proc/loadavg: 0.97 1.18 1.58 3/82 7754
/proc/meminfo: memFree=841960/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701042 s]
/proc/loadavg: 0.97 1.18 1.58 3/82 7754
/proc/meminfo: memFree=841960/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50211 s]
/proc/loadavg: 1.05 1.20 1.58 2/92 7767
/proc/meminfo: memFree=824280/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=848064 CPUtime=1.77
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 8638 0 1 0 171 6 0 0 21 0 9 0 59505106 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212016 7528 2625 9 0 206494 0
[pid=7759/tid=7760] ppid=7754 vsize=848064 CPUtime=1.28
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 3914 0 1 0 125 3 0 0 17 0 9 0 59505107 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4126483301 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7761] ppid=7754 vsize=848064 CPUtime=0.15
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 2529 0 0 0 15 0 0 0 16 0 9 0 59505108 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7762] ppid=7754 vsize=848064 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 59505109 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7754 vsize=848064 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59505109 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7754 vsize=848064 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59505111 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=848064 CPUtime=0.3
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 1499 0 0 0 30 0 0 0 16 0 9 0 59505114 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=848064 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 59505114 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=848064 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59505114 868417536 7528 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 853420

[startup+3.10225 s]
/proc/loadavg: 1.05 1.20 1.58 2/92 7767
/proc/meminfo: memFree=819416/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=849092 CPUtime=3.38
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 10325 0 1 0 331 7 0 0 21 0 10 0 59505106 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212273 9187 2625 9 0 206751 0
[pid=7759/tid=7760] ppid=7754 vsize=849092 CPUtime=2.62
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 4005 0 1 0 259 3 0 0 17 0 10 0 59505107 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4125949412 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7761] ppid=7754 vsize=849092 CPUtime=0.4
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 4107 0 0 0 39 1 0 0 16 0 10 0 59505108 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=849092 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7754 vsize=849092 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59505109 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7754 vsize=849092 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=849092 CPUtime=0.31
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 1512 0 0 0 31 0 0 0 16 0 10 0 59505114 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7766] ppid=7754 vsize=849092 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=849092 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 869470208 9187 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 854448

[startup+6.30153 s]
/proc/loadavg: 1.05 1.20 1.58 2/93 7768
/proc/meminfo: memFree=805776/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851324 CPUtime=6.86
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 14002 0 1 0 676 10 0 0 21 0 10 0 59505106 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212831 11369 2628 9 0 207309 0
[pid=7759/tid=7760] ppid=7754 vsize=851324 CPUtime=5.42
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 4181 0 1 0 538 4 0 0 16 0 10 0 59505107 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4126674092 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851324 CPUtime=0.78
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 6663 0 0 0 74 4 0 0 16 0 10 0 59505108 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851324 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851324 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59505109 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851324 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851324 CPUtime=0.64
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 2457 0 0 0 63 1 0 0 16 0 10 0 59505114 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851324 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851324 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7754 vsize=851324 CPUtime=0
/proc/7759/task/7768/stat : 7768 (java) S 7754 7754 6435 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 59505405 871755776 11369 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 856680

[startup+12.7011 s]
/proc/loadavg: 1.04 1.19 1.57 3/93 7768
/proc/meminfo: memFree=789904/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851196 CPUtime=13.94
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 19767 0 1 0 1375 19 0 0 21 0 10 0 59505106 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212799 16192 2633 9 0 207277 0
[pid=7759/tid=7760] ppid=7754 vsize=851196 CPUtime=11.18
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 5029 0 1 0 1109 9 0 0 17 0 10 0 59505107 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4125612074 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851196 CPUtime=1.38
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 11118 0 0 0 132 6 0 0 15 0 10 0 59505108 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59505109 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851196 CPUtime=1.35
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 2919 0 0 0 132 3 0 0 16 0 10 0 59505114 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7768/stat : 7768 (java) S 7754 7754 6435 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 59505405 871624704 16192 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.94
Current children cumulated vsize (KiB) 856552

[startup+25.5022 s]
/proc/loadavg: 1.04 1.18 1.56 2/93 7768
/proc/meminfo: memFree=738960/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851196 CPUtime=27.99
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 32093 0 1 0 2760 39 0 0 21 0 10 0 59505106 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212799 28398 2633 9 0 207277 0
[pid=7759/tid=7760] ppid=7754 vsize=851196 CPUtime=23.23
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 6207 0 1 0 2301 22 0 0 17 0 10 0 59505107 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 102093950 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851196 CPUtime=1.98
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 21824 0 0 0 188 10 0 0 16 0 10 0 59505108 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59505109 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851196 CPUtime=2.74
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 3361 0 0 0 269 5 0 0 16 0 10 0 59505114 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7768] ppid=7754 vsize=851196 CPUtime=0
/proc/7759/task/7768/stat : 7768 (java) S 7754 7754 6435 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 59505405 871624704 28398 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.99
Current children cumulated vsize (KiB) 856552

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

[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851456 CPUtime=62.56
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 70425 0 1 0 6174 82 0 0 21 0 10 0 59505106 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212864 66601 2633 9 0 207342 0
[pid=7759/tid=7760] ppid=7754 vsize=851456 CPUtime=52.12
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 7612 0 1 0 5166 46 0 0 17 0 10 0 59505107 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4129960750 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851456 CPUtime=4.74
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 57587 0 0 0 450 24 0 0 16 0 10 0 59505108 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 59505109 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851456 CPUtime=5.68
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 4523 0 0 0 557 11 0 0 16 0 10 0 59505114 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7768/stat : 7768 (java) S 7754 7754 6435 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 59505405 871890944 66601 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 62.56
Current children cumulated vsize (KiB) 856812

[startup+60.7022 s]
/proc/loadavg: 1.02 1.16 1.54 2/93 7769
/proc/meminfo: memFree=554248/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851456 CPUtime=65.76
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 77991 0 1 0 6491 85 0 0 21 0 10 0 59505106 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212864 74162 2634 9 0 207342 0
[pid=7759/tid=7760] ppid=7754 vsize=851456 CPUtime=54.46
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 9283 0 1 0 5399 47 0 0 18 0 10 0 59505107 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4127737800 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851456 CPUtime=5.58
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 63480 0 0 0 532 26 0 0 16 0 10 0 59505108 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 59505109 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851456 CPUtime=5.7
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 4523 0 0 0 559 11 0 0 16 0 10 0 59505114 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7769] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7769/stat : 7769 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 17 0 10 0 59511078 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 65.76
Current children cumulated vsize (KiB) 856812

[startup+63.9015 s]
/proc/loadavg: 1.02 1.16 1.54 2/93 7769
/proc/meminfo: memFree=554248/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851456 CPUtime=68.96
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 77992 0 1 0 6811 85 0 0 21 0 10 0 59505106 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212864 74162 2634 9 0 207342 0
[pid=7759/tid=7760] ppid=7754 vsize=851456 CPUtime=57.65
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 9284 0 1 0 5718 47 0 0 25 0 10 0 59505107 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4127737757 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851456 CPUtime=5.59
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 63480 0 0 0 533 26 0 0 16 0 10 0 59505108 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59505109 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 59505109 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59505111 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851456 CPUtime=5.7
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 4523 0 0 0 559 11 0 0 16 0 10 0 59505114 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 59505114 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59505114 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7769] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7769/stat : 7769 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 17 0 10 0 59511078 871890944 74162 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 68.96
Current children cumulated vsize (KiB) 856812

[startup+65.5016 s]
/proc/loadavg: 1.02 1.16 1.54 2/92 7769
/proc/meminfo: memFree=554120/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851456 CPUtime=70.57
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 78508 0 1 0 6972 85 0 0 21 0 9 0 59505106 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212864 74674 2634 9 0 207342 0
[pid=7759/tid=7760] ppid=7754 vsize=851456 CPUtime=59.19
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 9287 0 1 0 5872 47 0 0 17 0 9 0 59505107 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4128740830 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851456 CPUtime=5.65
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 63992 0 0 0 539 26 0 0 16 0 9 0 59505108 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59505109 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 59505109 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59505111 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851456 CPUtime=5.71
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 4523 0 0 0 560 11 0 0 16 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.57
Current children cumulated vsize (KiB) 856812

[startup+66.3017 s]
/proc/loadavg: 1.02 1.16 1.54 2/92 7769
/proc/meminfo: memFree=552072/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851456 CPUtime=71.37
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 78511 0 1 0 7052 85 0 0 21 0 9 0 59505106 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212864 74674 2634 9 0 207342 0
[pid=7759/tid=7760] ppid=7754 vsize=851456 CPUtime=59.76
/proc/7759/task/7760/stat : 7760 (java) S 7754 7754 6435 0 -1 64 9290 0 1 0 5929 47 0 0 17 0 9 0 59505107 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851456 CPUtime=5.87
/proc/7759/task/7761/stat : 7761 (java) R 7754 7754 6435 0 -1 64 63992 0 0 0 561 26 0 0 15 0 9 0 59505108 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 102142313 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59505109 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 59505109 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59505111 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851456 CPUtime=5.71
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 4523 0 0 0 560 11 0 0 16 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 71.37
Current children cumulated vsize (KiB) 856812

[startup+66.5017 s]
/proc/loadavg: 1.02 1.16 1.54 2/92 7769
/proc/meminfo: memFree=552072/2055920 swapFree=4192812/4192956
[pid=7754] ppid=7752 vsize=5356 CPUtime=0
/proc/7754/stat : 7754 (concrete.sh) S 7752 7754 6435 0 -1 4194304 341 291 0 0 0 0 0 0 20 0 1 0 59505105 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7754/statm: 1339 244 201 169 0 50 0
[pid=7759] ppid=7754 vsize=851456 CPUtime=71.56
/proc/7759/stat : 7759 (java) S 7754 7754 6435 0 -1 0 78513 0 1 0 7071 85 0 0 21 0 9 0 59505106 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 212864 74674 2634 9 0 207342 0
[pid=7759/tid=7760] ppid=7754 vsize=851456 CPUtime=59.91
/proc/7759/task/7760/stat : 7760 (java) R 7754 7754 6435 0 -1 64 9292 0 1 0 5944 47 0 0 17 0 9 0 59505107 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4129960282 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7761] ppid=7754 vsize=851456 CPUtime=5.92
/proc/7759/task/7761/stat : 7761 (java) S 7754 7754 6435 0 -1 64 63992 0 0 0 566 26 0 0 16 0 9 0 59505108 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7754 7754 6435 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59505109 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7754 7754 6435 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 59505109 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7754 7754 6435 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59505111 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7754 vsize=851456 CPUtime=5.71
/proc/7759/task/7765/stat : 7765 (java) S 7754 7754 6435 0 -1 64 4523 0 0 0 560 11 0 0 16 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7754 vsize=851456 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7754 7754 6435 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59505114 871890944 74674 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 71.56
Current children cumulated vsize (KiB) 856812

Child status: 0
Real time (s): 66.5694
CPU time (s): 71.6341
CPU user time (s): 70.7262
CPU system time (s): 0.907861
CPU usage (%): 107.608
Max. virtual memory (cumulated for all children) (KiB): 859312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.7262
system time used= 0.907861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79162
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= 12299
involuntary context switches= 4255

runsolver used 0.084987 second user time and 0.230964 second system time

The end

Launcher Data 

Begin job on node31 at 2009-07-16 08:06:30
IDJOB=2084069
IDBENCH=58026
IDSOLVER=735
FILE ID=node31/2084069-1247724390
PBS_JOBID= 9521481
Free space on /tmp= 66264 MiB

SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-6.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084069-1247724390/watcher-2084069-1247724390 -o /tmp/evaluation-result-2084069-1247724390/solver-2084069-1247724390 -C 1800 -W 2000 -M 900  HOME/concrete.sh -c HOME/instance-2084069-1247724390.xml

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

MD5SUM BENCH= 546e6ed781e2059b953cb6ecdfe4a630
RANDOM SEED=90771322

node31.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.216
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	: 5931.00
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.216
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:        842448 kB
Buffers:         79776 kB
Cached:         270832 kB
SwapCached:          0 kB
Active:         874736 kB
Inactive:       259088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        842448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2464 kB
Writeback:           0 kB
Mapped:         803640 kB
Slab:            63144 kB
Committed_AS:  1169576 kB
PageTables:       3444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66264 MiB
End job on node31 at 2009-07-16 08:07:36