Trace number 1074697

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 1020.15 1029.55

DiagnosticValue
CHECKS0
NODES119795

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-1.xml
MD5SUM4cf62a1b83c7d6776b82d5fd63452e47
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 benchmark7.92679
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1332
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

74.84/75.21	c CPU-LOAD 71.01
74.84/75.21	c LOADED 400 V (1332 E), 7600 DTPConstraint, arity 2, 71.01 cpu
1019.99/1029.49	v 231 110 0 762 55 167 278 593 826 408 464 200 518 677 534 137 343 925 965 1030 0 108 343 165 240 96 279 436 505 403 677 826 898 586 309 651 948 1007 1099 100 0 948 774 13 57 244 91 71 161 807 407 270 650 1096 490 278 179 1190 582 126 0 142 71 67 621 280 370 898 712 1190 77 503 938 798 221 1021 1099 108 250 446 807 0 296 144 31 161 242 650 75 712 76 464 384 107 891 414 979 99 225 595 480 676 36 79 747 546 597 416 819 421 873 972 1067 1128 436 0 323 1218 165 244 57 132 31 403 796 597 1099 190 309 253 467 891 291 687 100 928 1024 1273 0 1189 0 1139 375 11 22 579 928 633 113 165 957 464 1044 834 161 291 91 1238 395 741 259 160 464 334 12 56 582 938 850 375 741 233 263 421 645 1043 116 1238 1073 0 518 384 235 268 430 687 819 348 600 79 881 1073 958 413 1005 1048 1218 0 1096 166 1048 1147 633 372 324 671 566 365 436 474 105 549 881 459 173 720 242 0 917 1225 1091 824 879 927 408 110 742 161 1019 30 593 323 55 1172 673 1289 279 200 497 0 672 76 600 873 58 531 185 979 704 0 615 1067 260 744 767 1091 427 336 223 157 1239 173 296 1198 225 850 1045 595 13 54 0 365 1094 497 433 762 950 450 686 1128 958 650 0 836 305 917 260 91 1147 200 98 744 1189 784 501 377 566 125 474 1257 747 446 172 562 1272 615 51 704 1112 395 11 807 1193 56 88 256 490 888 270 305 1291 446 231 71 436 1099 676 280 1261 579 836 167 928 339 1190 739 0 108 501 970 256 582 682 1257 1008 36 1217 501 645 463 108 761 395 1129 336 22 251 1081 843 976 526 334 505 147 928 54 166 1160 1091 427 782 260 881 739 651 0 1239 108 845 583 1010 172 105 843 538 1096 339 720 355 925 240 253 414 805 762 446 30 1225 1081 673 
1019.99/1029.49	s SATISFIABLE
1019.99/1029.49	d NODES 119795
1019.99/1029.49	d CHECKS 0
1019.99/1029.50	c gac3-effective-revisions: 4556971
1019.99/1029.50	c gac3-useless-revisions: 63169624
1019.99/1029.50	c heuristic-cpu: 0.060000017
1019.99/1029.50	c prepro-constraint-ccks: 0
1019.99/1029.50	c prepro-constraint-presenceccks: 0
1019.99/1029.50	c prepro-cpu: 0.24
1019.99/1029.50	c prepro-matrix2d-ccks: 0
1019.99/1029.50	c prepro-matrix2d-presenceccks: 0
1019.99/1029.50	c prepro-removed: 0
1019.99/1029.50	c search-cpu: 944.5
1019.99/1029.50	c total-assgn: 119795
1019.99/1029.50	c total-constraint-ccks: 0
1019.99/1029.50	c total-constraint-presence-ccks: 0
1019.99/1029.50	c total-cpu: 944.8
1019.99/1029.50	c total-matrix2d-ccks: 0
1019.99/1029.50	c total-matrix2d-presence-ccks: 0
1019.99/1029.50	c tuples: 0
1019.99/1029.50	c tuples-collisions: 0
1019.99/1029.50	c TOTAL-NODES 119795
1019.99/1029.50	c TOTAL-CPU 944.8

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-1074697-1215179392/watcher-1074697-1215179392 -o /tmp/evaluation-result-1074697-1215179392/solver-1074697-1215179392 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1074697-1215179392.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: 1.92 1.98 1.99 4/81 29876
/proc/meminfo: memFree=1551880/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 1547615429 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/29876/statm: 1339 230 191 169 0 50 0
[pid=29877] ppid=29876 vsize=5356 CPUtime=0
/proc/29877/stat : 29877 (concrete.sh) R 29876 29876 27559 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 1 0 1547615429 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 215418989300 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/29877/statm: 1339 230 191 169 0 50 0

