Trace number 1086208

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 + CPS4J 2008-05-30SAT 289.119 291.832

DiagnosticValue
CHECKS343325000
NODES38162

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-9.xml
MD5SUM7fe976fa4ce71b2c5a4965beb0a6326a
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 benchmark32.804
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
Global constraints used (with number of constraints)

Solver Data (download as text)

98.87/99.82	c CPU-LOAD 91.93
98.87/99.82	c LOADED 500 V (290 E), 6531 ExtensionConstraint2D, arity 2, 91.93 cpu
289.00/291.76	v 2572 2236 -2668 -2436 -2360 -2660 -2208 2256 2300 -2476 -2640 -2372 2488 2612 -2648 2548 -2232 2672 -2320 -2364 2636 -2440 -2336 -2680 -2620 2656 -2448 -2228 2232 2368 -2608 -2428 -2600 -2488 -2536 -2628 2232 2264 -2288 -2148 -2360 -2368 -2568 -2432 2336 -2716 -2616 2596 -2184 -2464 -2356 -2440 -2584 -2428 2252 2272 2308 -2480 -2616 2352 2652 -2504 2348 -2572 -2652 -2512 -2584 2700 2388 -2408 2208 -2148 -2272 -2284 -2556 -2248 2304 -2712 -2232 -2460 -2380 -2380 -2340 2464 2716 -2676 -2528 -2356 -2696 -2288 2372 -2564 2632 -2576 -2436 -2484 -2448 -2188 2476 -2168 2528 2316 -2676 -2240 2520 -2264 2716 2292 -2616 -2696 -2588 -2568 2620 2716 -2604 2420 -2572 2344 -2692 -2392 -2628 -2616 -2300 -2424 -2196 -2700 -2676 2328 -2656 2676 -2468 2572 -2676 -2320 2300 -2388 2284 2420 -2176 -2160 -2232 -2524 -2200 2464 -2144 2580 2568 2524 -2644 -2188 -2216 2496 -2580 -2476 2392 2504 2348 2348 -2180 -2384 2708 -2668 -2680 2600 2304 -2716 2296 -2528 2272 -2280 -2288 2352 2684 2552 2404 -2276 2516 2380 2208 -2324 2608 -2716 2552 -2196 2636 2332 2648 -2696 2388 -2420 -2512 2308 -2428 -2580 -2696 -2180 -2248 -2392 -2308 2464 -2688 -2248 -2316 -2236 -2612 -2588 2564 2536 -2408 -2716 -2364 -2676 -2424 2512 2576 2568 2636 -2448 -2492 -2504 2620 -2640 -2172 -2628 -2596 2712 -2392 2496 2140 2576 -2624 -2456 2336 -2716 -2424 -2296 2612 -2676 2340 -2660 2140 -2320 -2272 2568 2332 -2444 -2404 2612 -2168 2444 -2576 2504 -2436 2616 2652 2316 -2660 -2412 -2180 2524 -2600 2460 2672 2468 -2352 -2468 -2668 -2216 -2240 2556 -2544 2248 -2472 -2408 2140 2196 2648 2392 2600 -2472 2376 2628 -2548 -2608 -2552 2396 -2160 -2432 -2216 -2676 2200 -2672 2504 -2244 -2656 -2320 -2300 -2480 2440 2488 2476 -2676 -2172 2380 -2516 -2468 -2232 2588 2252 2680 2340 -2624 -2676 -2344 -2576 2680 -2512 2344 2536 2640 -2176 2528 -2192 -2520 -2556 2584 2276 -2716 -2172 2180 -2404 -2676 -2376 2144 2644 2432 2568 -2496 -2384 -2280 2384 -2584 2640 2612 -2272 -2608 -2640 -2148 2596 2548 -2640 -2552 2628 -2592 -2492 -2324 2396 -2508 -2308 -2632 -2444 -2184 -2576 -2260 2716 -2716 2516 -2428 -2340 -2320 2544 -2600 2240 -2716 2640 2576 -2396 -2288 2656 2256 -2168 2648 2188 -2556 -2356 -2616 -2400 -2640 -2188 -2656 2464 -2648 -2268 -2292 -2480 -2464 2540 2412 -2248 -2612 -2560 2404 -2180 -2532 2212 2280 -2544 2608 2592 -2280 2576 2480 2584 2508 -2228 -2680 2280 2608 2676 -2432 2140 2640 2208 -2680 -2696 2420 -2668 -2468 2688 -2692 -2316 -2208 -2552 -2600 2408 2348 2208 2400 -2272 2688 2168 -2356 -2676 -2508 -2560 2368 -2684 2588 2440 -2644 -2444 2232 2560 -2168 -2372 2588 2536 2212 -2512 2568 2268 -2220 2392 -2620 -2348 -2676 -2328 2468 -2428 -2652 -2212 2200 -2484 -2560 -2548 -2468 -2292 -2540 2180 2580 -2284 -2236 2404 -2600 -2544 -2532 2304 -2240 -2340 -2280 2140 -2532 -2528 -2572 -2536 -2428 2660 -2288 -2656 2516 
289.00/291.76	s SATISFIABLE
289.00/291.76	d NODES 38162
289.00/291.76	d CHECKS 343324888
289.00/291.76	c gac3-effective-revisions: 1530925
289.00/291.76	c gac3-useless-revisions: 9228351
289.00/291.76	c heuristic-cpu: 0.01
289.00/291.76	c prepro-constraint-ccks: 0
289.00/291.76	c prepro-constraint-presenceccks: 0
289.00/291.76	c prepro-cpu: 0.03
289.00/291.76	c prepro-matrix2d-ccks: 9467
289.00/291.76	c prepro-matrix2d-presenceccks: 3348
289.00/291.76	c prepro-removed: 452
289.00/291.76	c search-cpu: 189.13002
289.00/291.76	c total-assgn: 38162
289.00/291.76	c total-constraint-ccks: 0
289.00/291.76	c total-constraint-presence-ccks: 0
289.00/291.76	c total-cpu: 189.17001
289.00/291.76	c total-matrix2d-ccks: 343324888
289.00/291.76	c total-matrix2d-presence-ccks: 538410751
289.00/291.76	c tuples: 0
289.00/291.76	c tuples-collisions: 0
289.00/291.76	c TOTAL-NODES 38162
289.00/291.76	c TOTAL-CPU 189.17001

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.05 2.04 4/73 17446
/proc/meminfo: memFree=1614456/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5260 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) R 17444 17446 17008 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 247901003 5386240 51 996147200 4194304 4889804 548682068800 18446744073709551615 255370252080 0 0 4096 0 0 0 0 17 1 0 0
/proc/17446/statm: 1315 51 37 169 0 14 0

