Trace number 1074718

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 175.363 175.947

DiagnosticValue
CHECKS0
NODES15059

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-9.xml
MD5SUMd07eba8b6417f2f1d02309d4c67c10fc
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.51662
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1348
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)

75.70/76.24	c CPU-LOAD 71.6
75.70/76.24	c LOADED 400 V (1348 E), 7600 DTPConstraint, arity 2, 71.6 cpu
175.26/175.85	v 153 0 65 471 251 329 80 563 612 49 127 427 439 697 746 844 58 907 149 922 0 90 182 63 258 350 445 464 395 558 585 679 57 756 823 851 920 973 1043 1102 302 49 0 27 113 33 375 120 450 150 163 226 542 589 648 678 691 44 728 844 564 600 628 695 728 782 854 542 901 973 997 445 1193 182 90 349 0 1073 269 552 182 0 563 27 436 627 224 93 697 35 318 794 364 877 969 1046 2 191 1156 80 552 153 0 375 65 88 187 691 27 782 274 464 483 932 351 864 1009 878 1070 648 269 364 542 0 76 152 579 436 97 728 679 760 878 111 69 789 237 968 1030 1117 329 0 63 110 50 668 120 745 217 147 439 182 828 919 407 558 200 605 1009 1084 61 120 87 372 0 865 434 311 174 579 200 648 521 728 550 1073 1167 789 956 430 436 539 97 235 26 277 760 1095 166 490 191 648 2 351 1009 376 877 571 722 1214 213 783 65 490 168 880 350 1167 379 1084 577 630 654 113 969 734 420 1224 291 0 973 147 848 23 326 395 13 44 0 630 453 721 69 310 1136 897 111 1043 82 204 0 794 634 361 427 21 577 163 452 234 241 690 139 907 1102 332 2 67 1185 1226 431 1140 95 901 1224 401 1044 972 160 745 111 534 0 827 179 212 359 298 411 691 106 277 782 87 956 467 1046 486 1211 551 217 452 376 1126 866 0 89 1251 691 145 574 751 407 221 1140 150 647 80 2 841 690 455 302 199 396 523 1009 867 973 1212 828 632 969 756 395 153 0 512 1100 1019 386 63 920 483 1249 372 881 277 519 226 678 727 347 1249 574 765 221 152 818 919 486 1144 1003 647 0 127 1177 80 616 396 827 1044 917 1168 961 564 318 0 93 1322 407 702 978 851 240 152 625 1018 1226 467 773 854 366 464 585 1212 311 674 928 145 1273 1126 0 702 57 336 379 606 978 240 
175.26/175.85	s SATISFIABLE
175.26/175.85	d NODES 15059
175.26/175.85	d CHECKS 0
175.26/175.85	c gac3-effective-revisions: 508409
175.26/175.85	c gac3-useless-revisions: 7852703
175.26/175.85	c heuristic-cpu: 0.049999997
175.26/175.85	c prepro-constraint-ccks: 0
175.26/175.85	c prepro-constraint-presenceccks: 0
175.26/175.85	c prepro-cpu: 0.22
175.26/175.85	c prepro-matrix2d-ccks: 0
175.26/175.85	c prepro-matrix2d-presenceccks: 0
175.26/175.85	c prepro-removed: 0
175.26/175.85	c search-cpu: 98.86
175.26/175.85	c total-assgn: 15059
175.26/175.85	c total-constraint-ccks: 0
175.26/175.85	c total-constraint-presence-ccks: 0
175.26/175.85	c total-cpu: 99.14
175.26/175.85	c total-matrix2d-ccks: 0
175.26/175.85	c total-matrix2d-presence-ccks: 0
175.26/175.85	c tuples: 0
175.26/175.85	c tuples-collisions: 0
175.26/175.85	c TOTAL-NODES 15059
175.26/175.85	c TOTAL-CPU 99.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-1074718-1215179507/watcher-1074718-1215179507 -o /tmp/evaluation-result-1074718-1215179507/solver-1074718-1215179507 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1074718-1215179507.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.45 2.20 2.14 4/84 5811
/proc/meminfo: memFree=1709952/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 1996922433 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/5811/statm: 1339 230 191 169 0 50 0
[pid=5812] ppid=5811 vsize=124 CPUtime=0
/proc/5812/stat : 5812 (dirname) R 5811 5811 2554 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 1996922434 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 236435076373 0 0 4096 0 0 0 0 17 1 0 0
/proc/5812/statm: 31 22 16 3 0 3 0

