Trace number 1074802

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 228.494 228.747

DiagnosticValue
CHECKS0
NODES20043

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
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 benchmark2.41663
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
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.80/75.00	c CPU-LOAD 71.07
74.80/75.00	c LOADED 400 V (1388 E), 7600 DTPConstraint, arity 2, 71.07 cpu
228.35/228.68	v 0 73 237 129 136 520 259 169 190 377 532 676 461 764 351 504 845 619 903 928 0 77 307 244 156 169 229 467 396 541 619 716 845 931 403 278 1015 1099 1135 363 62 108 109 278 0 378 314 181 11 183 209 224 440 541 590 639 715 725 772 1015 0 6 346 183 461 48 77 242 104 603 816 56 664 699 153 532 902 952 1000 1098 89 132 0 49 134 242 444 374 524 675 737 314 198 622 796 835 423 1104 934 983 532 313 764 0 153 365 6 9 37 460 56 616 93 589 209 928 1140 267 709 1023 0 109 48 524 132 243 11 331 440 208 13 592 147 357 715 934 78 651 1092 797 0 100 56 331 401 77 772 249 138 181 495 664 118 902 222 585 150 460 275 996 246 56 85 651 305 136 811 485 49 725 423 343 13 1162 589 885 933 18 234 369 343 721 259 415 885 113 1222 511 599 669 78 922 765 1000 1264 863 0 1096 153 1129 240 9 922 401 765 325 1023 470 18 567 866 62 699 1102 996 365 609 135 1191 952 890 351 520 1102 253 639 0 104 978 737 1190 41 1264 594 1298 696 156 443 1054 824 443 1230 322 917 1015 86 1135 274 1280 0 867 689 509 767 791 403 978 609 1196 181 986 497 539 1054 716 192 60 1196 168 758 828 253 330 796 634 396 0 864 1289 1115 843 375 1201 583 135 950 1043 277 1289 696 460 192 739 394 912 1106 93 0 1302 539 764 134 1281 1140 267 702 285 1006 1075 443 153 375 1223 84 613 491 912 0 95 638 231 1096 330 911 190 86 430 198 889 448 616 709 0 983 307 1225 1163 525 394 813 975 1223 634 1268 1057 739 0 1113 153 244 329 426 525 858 341 1201 1287 270 680 62 231 866 520 397 931 816 974 735 138 89 1284 1140 603 1028 1129 426 322 0 1155 676 1302 322 237 153 491 381 1191 1229 1136 708 1016 397 767 319 0 1037 939 866 510 78 
228.35/228.68	s SATISFIABLE
228.35/228.68	d NODES 20043
228.35/228.68	d CHECKS 0
228.35/228.69	c gac3-effective-revisions: 1061224
228.35/228.69	c gac3-useless-revisions: 13894638
228.35/228.69	c heuristic-cpu: 0.060000002
228.35/228.69	c prepro-constraint-ccks: 0
228.35/228.69	c prepro-constraint-presenceccks: 0
228.35/228.69	c prepro-cpu: 0.22
228.35/228.69	c prepro-matrix2d-ccks: 0
228.35/228.69	c prepro-matrix2d-presenceccks: 0
228.35/228.69	c prepro-removed: 0
228.35/228.69	c search-cpu: 152.86
228.35/228.69	c total-assgn: 20043
228.35/228.69	c total-constraint-ccks: 0
228.35/228.69	c total-constraint-presence-ccks: 0
228.35/228.69	c total-cpu: 153.14
228.35/228.69	c total-matrix2d-ccks: 0
228.35/228.69	c total-matrix2d-presence-ccks: 0
228.35/228.69	c tuples: 0
228.35/228.69	c tuples-collisions: 0
228.35/228.69	c TOTAL-NODES 20043
228.35/228.69	c TOTAL-CPU 153.14

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-1074802-1215179828/watcher-1074802-1215179828 -o /tmp/evaluation-result-1074802-1215179828/solver-1074802-1215179828 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1074802-1215179828.xml 

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


[startup+0 s]
/proc/loadavg: 2.06 2.01 1.94 4/82 28341
/proc/meminfo: memFree=1630648/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) R 28339 28341 25002 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 1547655003 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 268213742239 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/28341/statm: 1339 230 191 169 0 50 0
[pid=28342] ppid=28341 vsize=5356 CPUtime=0
/proc/28342/stat : 28342 (concrete.sh) R 28341 28341 25002 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 1547655003 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 268213742239 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/28342/statm: 1339 230 191 169 0 50 0

