Trace number 2116192

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
Choco2.1.1b 2009-07-16SAT 58.6651 58.9603

DiagnosticValue
CHECKS0
NODES4957

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 benchmark6.42902
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 

58.61/58.92	s SATISFIABLE
58.61/58.92	v 648 447 149 611 1255 229 241 907 105 333 0 1065 176 826 747 632 1007 770 586 934 1080 724 1254 364 137 1013 804 1180 281 108 543 878 430 640 818 1364 146 1310 0 853 550 2 596 791 1295 3 1332 0 1167 424 1082 680 969 375 184 705 781 1205 275 450 109 471 513 803 179 101 281 936 1147 118 385 117 1112 1230 770 2 1035 868 611 250 1171 70 904 134 6 315 1252 266 953 72 386 611 172 1147 1332 801 525 724 445 1051 115 406 463 1254 1082 1137 458 568 889 329 905 960 186 1232 732 20 238 1074 683 1310 502 464 513 2 853 1247 0 476 985 605 562 724 195 398 288 1161 244 868 113 1335 314 24 275 819 617 134 973 907 1121 533 1024 734 3 181 458 932 296 786 1170 55 1121 1180 928 419 1209 329 706 1247 113 158 0 244 114 53 1074 502 976 1098 970 275 533 489 747 1179 1004 732 892 370 934 0 626 176 266 80 1083 1275 1313 233 640 827 598 791 247 683 795 1327 1224 275 146 458 0 900 1007 55 1205 24 1114 503 154 424 817 1027 552 464 713 970 0 101 251 626 181 801 19 905 105 1323 237 370 1247 82 836 1111 1239 1322 1022 695 420 769 482 154 370 1161 562 1298 184 667 894 926 794 70 713 943 985 47 653 1252 1171 572 0 19 118 850 154 770 1313 476 802 333 380 1108 598 1276 682 63 172 407 0 1178 573 1335 1061 322 502 816 1378 927 668 229 463 586 740 17 333 989 1305 618 1108 850 134 938 869 47 1247 1097 1069 1161 1323 680 0 220 816 333 1128 1167 1075 611 1252 100 400 1282 241 1083 989 117 706 892 134 481 72 740 0 724 887 387 406 82 770 109 1075 943 933 621 183 720 525 503 1214 832 1306 284 1124 266 827 1223 387 910 55 740 524 171 677 40 314 1295 1215 430 960 1035 1230 618 445 1069 825 284 195 0 158 538 752 1059 804 214 960 1252 80 1153 368 7 518 1305 
58.61/58.92	d AC 32
58.61/58.92	d RUNTIME 58.769
58.61/58.92	d NODES 4957
58.61/58.92	d NODES/s 84
58.61/58.92	d BACKTRACKS 1165
58.61/58.92	d BACKTRACKS/s 20
58.61/58.92	d CHECKS 0
58.61/58.92	d CHECKS/s 0
58.61/58.92	c SAT 58.769 TIME      4957 NDS    979 PARSTIME      632 BUILDPB       1811 CONFIG        55347 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116192-1248030790/watcher-2116192-1248030790 -o /tmp/evaluation-result-2116192-1248030790/solver-2116192-1248030790 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116192-1248030790.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.03 1.93 4/80 29792
/proc/meminfo: memFree=827496/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=152 CPUtime=0
/proc/29792/stat : 29792 (java) R 29790 29792 28813 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 90146228 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 0 0 0
/proc/29792/statm: 38 26 19 9 0 4 0

[startup+0.0864161 s]
/proc/loadavg: 2.05 2.03 1.93 4/80 29792
/proc/meminfo: memFree=827496/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=862296 CPUtime=0.08
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 3337 0 1 0 6 2 0 0 18 0 9 0 90146228 882991104 2802 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 215574 2802 1314 9 0 210444 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 862296

[startup+0.101419 s]
/proc/loadavg: 2.05 2.03 1.93 4/80 29792
/proc/meminfo: memFree=827496/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=864104 CPUtime=0.09
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 3905 0 1 0 7 2 0 0 18 0 9 0 90146228 884842496 3352 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216026 3352 1752 9 0 210495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864104

[startup+0.301444 s]
/proc/loadavg: 2.05 2.03 1.93 4/80 29792
/proc/meminfo: memFree=827496/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=864860 CPUtime=0.29
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 4716 0 1 0 27 2 0 0 18 0 9 0 90146228 885616640 4141 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216215 4141 1856 9 0 210684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864860