[startup+0.0656149 s]
/proc/loadavg: 2.45 2.20 2.14 4/84 5811
/proc/meminfo: memFree=1709952/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101625 s]
/proc/loadavg: 2.45 2.20 2.14 4/84 5811
/proc/meminfo: memFree=1709952/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301661 s]
/proc/loadavg: 2.45 2.20 2.14 4/84 5811
/proc/meminfo: memFree=1709952/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701738 s]
/proc/loadavg: 2.45 2.20 2.14 4/84 5811
/proc/meminfo: memFree=1709952/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5019 s]
/proc/loadavg: 2.41 2.20 2.14 3/94 5822
/proc/meminfo: memFree=1698096/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=844272 CPUtime=1.46
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 5698 0 1 0 141 5 0 0 18 0 9 0 1996922434 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 211068 4974 1900 9 0 205629 0
[pid=5814/tid=5815] ppid=5811 vsize=844272 CPUtime=1.21
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 3446 0 1 0 118 3 0 0 25 0 9 0 1996922435 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4125922538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5816] ppid=5811 vsize=844272 CPUtime=0.09
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 1016 0 0 0 8 1 0 0 16 0 9 0 1996922436 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1996922436 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=844272 CPUtime=0.14
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 505 0 0 0 14 0 0 0 16 0 9 0 1996922438 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 864534528 4974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 864534528 4974 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) 849628

[startup+3.10221 s]
/proc/loadavg: 2.41 2.20 2.14 3/94 5822
/proc/meminfo: memFree=1695216/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=844272 CPUtime=3.05
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 7439 0 1 0 298 7 0 0 18 0 9 0 1996922434 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 211068 6365 2574 9 0 205629 0
[pid=5814/tid=5815] ppid=5811 vsize=844272 CPUtime=2.62
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 3609 0 1 0 259 3 0 0 25 0 9 0 1996922435 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4125374826 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5816] ppid=5811 vsize=844272 CPUtime=0.26
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 2594 0 0 0 23 3 0 0 16 0 9 0 1996922436 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996922436 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=844272 CPUtime=0.14
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 505 0 0 0 14 0 0 0 16 0 9 0 1996922438 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 864534528 6365 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 849628

[startup+6.30184 s]
/proc/loadavg: 2.38 2.20 2.14 3/94 5822
/proc/meminfo: memFree=1692016/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=844272 CPUtime=6.22
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 8369 0 1 0 611 11 0 0 18 0 9 0 1996922434 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 211068 7006 2574 9 0 205629 0
[pid=5814/tid=5815] ppid=5811 vsize=844272 CPUtime=5.5
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 3898 0 1 0 546 4 0 0 25 0 9 0 1996922435 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4125923183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5816] ppid=5811 vsize=844272 CPUtime=0.55
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 3235 0 0 0 50 5 0 0 16 0 9 0 1996922436 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996922436 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=844272 CPUtime=0.14
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 505 0 0 0 14 0 0 0 16 0 9 0 1996922438 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=844272 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 864534528 7006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 849628

