Trace number 2076492

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.1 2009-06-10SAT 93.7877 94.2612

DiagnosticValue
CHECKS0
NODES7912

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-3.xml
MD5SUMb03ce6bb41b3c7eeec8edd1190e4268e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.06092
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1310
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 

93.72/94.23	s SATISFIABLE
93.72/94.23	v 1253 831 506 768 901 905 321 0 1021 424 909 252 580 188 645 972 469 681 108 1065 1021 1085 87 1171 309 719 855 536 343 362 182 556 458 646 769 9 215 934 1240 24 1160 913 1230 982 650 998 43 491 1065 1171 440 722 584 247 942 343 0 208 91 821 1212 898 133 562 768 766 991 1089 496 1098 667 1193 0 293 788 428 351 959 216 1265 648 1219 61 897 719 286 43 1085 1224 1050 210 865 977 509 1207 408 577 160 1111 759 266 809 170 597 453 1140 904 974 282 1224 1046 709 1024 563 63 769 1302 524 0 1012 928 318 65 138 871 1069 0 976 1107 334 652 991 545 777 902 1065 431 14 1218 265 252 597 509 1031 346 691 909 411 276 565 779 1095 210 81 840 1243 987 922 1160 0 849 356 987 94 577 758 1139 654 150 496 207 0 1219 859 455 269 938 1115 1020 664 453 959 695 265 174 610 833 1278 1025 207 541 0 871 736 363 1130 76 1050 1148 1044 349 661 535 1193 208 870 597 185 148 55 822 106 1121 1064 1167 445 1085 964 0 1240 499 1115 551 982 1224 231 363 809 1063 150 967 631 704 936 1241 1046 1230 1002 880 88 593 789 1148 242 898 646 779 831 372 822 1095 1287 0 46 729 810 1009 1207 506 905 157 661 1082 1132 408 1065 1219 80 91 879 0 363 570 524 996 1264 942 759 314 428 85 170 833 0 962 541 1025 453 1097 1219 41 998 755 948 634 1207 565 280 522 1167 834 541 669 243 374 800 41 985 729 1089 182 286 1243 572 1139 588 447 94 1187 880 87 470 863 148 413 916 0 974 1243 768 709 447 325 1015 604 730 561 707 321 244 461 977 588 244 671 1082 543 157 834 345 413 840 2 76 695 266 1098 1193 779 0 646 458 108 286 238 149 361 681 1031 0 1224 14 1069 909 1006 1150 499 469 595 48 372 325 797 604 650 652 543 936 242 736 865 948 188 870 767 89 675 440 2 506 
93.72/94.23	d AC 32
93.72/94.23	d RUNTIME 94.116
93.72/94.23	d NODES 7912
93.72/94.23	d NODES/s 84
93.72/94.23	d BACKTRACKS 2566
93.72/94.23	d BACKTRACKS/s 27
93.72/94.23	d CHECKS 0
93.72/94.23	d CHECKS/s 0
93.72/94.23	c SAT 94.116 TIME      7912 NDS    1152 PARSTIME      2884 BUILDPB       90080 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-2076492-1247362893/watcher-2076492-1247362893 -o /tmp/evaluation-result-2076492-1247362893/solver-2076492-1247362893 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076492-1247362893.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -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: 1.98 2.02 1.99 4/83 21601
/proc/meminfo: memFree=1346744/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=18576 CPUtime=0
/proc/21601/stat : 21601 (runsolver) R 21599 21601 21537 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 23355745 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21601/statm: 4644 284 249 26 0 2626 0

