Trace number 2083123

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 51.4642 51.6848

DiagnosticValue
CHECKS2043380
NODES727

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-9.xml
MD5SUMfc14afa27a31c1de216ea0ec7153d796
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.8769
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
Global constraints used (with number of constraints)

Solver Data 

44.08/44.32	c CPU-LOAD 35.44
44.08/44.32	c LOADED 700 V (282 E), 3834 ExtensionConstraint2D, arity 2, 35.44 cpu
51.38/51.63	v 2436 -2612 -2500 2480 -2632 -2548 2488 -2488 -2564 -2288 2612 -2624 -2720 -2340 -2340 -2424 -2384 -2604 2624 2512 -2636 -2280 -2424 2180 2540 2624 2292 -2496 -2616 -2696 2468 2536 -2380 -2448 -2344 -2292 -2164 2316 2288 2280 -2628 -2524 -2484 2160 -2476 -2432 -2412 2688 -2472 -2168 -2448 2476 -2596 -2248 2680 2668 -2312 -2192 -2488 -2176 2200 -2672 2408 -2612 2456 -2700 2492 -2328 -2620 -2604 -2636 -2184 2416 2452 2292 2644 2464 2600 2532 -2316 -2624 -2448 2232 -2616 2496 -2388 -2300 -2572 -2316 2276 2604 2632 -2720 2624 -2720 -2296 -2468 2220 -2648 -2596 2308 -2720 -2508 -2680 -2248 2576 -2200 -2684 -2228 -2672 -2200 2568 -2276 -2408 2568 -2396 -2316 -2304 2592 2188 2716 -2524 -2424 -2640 -2380 2384 2388 2484 -2236 -2224 2652 -2680 -2668 2428 -2216 -2348 -2400 -2568 2160 -2264 2632 2160 2188 -2212 -2308 -2488 -2400 2492 2324 2240 -2664 -2640 -2624 2168 -2380 -2416 2348 2644 2676 2400 2648 2452 2560 -2624 -2472 -2676 2608 -2364 2520 2276 -2196 -2700 2224 2180 2600 -2588 -2680 -2544 -2680 2540 2632 -2592 -2328 2272 -2360 2656 -2484 -2348 -2232 2236 -2484 -2384 -2376 -2528 2608 -2452 -2472 2572 -2360 -2664 -2668 -2508 -2436 -2476 2696 -2452 -2404 -2696 -2548 -2612 2304 -2288 -2584 -2356 -2520 -2256 -2192 2200 2512 -2568 -2244 -2344 -2388 -2408 -2660 -2584 -2228 2212 -2452 2240 -2200 -2636 -2208 -2444 2228 2580 -2504 -2552 2324 -2484 -2680 -2336 2620 -2624 2716 -2348 -2388 2336 2336 2220 -2276 -2204 -2680 2244 2584 2172 -2664 -2356 2440 -2432 -2600 -2492 -2348 -2600 2316 -2412 2260 -2644 -2232 -2472 2372 -2300 -2668 -2624 -2260 -2420 2624 -2332 -2272 -2708 -2492 -2528 2720 -2572 2344 2256 -2260 2288 2564 2464 -2520 -2340 -2496 2212 -2560 -2656 -2260 -2576 -2524 2204 -2664 2464 -2680 2720 -2584 2160 -2680 2440 -2552 2528 -2588 2484 -2476 -2368 -2292 -2556 -2328 -2488 2680 -2296 2600 2248 -2348 -2488 -2592 -2200 -2360 -2488 -2380 -2624 -2200 2400 -2596 -2284 2208 -2508 -2600 -2680 2368 2464 -2244 -2272 -2324 -2648 -2324 -2304 -2328 -2588 2172 2668 -2208 -2624 -2528 2160 -2720 -2164 -2656 -2708 2628 2540 2208 2220 2560 2200 -2216 -2584 -2700 -2628 2720 -2172 -2488 -2204 -2448 -2640 -2548 -2464 -2664 -2236 -2720 2580 2412 2516 2600 -2720 -2444 -2316 -2640 -2352 2380 -2584 -2680 -2352 2448 2248 -2628 2608 -2524 -2680 -2476 2236 -2472 2528 -2616 -2680 -2716 -2356 -2400 -2356 -2380 2588 -2204 2480 -2696 -2400 -2208 2520 -2500 2600 2184 -2692 -2572 -2316 -2288 2488 -2472 2544 -2668 -2420 2476 -2396 -2200 -2296 2628 2220 -2360 -2560 -2528 -2456 2200 -2340 -2440 2160 -2608 -2572 -2680 2428 -2308 2532 -2592 -2408 2376 -2684 -2560 -2288 -2680 2252 -2584 -2460 -2636 -2628 -2412 -2628 -2560 -2448 -2680 -2368 -2444 2664 -2720 -2392 2400 -2164 2592 -2628 -2276 -2384 -2704 2300 -2164 2180 -2428 -2328 -2680 -2520 2596 -2656 -2572 2716 -2400 -2368 -2232 2160 -2268 -2556 -2532 -2584 2200 -2276 -2204 -2288 2412 -2364 2200 -2536 2164 2204 2400 2168 -2648 2248 2504 -2560 -2420 -2552 -2452 2576 -2380 -2440 -2360 2524 -2532 -2160 2640 2720 -2700 -2588 -2460 -2516 -2252 -2276 -2676 -2348 -2524 2552 -2480 2596 2160 2196 2600 -2600 2624 -2296 -2676 2632 -2532 2460 -2392 -2296 2388 -2664 2668 -2660 -2524 -2660 -2448 -2476 -2584 -2420 -2588 2548 -2720 -2544 -2288 -2284 2516 2332 -2680 -2348 -2720 -2624 -2532 2564 -2488 -2456 2300 -2504 -2592 2368 -2592 -2200 2608 2160 -2388 -2588 2660 2504 -2628 2292 -2656 -2624 2628 -2476 -2440 2308 -2344 -2408 -2212 -2420 -2444 2160 -2500 -2352 2172 -2608 2244 2664 -2432 -2524 -2664 -2204 -2404 2452 -2536 -2436 2572 -2652 -2340 -2720 -2620 2312 -2548 -2284 -2360 -2456 2664 2440 2580 -2248 -2508 2644 2160 2200 2408 -2344 -2624 -2720 -2528 -2316 -2484 -2640 2612 -2708 -2680 -2512 -2588 2276 -2204 -2720 -2336 -2160 -2668 -2460 -2340 2284 -2220 -2660 -2548 -2256 2268 -2516 -2720 -2476 -2320 -2576 -2676 -2572 -2412 -2436 -2660 -2404 -2432 -2584 -2160 -2420 -2572 2480 -2220 -2320 -2560 2408 -2496 2720 -2420 2520 2560 -2436 -2352 -2404 2300 2312 -2500 -2368 2332 -2248 -2308 2372 -2632 -2680 -2300 -2624 
51.38/51.63	s SATISFIABLE
51.38/51.63	d NODES 727
51.38/51.63	d CHECKS 2043382
51.38/51.63	c heuristic-cpu: 0.0
51.38/51.63	c prepro-constraint-ccks: 0
51.38/51.63	c prepro-constraint-presenceccks: 0
51.38/51.63	c prepro-cpu: 5.1700006
51.38/51.63	c prepro-matrix2d-ccks: 294238
51.38/51.63	c prepro-matrix2d-presenceccks: 186547
51.38/51.63	c prepro-removed: 23861
51.38/51.63	c search-cpu: 1.3199992
51.38/51.63	c search-nps: 550.7579
51.38/51.63	c total-assgn: 727
51.38/51.63	c total-constraint-ccks: 0
51.38/51.63	c total-constraint-presence-ccks: 0
51.38/51.63	c total-cpu: 6.8199997
51.38/51.63	c total-matrix2d-ccks: 2043382
51.38/51.63	c total-matrix2d-presence-ccks: 2076042
51.38/51.63	c TOTAL-NODES 727
51.38/51.63	c TOTAL-CPU 6.8199997

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-2083123-1247722510/watcher-2083123-1247722510 -o /tmp/evaluation-result-2083123-1247722510/solver-2083123-1247722510 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2083123-1247722510.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: 1.92 1.99 2.05 4/82 14503
/proc/meminfo: memFree=825488/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=18576 CPUtime=0
/proc/14503/stat : 14503 (runsolver) R 14501 14503 12940 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59317483 19021824 284 996147200 4194304 4302564 548682068512 18446744073709551615 268213742887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14503/statm: 4644 284 249 26 0 2626 0

