Trace number 3260852

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06SAT 200.424 199.483

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
MD5SUMd21f62eebe8299bb166c60204a4db57a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.2867
Satisfiable
(Un)Satisfiability was proved
Number of variables3264
Number of clauses11382
Sum of the clauses size28964
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25182
Number of clauses of size 36200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c no version file found!!!
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.18-164.el5
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		6997539544
0.02/0.07	c Max memory 		7034241024
0.02/0.07	c Total memory 		7034241024
0.02/0.07	c Number of processors 	8
0.02/0.09	c --- Begin Solver configuration ---
0.02/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.09	c Expensive reason simplification
0.02/0.09	c Armin Biere (Picosat) restarts strategy
0.02/0.09	c Glucose learned constraints deletion strategy
0.02/0.09	c timeout=2147483647s
0.02/0.09	c DB Simplification allowed=true
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3260852-1303539691.cnf
0.02/0.09	c reading problem ... 
0.11/0.18	c ... done. Wall clock time 0.07s.
0.11/0.18	c #vars     3264
0.11/0.18	c #constraints  11382
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6200
0.11/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5182
1.93/1.60	c cleaning 2477 clauses out of 4953 with flag 5001/5001
4.50/3.75	c cleaning 4238 clauses out of 8476 with flag 11001/11001
6.80/6.04	c cleaning 5618 clauses out of 11238 with flag 18001/18001
9.52/8.80	c cleaning 6806 clauses out of 13618 with flag 26000/26000
12.84/12.07	c cleaning 7902 clauses out of 15812 with flag 35000/35000
16.54/15.70	c cleaning 8954 clauses out of 17911 with flag 45001/45001
20.55/19.74	c cleaning 9977 clauses out of 19955 with flag 56000/56000
24.95/24.14	c cleaning 10986 clauses out of 21978 with flag 68000/68000
29.24/28.50	c cleaning 11495 clauses out of 22993 with flag 80001/80001
33.55/32.70	c cleaning 11749 clauses out of 23498 with flag 92001/92001
37.65/36.86	c cleaning 11873 clauses out of 23749 with flag 104001/104001
42.05/41.20	c cleaning 11938 clauses out of 23875 with flag 116000/116000
45.86/45.03	c cleaning 11968 clauses out of 23938 with flag 128001/128001
49.55/48.78	c cleaning 11983 clauses out of 23970 with flag 140001/140001
53.35/52.53	c cleaning 11994 clauses out of 23987 with flag 152001/152001
56.86/56.09	c cleaning 11994 clauses out of 23993 with flag 164001/164001
60.85/60.08	c cleaning 11999 clauses out of 23999 with flag 176001/176001
64.75/63.93	c cleaning 11999 clauses out of 23999 with flag 188000/188000
68.85/68.10	c cleaning 11999 clauses out of 24000 with flag 200000/200000
72.85/72.09	c cleaning 11999 clauses out of 24002 with flag 212001/212001
76.96/76.10	c cleaning 12002 clauses out of 24003 with flag 224001/224001
80.46/79.65	c cleaning 12001 clauses out of 24002 with flag 236002/236002
84.26/83.49	c cleaning 12000 clauses out of 24000 with flag 248001/248001
88.26/87.47	c cleaning 11994 clauses out of 23999 with flag 260000/260000
92.07/91.30	c cleaning 11998 clauses out of 24006 with flag 272001/272001
95.17/94.30	c cleaning 12001 clauses out of 24008 with flag 284001/284001
98.07/97.25	c cleaning 12000 clauses out of 24006 with flag 296000/296000
101.27/100.48	c cleaning 12001 clauses out of 24007 with flag 308001/308001
104.67/103.82	c cleaning 12000 clauses out of 24006 with flag 320001/320001
107.07/106.29	c cleaning 12002 clauses out of 24005 with flag 332000/332000
109.07/108.21	c cleaning 11996 clauses out of 24001 with flag 344001/344001
110.97/110.15	c cleaning 11994 clauses out of 24003 with flag 356000/356000
112.98/112.12	c cleaning 12001 clauses out of 24010 with flag 368001/368001
115.07/114.26	c cleaning 11996 clauses out of 24008 with flag 380000/380000
117.18/116.37	c cleaning 11998 clauses out of 24012 with flag 392001/392001
119.28/118.46	c cleaning 11999 clauses out of 24014 with flag 404001/404001
121.38/120.55	c cleaning 12002 clauses out of 24014 with flag 416000/416000
123.48/122.66	c cleaning 11999 clauses out of 24012 with flag 428000/428000
125.58/124.72	c cleaning 12001 clauses out of 24013 with flag 440000/440000
127.68/126.81	c cleaning 12000 clauses out of 24012 with flag 452000/452000
129.78/128.93	c cleaning 11998 clauses out of 24014 with flag 464002/464002
132.08/131.20	c cleaning 12002 clauses out of 24014 with flag 476000/476000
134.18/133.36	c cleaning 11627 clauses out of 24013 with flag 488001/488001
136.38/135.53	c cleaning 11406 clauses out of 24385 with flag 500000/500000
138.48/137.68	c cleaning 11089 clauses out of 24981 with flag 512002/512002
140.59/139.79	c cleaning 11128 clauses out of 25891 with flag 524001/524001
142.79/141.93	c cleaning 11133 clauses out of 26762 with flag 536000/536000
144.99/144.17	c cleaning 11150 clauses out of 27630 with flag 548001/548001
147.28/146.42	c cleaning 11266 clauses out of 28479 with flag 560000/560000
149.58/148.70	c cleaning 11135 clauses out of 29214 with flag 572001/572001
151.88/151.02	c cleaning 11330 clauses out of 30079 with flag 584001/584001
153.99/153.15	c cleaning 11279 clauses out of 30750 with flag 596002/596002
156.19/155.39	c cleaning 11317 clauses out of 31471 with flag 608002/608002
158.59/157.79	c cleaning 11200 clauses out of 32152 with flag 620000/620000
161.09/160.20	c cleaning 11061 clauses out of 32952 with flag 632000/632000
163.39/162.52	c cleaning 11311 clauses out of 33893 with flag 644002/644002
165.69/164.88	c cleaning 11332 clauses out of 34580 with flag 656000/656000
168.10/167.28	c cleaning 11246 clauses out of 35250 with flag 668002/668002
170.69/169.85	c cleaning 11182 clauses out of 36002 with flag 680000/680000
173.29/172.43	c cleaning 11192 clauses out of 36820 with flag 692000/692000
175.60/174.77	c cleaning 11171 clauses out of 37628 with flag 704000/704000
178.10/177.28	c cleaning 11360 clauses out of 38457 with flag 716000/716000
180.70/179.80	c cleaning 11210 clauses out of 39097 with flag 728000/728000
183.10/182.27	c cleaning 11070 clauses out of 39888 with flag 740001/740001
185.90/185.02	c cleaning 11209 clauses out of 40817 with flag 752000/752000
188.60/187.79	c cleaning 11206 clauses out of 41608 with flag 764000/764000
191.30/190.46	c cleaning 11368 clauses out of 42403 with flag 776001/776001
193.80/192.98	c cleaning 11279 clauses out of 43034 with flag 788000/788000
196.40/195.55	c cleaning 11364 clauses out of 43755 with flag 800000/800000
198.91/198.02	c cleaning 11413 clauses out of 44391 with flag 812000/812000
200.30/199.43	c starts		: 1080
200.30/199.43	c conflicts		: 818488
200.30/199.43	c decisions		: 877059
200.30/199.43	c propagations		: 837806729
200.30/199.43	c inspects		: 1830370181
200.30/199.43	c shortcuts		: 0
200.30/199.45	c learnt literals	: 51
200.30/199.45	c learnt binary clauses	: 785
200.30/199.45	c learnt ternary clauses	: 7737
200.30/199.45	c learnt constraints	: 818437
200.30/199.45	c ignored constraints	: 0
200.30/199.45	c root simplifications	: 1131
200.30/199.45	c removed literals (reason simplification)	: 3992507
200.30/199.45	c reason swapping (by a shorter reason)	: 0
200.30/199.45	c Calls to reduceDB	: 70
200.30/199.45	c speed (assignments/second)	: 4204253.04100845
200.30/199.45	c non guided choices	209
200.30/199.46	c learnt constraints type 
200.30/199.46	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 783
200.30/199.46	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38683
200.30/199.46	c constraints type 
200.30/199.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6200
200.30/199.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5182
200.30/199.46	s SATISFIABLE
200.30/199.47	v 1 -2 3 4 5 6 7 -8 9 -10 11 -12 13 14 -15 16 17 -18 19 -20 -21 22 23 24 25 26 27 28 -29 -30 31 -32 -33 34 -35 36 37 -38 39 40 41 -42 -43 44 45 -46 47 48 49 -50 51 52 53 -54 55 56 57 -58 59 -60 61 -62 -63 64 65 -66 67 68 69 -70 71 72 -73 -74 -75 76 77 -78 -79 80 81 -82 83 84 -85 86 87 88 89 -90 91 -92 93 -94 95 96 97 98 -99 -100 -101 -102 103 104 -105 106 107 -108 109 -110 111 -112 113 114 -115 -116 117 -118 119 -120 -121 122 123 124 125 126 -127 -128 -129 -130 131 -132 -133 134 -135 -136 -137 -138 139 140 141 -142 -143 144 -145 -146 147 148 149 -150 151 152 153 -154 155 -156 157 -158 159 -160 -161 -162 -163 164 165 -166 167 168 169 -170 171 172 -173 -174 -175 176 177 -178 -179 180 -181 -182 183 -184 -185 186 -187 188 189 -190 -191 -192 193 -194 195 196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 208 -209 -210 -211 -212 213 -214 -215 216 -217 -218 219 220 -221 222 -223 -224 225 226 227 -228 229 -230 231 -232 -233 234 235 236 237 238 -239 240 -241 -242 243 244 245 -246 247 248 249 -250 251 -252 -253 254 -255 -256 -257 258 -259 -260 -261 262 263 264 265 -266 -267 -268 -269 270 271 272 -273 -274 -275 276 -277 -278 279 -280 281 -282 283 -284 -285 -286 -287 -288 -289 -290 -291 292 293 -294 295 -296 297 298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 312 313 -314 -315 316 -317 -318 -319 -320 -321 322 323 -324 -325 -326 327 -328 329 -330 331 -332 -333 -334 335 336 337 338 -339 -340 -341 342 343 344 345 -346 -347 -348 -349 -350 351 -352 -353 -354 -355 -356 -357 -358 -359 -360 361 362 -363 -364 -365 366 -367 -368 -369 -370 371 -372 373 -374 -375 376 -377 -378 -379 -380 381 382 383 -384 -385 -386 387 -388 -389 -390 -391 392 -393 394 395 -396 397 398 -399 400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 412 413 -414 -415 416 -417 -418 -419 -420 -421 -422 -423 424 -425 -426 427 -428 429 -430 -431 -432 -433 -434 435 -436 -437 438 -439 -440 -441 -442 443 -444 -445 -446 -447 -448 -449 -450 451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 464 -465 466 467 -468 -469 -470 -471 -472 473 -474 -475 476 -477 -478 -479 -480 481 482 483 484 485 486 487 -488 -489 -490 -491 492 -493 494 495 496 -497 498 -499 500 -501 -502 503 -504 -505 -506 -507 -508 -509 -510 511 512 513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 524 525 -526 -527 -528 529 -530 -531 -532 -533 -534 -535 -536 -537 538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 550 551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 566 -567 -568 -569 -570 -571 -572 573 -574 -575 576 -577 -578 579 -580 581 582 583 584 -585 586 -587 -588 -589 -590 -591 -592 593 594 595 596 597 598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 624 625 -626 -627 -628 629 -630 -631 -632 -633 -634 -635 636 -637 638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 662 -663 -664 -665 666 -667 -668 -669 -670 671 -672 673 -674 -675 676 -677 -678 679 680 681 -682 683 -684 -685 686 -687 -688 -689 -690 -691 -692 -693 694 695 696 -697 698 -699 -700 -701 -702 -703 -704 -705 -706 -707 708 -709 -710 -711 -712 713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 736 -737 738 -739 -740 -741 -742 743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 766 -767 -768 -769 -770 771 -772 773 -774 -775 776 -777 -778 779 780 781 -782 783 -784 -785 786 -787 -788 -789 -790 -791 -792 -793 -794 -795 796 -797 798 -799 800 801 -802 803 -804 805 806 -807 -808 809 -810 -811 -812 813 -814 -815 -816 817 -818 -819 -820 -821 -822 -823 824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 855 -856 857 -858 -859 -860 -861 -862 -863 -864 -865 -866 867 -868 -869 -870 -871 872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 884 -885 -886 -887 888 889 -890 -891 -892 -893 -894 895 -896 -897 898 -899 -900 -901 -902 -903 -904 -905 -906 907 -908 -909 -910 911 -912 -913 -914 -915 -916 917 -918 -919 -920 -921 -922 923 924 -925 -926 -927 -928 -929 -930 931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 947 -948 949 -950 951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 964 -965 -966 -967 968 -969 -970 -971 -972 -973 -974 -975 -976 977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 1013 -1014 -1015 -1016 -1017 -1018 -1019 1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 1031 -1032 -1033 -1034 1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 1044 -1045 -1046 -1047 1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 1064 1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 1093 -1094 1095 -1096 1097 1098 -1099 -1100 -1101 -1102 -1103 1104 -1105 -1106 1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 1117 -1118 -1119 -1120 -1121 1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 1176 -1177 -1178 -1179 1180 -1181 -1182 1183 -1184 -1185 1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 1195 1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 1206 1207 -1208 -1209 -1210 -1211 -1212 1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 1247 1248 -1249 -1250 1251 -1252 -1253 -1254 1255 -1256 1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 1267 -1268 -1269 -1270 1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 1311 -1312 -1313 1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 1322 1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 1347 -1348 -1349 -1350 1351 -1352 -1353 -1354 -1355 -1356 1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 1389 -1390 -1391 -1392 -1393 -1394 1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 1407 -1408 -1409 -1410 -1411 -1412 -1413 1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 1423 -1424 1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 1452 1453 -1454 -1455 -1456 1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 1468 -1469 -1470 1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 1553 -1554 -1555 -1556 1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 1565 -1566 -1567 -1568 1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 1647 -1648 1649 -1650 1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 1663 1664 -1665 -1666 -1667 -1668 -1669 1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 1705 -1706 1707 -1708 -1709 -1710 -1711 -1712 -1713 1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 1767 -1768 -1769 -1770 1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 1796 1797 1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 1819 -1820 -1821 -1822 -1823 -1824 1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 1842 1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 1866 -1867 -1868 -1869 -1870 -1871 -1872 1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 1893 1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 1903 1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 1939 -1940 -1941 -1942 -1943 -1944 1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 1984 -1985 1986 -1987 -1988 1989 -1990 -1991 -1992 -1993 -1994 1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 2048 -2049 -2050 -2051 2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 2065 -2066 -2067 2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 2120 -2121 -2122 -2123 -2124 -2125 2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 2136 2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 2236 2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 2261 2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 2283 -2284 -2285 -2286 2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 2381 -2382 2383 2384 2385 -2386 2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 2409 -2410 -2411 -2412 2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 2448 2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 2522 2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 2613 -2614 -2615 2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 2658 -2659 -2660 -2661 -2662 -2663 2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 2981 -2982 -2983 -2984 -2985 2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 3201 -3202 3203 -3204 -3205 3206 -3207 3208 -3209 3210 -3211 3212 -3213 3214 -3215 3216 3217 -3218 3219 -3220 -3221 3222 3223 -3224 3225 -3226 3227 -3228 3229 -3230 3231 -3232 -3233 3234 3235 -3236 -3237 3238 3239 -3240 3241 -3242 -3243 3244 -3245 3246 -3247 3248 3249 -3250 3251 -3252 -3253 3254 -3255 3256 -3257 3258 -3259 3260 -3261 3262 3263 -3264 0
200.30/199.47	c Total wall clock time (in seconds) : 199.346

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3260852-1303539691/watcher-3260852-1303539691 -o /tmp/evaluation-result-3260852-1303539691/solver-3260852-1303539691 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3260852-1303539691.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.16 0.03 0.01 4/220 18597
/proc/meminfo: memFree=14502868/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=23028 CPUtime=0 cores=0,2
/proc/18597/stat : 18597 (java) R 18595 18597 18511 0 -1 4202496 1008 0 0 0 0 0 0 0 23 0 1 0 465567942 23580672 751 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 47666104017808 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18597/statm: 5757 771 569 9 0 124 0