[startup+0.102211 s]
/proc/loadavg: 2.11 2.05 2.04 4/73 17446
/proc/meminfo: memFree=1614456/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.202221 s]
/proc/loadavg: 2.11 2.05 2.04 4/73 17446
/proc/meminfo: memFree=1614456/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30223 s]
/proc/loadavg: 2.11 2.05 2.04 4/73 17446
/proc/meminfo: memFree=1614456/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702273 s]
/proc/loadavg: 2.11 2.05 2.04 4/73 17446
/proc/meminfo: memFree=1614456/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50236 s]
/proc/loadavg: 2.11 2.05 2.04 3/83 17457
/proc/meminfo: memFree=1601960/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=844384 CPUtime=1.46
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 6906 0 1 0 142 4 0 0 18 0 9 0 247901004 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 211096 6013 2575 9 0 205657 0
[pid=17449/tid=17450] ppid=17446 vsize=844384 CPUtime=1.13
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 3435 0 1 0 111 2 0 0 25 0 9 0 247901005 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4125907434 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=844384 CPUtime=0.15
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 2211 0 0 0 14 1 0 0 16 0 9 0 247901006 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 247901006 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=844384 CPUtime=0.15
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 526 0 0 0 15 0 0 0 16 0 9 0 247901008 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 864649216 6013 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849740

[startup+3.10152 s]
/proc/loadavg: 2.11 2.05 2.04 3/83 17457
/proc/meminfo: memFree=1598568/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=844384 CPUtime=3.04
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 7733 0 1 0 298 6 0 0 18 0 9 0 247901004 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 211096 6687 2575 9 0 205657 0
[pid=17449/tid=17450] ppid=17446 vsize=844384 CPUtime=2.56
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 3588 0 1 0 253 3 0 0 25 0 9 0 247901005 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4125374923 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=844384 CPUtime=0.31
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 2885 0 0 0 29 2 0 0 16 0 9 0 247901006 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 247901006 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=844384 CPUtime=0.15
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 526 0 0 0 15 0 0 0 16 0 9 0 247901008 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=844384 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 864649216 6687 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 849740