[startup+0.102925 s]
/proc/loadavg: 2.06 2.01 1.94 4/82 28341
/proc/meminfo: memFree=1630648/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201931 s]
/proc/loadavg: 2.06 2.01 1.94 4/82 28341
/proc/meminfo: memFree=1630648/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.30194 s]
/proc/loadavg: 2.06 2.01 1.94 4/82 28341
/proc/meminfo: memFree=1630648/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701985 s]
/proc/loadavg: 2.06 2.01 1.94 4/82 28341
/proc/meminfo: memFree=1630648/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50108 s]
/proc/loadavg: 2.05 2.01 1.94 4/92 28352
/proc/meminfo: memFree=1618536/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=845296 CPUtime=1.46
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 5773 0 1 0 141 5 0 0 18 0 9 0 1547655004 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 211324 5033 1900 9 0 205885 0
[pid=28344/tid=28345] ppid=28341 vsize=845296 CPUtime=1.24
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 3463 0 1 0 121 3 0 0 25 0 9 0 1547655005 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4125909272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=845296 CPUtime=0.08
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 1072 0 0 0 7 1 0 0 16 0 9 0 1547655006 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1547655006 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=845296 CPUtime=0.12
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 504 0 0 0 12 0 0 0 16 0 9 0 1547655009 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 865583104 5033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 865583104 5033 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) 850652

[startup+3.10226 s]
/proc/loadavg: 2.05 2.01 1.94 3/92 28352
/proc/meminfo: memFree=1615592/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=845296 CPUtime=3.07
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 7563 0 1 0 300 7 0 0 18 0 9 0 1547655004 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 211324 6454 2574 9 0 205885 0
[pid=28344/tid=28345] ppid=28341 vsize=845296 CPUtime=2.67
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 3645 0 1 0 264 3 0 0 25 0 9 0 1547655005 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4125922538 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=845296 CPUtime=0.25
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 2680 0 0 0 23 2 0 0 16 0 9 0 1547655006 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1547655006 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=845296 CPUtime=0.12
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 504 0 0 0 12 0 0 0 16 0 9 0 1547655009 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 865583104 6454 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 850652

[startup+6.30262 s]
/proc/loadavg: 2.05 2.01 1.94 3/92 28352
/proc/meminfo: memFree=1612264/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=845296 CPUtime=6.26
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 8529 0 1 0 614 12 0 0 18 0 9 0 1547655004 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 211324 7108 2574 9 0 205885 0
[pid=28344/tid=28345] ppid=28341 vsize=845296 CPUtime=5.62
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 3957 0 1 0 556 6 0 0 25 0 9 0 1547655005 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4125922538 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=845296 CPUtime=0.5
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 3334 0 0 0 45 5 0 0 16 0 9 0 1547655006 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1547655006 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=845296 CPUtime=0.12
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 504 0 0 0 12 0 0 0 16 0 9 0 1547655009 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=845296 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 865583104 7108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 850652

[startup+12.7023 s]
/proc/loadavg: 2.12 2.03 1.94 3/93 28353
/proc/meminfo: memFree=1538976/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851924 CPUtime=12.67
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 30907 0 1 0 1242 25 0 0 18 0 10 0 1547655004 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212981 25557 2579 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851924 CPUtime=10.25
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 5213 0 1 0 1018 7 0 0 25 0 10 0 1547655005 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4126150711 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851924 CPUtime=1.91
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 22752 0 0 0 176 15 0 0 16 0 10 0 1547655006 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851924 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1547655006 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851924 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 1547655006 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851924 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547655009 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851924 CPUtime=0.48
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2202 0 0 0 47 1 0 0 16 0 10 0 1547655009 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851924 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1547655009 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851924 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1547655009 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28353] ppid=28341 vsize=851924 CPUtime=0
/proc/28344/task/28353/stat : 28353 (java) S 28341 28341 25002 0 -1 64 5 0 0 0 0 0 0 0 24 0 10 0 1547655932 872370176 25557 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 857280

[startup+25.5018 s]
/proc/loadavg: 2.18 2.04 1.95 3/93 28354
/proc/meminfo: memFree=1372120/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=25.44
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72235 0 1 0 2503 41 0 0 18 0 10 0 1547655004 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66852 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=21.71
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 7529 0 1 0 2163 8 0 0 25 0 10 0 1547655005 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 103282671 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.17
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61726 0 0 0 287 30 0 0 16 0 10 0 1547655006 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1547655006 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 1547655006 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547655009 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.53
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2238 0 0 0 52 1 0 0 16 0 10 0 1547655009 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1547655009 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 1547655009 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28354] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28354/stat : 28354 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 22 0 10 0 1547656486 872374272 66852 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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


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

[startup+224.001 s]
/proc/loadavg: 2.05 2.06 1.97 3/92 28355
/proc/meminfo: memFree=1371480/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=223.77
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72319 0 1 0 22336 41 0 0 18 0 9 0 1547655004 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66919 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=219.65
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 7569 0 1 0 21956 9 0 0 25 0 9 0 1547655005 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4127358255 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.52
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61741 0 0 0 322 30 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.57
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2266 0 0 0 56 1 0 0 16 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 223.77
Current children cumulated vsize (KiB) 857284

[startup+227.203 s]
/proc/loadavg: 2.05 2.06 1.97 3/92 28355
/proc/meminfo: memFree=1371480/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=226.96
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72319 0 1 0 22655 41 0 0 18 0 9 0 1547655004 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66919 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=222.84
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 7569 0 1 0 22275 9 0 0 25 0 9 0 1547655005 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4127371304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.52
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61741 0 0 0 322 30 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.57
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2266 0 0 0 56 1 0 0 16 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 226.96
Current children cumulated vsize (KiB) 857284