[startup+0.032013 s]
/proc/loadavg: 0.16 0.03 0.01 4/220 18597
/proc/meminfo: memFree=14502868/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7562296 CPUtime=0.02 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 8500 0 1 0 1 1 0 0 23 0 11 0 465567942 7743791104 8198 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1890574 8198 1610 9 0 1881322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.114047 s]
/proc/loadavg: 0.16 0.03 0.01 4/220 18597
/proc/meminfo: memFree=14502868/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7636208 CPUtime=0.11 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 10451 0 1 0 10 1 0 0 23 0 18 0 465567942 7819476992 10147 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1909052 10147 2123 9 0 1899790 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636208

[startup+0.300921 s]
/proc/loadavg: 0.16 0.03 0.01 4/220 18597
/proc/meminfo: memFree=14502868/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=0.49 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 13845 0 1 0 47 2 0 0 23 0 19 0 465567942 7827369984 12600 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 12600 2216 9 0 1901717 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7643916

[startup+0.700846 s]
/proc/loadavg: 0.16 0.03 0.01 4/220 18597
/proc/meminfo: memFree=14502868/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=1.09 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 14150 0 1 0 107 2 0 0 23 0 19 0 465567942 7827369984 12835 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 12835 2223 9 0 1901717 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 7643916

[startup+1.50075 s]
/proc/loadavg: 0.16 0.03 0.01 6/239 18616
/proc/meminfo: memFree=14434472/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=1.93 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 14277 0 1 0 191 2 0 0 23 0 19 0 465567942 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 12961 2226 9 0 1901717 0
[pid=18597/tid=18599] ppid=18595 vsize=7643916 CPUtime=1.45 cores=0,2
/proc/18597/task/18599/stat : 18599 (java) R 18595 18597 18511 0 -1 4202560 9373 0 1 0 144 1 0 0 21 0 19 0 465567942 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 46912505533463 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18597/tid=18600] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567944 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 465567945 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 465567945 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.05 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 642 0 0 0 5 0 0 0 19 0 19 0 465567947 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.4 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3097 0 0 0 40 0 0 0 20 0 19 0 465567947 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 12961 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 7643916