[startup+6.30286 s]
/proc/loadavg: 2.10 2.05 2.04 3/84 17458
/proc/meminfo: memFree=1582368/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850920 CPUtime=6.22
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 12112 0 1 0 610 12 0 0 18 0 10 0 247901004 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212730 10769 2579 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850920 CPUtime=5.03
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 3921 0 1 0 500 3 0 0 25 0 10 0 247901005 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4126571389 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850920 CPUtime=0.63
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 5208 0 0 0 58 5 0 0 16 0 10 0 247901006 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850920 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 247901006 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850920 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 247901006 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850920 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 247901008 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850920 CPUtime=0.53
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 2245 0 0 0 51 2 0 0 16 0 10 0 247901008 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850920 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 247901009 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850920 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 247901009 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17458] ppid=17446 vsize=850920 CPUtime=0
/proc/17449/task/17458/stat : 17458 (java) S 17446 17446 17008 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 247901414 871342080 10769 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 856276

[startup+12.7015 s]
/proc/loadavg: 2.09 2.05 2.04 3/84 17458
/proc/meminfo: memFree=1571872/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=12.54
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 14735 0 1 0 1237 17 0 0 18 0 10 0 247901004 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 13276 2585 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=10.52
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 4312 0 1 0 1045 7 0 0 25 0 10 0 247901005 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4127202889 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=0.91
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 7149 0 0 0 85 6 0 0 16 0 10 0 247901006 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 247901006 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 247901006 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 247901008 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=1.09
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 2533 0 0 0 106 3 0 0 15 0 10 0 247901008 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 247901009 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 247901009 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17458] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17458/stat : 17458 (java) S 17446 17446 17008 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 247901414 871346176 13276 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 856280

[startup+25.5029 s]
/proc/loadavg: 2.14 2.06 2.05 3/84 17458
/proc/meminfo: memFree=1536352/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=25.22
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 23266 0 1 0 2491 31 0 0 18 0 10 0 247901004 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 21783 2585 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=21.64
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 5370 0 1 0 2150 14 0 0 25 0 10 0 247901005 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4127202033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=1.46
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 14246 0 0 0 137 9 0 0 16 0 10 0 247901006 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 247901006 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 247901006 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 247901008 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=2.09
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 2909 0 0 0 203 6 0 0 15 0 10 0 247901008 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 247901009 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 247901009 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17458] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17458/stat : 17458 (java) S 17446 17446 17008 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 247901414 871346176 21783 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22

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