[startup+12.7021 s]
/proc/loadavg: 2.43 2.21 2.14 3/95 5823
/proc/meminfo: memFree=1623528/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850836 CPUtime=12.55
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 29161 0 1 0 1232 23 0 0 18 0 10 0 1996922434 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212709 24448 2576 9 0 207270 0
[pid=5814/tid=5815] ppid=5811 vsize=850836 CPUtime=9.99
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 5185 0 1 0 993 6 0 0 25 0 10 0 1996922435 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4126563400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850836 CPUtime=2
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 21057 0 0 0 185 15 0 0 16 0 10 0 1996922436 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850836 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1996922436 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850836 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 1996922436 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850836 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1996922438 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850836 CPUtime=0.53
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2183 0 0 0 52 1 0 0 16 0 10 0 1996922438 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850836 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1996922438 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850836 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 1996922438 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5823] ppid=5811 vsize=850836 CPUtime=0
/proc/5814/task/5823/stat : 5823 (java) S 5811 5811 2554 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 1996923457 871256064 24448 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 856192

[startup+25.5016 s]
/proc/loadavg: 2.40 2.21 2.15 3/95 5824
/proc/meminfo: memFree=1465120/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850916 CPUtime=25.21
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 68102 0 1 0 2480 41 0 0 18 0 10 0 1996922434 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212729 63348 2580 9 0 207289 0
[pid=5814/tid=5815] ppid=5811 vsize=850916 CPUtime=21.22
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 7255 0 1 0 2115 7 0 0 25 0 10 0 1996922435 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4127283588 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.38
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 57879 0 0 0 306 32 0 0 16 0 10 0 1996922436 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1996922436 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 1996922436 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1996922438 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.59
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2229 0 0 0 58 1 0 0 16 0 10 0 1996922438 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1996922438 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 1996922438 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5824] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5824/stat : 5824 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1996924045 871337984 63348 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.81
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 62363 0 0 0 347 34 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.63
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2256 0 0 0 62 1 0 0 16 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 856272

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

[startup+166.302 s]
/proc/loadavg: 2.04 2.13 2.12 3/91 5937
/proc/meminfo: memFree=1283504/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850916 CPUtime=165.76
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 72651 0 1 0 16529 47 0 0 18 0 9 0 1996922434 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212729 67882 2580 9 0 207289 0
[pid=5814/tid=5815] ppid=5811 vsize=850916 CPUtime=161.28
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 7292 0 1 0 16118 10 0 0 25 0 9 0 1996922435 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4127352500 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.81
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 62363 0 0 0 347 34 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.63
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2256 0 0 0 62 1 0 0 16 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.76
Current children cumulated vsize (KiB) 856272

[startup+172.706 s]
/proc/loadavg: 2.04 2.13 2.12 3/91 5937
/proc/meminfo: memFree=1283504/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850916 CPUtime=172.16
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 72651 0 1 0 17169 47 0 0 18 0 9 0 1996922434 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212729 67882 2580 9 0 207289 0
[pid=5814/tid=5815] ppid=5811 vsize=850916 CPUtime=167.68
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 7292 0 1 0 16758 10 0 0 25 0 9 0 1996922435 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4127355014 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.81
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 62363 0 0 0 347 34 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.63
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2256 0 0 0 62 1 0 0 16 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.16
Current children cumulated vsize (KiB) 856272

[startup+174.302 s]
/proc/loadavg: 2.04 2.13 2.12 3/91 5937
/proc/meminfo: memFree=1283504/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850916 CPUtime=173.75
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 72651 0 1 0 17328 47 0 0 18 0 9 0 1996922434 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212729 67882 2580 9 0 207289 0
[pid=5814/tid=5815] ppid=5811 vsize=850916 CPUtime=169.28
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 7292 0 1 0 16918 10 0 0 25 0 9 0 1996922435 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4127367572 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.81
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 62363 0 0 0 347 34 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.63
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2256 0 0 0 62 1 0 0 16 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 173.75
Current children cumulated vsize (KiB) 856272