[startup+0.031692 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21601
/proc/meminfo: memFree=1346744/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=859244 CPUtime=0.01
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 1710 0 1 0 0 1 0 0 18 0 3 0 23355745 879865856 1389 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 214811 1389 570 9 0 209726 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 859244

[startup+0.10175 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21601
/proc/meminfo: memFree=1346744/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=864064 CPUtime=0.08
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 3769 0 1 0 6 2 0 0 18 0 9 0 23355745 884801536 3234 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216016 3234 1713 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864064

[startup+0.301766 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21601
/proc/meminfo: memFree=1346744/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=864196 CPUtime=0.28
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 4472 0 1 0 25 3 0 0 18 0 9 0 23355745 884936704 3897 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216049 3897 1852 9 0 210517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864196

[startup+0.701814 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21601
/proc/meminfo: memFree=1346744/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865048 CPUtime=0.68
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 7800 0 1 0 64 4 0 0 18 0 9 0 23355745 885809152 7216 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216262 7216 1886 9 0 210730 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865048

[startup+1.5029 s]
/proc/loadavg: 2.06 2.04 1.99 3/92 21610
/proc/meminfo: memFree=1311152/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865152 CPUtime=1.48
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 19450 0 1 0 137 11 0 0 18 0 9 0 23355745 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216288 18842 1957 9 0 210756 0
[pid=21601/tid=21603] ppid=21599 vsize=865152 CPUtime=1.14
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14530 0 1 0 107 7 0 0 25 0 9 0 23355747 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4125907550 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865152 CPUtime=0.09
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 3604 0 0 0 8 1 0 0 16 0 9 0 23355748 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865152 CPUtime=0.21
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 584 0 0 0 21 0 0 0 16 0 9 0 23355751 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 885915648 18842 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865152

[startup+3.10208 s]
/proc/loadavg: 2.06 2.04 1.99 6/92 21610
/proc/meminfo: memFree=1259308/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865152 CPUtime=3.07
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 26482 0 2 0 292 15 0 0 18 0 9 0 23355745 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216288 25860 1981 9 0 210756 0
[pid=21601/tid=21603] ppid=21599 vsize=865152 CPUtime=2.43
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14782 0 2 0 235 8 0 0 25 0 9 0 23355747 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4126791920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865152 CPUtime=0.28
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 10300 0 0 0 24 4 0 0 17 0 9 0 23355748 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865152 CPUtime=0.34
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 668 0 0 0 33 1 0 0 15 0 9 0 23355751 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865152 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 885915648 25860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865152

[startup+6.30143 s]
/proc/loadavg: 2.06 2.04 1.99 4/92 21610
/proc/meminfo: memFree=1189744/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=6.25
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 34188 0 4 0 605 20 0 0 18 0 9 0 23355745 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 33559 1998 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=5.17
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14894 0 4 0 508 9 0 0 25 0 9 0 23355747 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4127435184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.54
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 17792 0 0 0 47 7 0 0 17 0 9 0 23355748 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.51
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 770 0 0 0 49 2 0 0 16 0 9 0 23355751 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 33559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 865276

[startup+12.7011 s]
/proc/loadavg: 2.05 2.03 1.99 3/92 21610
/proc/meminfo: memFree=1145136/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=12.62
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 35534 0 4 0 1241 21 0 0 18 0 9 0 23355745 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 34903 1998 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=11.46
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14896 0 4 0 1136 10 0 0 25 0 9 0 23355747 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4127435648 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.6
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19134 0 0 0 53 7 0 0 16 0 9 0 23355748 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.52
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 772 0 0 0 50 2 0 0 16 0 9 0 23355751 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 34903 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 865276

[startup+25.5026 s]
/proc/loadavg: 2.04 2.03 1.99 3/92 21610
/proc/meminfo: memFree=1063792/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=25.36
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 35553 0 4 0 2514 22 0 0 18 0 9 0 23355745 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 34915 2000 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=24.12
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14912 0 4 0 2401 11 0 0 25 0 9 0 23355747 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4127597824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.68
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19134 0 0 0 61 7 0 0 16 0 9 0 23355748 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.53
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 775 0 0 0 51 2 0 0 16 0 9 0 23355751 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) R 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 34915 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 865276

[startup+51.1024 s]
/proc/loadavg: 2.10 2.04 2.00 3/92 21610
/proc/meminfo: memFree=1062000/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=50.83
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36062 0 4 0 5060 23 0 0 18 0 9 0 23355745 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35405 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=49.4
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14931 0 4 0 4929 11 0 0 25 0 9 0 23355747 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4127688826 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.85
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19613 0 0 0 77 8 0 0 16 0 9 0 23355748 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.54
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 786 0 0 0 52 2 0 0 16 0 9 0 23355751 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35405 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36113 0 4 0 8243 24 0 0 18 0 9 0 23355745 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35438 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=81.17
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14949 0 4 0 8105 12 0 0 25 0 9 0 23355747 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4127690623 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.91
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19641 0 0 0 83 8 0 0 16 0 9 0 23355748 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 791 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35438 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.67
Current children cumulated vsize (KiB) 865276

[startup+89.5016 s]
/proc/loadavg: 2.10 2.05 2.00 3/92 21610
/proc/meminfo: memFree=1061680/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=89.04
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36133 0 4 0 8880 24 0 0 18 0 9 0 23355745 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35456 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=87.53
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14951 0 4 0 8741 12 0 0 25 0 9 0 23355747 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4127435212 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.92
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19659 0 0 0 84 8 0 0 16 0 9 0 23355748 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 791 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35456 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.04
Current children cumulated vsize (KiB) 865276

[startup+92.702 s]
/proc/loadavg: 2.09 2.05 2.00 3/92 21610
/proc/meminfo: memFree=1061552/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=92.22
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36136 0 4 0 9198 24 0 0 18 0 9 0 23355745 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35457 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=90.7
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14953 0 4 0 9058 12 0 0 25 0 9 0 23355747 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4127435178 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.93
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19660 0 0 0 85 8 0 0 16 0 9 0 23355748 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 791 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.22
Current children cumulated vsize (KiB) 865276

[startup+93.5061 s]
/proc/loadavg: 2.09 2.05 2.00 3/92 21610
/proc/meminfo: memFree=1061552/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=93.02
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36136 0 4 0 9278 24 0 0 18 0 9 0 23355745 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35457 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=91.5
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14953 0 4 0 9138 12 0 0 25 0 9 0 23355747 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4126728664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.93
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19660 0 0 0 85 8 0 0 16 0 9 0 23355748 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 791 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35457 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.02
Current children cumulated vsize (KiB) 865276

[startup+93.9021 s]
/proc/loadavg: 2.09 2.05 2.00 3/92 21610
/proc/meminfo: memFree=1061552/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=93.42
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36137 0 4 0 9318 24 0 0 18 0 9 0 23355745 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35458 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=91.91
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14953 0 4 0 9178 13 0 0 25 0 9 0 23355747 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4127436778 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.93
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19660 0 0 0 85 8 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 792 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.42
Current children cumulated vsize (KiB) 865276

[startup+94.1021 s]
/proc/loadavg: 2.09 2.05 2.00 3/92 21610
/proc/meminfo: memFree=1061552/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=93.62
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36137 0 4 0 9338 24 0 0 18 0 9 0 23355745 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35458 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=92.11
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14953 0 4 0 9198 13 0 0 25 0 9 0 23355747 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4127440072 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.93
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19660 0 0 0 85 8 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 792 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.62
Current children cumulated vsize (KiB) 865276

[startup+94.2021 s]
/proc/loadavg: 2.09 2.05 2.00 3/92 21610
/proc/meminfo: memFree=1061552/2055920 swapFree=4192812/4192956
[pid=21601] ppid=21599 vsize=865276 CPUtime=93.72
/proc/21601/stat : 21601 (java) S 21599 21601 21537 0 -1 0 36137 0 4 0 9348 24 0 0 18 0 9 0 23355745 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21601/statm: 216319 35458 2003 9 0 210787 0
[pid=21601/tid=21603] ppid=21599 vsize=865276 CPUtime=92.21
/proc/21601/task/21603/stat : 21603 (java) R 21599 21601 21537 0 -1 64 14953 0 4 0 9208 13 0 0 25 0 9 0 23355747 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4127435219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21604] ppid=21599 vsize=865276 CPUtime=0.93
/proc/21601/task/21604/stat : 21604 (java) S 21599 21601 21537 0 -1 64 19660 0 0 0 85 8 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21605] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21605/stat : 21605 (java) S 21599 21601 21537 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21606] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21606/stat : 21606 (java) S 21599 21601 21537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23355748 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21607] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21607/stat : 21607 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21608] ppid=21599 vsize=865276 CPUtime=0.56
/proc/21601/task/21608/stat : 21608 (java) S 21599 21601 21537 0 -1 64 792 0 0 0 54 2 0 0 16 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21609] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21609/stat : 21609 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21601/tid=21610] ppid=21599 vsize=865276 CPUtime=0
/proc/21601/task/21610/stat : 21610 (java) S 21599 21601 21537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23355751 886042624 35458 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.72
Current children cumulated vsize (KiB) 865276

