Trace number 2116194

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 82.4635 82.5564

DiagnosticValue
CHECKS0
NODES7251

General information on the benchmark

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

82.35/82.48	s SATISFIABLE
82.35/82.48	v 0 478 537 1148 878 394 783 1259 989 701 939 427 617 1228 319 226 78 1073 149 1131 1121 835 1073 405 1276 260 315 881 557 936 991 69 1197 785 193 698 482 583 2 116 96 662 783 0 1121 1323 394 302 168 838 1197 464 283 1050 537 574 480 934 707 936 33 1149 1051 437 893 393 1338 1007 757 126 229 571 840 525 486 1197 1275 293 318 670 873 1213 790 25 711 381 74 871 1323 834 226 1085 892 437 1344 546 980 1317 0 1176 706 935 335 1069 171 591 117 9 1288 1185 888 1317 422 479 264 542 70 838 861 770 878 375 388 984 581 1225 286 480 693 1065 1143 1249 670 117 1194 591 301 473 482 790 1165 1143 388 255 1258 832 581 1147 1321 681 169 886 991 148 0 186 1184 1091 765 496 39 4 428 1020 1176 688 214 1288 1131 105 838 207 390 926 625 1249 301 1049 461 711 948 1137 581 186 82 1213 439 1100 979 662 16 488 889 274 126 0 1031 478 796 354 796 712 512 1219 788 570 302 935 989 617 384 1259 271 1015 812 880 1066 193 100 441 645 788 477 432 861 16 565 1203 767 612 25 1121 766 319 695 1282 385 826 1012 1069 687 647 1022 21 584 826 0 1313 552 1228 283 1235 728 931 385 889 1175 74 1336 202 542 991 893 628 1033 770 330 82 880 1184 687 155 537 0 451 1219 226 400 1049 229 748 451 512 1002 206 841 1296 1022 983 39 1276 318 264 647 1222 1098 1051 139 260 885 105 885 1016 1073 274 968 1224 637 1121 1000 974 1143 39 100 1281 944 0 218 790 4 325 487 342 115 207 1148 365 1 293 36 444 282 536 1140 675 78 0 202 979 1073 441 841 1066 464 732 106 284 1 488 675 354 757 1159 934 1209 148 69 575 627 204 1121 712 354 654 1205 881 1050 0 1284 566 991 1031 1 983 781 39 264 972 477 167 557 627 718 995 325 207 449 783 218 503 381 1281 282 74 130 1 1203 807 0 1149 
82.35/82.48	d AC 32
82.35/82.48	d RUNTIME 82.325
82.35/82.48	d NODES 7251
82.35/82.48	d NODES/s 88
82.35/82.48	d BACKTRACKS 1942
82.35/82.48	d BACKTRACKS/s 24
82.35/82.48	d CHECKS 0
82.35/82.48	d CHECKS/s 0
82.35/82.48	c SAT 82.325 TIME      7251 NDS    936 PARSTIME      651 BUILDPB       1814 CONFIG        78924 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-2116194-1248030791/watcher-2116194-1248030791 -o /tmp/evaluation-result-2116194-1248030791/solver-2116194-1248030791 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116194-1248030791.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.00 2.00 1.91 4/80 24142
/proc/meminfo: memFree=941024/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=1616 CPUtime=0
/proc/24142/stat : 24142 (java) D 24140 24142 23017 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 90143757 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/24142/statm: 404 161 124 9 0 46 0