[startup+0.701485 s]
/proc/loadavg: 2.05 2.03 1.93 4/80 29792
/proc/meminfo: memFree=827496/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=864992 CPUtime=0.69
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 8726 0 1 0 64 5 0 0 18 0 9 0 90146228 885751808 8140 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216248 8141 1899 9 0 210717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864992

[startup+1.50257 s]
/proc/loadavg: 2.05 2.03 1.93 3/89 29801
/proc/meminfo: memFree=782560/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865144 CPUtime=1.49
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 19535 0 1 0 138 11 0 0 18 0 9 0 90146228 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216286 18926 1956 9 0 210755 0
[pid=29792/tid=29794] ppid=29790 vsize=865144 CPUtime=1.14
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14536 0 1 0 106 8 0 0 25 0 9 0 90146229 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4125930144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865144 CPUtime=0.08
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 3653 0 0 0 7 1 0 0 16 0 9 0 90146231 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865144 CPUtime=0.23
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 613 0 0 0 23 0 0 0 16 0 9 0 90146233 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 885907456 18926 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 865144

[startup+3.10273 s]
/proc/loadavg: 2.05 2.03 1.93 4/89 29801
/proc/meminfo: memFree=751840/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865144 CPUtime=3.1
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 23911 0 1 0 296 14 0 0 18 0 9 0 90146228 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216286 23286 1979 9 0 210755 0
[pid=29792/tid=29794] ppid=29790 vsize=865144 CPUtime=2.54
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14792 0 1 0 246 8 0 0 25 0 9 0 90146229 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4125931394 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865144 CPUtime=0.21
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 7716 0 0 0 18 3 0 0 16 0 9 0 90146231 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865144 CPUtime=0.31
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 670 0 0 0 31 0 0 0 15 0 9 0 90146233 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865144 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 885907456 23286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 865144

[startup+6.30285 s]
/proc/loadavg: 2.05 2.03 1.93 3/89 29801
/proc/meminfo: memFree=714720/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=6.28
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 30688 0 1 0 609 19 0 0 18 0 9 0 90146228 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 30056 1998 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=5.36
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14911 0 1 0 527 9 0 0 25 0 9 0 90146229 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4127515150 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.4
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 14274 0 0 0 34 6 0 0 17 0 9 0 90146231 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.48
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 770 0 0 0 47 1 0 0 16 0 9 0 90146233 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 30056 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 865260

[startup+12.7025 s]
/proc/loadavg: 2.04 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709024/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=12.65
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32073 0 1 0 1245 20 0 0 18 0 9 0 90146228 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31438 1998 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=11.68
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14914 0 1 0 1158 10 0 0 25 0 9 0 90146229 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4126630350 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.44
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 38 6 0 0 16 0 9 0 90146231 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.48
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 773 0 0 0 47 1 0 0 16 0 9 0 90146233 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31438 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 865260

[startup+25.5018 s]
/proc/loadavg: 2.03 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709024/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=25.38
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32091 0 1 0 2517 21 0 0 18 0 9 0 90146228 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31450 2000 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=24.38
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14928 0 1 0 2427 11 0 0 25 0 9 0 90146229 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4127713791 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.47
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 41 6 0 0 16 0 9 0 90146231 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.49
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 777 0 0 0 48 1 0 0 16 0 9 0 90146233 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 865260