[startup+3.10142 s]
/proc/loadavg: 0.16 0.03 0.01 4/239 18616
/proc/meminfo: memFree=14408060/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=3.89 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 21177 0 1 0 385 4 0 0 23 0 19 0 465567942 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 18069 2252 9 0 1901717 0
[pid=18597/tid=18599] ppid=18595 vsize=7643916 CPUtime=3.02 cores=0,2
/proc/18597/task/18599/stat : 18599 (java) R 18595 18597 18511 0 -1 4202560 9386 0 1 0 301 1 0 0 25 0 19 0 465567942 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 46912505592414 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18597/tid=18600] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 38 0 0 0 0 0 0 0 17 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 198 0 0 0 0 0 0 0 18 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 348 0 0 0 0 0 0 0 18 0 19 0 465567944 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=0.01 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 596 0 0 0 1 0 0 0 15 0 19 0 465567945 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.41 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 6354 0 0 0 40 1 0 0 16 0 19 0 465567947 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.42 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3099 0 0 0 42 0 0 0 15 0 19 0 465567947 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 18069 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 7643916

[startup+6.30096 s]
/proc/loadavg: 0.55 0.12 0.04 5/262 18644
/proc/meminfo: memFree=14337072/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=7.11 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 21827 0 1 0 707 4 0 0 23 0 19 0 465567942 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 16887 2254 9 0 1901717 0
[pid=18597/tid=18599] ppid=18595 vsize=7643916 CPUtime=6.18 cores=0,2
/proc/18597/task/18599/stat : 18599 (java) R 18595 18597 18511 0 -1 4202560 9392 0 1 0 617 1 0 0 25 0 19 0 465567942 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 46912505627194 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18597/tid=18600] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 124 0 0 0 0 0 0 0 17 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 19 0 465567944 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=0.04 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 960 0 0 0 4 0 0 0 16 0 19 0 465567945 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.42 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 6354 0 0 0 41 1 0 0 15 0 19 0 465567947 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.42 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3101 0 0 0 42 0 0 0 15 0 19 0 465567947 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 16887 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 7643916