[startup+0.0380619 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 24142
/proc/meminfo: memFree=941024/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=859892 CPUtime=0.02
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 2228 0 1 0 1 1 0 0 18 0 5 0 90143757 880529408 1826 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784585 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 214973 1828 852 9 0 209888 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 859892

[startup+0.102067 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 24142
/proc/meminfo: memFree=941024/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=864108 CPUtime=0.09
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 3887 0 1 0 7 2 0 0 18 0 9 0 90143757 884846592 3337 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216027 3337 1748 9 0 210496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864108

[startup+0.301087 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 24142
/proc/meminfo: memFree=941024/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=864884 CPUtime=0.28
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 4970 0 1 0 26 2 0 0 18 0 9 0 90143757 885641216 4395 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216221 4396 1859 9 0 210690 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864884

[startup+0.701126 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 24142
/proc/meminfo: memFree=941024/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865012 CPUtime=0.68
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 9257 0 1 0 63 5 0 0 18 0 9 0 90143757 885772288 8671 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216253 8671 1901 9 0 210722 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865012

[startup+1.50221 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=892952/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865136 CPUtime=1.48
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 19524 0 1 0 138 10 0 0 18 0 9 0 90143757 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216284 18915 1956 9 0 210753 0
[pid=24142/tid=24144] ppid=24140 vsize=865136 CPUtime=1.14
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14531 0 1 0 106 8 0 0 25 0 9 0 90143758 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4126954056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865136 CPUtime=0.09
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 3646 0 0 0 8 1 0 0 16 0 9 0 90143760 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865136 CPUtime=0.23
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 616 0 0 0 23 0 0 0 16 0 9 0 90143762 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 885899264 18915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865136

[startup+3.10137 s]
/proc/loadavg: 2.00 2.00 1.91 4/89 24151
/proc/meminfo: memFree=863576/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865136 CPUtime=3.08
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 23898 0 1 0 296 12 0 0 18 0 9 0 90143757 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216284 23272 1980 9 0 210753 0
[pid=24142/tid=24144] ppid=24140 vsize=865136 CPUtime=2.53
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14785 0 1 0 245 8 0 0 25 0 9 0 90143758 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4127309412 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865136 CPUtime=0.21
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 7705 0 0 0 19 2 0 0 16 0 9 0 90143760 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865136 CPUtime=0.31
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 677 0 0 0 31 0 0 0 15 0 9 0 90143762 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865136 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 885899264 23272 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 865136

[startup+6.30268 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=828696/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=6.28
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 30531 0 1 0 613 15 0 0 18 0 9 0 90143757 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 29898 1998 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=5.39
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14901 0 1 0 530 9 0 0 25 0 9 0 90143758 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 103201743 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.4
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 14121 0 0 0 36 4 0 0 17 0 9 0 90143760 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.46
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 778 0 0 0 46 0 0 0 16 0 9 0 90143762 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 29898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 29898 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) 865264

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823064/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=12.67
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31914 0 1 0 1251 16 0 0 18 0 9 0 90143757 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31279 1998 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=11.74
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14903 0 1 0 1164 10 0 0 25 0 9 0 90143758 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4127451776 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.45
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 40 5 0 0 16 0 9 0 90143760 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.46
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 781 0 0 0 46 0 0 0 16 0 9 0 90143762 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31279 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 865264

[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823128/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=25.47
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31934 0 1 0 2529 18 0 0 18 0 9 0 90143757 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31291 2000 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=24.49
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14919 0 1 0 2438 11 0 0 25 0 9 0 90143758 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.48
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 43 5 0 0 17 0 9 0 90143760 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.47
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 785 0 0 0 47 0 0 0 16 0 9 0 90143762 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31291 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 865264

[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823064/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=51.06
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31944 0 1 0 5088 18 0 0 18 0 9 0 90143757 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31294 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=50.04
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14926 0 1 0 4993 11 0 0 25 0 9 0 90143758 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4127619829 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.51
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 46 5 0 0 16 0 9 0 90143760 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.48
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 788 0 0 0 48 0 0 0 16 0 9 0 90143762 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31294 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31947 0 1 0 6367 19 0 0 18 0 9 0 90143757 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31295 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=62.83
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14928 0 1 0 6271 12 0 0 25 0 9 0 90143758 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4127619829 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.52
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 47 5 0 0 16 0 9 0 90143760 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.48
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 789 0 0 0 48 0 0 0 16 0 9 0 90143762 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31295 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 865264

[startup+70.3021 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823064/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=70.26
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31951 0 1 0 7007 19 0 0 18 0 9 0 90143757 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31298 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=69.22
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14929 0 1 0 6910 12 0 0 25 0 9 0 90143758 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4127485895 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.52
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 47 5 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.5
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.26
Current children cumulated vsize (KiB) 865264

[startup+76.7027 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823064/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=76.65
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31953 0 1 0 7646 19 0 0 18 0 9 0 90143757 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31298 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=75.6
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14931 0 1 0 7548 12 0 0 25 0 9 0 90143758 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4127619013 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.53
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 48 5 0 0 17 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.5
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.65
Current children cumulated vsize (KiB) 865264

[startup+79.902 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823064/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=79.85
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31953 0 1 0 7966 19 0 0 18 0 9 0 90143757 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31298 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=78.8
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14931 0 1 0 7868 12 0 0 25 0 9 0 90143758 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4127455207 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.53
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 48 5 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.5
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (KiB) 865264

[startup+81.5012 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823000/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=81.45
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31953 0 1 0 8126 19 0 0 18 0 9 0 90143757 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31298 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=80.4
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14931 0 1 0 8028 12 0 0 25 0 9 0 90143758 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4127488451 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.53
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 48 5 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.5
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31298 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 81.45
Current children cumulated vsize (KiB) 865264

[startup+82.3012 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=823000/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865264 CPUtime=82.25
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31955 0 1 0 8206 19 0 0 18 0 9 0 90143757 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216316 31299 2003 9 0 210785 0
[pid=24142/tid=24144] ppid=24140 vsize=865264 CPUtime=81.19
/proc/24142/task/24144/stat : 24144 (java) R 24140 24142 23017 0 -1 64 14932 0 1 0 8107 12 0 0 25 0 9 0 90143758 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4127475354 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865264 CPUtime=0.54
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 49 5 0 0 16 0 9 0 90143760 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865264 CPUtime=0.5
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 793 0 0 0 49 1 0 0 15 0 9 0 90143762 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865264 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886030336 31299 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.25
Current children cumulated vsize (KiB) 865264

[startup+82.5063 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 24151
/proc/meminfo: memFree=822936/2055920 swapFree=4192812/4192956
[pid=24142] ppid=24140 vsize=865588 CPUtime=82.44
/proc/24142/stat : 24142 (java) S 24140 24142 23017 0 -1 0 31992 0 1 0 8224 20 0 0 18 0 9 0 90143757 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24142/statm: 216397 31332 2013 9 0 210866 0
[pid=24142/tid=24144] ppid=24140 vsize=865588 CPUtime=81.37
/proc/24142/task/24144/stat : 24144 (java) S 24140 24142 23017 0 -1 64 14960 0 1 0 8124 13 0 0 25 0 9 0 90143758 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24145] ppid=24140 vsize=865588 CPUtime=0.54
/proc/24142/task/24145/stat : 24145 (java) S 24140 24142 23017 0 -1 64 15499 0 0 0 49 5 0 0 17 0 9 0 90143760 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24146] ppid=24140 vsize=865588 CPUtime=0
/proc/24142/task/24146/stat : 24146 (java) S 24140 24142 23017 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90143760 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24147] ppid=24140 vsize=865588 CPUtime=0
/proc/24142/task/24147/stat : 24147 (java) S 24140 24142 23017 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143760 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24148] ppid=24140 vsize=865588 CPUtime=0
/proc/24142/task/24148/stat : 24148 (java) S 24140 24142 23017 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90143762 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24149] ppid=24140 vsize=865588 CPUtime=0.51
/proc/24142/task/24149/stat : 24149 (java) S 24140 24142 23017 0 -1 64 797 0 0 0 50 1 0 0 15 0 9 0 90143762 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24150] ppid=24140 vsize=865588 CPUtime=0
/proc/24142/task/24150/stat : 24150 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90143762 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24142/tid=24151] ppid=24140 vsize=865588 CPUtime=0
/proc/24142/task/24151/stat : 24151 (java) S 24140 24142 23017 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90143762 886362112 31332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.44
Current children cumulated vsize (KiB) 865588

Child status: 0
Real time (s): 82.5564
CPU time (s): 82.4635
CPU user time (s): 82.2435
CPU system time (s): 0.219966
CPU usage (%): 99.8874
Max. virtual memory (cumulated for all children) (KiB): 865588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.2435
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31995
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= 4952
involuntary context switches= 5107

runsolver used 0.12598 second user time and 0.25996 second system time

The end

Launcher Data 

Begin job on node36 at 2009-07-19 21:13:11
IDJOB=2116194
IDBENCH=56450
IDSOLVER=780
FILE ID=node36/2116194-1248030791
PBS_JOBID= 9528976
Free space on /tmp= 66292 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-2.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-2116194-1248030791/watcher-2116194-1248030791 -o /tmp/evaluation-result-2116194-1248030791/solver-2116194-1248030791 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116194-1248030791.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= 4edeb52ba8c5e270795a490c2e727147
RANDOM SEED=1764410190

node36.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.238
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.238
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:        941504 kB
Buffers:         58956 kB
Cached:         881144 kB
SwapCached:          0 kB
Active:         209500 kB
Inactive:       817804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        941504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6036 kB
Writeback:           0 kB
Mapped:         105076 kB
Slab:            72272 kB
Committed_AS:  1330112 kB
PageTables:       1876 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= 66284 MiB
End job on node36 at 2009-07-19 21:14:33