[startup+51.1014 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=50.85
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32104 0 1 0 5063 22 0 0 18 0 9 0 90146228 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31454 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=49.81
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14937 0 1 0 4969 12 0 0 25 0 9 0 90146229 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4127716192 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 44 6 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 781 0 0 0 49 1 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32104 0 1 0 5073 22 0 0 18 0 9 0 90146228 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31454 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=49.91
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14937 0 1 0 4979 12 0 0 25 0 9 0 90146229 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4127711607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 44 6 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 781 0 0 0 49 1 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 865260

[startup+54.4027 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=54.13
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32104 0 1 0 5391 22 0 0 18 0 9 0 90146228 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31454 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=53.09
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14937 0 1 0 5297 12 0 0 25 0 9 0 90146229 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 103201733 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 44 6 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 781 0 0 0 49 1 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 54.13
Current children cumulated vsize (KiB) 865260

[startup+56.0029 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=55.73
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32104 0 1 0 5551 22 0 0 18 0 9 0 90146228 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31454 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=54.69
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14937 0 1 0 5457 12 0 0 25 0 9 0 90146229 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4127568106 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 44 6 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 781 0 0 0 49 1 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 55.73
Current children cumulated vsize (KiB) 865260

[startup+57.6021 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=57.32
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32104 0 1 0 5710 22 0 0 18 0 9 0 90146228 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31454 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=56.28
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14937 0 1 0 5616 12 0 0 25 0 9 0 90146229 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4127574780 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 44 6 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 781 0 0 0 49 1 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.32
Current children cumulated vsize (KiB) 865260

[startup+58.4061 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=58.12
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32105 0 1 0 5790 22 0 0 18 0 9 0 90146228 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31454 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=57.06
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14938 0 1 0 5694 12 0 0 25 0 9 0 90146229 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4127512147 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.51
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 45 6 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.5
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 781 0 0 0 49 1 0 0 16 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.12
Current children cumulated vsize (KiB) 865260

[startup+58.8012 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=58.51
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32106 0 1 0 5829 22 0 0 18 0 9 0 90146228 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31455 2003 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=57.46
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14938 0 1 0 5734 12 0 0 25 0 9 0 90146229 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4126757892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.51
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 45 6 0 0 16 0 9 0 90146231 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.51
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 782 0 0 0 50 1 0 0 15 0 9 0 90146233 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.51
Current children cumulated vsize (KiB) 865260

[startup+58.9012 s]
/proc/loadavg: 2.02 2.03 1.93 3/89 29801
/proc/meminfo: memFree=709088/2055920 swapFree=4192812/4192956
[pid=29792] ppid=29790 vsize=865260 CPUtime=58.61
/proc/29792/stat : 29792 (java) S 29790 29792 28813 0 -1 0 32125 0 1 0 5839 22 0 0 18 0 9 0 90146228 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29792/statm: 216315 31473 2009 9 0 210784 0
[pid=29792/tid=29794] ppid=29790 vsize=865260 CPUtime=57.55
/proc/29792/task/29794/stat : 29794 (java) R 29790 29792 28813 0 -1 64 14954 0 1 0 5743 12 0 0 25 0 9 0 90146229 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4126745944 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29795] ppid=29790 vsize=865260 CPUtime=0.51
/proc/29792/task/29795/stat : 29795 (java) S 29790 29792 28813 0 -1 64 15653 0 0 0 45 6 0 0 16 0 9 0 90146231 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29796] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29796/stat : 29796 (java) S 29790 29792 28813 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29797] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29797/stat : 29797 (java) S 29790 29792 28813 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146231 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29798] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29798/stat : 29798 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90146233 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29799] ppid=29790 vsize=865260 CPUtime=0.51
/proc/29792/task/29799/stat : 29799 (java) S 29790 29792 28813 0 -1 64 785 0 0 0 50 1 0 0 16 0 9 0 90146233 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29800] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29800/stat : 29800 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90146233 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29792/tid=29801] ppid=29790 vsize=865260 CPUtime=0
/proc/29792/task/29801/stat : 29801 (java) S 29790 29792 28813 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90146233 886026240 31473 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.61
Current children cumulated vsize (KiB) 865260

Child status: 0
Real time (s): 58.9603
CPU time (s): 58.6651
CPU user time (s): 58.4191
CPU system time (s): 0.245962
CPU usage (%): 99.4994
Max. virtual memory (cumulated for all children) (KiB): 865260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.4191
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32145
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= 4190
involuntary context switches= 5036

runsolver used 0.076988 second user time and 0.198969 second system time

The end

Launcher Data 

Begin job on node17 at 2009-07-19 21:13:10
IDJOB=2116192
IDBENCH=56445
IDSOLVER=780
FILE ID=node17/2116192-1248030790
PBS_JOBID= 9529012
Free space on /tmp= 66328 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116192-1248030790/watcher-2116192-1248030790 -o /tmp/evaluation-result-2116192-1248030790/solver-2116192-1248030790 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116192-1248030790.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

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

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=515491737

node17.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.213
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.213
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:        828040 kB
Buffers:        114568 kB
Cached:         905772 kB
SwapCached:          0 kB
Active:         369904 kB
Inactive:       752580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        828040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6308 kB
Writeback:           0 kB
Mapped:         119972 kB
Slab:            90476 kB
Committed_AS:  1291020 kB
PageTables:       2060 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66324 MiB
End job on node17 at 2009-07-19 21:14:09