[startup+12.7007 s]

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

/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 80 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 47 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 270 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 176 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 131 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 360 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=1.2 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 1655 0 0 0 120 0 0 0 16 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.46 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 6363 0 0 0 45 1 0 0 16 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.43 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3102 0 0 0 43 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 199.2
Current children cumulated vsize (KiB) 7643916

[startup+199.107 s]
/proc/loadavg: 3.88 1.96 0.77 5/262 18695
/proc/meminfo: memFree=14315512/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=200.01 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 22820 0 1 0 19997 4 0 0 23 0 19 0 465567942 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 17791 2254 9 0 1901717 0
[pid=18597/tid=18599] ppid=18595 vsize=7643916 CPUtime=197.67 cores=0,2
/proc/18597/task/18599/stat : 18599 (java) R 18595 18597 18511 0 -1 4202560 9459 0 1 0 19766 1 0 0 25 0 19 0 465567942 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 46912505712437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18597/tid=18600] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 80 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 47 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 270 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 176 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 131 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 360 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=1.2 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 1655 0 0 0 120 0 0 0 15 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.46 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 6363 0 0 0 45 1 0 0 16 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.43 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3102 0 0 0 43 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (KiB) 7643916

[startup+199.301 s]
/proc/loadavg: 3.88 1.96 0.77 5/262 18695
/proc/meminfo: memFree=14315512/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=200.2 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 22820 0 1 0 20016 4 0 0 23 0 19 0 465567942 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 17791 2254 9 0 1901717 0
[pid=18597/tid=18599] ppid=18595 vsize=7643916 CPUtime=197.86 cores=0,2
/proc/18597/task/18599/stat : 18599 (java) R 18595 18597 18511 0 -1 4202560 9459 0 1 0 19785 1 0 0 25 0 19 0 465567942 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 46912505712516 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18597/tid=18600] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 80 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 47 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 270 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 176 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 131 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 360 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=1.2 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 1655 0 0 0 120 0 0 0 15 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.46 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 6363 0 0 0 45 1 0 0 16 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.43 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3102 0 0 0 43 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.2
Current children cumulated vsize (KiB) 7643916