Child status: 0
Real time (s): 94.2612
CPU time (s): 93.7877
CPU user time (s): 93.5178
CPU system time (s): 0.269958
CPU usage (%): 99.4977
Max. virtual memory (cumulated for all children) (KiB): 865276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.5178
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36159
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5147
involuntary context switches= 6310

runsolver used 0.135979 second user time and 0.303953 second system time

The end

Launcher Data 

Begin job on node35 at 2009-07-12 03:41:33
IDJOB=2076492
IDBENCH=56436
IDSOLVER=737
FILE ID=node35/2076492-1247362893
PBS_JOBID= 9507005
Free space on /tmp= 66248 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-3.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076492-1247362893/watcher-2076492-1247362893 -o /tmp/evaluation-result-2076492-1247362893/solver-2076492-1247362893 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076492-1247362893.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979

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

MD5SUM BENCH= b03ce6bb41b3c7eeec8edd1190e4268e
RANDOM SEED=1292705199

node35.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:       1347224 kB
Buffers:         26276 kB
Cached:          91364 kB
SwapCached:          0 kB
Active:         625048 kB
Inactive:        35440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1347224 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3860 kB
Writeback:           0 kB
Mapped:         558436 kB
Slab:            32628 kB
Committed_AS:   903476 kB
PageTables:       2812 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= 66244 MiB
End job on node35 at 2009-07-12 03:43:08