[startup+0.041395 s]
/proc/loadavg: 1.92 1.99 2.05 4/82 14503
/proc/meminfo: memFree=825488/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102635 s]
/proc/loadavg: 1.92 1.99 2.05 4/82 14503
/proc/meminfo: memFree=825488/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301657 s]
/proc/loadavg: 1.92 1.99 2.05 4/82 14503
/proc/meminfo: memFree=825488/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.7017 s]
/proc/loadavg: 1.92 1.99 2.05 4/82 14503
/proc/meminfo: memFree=825488/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50179 s]
/proc/loadavg: 1.92 1.99 2.05 4/92 14516
/proc/meminfo: memFree=810624/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=847704 CPUtime=1.45
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 8298 0 1 0 139 6 0 0 18 0 9 0 59317484 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 211926 7136 2624 9 0 206404 0
[pid=14508/tid=14509] ppid=14503 vsize=847704 CPUtime=0.94
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 3919 0 1 0 90 4 0 0 21 0 9 0 59317485 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4126208015 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14510] ppid=14503 vsize=847704 CPUtime=0.13
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 2143 0 0 0 13 0 0 0 16 0 9 0 59317486 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14511] ppid=14503 vsize=847704 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59317487 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14512] ppid=14503 vsize=847704 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59317487 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14513] ppid=14503 vsize=847704 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59317489 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=847704 CPUtime=0.35
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 1540 0 0 0 34 1 0 0 15 0 9 0 59317493 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14515] ppid=14503 vsize=847704 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 59317493 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=847704 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59317493 868048896 7136 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 853060