[startup+175.103 s]
/proc/loadavg: 2.04 2.13 2.12 3/91 5937
/proc/meminfo: memFree=1283504/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850916 CPUtime=174.56
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 72651 0 1 0 17409 47 0 0 18 0 9 0 1996922434 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212729 67882 2580 9 0 207289 0
[pid=5814/tid=5815] ppid=5811 vsize=850916 CPUtime=170.08
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 7292 0 1 0 16998 10 0 0 25 0 9 0 1996922435 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4127325489 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.81
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 62363 0 0 0 347 34 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.63
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2256 0 0 0 62 1 0 0 16 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.56
Current children cumulated vsize (KiB) 856272

[startup+175.503 s]
/proc/loadavg: 2.04 2.13 2.12 3/91 5937
/proc/meminfo: memFree=1283504/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=850916 CPUtime=174.96
/proc/5814/stat : 5814 (java) S 5811 5811 2554 0 -1 0 72651 0 1 0 17449 47 0 0 18 0 9 0 1996922434 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 212729 67882 2580 9 0 207289 0
[pid=5814/tid=5815] ppid=5811 vsize=850916 CPUtime=170.48
/proc/5814/task/5815/stat : 5815 (java) R 5811 5811 2554 0 -1 64 7292 0 1 0 17038 10 0 0 25 0 9 0 1996922435 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4127350275 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5816] ppid=5811 vsize=850916 CPUtime=3.81
/proc/5814/task/5816/stat : 5816 (java) S 5811 5811 2554 0 -1 64 62363 0 0 0 347 34 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5817] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5811 5811 2554 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5818] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5811 5811 2554 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 1996922436 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5811 vsize=850916 CPUtime=0.63
/proc/5814/task/5820/stat : 5820 (java) S 5811 5811 2554 0 -1 64 2256 0 0 0 62 1 0 0 16 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5814/tid=5821] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5811 5811 2554 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5811 vsize=850916 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5811 5811 2554 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996922438 871337984 67882 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.96
Current children cumulated vsize (KiB) 856272

[startup+175.903 s]
/proc/loadavg: 2.03 2.12 2.12 2/91 5938
/proc/meminfo: memFree=1283504/2055920 swapFree=4179416/4192956
[pid=5811] ppid=5809 vsize=5356 CPUtime=0
/proc/5811/stat : 5811 (concrete.sh) S 5809 5811 2554 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996922433 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5811/statm: 1339 242 201 169 0 50 0
[pid=5814] ppid=5811 vsize=0 CPUtime=175.31
/proc/5814/stat : 5814 (java) Z 5811 5811 2554 0 -1 12 72661 0 1 0 17484 47 0 0 16 0 2 0 1996922434 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 175.31
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 175.947
CPU time (s): 175.363
CPU user time (s): 174.843
CPU system time (s): 0.51992
CPU usage (%): 99.6685
Max. virtual memory (cumulated for all children) (KiB): 856336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.843
system time used= 0.51992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73114
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= 11938
involuntary context switches= 11250

runsolver used 0.218966 second user time and 0.606907 second system time

The end

Launcher Data (download as text)

Begin job on node62 at 2008-07-04 15:51:47
IDJOB=1074718
IDBENCH=56433
IDSOLVER=305
FILE ID=node62/1074718-1215179507
PBS_JOBID= 7881452
Free space on /tmp= 65248 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d07eba8b6417f2f1d02309d4c67c10fc
RANDOM SEED=785388906

node62.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.259
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.259
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:       1710432 kB
Buffers:         44644 kB
Cached:         169140 kB
SwapCached:       7080 kB
Active:         229648 kB
Inactive:        54688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710432 kB
SwapTotal:     4192956 kB
SwapFree:      4179416 kB
Dirty:           27764 kB
Writeback:           0 kB
Mapped:          87424 kB
Slab:            45844 kB
Committed_AS:  4086548 kB
PageTables:       2108 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= 65272 MiB
End job on node62 at 2008-07-04 15:54:43