[startup+199.401 s]
/proc/loadavg: 3.88 1.96 0.77 5/262 18695
/proc/meminfo: memFree=14315512/32950928 swapFree=67111528/67111528
[pid=18597] ppid=18595 vsize=7643916 CPUtime=200.3 cores=0,2
/proc/18597/stat : 18597 (java) S 18595 18597 18511 0 -1 4202496 22820 0 1 0 20026 4 0 0 23 0 19 0 465567942 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18597/statm: 1910979 17791 2254 9 0 1901717 0
[pid=18597/tid=18599] ppid=18595 vsize=7643916 CPUtime=197.96 cores=0,2
/proc/18597/task/18599/stat : 18599 (java) R 18595 18597 18511 0 -1 4202560 9459 0 1 0 19795 1 0 0 25 0 19 0 465567942 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 46912505592414 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18597/tid=18600] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18600/stat : 18600 (java) S 18595 18597 18511 0 -1 4202560 80 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18601] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18601/stat : 18601 (java) S 18595 18597 18511 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18602] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18602/stat : 18602 (java) S 18595 18597 18511 0 -1 4202560 47 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18603] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18603/stat : 18603 (java) S 18595 18597 18511 0 -1 4202560 270 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18604] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18604/stat : 18604 (java) S 18595 18597 18511 0 -1 4202560 176 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18605] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18605/stat : 18605 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18606] ppid=18595 vsize=7643916 CPUtime=0.02 cores=0,2
/proc/18597/task/18606/stat : 18606 (java) S 18595 18597 18511 0 -1 4202560 131 0 0 0 2 0 0 0 16 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18607] ppid=18595 vsize=7643916 CPUtime=0.03 cores=0,2
/proc/18597/task/18607/stat : 18607 (java) S 18595 18597 18511 0 -1 4202560 360 0 0 0 3 0 0 0 15 0 19 0 465567944 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18608] ppid=18595 vsize=7643916 CPUtime=1.2 cores=0,2
/proc/18597/task/18608/stat : 18608 (java) S 18595 18597 18511 0 -1 4202560 1655 0 0 0 120 0 0 0 15 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 0 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18609] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18609/stat : 18609 (java) S 18595 18597 18511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18610] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18610/stat : 18610 (java) S 18595 18597 18511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 465567945 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18611] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18611/stat : 18611 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606690225 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18612] ppid=18595 vsize=7643916 CPUtime=0.46 cores=0,2
/proc/18597/task/18612/stat : 18612 (java) S 18595 18597 18511 0 -1 4202560 6363 0 0 0 45 1 0 0 16 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18613] ppid=18595 vsize=7643916 CPUtime=0.43 cores=0,2
/proc/18597/task/18613/stat : 18613 (java) S 18595 18597 18511 0 -1 4202560 3102 0 0 0 43 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 0 0 0 0
[pid=18597/tid=18614] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18614/stat : 18614 (java) S 18595 18597 18511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606682521 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18615] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18615/stat : 18615 (java) S 18595 18597 18511 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 465567947 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
[pid=18597/tid=18616] ppid=18595 vsize=7643916 CPUtime=0 cores=0,2
/proc/18597/task/18616/stat : 18616 (java) S 18595 18597 18511 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 465567959 7827369984 17791 33554432000 1073741824 1073778376 140734544793024 18446744073709551615 235606683136 0 4 0 16800975 18446604452335256576 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.3
Current children cumulated vsize (KiB) 7643916

Child status: 10
Real time (s): 199.483
CPU time (s): 200.424
CPU user time (s): 200.375
CPU system time (s): 0.048992
CPU usage (%): 100.472
Max. virtual memory (cumulated for all children) (KiB): 7643916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.375
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22890
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= 6107
involuntary context switches= 2860

runsolver used 0.32295 second user time and 0.774882 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-23 08:21:32
IDJOB=3260852
IDBENCH=83197
IDSOLVER=1611
FILE ID=node120/3260852-1303539691
RUNJOBID= node120-1303539684-18529
PBS_JOBID= 13143118
Free space on /tmp= 72116 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260852-1303539691/watcher-3260852-1303539691 -o /tmp/evaluation-result-3260852-1303539691/solver-3260852-1303539691 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3260852-1303539691.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= d21f62eebe8299bb166c60204a4db57a
RANDOM SEED=1122488000

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14503148 kB
Buffers:       2456244 kB
Cached:       15277320 kB
SwapCached:          0 kB
Active:       10571564 kB
Inactive:      7309616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14503148 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1040 kB
Writeback:           0 kB
AnonPages:      145988 kB
Mapped:          23164 kB
Slab:           501432 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 14738456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72116 MiB
End job on node120 at 2011-04-23 08:24:51