[startup+0.0865229 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 29876
/proc/meminfo: memFree=1551880/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101522 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 29876
/proc/meminfo: memFree=1551880/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301554 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 29876
/proc/meminfo: memFree=1551880/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701631 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 29876
/proc/meminfo: memFree=1551880/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50278 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 29887
/proc/meminfo: memFree=1540144/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=844272 CPUtime=1.47
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 5757 0 1 0 142 5 0 0 18 0 9 0 1547615430 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 211068 5020 1900 9 0 205629 0
[pid=29879/tid=29880] ppid=29876 vsize=844272 CPUtime=1.22
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 3458 0 1 0 119 3 0 0 25 0 9 0 1547615431 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4125231227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29881] ppid=29876 vsize=844272 CPUtime=0.1
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 1062 0 0 0 10 0 0 0 16 0 9 0 1547615432 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29882] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1547615432 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=844272 CPUtime=0.12
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 505 0 0 0 12 0 0 0 16 0 9 0 1547615434 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29886] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 864534528 5020 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 849628

[startup+3.10209 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 29887
/proc/meminfo: memFree=1537072/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=844272 CPUtime=3.06
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 7540 0 1 0 299 7 0 0 18 0 9 0 1547615430 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 211068 6437 2574 9 0 205629 0
[pid=29879/tid=29880] ppid=29876 vsize=844272 CPUtime=2.65
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 3637 0 1 0 262 3 0 0 25 0 9 0 1547615431 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4125926587 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29881] ppid=29876 vsize=844272 CPUtime=0.26
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 2666 0 0 0 24 2 0 0 16 0 9 0 1547615432 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29882] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1547615432 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=844272 CPUtime=0.12
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 505 0 0 0 12 0 0 0 16 0 9 0 1547615434 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29886] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 864534528 6437 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 849628

[startup+6.30271 s]
/proc/loadavg: 1.93 1.98 1.99 3/91 29887
/proc/meminfo: memFree=1533616/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=844272 CPUtime=6.23
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 8507 0 1 0 613 10 0 0 18 0 9 0 1547615430 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 211068 7093 2574 9 0 205629 0
[pid=29879/tid=29880] ppid=29876 vsize=844272 CPUtime=5.56
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 3948 0 1 0 552 4 0 0 25 0 9 0 1547615431 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4125926084 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29881] ppid=29876 vsize=844272 CPUtime=0.52
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 3322 0 0 0 48 4 0 0 16 0 9 0 1547615432 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29882] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1547615432 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=844272 CPUtime=0.12
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 505 0 0 0 12 0 0 0 16 0 9 0 1547615434 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29886] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=844272 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 864534528 7093 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 849628

[startup+12.7029 s]
/proc/loadavg: 1.93 1.98 1.99 3/92 29888
/proc/meminfo: memFree=1463152/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850932 CPUtime=12.6
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 30197 0 1 0 1239 21 0 0 18 0 10 0 1547615430 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212733 24855 2576 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850932 CPUtime=10.17
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 5178 0 1 0 1011 6 0 0 25 0 10 0 1547615431 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4125672979 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850932 CPUtime=1.9
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 22107 0 0 0 178 12 0 0 16 0 10 0 1547615432 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850932 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1547615432 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850932 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 1547615432 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850932 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547615434 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850932 CPUtime=0.49
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2174 0 0 0 48 1 0 0 16 0 10 0 1547615434 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850932 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1547615434 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850932 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1547615434 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29888] ppid=29876 vsize=850932 CPUtime=0
/proc/29879/task/29888/stat : 29888 (java) S 29876 29876 27559 0 -1 64 5 0 0 0 0 0 0 0 25 0 10 0 1547616367 871354368 24855 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 856288

[startup+25.5014 s]
/proc/loadavg: 1.95 1.98 1.99 3/92 29889
/proc/meminfo: memFree=1298088/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=25.34
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71043 0 1 0 2496 38 0 0 18 0 10 0 1547615430 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65669 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=21.59
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 7402 0 1 0 2152 7 0 0 25 0 10 0 1547615431 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 103282657 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.17
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60682 0 0 0 290 27 0 0 16 0 10 0 1547615432 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1547615432 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 1547615432 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547615434 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.54
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2218 0 0 0 53 1 0 0 16 0 10 0 1547615434 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1547615434 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1547615434 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29889] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29889/stat : 29889 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1547616935 871358464 65669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 856292