[startup+3.10297 s]
/proc/loadavg: 1.92 1.99 2.05 4/92 14516
/proc/meminfo: memFree=804864/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=848716 CPUtime=3.04
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 9954 0 1 0 297 7 0 0 18 0 10 0 59317484 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212179 8760 2625 9 0 206657 0
[pid=14508/tid=14509] ppid=14503 vsize=848716 CPUtime=2.25
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 3998 0 1 0 221 4 0 0 25 0 10 0 59317485 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14510] ppid=14503 vsize=848716 CPUtime=0.38
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 3702 0 0 0 38 0 0 0 16 0 10 0 59317486 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14511] ppid=14503 vsize=848716 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59317487 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14512] ppid=14503 vsize=848716 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59317487 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14513] ppid=14503 vsize=848716 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59317489 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=848716 CPUtime=0.37
/proc/14508/task/14514/stat : 14514 (java) R 14503 14503 12940 0 -1 64 1554 0 0 0 36 1 0 0 16 0 10 0 59317493 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 101602772 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14515] ppid=14503 vsize=848716 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 59317493 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=848716 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59317493 869085184 8760 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 854072

[startup+6.30306 s]
/proc/loadavg: 2.01 2.00 2.05 5/93 14517
/proc/meminfo: memFree=790648/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=851148 CPUtime=6.2
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 13288 0 1 0 609 11 0 0 18 0 10 0 59317484 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212787 11203 2632 9 0 207265 0
[pid=14508/tid=14509] ppid=14503 vsize=851148 CPUtime=4.62
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 4315 0 1 0 457 5 0 0 25 0 10 0 59317485 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14510] ppid=14503 vsize=851148 CPUtime=0.82
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 5805 0 0 0 79 3 0 0 15 0 10 0 59317486 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14511] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59317487 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14512] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59317487 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14513] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59317489 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=851148 CPUtime=0.73
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 2468 0 0 0 71 2 0 0 16 0 10 0 59317493 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14515] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 59317493 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59317493 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14517] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14517/stat : 14517 (java) S 14503 14503 12940 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59317756 871575552 11203 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 856504

[startup+12.7021 s]
/proc/loadavg: 2.01 2.00 2.05 4/93 14517
/proc/meminfo: memFree=775736/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=851148 CPUtime=12.52
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 17624 0 1 0 1233 19 0 0 18 0 10 0 59317484 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212787 15487 2633 9 0 207265 0
[pid=14508/tid=14509] ppid=14503 vsize=851148 CPUtime=9.6
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 5009 0 1 0 951 9 0 0 25 0 10 0 59317485 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4127690306 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14510] ppid=14503 vsize=851148 CPUtime=1.38
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 9086 0 0 0 134 4 0 0 16 0 10 0 59317486 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14511] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59317487 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14512] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59317487 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14513] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59317489 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=851148 CPUtime=1.49
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 2825 0 0 0 145 4 0 0 15 0 10 0 59317493 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14515] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 59317493 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59317493 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14517] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14517/stat : 14517 (java) S 14503 14503 12940 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59317756 871575552 15487 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 856504

[startup+25.5025 s]
/proc/loadavg: 2.08 2.02 2.05 3/93 14517
/proc/meminfo: memFree=728824/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=851148 CPUtime=25.17
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 29097 0 1 0 2479 38 0 0 18 0 10 0 59317484 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212787 26926 2633 9 0 207265 0
[pid=14508/tid=14509] ppid=14503 vsize=851148 CPUtime=20.12
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 6057 0 1 0 1992 20 0 0 25 0 10 0 59317485 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4158937017 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14510] ppid=14503 vsize=851148 CPUtime=2.03
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 19056 0 0 0 194 9 0 0 16 0 10 0 59317486 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14511] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59317487 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14512] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 8 0 0 0 0 0 0 0 16 0 10 0 59317487 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14513] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59317489 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=851148 CPUtime=2.99
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 3280 0 0 0 291 8 0 0 15 0 10 0 59317493 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14515] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 59317493 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 59317493 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14517] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14517/stat : 14517 (java) S 14503 14503 12940 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59317756 871575552 26926 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 856504