[startup+228.003 s]
/proc/loadavg: 2.05 2.06 1.97 3/92 28355
/proc/meminfo: memFree=1371480/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=227.75
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72319 0 1 0 22734 41 0 0 18 0 9 0 1547655004 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66919 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=223.63
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 7569 0 1 0 22354 9 0 0 25 0 9 0 1547655005 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4127372306 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.52
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61741 0 0 0 322 30 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.57
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2266 0 0 0 56 1 0 0 16 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.75
Current children cumulated vsize (KiB) 857284

[startup+228.403 s]
/proc/loadavg: 2.05 2.06 1.97 3/92 28355
/proc/meminfo: memFree=1371480/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=228.15
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72319 0 1 0 22774 41 0 0 18 0 9 0 1547655004 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66919 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=224.03
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 7569 0 1 0 22394 9 0 0 25 0 9 0 1547655005 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4127356212 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.52
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61741 0 0 0 322 30 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.57
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2266 0 0 0 56 1 0 0 16 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 228.15
Current children cumulated vsize (KiB) 857284

[startup+228.603 s]
/proc/loadavg: 2.05 2.06 1.97 3/92 28355
/proc/meminfo: memFree=1371480/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=228.35
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72319 0 1 0 22794 41 0 0 18 0 9 0 1547655004 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66919 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=224.23
/proc/28344/task/28345/stat : 28345 (java) R 28341 28341 25002 0 -1 64 7569 0 1 0 22414 9 0 0 25 0 9 0 1547655005 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4127353987 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.52
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61741 0 0 0 322 30 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.57
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2266 0 0 0 56 1 0 0 16 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 872374272 66919 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 228.35
Current children cumulated vsize (KiB) 857284

[startup+228.703 s]
/proc/loadavg: 2.05 2.06 1.97 3/92 28355
/proc/meminfo: memFree=1371480/2055920 swapFree=4097928/4192956
[pid=28341] ppid=28339 vsize=5356 CPUtime=0
/proc/28341/stat : 28341 (concrete.sh) S 28339 28341 25002 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 1547655003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28341/statm: 1339 242 201 169 0 50 0
[pid=28344] ppid=28341 vsize=851928 CPUtime=228.44
/proc/28344/stat : 28344 (java) S 28341 28341 25002 0 -1 0 72326 0 1 0 22803 41 0 0 18 0 9 0 1547655004 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28344/statm: 212982 66925 2580 9 0 207542 0
[pid=28344/tid=28345] ppid=28341 vsize=851928 CPUtime=224.32
/proc/28344/task/28345/stat : 28345 (java) S 28341 28341 25002 0 -1 64 7576 0 1 0 22423 9 0 0 25 0 9 0 1547655005 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28346] ppid=28341 vsize=851928 CPUtime=3.52
/proc/28344/task/28346/stat : 28346 (java) S 28341 28341 25002 0 -1 64 61741 0 0 0 322 30 0 0 16 0 9 0 1547655006 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28347] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28347/stat : 28347 (java) S 28341 28341 25002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28348] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28348/stat : 28348 (java) S 28341 28341 25002 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1547655006 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28349] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28349/stat : 28349 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547655009 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28350] ppid=28341 vsize=851928 CPUtime=0.57
/proc/28344/task/28350/stat : 28350 (java) S 28341 28341 25002 0 -1 64 2266 0 0 0 56 1 0 0 16 0 9 0 1547655009 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28344/tid=28351] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28351/stat : 28351 (java) S 28341 28341 25002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547655009 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28344/tid=28352] ppid=28341 vsize=851928 CPUtime=0
/proc/28344/task/28352/stat : 28352 (java) S 28341 28341 25002 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 1547655009 872374272 66925 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 228.44
Current children cumulated vsize (KiB) 857284

Child status: 0
Real time (s): 228.747
CPU time (s): 228.494
CPU user time (s): 228.032
CPU system time (s): 0.461929
CPU usage (%): 99.8896
Max. virtual memory (cumulated for all children) (KiB): 857284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.032
system time used= 0.461929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72782
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= 13053
involuntary context switches= 9294

runsolver used 0.281957 second user time and 0.769882 second system time

The end

Launcher Data (download as text)

Begin job on node32 at 2008-07-04 15:57:08
IDJOB=1074802
IDBENCH=56445
IDSOLVER=305
FILE ID=node32/1074802-1215179828
PBS_JOBID= 7881402
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=541078603

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
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.218
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:       1631128 kB
Buffers:         45860 kB
Cached:         128580 kB
SwapCached:      88312 kB
Active:         311448 kB
Inactive:        59964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1631128 kB
SwapTotal:     4192956 kB
SwapFree:      4097928 kB
Dirty:            1844 kB
Writeback:           0 kB
Mapped:         210480 kB
Slab:            37856 kB
Committed_AS:  4011668 kB
PageTables:       2348 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= 66544 MiB
End job on node32 at 2008-07-04 16:00:57