[startup+1017.51 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 29952
/proc/meminfo: memFree=1456184/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=1008.21
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71128 0 1 0 100778 43 0 0 18 0 9 0 1547615430 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65731 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=1004.03
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 7445 0 1 0 100391 12 0 0 25 0 9 0 1547615431 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4127354409 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.53
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60693 0 0 0 326 27 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.59
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2248 0 0 0 58 1 0 0 16 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1008.21
Current children cumulated vsize (KiB) 856292

[startup+1023.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 29952
/proc/meminfo: memFree=1456184/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=1014.54
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71128 0 1 0 101411 43 0 0 18 0 9 0 1547615430 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65731 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=1010.37
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 7445 0 1 0 101025 12 0 0 25 0 9 0 1547615431 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4127285804 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.53
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60693 0 0 0 326 27 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.59
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2248 0 0 0 58 1 0 0 16 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1014.54
Current children cumulated vsize (KiB) 856292

[startup+1027.1 s]
/proc/loadavg: 2.20 2.06 2.01 3/82 29952
/proc/meminfo: memFree=1456184/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=1017.71
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71128 0 1 0 101728 43 0 0 18 0 9 0 1547615430 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65731 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=1013.54
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 7445 0 1 0 101342 12 0 0 25 0 9 0 1547615431 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4127329585 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.53
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60693 0 0 0 326 27 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.59
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2248 0 0 0 58 1 0 0 16 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1017.71
Current children cumulated vsize (KiB) 856292

[startup+1028.7 s]
/proc/loadavg: 2.19 2.06 2.01 3/82 29952
/proc/meminfo: memFree=1456184/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=1019.29
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71128 0 1 0 101886 43 0 0 18 0 9 0 1547615430 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65731 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=1015.12
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 7445 0 1 0 101500 12 0 0 25 0 9 0 1547615431 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4127329563 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.53
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60693 0 0 0 326 27 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.59
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2248 0 0 0 58 1 0 0 16 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1019.29
Current children cumulated vsize (KiB) 856292

[startup+1029.1 s]
/proc/loadavg: 2.19 2.06 2.01 3/82 29952
/proc/meminfo: memFree=1456184/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=1019.69
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71128 0 1 0 101926 43 0 0 18 0 9 0 1547615430 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65731 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=1015.52
/proc/29879/task/29880/stat : 29880 (java) R 29876 29876 27559 0 -1 64 7445 0 1 0 101540 12 0 0 25 0 9 0 1547615431 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4127285814 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.53
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60693 0 0 0 326 27 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.59
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2248 0 0 0 58 1 0 0 16 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) S 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 871358464 65731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1019.69
Current children cumulated vsize (KiB) 856292

[startup+1029.5 s]
/proc/loadavg: 2.19 2.06 2.01 2/82 29953
/proc/meminfo: memFree=1456184/2055920 swapFree=4114036/4192956
[pid=29876] ppid=29874 vsize=5356 CPUtime=0
/proc/29876/stat : 29876 (concrete.sh) S 29874 29876 27559 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547615429 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29876/statm: 1339 242 201 169 0 50 0
[pid=29879] ppid=29876 vsize=850936 CPUtime=1020.09
/proc/29879/stat : 29879 (java) S 29876 29876 27559 0 -1 0 71136 0 1 0 101966 43 0 0 18 0 9 0 1547615430 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29879/statm: 212734 65738 2580 9 0 207294 0
[pid=29879/tid=29880] ppid=29876 vsize=850936 CPUtime=1015.92
/proc/29879/task/29880/stat : 29880 (java) S 29876 29876 27559 0 -1 64 7452 0 1 0 101580 12 0 0 25 0 9 0 1547615431 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29881] ppid=29876 vsize=850936 CPUtime=3.53
/proc/29879/task/29881/stat : 29881 (java) S 29876 29876 27559 0 -1 64 60693 0 0 0 326 27 0 0 16 0 9 0 1547615432 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29882] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29882/stat : 29882 (java) S 29876 29876 27559 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29883] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29883/stat : 29883 (java) S 29876 29876 27559 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547615432 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29879/tid=29884] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29884/stat : 29884 (java) S 29876 29876 27559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547615434 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29885] ppid=29876 vsize=850936 CPUtime=0.59
/proc/29879/task/29885/stat : 29885 (java) S 29876 29876 27559 0 -1 64 2249 0 0 0 58 1 0 0 16 0 9 0 1547615434 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29886] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29886/stat : 29886 (java) S 29876 29876 27559 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1547615434 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29879/tid=29887] ppid=29876 vsize=850936 CPUtime=0
/proc/29879/task/29887/stat : 29887 (java) R 29876 29876 27559 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1547615434 871358464 65738 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1020.09
Current children cumulated vsize (KiB) 856292

Child status: 0
Real time (s): 1029.55
CPU time (s): 1020.15
CPU user time (s): 1019.67
CPU system time (s): 0.481926
CPU usage (%): 99.0867
Max. virtual memory (cumulated for all children) (KiB): 856292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.67
system time used= 0.481926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71592
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= 29258
involuntary context switches= 49249

runsolver used 1.43478 second user time and 3.2675 second system time

The end

Launcher Data (download as text)

Begin job on node9 at 2008-07-04 15:49:52
IDJOB=1074697
IDBENCH=56430
IDSOLVER=305
FILE ID=node9/1074697-1215179392
PBS_JOBID= 7881447
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4cf62a1b83c7d6776b82d5fd63452e47
RANDOM SEED=170278019

node9.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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1552360 kB
Buffers:         44444 kB
Cached:         130844 kB
SwapCached:      72708 kB
Active:         388960 kB
Inactive:        56804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552360 kB
SwapTotal:     4192956 kB
SwapFree:      4114036 kB
Dirty:            1840 kB
Writeback:           0 kB
Mapped:         286548 kB
Slab:            42344 kB
Committed_AS:  3278816 kB
PageTables:       2408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB
End job on node9 at 2008-07-04 16:07:01