[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=4.19
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 56277 0 0 0 393 26 0 0 16 0 9 0 247901006 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=3.63
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 3420 0 0 0 352 11 0 0 16 0 9 0 247901008 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 871346176 67506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 856280

[startup+282.303 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 17460
/proc/meminfo: memFree=1352472/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=279.69
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 69078 0 1 0 27903 66 0 0 18 0 9 0 247901004 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 67549 2587 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=271.83
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 8594 0 1 0 27157 26 0 0 25 0 9 0 247901005 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4127517571 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=4.19
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 56320 0 0 0 393 26 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=3.63
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 3420 0 0 0 352 11 0 0 16 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (KiB) 856280

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

[startup+288.002 s]
/proc/loadavg: 2.00 2.02 2.03 4/83 17460
/proc/meminfo: memFree=1352408/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=285.34
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 69078 0 1 0 28468 66 0 0 18 0 9 0 247901004 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 67549 2587 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=277.47
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 8594 0 1 0 27721 26 0 0 25 0 9 0 247901005 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4127916260 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=4.19
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 56320 0 0 0 393 26 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=3.63
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 3420 0 0 0 352 11 0 0 16 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 285.34
Current children cumulated vsize (KiB) 856280

[startup+289.603 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 17460
/proc/meminfo: memFree=1352408/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=286.92
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 69078 0 1 0 28626 66 0 0 18 0 9 0 247901004 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 67549 2587 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=279.06
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 8594 0 1 0 27880 26 0 0 25 0 9 0 247901005 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4127347717 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=4.19
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 56320 0 0 0 393 26 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=3.63
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 3420 0 0 0 352 11 0 0 16 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) R 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 286.92
Current children cumulated vsize (KiB) 856280

[startup+291.203 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 17460
/proc/meminfo: memFree=1352408/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=288.51
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 69078 0 1 0 28785 66 0 0 18 0 9 0 247901004 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 67549 2587 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=280.65
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 8594 0 1 0 28039 26 0 0 25 0 9 0 247901005 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4127517571 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=4.19
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 56320 0 0 0 393 26 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=3.63
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 3420 0 0 0 352 11 0 0 16 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.51
Current children cumulated vsize (KiB) 856280

[startup+291.608 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 17460
/proc/meminfo: memFree=1352408/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=850924 CPUtime=288.91
/proc/17449/stat : 17449 (java) S 17446 17446 17008 0 -1 0 69078 0 1 0 28825 66 0 0 18 0 9 0 247901004 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 212731 67549 2587 9 0 207291 0
[pid=17449/tid=17450] ppid=17446 vsize=850924 CPUtime=281.04
/proc/17449/task/17450/stat : 17450 (java) R 17446 17446 17008 0 -1 64 8594 0 1 0 28078 26 0 0 25 0 9 0 247901005 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4127916264 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17451] ppid=17446 vsize=850924 CPUtime=4.19
/proc/17449/task/17451/stat : 17451 (java) S 17446 17446 17008 0 -1 64 56320 0 0 0 393 26 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17452] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17452/stat : 17452 (java) S 17446 17446 17008 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17453] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17453/stat : 17453 (java) S 17446 17446 17008 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 247901006 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17454] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17454/stat : 17454 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17455] ppid=17446 vsize=850924 CPUtime=3.63
/proc/17449/task/17455/stat : 17455 (java) S 17446 17446 17008 0 -1 64 3420 0 0 0 352 11 0 0 16 0 9 0 247901008 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17456] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17456/stat : 17456 (java) S 17446 17446 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17449/tid=17457] ppid=17446 vsize=850924 CPUtime=0
/proc/17449/task/17457/stat : 17457 (java) S 17446 17446 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 247901009 871346176 67549 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.91
Current children cumulated vsize (KiB) 856280

[startup+291.803 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 17460
/proc/meminfo: memFree=1352408/2055912 swapFree=4178564/4192956
[pid=17446] ppid=17444 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (concrete.sh) S 17444 17446 17008 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 247901003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 242 201 169 0 50 0
[pid=17449] ppid=17446 vsize=0 CPUtime=289.07
/proc/17449/stat : 17449 (java) Z 17446 17446 17008 0 -1 12 69085 0 1 0 28840 67 0 0 16 0 2 0 247901004 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17449/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 289.07
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 291.832
CPU time (s): 289.119
CPU user time (s): 288.41
CPU system time (s): 0.708892
CPU usage (%): 99.0704
Max. virtual memory (cumulated for all children) (KiB): 856280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.41
system time used= 0.708892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69538
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= 24717
involuntary context switches= 31103

runsolver used 0.384941 second user time and 0.972852 second system time

The end

Launcher Data (download as text)

Begin job on node78 at 2008-07-05 08:07:40
IDJOB=1086208
IDBENCH=57779
IDSOLVER=305
FILE ID=node78/1086208-1215238060
PBS_JOBID= 7881955
Free space on /tmp= 126636 MiB

SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-9.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086208-1215238060/watcher-1086208-1215238060 -o /tmp/evaluation-result-1086208-1215238060/solver-1086208-1215238060 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 60 HOME/instance-1086208-1215238060.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7fe976fa4ce71b2c5a4965beb0a6326a
RANDOM SEED=2076336102

node78.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.247
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.247
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:      2055912 kB
MemFree:       1614936 kB
Buffers:         19724 kB
Cached:         147508 kB
SwapCached:       7664 kB
Active:         300340 kB
Inactive:        75388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1614936 kB
SwapTotal:     4192956 kB
SwapFree:      4178564 kB
Dirty:            1680 kB
Writeback:           0 kB
Mapped:         216696 kB
Slab:            50416 kB
Committed_AS:   905824 kB
PageTables:       1984 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= 126636 MiB
End job on node78 at 2008-07-05 08:12:32