[startup+51.1024 s]
/proc/loadavg: 2.26 2.06 2.07 3/83 14551
/proc/meminfo: memFree=1050424/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=851148 CPUtime=50.87
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 66566 0 1 0 5018 69 0 0 18 0 9 0 59317484 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212787 64354 2634 9 0 207265 0
[pid=14508/tid=14509] ppid=14503 vsize=851148 CPUtime=41.72
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 7665 0 1 0 4140 32 0 0 25 0 9 0 59317485 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4127686833 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14510] ppid=14503 vsize=851148 CPUtime=4.64
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 54491 0 0 0 440 24 0 0 16 0 9 0 59317486 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14511] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59317487 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14512] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 59317487 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14513] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59317489 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=851148 CPUtime=4.48
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 3703 0 0 0 437 11 0 0 15 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14515] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 856504

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

[startup+51.5015 s]
/proc/loadavg: 2.26 2.06 2.07 3/83 14551
/proc/meminfo: memFree=1050424/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=851148 CPUtime=51.27
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 66569 0 1 0 5058 69 0 0 18 0 9 0 59317484 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212787 64354 2634 9 0 207265 0
[pid=14508/tid=14509] ppid=14503 vsize=851148 CPUtime=42.05
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 7668 0 1 0 4173 32 0 0 25 0 9 0 59317485 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 102094016 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14510] ppid=14503 vsize=851148 CPUtime=4.7
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 54491 0 0 0 446 24 0 0 16 0 9 0 59317486 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14511] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59317487 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14512] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 59317487 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14513] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59317489 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=851148 CPUtime=4.48
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 3703 0 0 0 437 11 0 0 15 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14515] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 856504

[startup+51.6015 s]
/proc/loadavg: 2.26 2.06 2.07 3/83 14551
/proc/meminfo: memFree=1050424/2055920 swapFree=4192812/4192956
[pid=14503] ppid=14501 vsize=5356 CPUtime=0
/proc/14503/stat : 14503 (concrete.sh) S 14501 14503 12940 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59317483 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14503/statm: 1339 244 201 169 0 50 0
[pid=14508] ppid=14503 vsize=851148 CPUtime=51.38
/proc/14508/stat : 14508 (java) S 14503 14503 12940 0 -1 0 66570 0 1 0 5069 69 0 0 18 0 9 0 59317484 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/14508/statm: 212787 64354 2634 9 0 207265 0
[pid=14508/tid=14509] ppid=14503 vsize=851148 CPUtime=42.14
/proc/14508/task/14509/stat : 14509 (java) R 14503 14503 12940 0 -1 64 7669 0 1 0 4182 32 0 0 25 0 9 0 59317485 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 102094001 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14510] ppid=14503 vsize=851148 CPUtime=4.72
/proc/14508/task/14510/stat : 14510 (java) S 14503 14503 12940 0 -1 64 54491 0 0 0 448 24 0 0 16 0 9 0 59317486 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14511] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14511/stat : 14511 (java) S 14503 14503 12940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59317487 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14512] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14512/stat : 14512 (java) S 14503 14503 12940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 59317487 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14513] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14513/stat : 14513 (java) S 14503 14503 12940 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59317489 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14514] ppid=14503 vsize=851148 CPUtime=4.48
/proc/14508/task/14514/stat : 14514 (java) S 14503 14503 12940 0 -1 64 3703 0 0 0 437 11 0 0 15 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14508/tid=14515] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14515/stat : 14515 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=14508/tid=14516] ppid=14503 vsize=851148 CPUtime=0
/proc/14508/task/14516/stat : 14516 (java) S 14503 14503 12940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 59317493 871575552 64354 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.38
Current children cumulated vsize (KiB) 856504

Child status: 0
Real time (s): 51.6848
CPU time (s): 51.4642
CPU user time (s): 50.7253
CPU system time (s): 0.738887
CPU usage (%): 99.5731
Max. virtual memory (cumulated for all children) (KiB): 857792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.7253
system time used= 0.738887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67219
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= 21194
involuntary context switches= 21717

runsolver used 0.082987 second user time and 0.19597 second system time

The end

Launcher Data 

Begin job on node32 at 2009-07-16 07:35:10
IDJOB=2083123
IDBENCH=57713
IDSOLVER=735
FILE ID=node32/2083123-1247722510
PBS_JOBID= 9521459
Free space on /tmp= 66316 MiB

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

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

MD5SUM BENCH= fc14afa27a31c1de216ea0ec7153d796
RANDOM SEED=777153391

node32.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.236
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.236
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:        825904 kB
Buffers:         90816 kB
Cached:         484260 kB
SwapCached:          0 kB
Active:         757860 kB
Inactive:       384352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        825904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2248 kB
Writeback:           0 kB
Mapped:         587600 kB
Slab:            71576 kB
Committed_AS:  1329736 kB
PageTables:       3056 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= 66316 MiB
End job on node32 at 2009-07-16 07:36:02