Trace number 3321866

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
borg-sat 11.03.02-randomSAT 5424.38 682.398

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf
MD5SUM4c3def64b0c0da01406b551924b4a52d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark101.054
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
Number of clauses of size over 50

Solver Data 

0.39/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.39/0.67	c INFO: solving HOME/instance-3321866-1304368743.cnf
0.39/0.67	c INFO: computing task features
0.56/0.82	c INFO: computed variable-clause graph statistics
0.56/0.83	c INFO: computed clause balance statistics
1.36/1.62	c INFO: computed variable balance statistics
1.76/2.04	c INFO: computed small-clause counts
1.76/2.04	c INFO: computed Horn-clause counts
1.76/2.08	c INFO: computed variable graph statistics
1.76/2.08	c INFO: collected features for HOME/instance-3321866-1304368743.cnf in 1.40 s
1.86/2.11	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.38)
1.86/2.15	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.14)
1.86/2.19	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.09)
1.96/2.22	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.07)
1.96/2.26	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.06)
2.06/2.30	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.05)
2.06/2.34	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.04)
2.06/2.38	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
794.17/101.41	c INFO: running adaptg2wsat2009++@0 for 97 with 39899 remaining (b = 0.03)
801.40/102.37	c INFO: running FH@0 for 97 with 39898 remaining (b = 0.02)
802.11/102.42	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.04)
802.11/102.47	c INFO: running gnovelty+2@0 for 97 with 39898 remaining (b = 0.02)
802.66/102.53	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
802.66/102.58	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
803.02/102.64	c INFO: running TNM@0 for 1552 with 39898 remaining (b = 0.21)
803.21/102.71	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.02)
1593.09/201.67	c INFO: running FH@0 for 97 with 39799 remaining (b = 0.01)
1594.56/201.82	c INFO: running hybridGM3@0 for 194 with 39798 remaining (b = 0.02)
1601.01/202.64	c INFO: running adaptg2wsat2009++@0 for 97 with 39798 remaining (b = 0.01)
1603.39/202.99	c INFO: running adaptg2wsat2009++@0 for 97 with 39797 remaining (b = 0.01)
2368.68/298.94	c INFO: running hybridGM3@100 for 97 with 39701 remaining (b = 0.01)
2369.43/299.04	c INFO: running hybridGM3@99 for 97 with 39701 remaining (b = 0.01)
2370.26/299.12	c INFO: running hybridGM3@99 for 97 with 39701 remaining (b = 0.01)
2375.76/299.89	c INFO: running adaptg2wsat2009++@0 for 97 with 39700 remaining (b = 0.01)
2379.04/300.24	c INFO: running adaptg2wsat2009++@99 for 97 with 39700 remaining (b = 0.01)
2392.50/301.93	c INFO: running gnovelty+2@0 for 97 with 39698 remaining (b = 0.01)
3129.05/394.37	c INFO: running hybridGM3@0 for 194 with 39606 remaining (b = 0.02)
3151.44/397.16	c INFO: running hybridGM3@0 for 194 with 39603 remaining (b = 0.02)
3154.23/397.51	c INFO: running TNM@0 for 1552 with 39603 remaining (b = 0.14)
3160.89/398.34	c INFO: running hybridGM3@97 for 97 with 39602 remaining (b = 0.01)
3176.03/400.21	c INFO: running hybridGM3@295 for 97 with 39600 remaining (b = 0.01)
3176.89/400.31	c INFO: running hybridGM3@295 for 97 with 39600 remaining (b = 0.01)
3191.93/402.25	c INFO: running adaptg2wsat2009++@100 for 97 with 39598 remaining (b = 0.01)
3934.78/495.50	c INFO: running hybridGM3@396 for 97 with 39505 remaining (b = 0.01)
3935.55/495.58	c INFO: running iPAWS@0 for 97 with 39505 remaining (b = 0.01)
3959.43/498.58	c INFO: running hybridGM3@395 for 97 with 39502 remaining (b = 0.01)
3968.19/499.63	c INFO: running FH@0 for 291 with 39501 remaining (b = 0.03)
4694.22/590.77	c INFO: running adaptg2wsat2009++@100 for 97 with 39409 remaining (b = 0.01)
4695.72/590.99	c INFO: running hybridGM3@97 for 97 with 39409 remaining (b = 0.01)
4735.57/595.91	c INFO: running hybridGM3@0 for 194 with 39404 remaining (b = 0.02)
4743.49/596.92	c INFO: running FH@100 for 291 with 39403 remaining (b = 0.03)
4790.54/602.88	c INFO: running iPAWS@0 for 97 with 39397 remaining (b = 0.01)
5423.45/682.37	s SATISFIABLE
5423.45/682.37	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 0

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-3321866-1304368743/watcher-3321866-1304368743 -o /tmp/evaluation-result-3321866-1304368743/solver-3321866-1304368743 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321866-1304368743.cnf -seed 1155635814 -budget 40000 -cores 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.06 8.03 7.31 3/254 12432
/proc/meminfo: memFree=16964388/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=15384 CPUtime=0 cores=0-7
/proc/12432/stat : 12432 (python) R 12430 12432 12124 0 -1 4202496 810 0 0 0 0 0 0 0 17 0 1 0 548476711 15753216 696 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436015104 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/12432/statm: 3846 696 334 364 0 333 0

[startup+0.018661 s]
/proc/loadavg: 8.06 8.03 7.31 3/254 12432
/proc/meminfo: memFree=16964388/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=16244 CPUtime=0 cores=0-7
/proc/12432/stat : 12432 (python) R 12430 12432 12124 0 -1 4202496 1037 0 0 0 0 0 0 0 17 0 1 0 548476711 16633856 909 33554432000 4194304 5683644 140736404998448 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12432/statm: 4061 910 380 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244

[startup+0.100625 s]
/proc/loadavg: 8.06 8.03 7.31 3/254 12432
/proc/meminfo: memFree=16964388/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=87708 CPUtime=0.06 cores=0-7
/proc/12432/stat : 12432 (python) S 12430 12432 12124 0 -1 4202496 2637 0 0 0 4 2 0 0 17 0 1 0 548476711 89812992 2354 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436015104 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/12432/statm: 21927 2354 717 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87708

[startup+0.300607 s]
/proc/loadavg: 8.06 8.03 7.31 3/254 12432
/proc/meminfo: memFree=16964388/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=135752 CPUtime=0.19 cores=0-7
/proc/12432/stat : 12432 (python) S 12430 12432 12124 0 -1 4202496 5966 936 1 0 14 5 0 0 17 0 1 0 548476711 139010048 4151 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436013061 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/12432/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.700509 s]
/proc/loadavg: 8.06 8.03 7.31 3/254 12432
/proc/meminfo: memFree=16964388/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=280500 CPUtime=0.46 cores=0-7
/proc/12432/stat : 12432 (python) R 12430 12432 12124 0 -1 4202496 9764 936 1 0 35 11 0 0 16 0 1 0 548476711 287232000 7446 33554432000 4194304 5683644 140736404998448 18446744073709551615 4602978 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12432/statm: 70125 7446 1761 364 0 6049 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 280500

[startup+1.50037 s]
/proc/loadavg: 8.06 8.03 7.31 2/255 12437
/proc/meminfo: memFree=16933628/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=287592 CPUtime=1.26 cores=0-7
/proc/12432/stat : 12432 (python) R 12430 12432 12124 0 -1 4202496 12682 936 1 0 115 11 0 0 17 0 1 0 548476711 294494208 9282 33554432000 4194304 5683644 140736404998448 18446744073709551615 47639075865058 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12432/statm: 71898 9282 1826 364 0 7822 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 287592

[startup+3.10102 s]
/proc/loadavg: 7.50 7.91 7.27 2/255 12437
/proc/meminfo: memFree=16937720/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=430608 CPUtime=2.14 cores=0-7
/proc/12432/stat : 12432 (python) S 12430 12432 12124 0 -1 4202496 18626 936 1 0 201 13 0 0 25 0 9 0 548476711 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12432/statm: 107652 8361 1891 364 0 43549 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 430608
heavy processes:

[startup+6.30142 s]
/proc/loadavg: 7.50 7.91 7.27 9/279 12461
/proc/meminfo: memFree=16866724/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=430608 CPUtime=2.14 cores=0-7
/proc/12432/stat : 12432 (python) S 12430 12432 12124 0 -1 4202496 18626 936 1 0 201 13 0 0 25 0 9 0 548476711 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12432/statm: 107652 8361 1891 364 0 43549 0
[pid=12438] ppid=12432 vsize=283520 CPUtime=0 cores=0-7
/proc/12438/stat : 12438 (python) S 12432 12432 12124 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 548476923 290324480 6607 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037135 0 0 16781312 514 2420479195332182274 0 0 17 1 0 0 0
/proc/12438/statm: 70880 6607 378 364 0 6798 0
[pid=12440] ppid=12438 vsize=1018996 CPUtime=4.16 cores=0-7
/proc/12440/stat : 12440 (gnovelty+2) R 12438 12440 12440 0 -1 4202496 965 0 0 0 416 0 0 0 25 0 1 0 548476923 1043451904 698 33554432000 134512640 135663704 4289603136 18446744073709551615 134525187 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12440/statm: 254749 698 113 282 0 254465 0
[pid=12441] ppid=12432 vsize=293708 CPUtime=0 cores=0-7
/proc/12441/stat : 12441 (python) S 12432 12432 12124 0 -1 4202560 902 0 0 0 0 0 0 0 18 0 1 0 548476926 300756992 6688 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 2420475347041485060 0 0 17 7 0 0 0
/proc/12441/statm: 73427 6688 372 364 0 9342 0
[pid=12443] ppid=12441 vsize=1018996 CPUtime=4.14 cores=0-7
/proc/12443/stat : 12443 (gnovelty+2) R 12441 12443 12443 0 -1 4202496 963 0 0 0 414 0 0 0 25 0 1 0 548476926 1043451904 698 33554432000 134512640 135663704 4286657296 18446744073709551615 134545653 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12443/statm: 254749 698 113 282 0 254465 0
[pid=12444] ppid=12432 vsize=369084 CPUtime=0 cores=0-7
/proc/12444/stat : 12444 (python) S 12432 12432 12124 0 -1 4202560 775 0 0 0 0 0 0 0 18 0 1 0 548476930 377942016 6862 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 7772728626264375555 0 0 17 1 0 0 0
/proc/12444/statm: 92271 6862 370 364 0 28183 0
[pid=12446] ppid=12444 vsize=421428 CPUtime=4.1 cores=0-7
/proc/12446/stat : 12446 (adaptg2wsat2009) R 12444 12446 12446 0 -1 4202496 2039 0 0 0 410 0 0 0 25 0 1 0 548476930 431542272 1782 33554432000 134512640 135107411 4286863856 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/12446/statm: 105357 1782 59 146 0 104233 0
[pid=12447] ppid=12432 vsize=379340 CPUtime=0 cores=0-7
/proc/12447/stat : 12447 (python) S 12432 12432 12124 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 1 0 548476934 388444160 6820 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 7772732474555072772 0 0 17 1 0 0 0
/proc/12447/statm: 94835 6820 370 364 0 30744 0
[pid=12449] ppid=12447 vsize=421428 CPUtime=4.06 cores=0-7
/proc/12449/stat : 12449 (adaptg2wsat2009) R 12447 12449 12449 0 -1 4202496 2041 0 0 0 406 0 0 0 25 0 1 0 548476934 431542272 1783 33554432000 134512640 135107411 4294788528 18446744073709551615 134531724 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12449/statm: 105357 1783 59 146 0 104233 0
[pid=12450] ppid=12432 vsize=389596 CPUtime=0 cores=0-7
/proc/12450/stat : 12450 (python) S 12432 12432 12124 0 -1 4202560 793 0 0 0 0 0 0 0 18 0 1 0 548476937 398946304 6945 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 9063344995674587393 0 0 17 1 0 0 0
/proc/12450/statm: 97399 6945 371 364 0 33305 0
[pid=12452] ppid=12450 vsize=421428 CPUtime=3.97 cores=0-7
/proc/12452/stat : 12452 (adaptg2wsat2009) R 12450 12452 12452 0 -1 4202496 2042 0 0 0 397 0 0 0 25 0 1 0 548476938 431542272 1783 33554432000 134512640 135107411 4288886288 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12452/statm: 105357 1783 59 146 0 104233 0
[pid=12453] ppid=12432 vsize=399852 CPUtime=0 cores=0-7
/proc/12453/stat : 12453 (python) S 12432 12432 12124 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 548476941 409448448 6926 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 14479516734110793986 0 0 17 1 0 0 0
/proc/12453/statm: 99963 6926 348 364 0 35866 0
[pid=12455] ppid=12453 vsize=1018996 CPUtime=3.94 cores=0-7
/proc/12455/stat : 12455 (gnovelty+2) R 12453 12455 12455 0 -1 4202496 957 0 0 0 394 0 0 0 25 0 1 0 548476942 1043451904 697 33554432000 134512640 135663704 4291813936 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12455/statm: 254749 697 113 282 0 254465 0
[pid=12456] ppid=12432 vsize=410108 CPUtime=0 cores=0-7
/proc/12456/stat : 12456 (python) S 12432 12432 12124 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 548476945 419950592 6844 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 2087986604214812930 0 0 17 0 0 0 0
/proc/12456/statm: 102527 6844 348 364 0 38427 0
[pid=12458] ppid=12456 vsize=251296 CPUtime=3.89 cores=0-7
/proc/12458/stat : 12458 (FH) R 12456 12458 12458 0 -1 4202496 1944 0 0 0 389 0 0 0 25 0 1 0 548476946 257327104 1682 33554432000 134512640 134936988 4293351904 18446744073709551615 134554097 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/12458/statm: 62824 1682 41 104 0 62328 0
[pid=12459] ppid=12432 vsize=420364 CPUtime=0 cores=0-7
/proc/12459/stat : 12459 (python) S 12432 12432 12124 0 -1 4202560 767 0 0 0 0 0 0 0 18 0 1 0 548476949 430452736 6820 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15478369721631342850 0 0 17 4 0 0 0
/proc/12459/statm: 105091 6820 354 364 0 40988 0
[pid=12461] ppid=12459 vsize=421428 CPUtime=3.91 cores=0-7
/proc/12461/stat : 12461 (adaptg2wsat2009) R 12459 12461 12461 0 -1 4202496 2049 0 0 0 391 0 0 0 25 0 1 0 548476950 431542272 1783 33554432000 134512640 135107411 4293682800 18446744073709551615 134531613 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12461/statm: 105357 1783 59 146 0 104233 0
[pid=12432/tid=12439] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12439/stat : 12439 (python) S 12430 12432 12124 0 -1 4202560 25 936 0 0 0 0 0 0 19 0 9 0 548476923 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
[pid=12432/tid=12442] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12442/stat : 12442 (python) S 12430 12432 12124 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 9 0 548476926 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
[pid=12432/tid=12445] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12445/stat : 12445 (python) S 12430 12432 12124 0 -1 4202560 94 936 0 0 0 0 0 0 19 0 9 0 548476930 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12448] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12448/stat : 12448 (python) S 12430 12432 12124 0 -1 4202560 30 936 0 0 0 0 0 0 18 0 9 0 548476934 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 5 0 0 0
[pid=12432/tid=12451] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12451/stat : 12451 (python) S 12430 12432 12124 0 -1 4202560 34 936 0 0 0 0 0 0 19 0 9 0 548476938 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12454] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12454/stat : 12454 (python) S 12430 12432 12124 0 -1 4202560 29 936 0 0 0 0 0 0 21 0 9 0 548476941 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 4 0 0 0
[pid=12432/tid=12457] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12457/stat : 12457 (python) S 12430 12432 12124 0 -1 4202560 30 936 0 0 0 0 0 0 23 0 9 0 548476946 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12460] ppid=12430 vsize=430608 CPUtime=0 cores=0-7
/proc/12432/task/12460/stat : 12460 (python) S 12430 12432 12124 0 -1 4202560 87 936 0 0 0 0 0 0 25 0 9 0 548476949 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.31
Current children cumulated vsize (KiB) 8370176

[startup+12.7012 s]
/proc/loadavg: 7.57 7.92 7.28 9/279 12462
/proc/meminfo: memFree=16866772/32951124 swapFree=67111416/67111528
[pid=12432] ppid=12430 vsize=430608 CPUtime=2.14 cores=0-7
/proc/12432/stat : 12432 (python) S 12430 12432 12124 0 -1 4202496 18626 936 1 0 201 13 0 0 25 0 9 0 548476711 440942592 8361 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12432/statm: 107652 8361 1891 364 0 43549 0
[pid=12438] ppid=12432 vsize=283520 CPUtime=0.01 cores=0-7
/proc/12438/stat : 12438 (python) S 12432 12432 12124 0 -1 4202560 896 0 0 0 0 1 0 0 18 0 1 0 548476923 290324480 6607 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037135 0 0 16781312 514 15214848391117766914 0 0 17 1 0 0 0
/proc/12438/statm: 70880 6607 378 364 0 6798 0
[pid=12440] ppid=12438 vsize=1018996 CPUtime=10.56 cores=0-7
/proc/12440/stat : 12440 (gnovelty+2) R 12438 12440 12440 0 -1 4202496 965 0 0 0 1056 0 0 0 25 0 1 0 548476923 1043451904 698 33554432000 134512640 135663704 4289603136 18446744073709551615 134525278 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12440/statm: 254749 698 113 282 0 254465 0
[pid=12441] ppid=12432 vsize=293708 CPUtime=0.01 cores=0-7
/proc/12441/stat : 12441 (python) S 12432 12432 12124 0 -1 4202560 905 0 0 0 1 0 0 0 18 0 1 0 548476926 300756992 6688 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766916 0 0 17 7 0 0 0
/proc/12441/statm: 73427 6688 372 364 0 9342 0
[pid=12443] ppid=12441 vsize=1018996 CPUtime=10.54 cores=0-7
/proc/12443/stat : 12443 (gnovelty+2) R 12441 12443 12443 0 -1 4202496 963 0 0 0 1054 0 0 0 25 0 1 0 548476926 1043451904 698 33554432000 134512640 135663704 4286657296 18446744073709551615 134544268 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12443/statm: 254749 698 113 282 0 254465 0
[pid=12444] ppid=12432 vsize=369084 CPUtime=0.02 cores=0-7
/proc/12444/stat : 12444 (python) S 12432 12432 12124 0 -1 4202560 777 0 0 0 1 1 0 0 18 0 1 0 548476930 377942016 6863 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766915 0 0 17 1 0 0 0
/proc/12444/statm: 92271 6863 371 364 0 28183 0
[pid=12446] ppid=12444 vsize=421428 CPUtime=10.5 cores=0-7
/proc/12446/stat : 12446 (adaptg2wsat2009) R 12444 12446 12446 0 -1 4202496 2039 0 0 0 1050 0 0 0 25 0 1 0 548476930 431542272 1782 33554432000 134512640 135107411 4286863856 18446744073709551615 134532371 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/12446/statm: 105357 1782 59 146 0 104233 0
[pid=12447] ppid=12432 vsize=379340 CPUtime=0.02 cores=0-7
/proc/12447/stat : 12447 (python) S 12432 12432 12124 0 -1 4202560 792 0 0 0 1 1 0 0 18 0 1 0 548476934 388444160 6821 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766916 0 0 17 1 0 0 0
/proc/12447/statm: 94835 6821 371 364 0 30744 0
[pid=12449] ppid=12447 vsize=421428 CPUtime=10.46 cores=0-7
/proc/12449/stat : 12449 (adaptg2wsat2009) R 12447 12449 12449 0 -1 4202496 2041 0 0 0 1046 0 0 0 25 0 1 0 548476934 431542272 1783 33554432000 134512640 135107411 4294788528 18446744073709551615 134531613 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12449/statm: 105357 1783 59 146 0 104233 0
[pid=12450] ppid=12432 vsize=389596 CPUtime=0.01 cores=0-7
/proc/12450/stat : 12450 (python) S 12432 12432 12124 0 -1 4202560 796 0 0 0 0 1 0 0 18 0 1 0 548476937 398946304 6945 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766913 0 0 17 1 0 0 0
/proc/12450/statm: 97399 6945 371 364 0 33305 0
[pid=12452] ppid=12450 vsize=421428 CPUtime=10.29 cores=0-7
/proc/12452/stat : 12452 (adaptg2wsat2009) R 12450 12452 12452 0 -1 4202496 2042 0 0 0 1029 0 0 0 25 0 1 0 548476938 431542272 1783 33554432000 134512640 135107411 4288886288 18446744073709551615 134532347 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12452/statm: 105357 1783 59 146 0 104233 0
[pid=12453] ppid=12432 vsize=399852 CPUtime=0.02 cores=0-7
/proc/12453/stat : 12453 (python) S 12432 12432 12124 0 -1 4202560 809 0 0 0 1 1 0 0 18 0 1 0 548476941 409448448 6949 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766914 0 0 17 1 0 0 0
/proc/12453/statm: 99963 6949 371 364 0 35866 0
[pid=12455] ppid=12453 vsize=1018996 CPUtime=10.27 cores=0-7
/proc/12455/stat : 12455 (gnovelty+2) R 12453 12455 12455 0 -1 4202496 957 0 0 0 1027 0 0 0 25 0 1 0 548476942 1043451904 697 33554432000 134512640 135663704 4291813936 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12455/statm: 254749 697 113 282 0 254465 0
[pid=12456] ppid=12432 vsize=410108 CPUtime=0.02 cores=0-7
/proc/12456/stat : 12456 (python) S 12432 12432 12124 0 -1 4202560 818 0 0 0 1 1 0 0 18 0 1 0 548476945 419950592 6867 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766914 0 0 17 0 0 0 0

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

/proc/12471/statm: 110219 7011 399 364 0 46110 0
[pid=12473] ppid=12471 vsize=251292 CPUtime=183.08 cores=0-7
/proc/12473/stat : 12473 (FH) R 12471 12473 12473 0 -1 4202496 1949 0 0 0 18306 2 0 0 25 0 1 0 548486949 257323008 1683 33554432000 134512640 134936988 4294259680 18446744073709551615 134552486 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/12473/statm: 62823 1683 41 104 0 62327 0
[pid=12471/tid=12508] ppid=12432 vsize=440876 CPUtime=0 cores=0-7
/proc/12471/task/12508/stat : 12508 (python) S 12432 12432 12124 0 -1 4202560 77 0 0 0 0 0 0 0 19 0 2 0 548496968 451457024 7011 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604443100938560 0 0 -1 5 0 0 0
[pid=12475] ppid=12432 vsize=451132 CPUtime=1.01 cores=0-7
/proc/12475/stat : 12475 (python) S 12432 12432 12124 0 -1 4202560 1046 0 0 0 47 54 0 0 18 0 2 0 548486953 461959168 6944 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12475/statm: 112783 6944 399 364 0 48671 0
[pid=12478] ppid=12475 vsize=268424 CPUtime=486.2 cores=0-7
/proc/12478/stat : 12478 (hybridGM3) T 12475 12478 12478 0 -1 4202496 5809 0 0 0 48620 0 0 0 25 0 1 0 548486955 274866176 5545 33554432000 134512640 135204385 4291186304 18446744073709551615 134538016 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/12478/statm: 67106 5545 63 169 0 66936 0
[pid=12475/tid=12512] ppid=12432 vsize=451132 CPUtime=0 cores=0-7
/proc/12475/task/12512/stat : 12512 (python) S 12432 12432 12124 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 2 0 548506599 461959168 6944 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604443631629248 0 0 -1 1 0 0 0
[pid=12479] ppid=12432 vsize=461388 CPUtime=0.2 cores=0-7
/proc/12479/stat : 12479 (python) S 12432 12432 12124 0 -1 4202560 1046 0 0 0 10 10 0 0 19 0 2 0 548486958 472461312 6972 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/12479/statm: 115347 6972 399 364 0 51232 0
[pid=12482] ppid=12479 vsize=1018996 CPUtime=99.23 cores=0-7
/proc/12482/stat : 12482 (gnovelty+2) T 12479 12482 12482 0 -1 4202496 967 0 0 0 9923 0 0 0 25 0 1 0 548486963 1043451904 698 33554432000 134512640 135663704 4294526096 18446744073709551615 134525286 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/12482/statm: 254749 698 113 282 0 254465 0
[pid=12479/tid=12504] ppid=12432 vsize=461388 CPUtime=0 cores=0-7
/proc/12479/task/12504/stat : 12504 (python) S 12432 12432 12124 0 -1 4202560 75 0 0 0 0 0 0 0 19 0 2 0 548496887 472461312 6972 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604443631628352 0 0 -1 7 0 0 0
[pid=12483] ppid=12432 vsize=471644 CPUtime=1.04 cores=0-7
/proc/12483/stat : 12483 (python) S 12432 12432 12124 0 -1 4202560 1061 0 0 0 49 55 0 0 18 0 2 0 548486964 482963456 6953 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12483/statm: 117911 6953 399 364 0 53793 0
[pid=12485] ppid=12483 vsize=268424 CPUtime=489.83 cores=0-7
/proc/12485/stat : 12485 (hybridGM3) T 12483 12485 12485 0 -1 4202496 5810 0 0 0 48982 1 0 0 25 0 1 0 548486965 274866176 5543 33554432000 134512640 135204385 4289070880 18446744073709551615 134537726 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/12485/statm: 67106 5543 63 169 0 66936 0
[pid=12483/tid=12513] ppid=12432 vsize=471644 CPUtime=0 cores=0-7
/proc/12483/task/12513/stat : 12513 (python) S 12432 12432 12124 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 2 0 548506609 482963456 6953 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604444022671488 0 0 -1 0 0 0 0
[pid=12488] ppid=12432 vsize=481900 CPUtime=0.58 cores=0-7
/proc/12488/stat : 12488 (python) S 12432 12432 12124 0 -1 4202560 1079 0 0 0 31 27 0 0 18 0 2 0 548486969 493465600 6991 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/12488/statm: 120475 6991 399 364 0 56354 0
[pid=12490] ppid=12488 vsize=268424 CPUtime=291.26 cores=0-7
/proc/12490/stat : 12490 (hybridGM3) T 12488 12490 12490 0 -1 4202496 5813 0 0 0 29126 0 0 0 25 0 1 0 548486970 274866176 5544 33554432000 134512640 135204385 4288414672 18446744073709551615 134537726 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/12490/statm: 67106 5544 63 169 0 66936 0
[pid=12488/tid=12514] ppid=12432 vsize=481900 CPUtime=0 cores=0-7
/proc/12488/task/12514/stat : 12514 (python) S 12432 12432 12124 0 -1 4202560 77 0 0 0 0 0 0 0 18 0 2 0 548506617 493465600 6991 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604444022669696 0 0 -1 4 0 0 0
[pid=12491] ppid=12432 vsize=492156 CPUtime=1.19 cores=0-7
/proc/12491/stat : 12491 (python) S 12432 12432 12124 0 -1 4202560 1021 0 0 0 59 60 0 0 18 0 1 0 548486976 503967744 7003 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 18446744073709519106 0 0 17 6 0 0 0
/proc/12491/statm: 123039 7003 378 364 0 58915 0
[pid=12493] ppid=12491 vsize=459764 CPUtime=577.71 cores=0-7
/proc/12493/stat : 12493 (TNM) R 12491 12493 12493 0 -1 4202496 1925 0 0 0 57770 1 0 0 25 0 1 0 548486976 470798336 1652 33554432000 134512640 135008748 4293059552 18446744073709551615 134527132 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12493/statm: 114941 1652 46 122 0 113841 0
[pid=12494] ppid=12432 vsize=502412 CPUtime=0.4 cores=0-7
/proc/12494/stat : 12494 (python) S 12432 12432 12124 0 -1 4202560 1142 0 0 0 22 18 0 0 18 0 2 0 548486982 514469888 7073 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/12494/statm: 125603 7073 407 364 0 61476 0
[pid=12496] ppid=12494 vsize=421428 CPUtime=191.12 cores=0-7
/proc/12496/stat : 12496 (adaptg2wsat2009) R 12494 12496 12496 0 -1 4202496 2055 0 0 0 19111 1 0 0 25 0 1 0 548486983 431542272 1782 33554432000 134512640 135107411 4293617808 18446744073709551615 134531848 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12496/statm: 105357 1782 59 146 0 104233 0
[pid=12494/tid=12509] ppid=12432 vsize=502412 CPUtime=0 cores=0-7
/proc/12494/task/12509/stat : 12509 (python) S 12432 12432 12124 0 -1 4202560 76 0 0 0 0 0 0 0 19 0 2 0 548497003 514469888 7073 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604453935135616 0 0 -1 2 0 0 0
[pid=12501] ppid=12432 vsize=512668 CPUtime=0.19 cores=0-7
/proc/12501/stat : 12501 (python) S 12432 12432 12124 0 -1 4202560 1095 0 0 0 9 10 0 0 19 0 2 0 548496878 524972032 7035 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12501/statm: 128167 7035 401 364 0 64037 0
[pid=12503] ppid=12501 vsize=251296 CPUtime=97.38 cores=0-7
/proc/12503/stat : 12503 (FH) T 12501 12503 12503 0 -1 4202496 1955 0 0 0 9738 0 0 0 25 0 1 0 548496878 257327104 1682 33554432000 134512640 134936988 4293618816 18446744073709551615 134552472 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/12503/statm: 62824 1682 41 104 0 62328 0
[pid=12501/tid=12515] ppid=12432 vsize=512668 CPUtime=0 cores=0-7
/proc/12501/task/12515/stat : 12515 (python) S 12432 12432 12124 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 548506897 524972032 7035 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604442633614592 0 0 -1 0 0 0 0
[pid=12505] ppid=12432 vsize=522924 CPUtime=0.62 cores=0-7
/proc/12505/stat : 12505 (python) S 12432 12432 12124 0 -1 4202560 1120 0 0 0 36 26 0 0 18 0 2 0 548496894 535474176 7110 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/12505/statm: 130731 7110 401 364 0 66598 0
[pid=12507] ppid=12505 vsize=268424 CPUtime=296.19 cores=0-7
/proc/12507/stat : 12507 (hybridGM3) T 12505 12507 12507 0 -1 4202496 5818 0 0 0 29619 0 0 0 25 0 1 0 548496894 274866176 5544 33554432000 134512640 135204385 4294334592 18446744073709551615 134537724 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/12507/statm: 67106 5544 63 169 0 66936 0
[pid=12505/tid=12531] ppid=12432 vsize=522924 CPUtime=0 cores=0-7
/proc/12505/task/12531/stat : 12531 (python) S 12432 12432 12124 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 2 0 548516537 535474176 7110 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604446432982208 0 0 -1 5 0 0 0
[pid=12516] ppid=12432 vsize=533180 CPUtime=0.21 cores=0-7
/proc/12516/stat : 12516 (python) S 12432 12432 12124 0 -1 4202560 1144 0 0 0 10 11 0 0 19 0 2 0 548506904 545976320 7099 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/12516/statm: 133295 7099 400 364 0 69159 0
[pid=12518] ppid=12516 vsize=1018996 CPUtime=100.18 cores=0-7
/proc/12518/stat : 12518 (gnovelty+2) T 12516 12518 12518 0 -1 4202496 975 0 0 0 10018 0 0 0 25 0 1 0 548506905 1043451904 698 33554432000 134512640 135663704 4294878080 18446744073709551615 134524894 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12518/statm: 254749 698 113 282 0 254465 0
[pid=12516/tid=12532] ppid=12432 vsize=533180 CPUtime=0 cores=0-7
/proc/12516/task/12532/stat : 12532 (python) S 12432 12432 12124 0 -1 4202560 92 0 0 0 0 0 0 0 19 0 2 0 548516928 545976320 7099 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604441837519872 0 0 -1 1 0 0 0
[pid=12522] ppid=12432 vsize=543436 CPUtime=0.62 cores=0-7
/proc/12522/stat : 12522 (python) S 12432 12432 12124 0 -1 4202560 1142 0 0 0 33 29 0 0 18 0 2 0 548516149 556478464 7176 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/12522/statm: 135859 7176 401 364 0 71720 0
[pid=12524] ppid=12522 vsize=268420 CPUtime=286.83 cores=0-7
/proc/12524/stat : 12524 (hybridGM3) R 12522 12524 12524 0 -1 4202496 5817 0 0 0 28681 2 0 0 25 0 1 0 548516149 274862080 5543 33554432000 134512640 135204385 4292842688 18446744073709551615 134538009 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/12524/statm: 67105 5543 63 169 0 66935 0
[pid=12522/tid=12541] ppid=12432 vsize=543436 CPUtime=0 cores=0-7
/proc/12522/task/12541/stat : 12541 (python) S 12432 12432 12124 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 2 0 548535802 556478464 7176 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604449842266560 0 0 -1 6 0 0 0
[pid=12525] ppid=12432 vsize=553692 CPUtime=0.43 cores=0-7
/proc/12525/stat : 12525 (python) S 12432 12432 12124 0 -1 4202560 1145 0 0 0 23 20 0 0 19 0 2 0 548516427 566980608 7183 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/12525/statm: 138423 7183 400 364 0 74281 0
[pid=12527] ppid=12525 vsize=268420 CPUtime=199.52 cores=0-7
/proc/12527/stat : 12527 (hybridGM3) T 12525 12527 12527 0 -1 4202496 5820 0 0 0 19952 0 0 0 25 0 1 0 548516427 274862080 5543 33554432000 134512640 135204385 4294484624 18446744073709551615 134538427 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/12527/statm: 67105 5543 63 169 0 66935 0
[pid=12525/tid=12546] ppid=12432 vsize=553692 CPUtime=0 cores=0-7
/proc/12525/task/12546/stat : 12546 (python) S 12432 12432 12124 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 2 0 548536394 566980608 7183 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604453916707712 0 0 -1 3 0 0 0
[pid=12528] ppid=12432 vsize=563948 CPUtime=0.61 cores=0-7
/proc/12528/stat : 12528 (python) S 12432 12432 12124 0 -1 4202560 989 0 0 0 31 30 0 0 18 0 1 0 548516462 577482752 7207 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766915 0 0 17 1 0 0 0
/proc/12528/statm: 140987 7207 378 364 0 76842 0
[pid=12530] ppid=12528 vsize=459772 CPUtime=281.74 cores=0-7
/proc/12530/stat : 12530 (TNM) R 12528 12530 12530 0 -1 4202496 1936 0 0 0 28174 0 0 0 25 0 1 0 548516463 470806528 1652 33554432000 134512640 135008748 4286986896 18446744073709551615 134529169 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/12530/statm: 114943 1652 46 122 0 113843 0
[pid=12535] ppid=12432 vsize=574204 CPUtime=0.21 cores=0-7
/proc/12535/stat : 12535 (python) S 12432 12432 12124 0 -1 4202560 1196 0 0 0 11 10 0 0 19 0 2 0 548526270 587984896 7205 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447843787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/12535/statm: 143551 7205 407 364 0 79403 0
[pid=12537] ppid=12535 vsize=335996 CPUtime=100.14 cores=0-7
/proc/12537/stat : 12537 (iPAWS) T 12535 12537 12537 0 -1 4202496 1829 0 0 0 10014 0 0 0 25 0 1 0 548526270 344059904 1547 33554432000 134512640 135114423 4286723584 18446744073709551615 134517345 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/12537/statm: 83999 1547 59 147 0 83851 0
[pid=12535/tid=12542] ppid=12432 vsize=574204 CPUtime=0 cores=0-7
/proc/12535/task/12542/stat : 12542 (python) S 12432 12432 12124 0 -1 4202560 91 0 0 0 0 0 0 0 19 0 2 0 548536294 587984896 7205 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 514 18446604443698791424 0 0 -1 6 0 0 0
[pid=12543] ppid=12432 vsize=584460 CPUtime=0.17 cores=0-7
/proc/12543/stat : 12543 (python) S 12432 12432 12124 0 -1 4202560 1015 0 0 0 9 8 0 0 18 0 1 0 548536303 598487040 7137 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766916 0 0 17 0 0 0 0
/proc/12543/statm: 146115 7137 379 364 0 81964 0
[pid=12545] ppid=12543 vsize=268420 CPUtime=85.4 cores=0-7
/proc/12545/stat : 12545 (hybridGM3) R 12543 12545 12545 0 -1 4202496 5831 0 0 0 8538 2 0 0 25 0 1 0 548536303 274862080 5543 33554432000 134512640 135204385 4294790160 18446744073709551615 134537792 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12545/statm: 67105 5543 63 169 0 66935 0
[pid=12547] ppid=12432 vsize=594716 CPUtime=0.17 cores=0-7
/proc/12547/stat : 12547 (python) S 12432 12432 12124 0 -1 4202560 990 0 0 0 7 10 0 0 18 0 1 0 548536999 608989184 7184 33554432000 4194304 5683644 140736404998448 18446744073709551615 212436037190 0 0 16781312 514 15214848391117766920 0 0 17 3 0 0 0
/proc/12547/statm: 148679 7184 372 364 0 84525 0
[pid=12549] ppid=12547 vsize=335996 CPUtime=79.24 cores=0-7
/proc/12549/stat : 12549 (iPAWS) R 12547 12549 12549 0 -1 4202496 1830 0 0 0 7924 0 0 0 25 0 1 0 548537000 344059904 1547 33554432000 134512640 135114423 4294594816 18446744073709551615 134517035 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/12549/statm: 83999 1547 59 147 0 83851 0
[pid=12432/tid=12439] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12439/stat : 12439 (python) S 12430 12432 12124 0 -1 4202560 25 936 0 0 0 0 0 0 19 0 26 0 548476923 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
[pid=12432/tid=12442] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12442/stat : 12442 (python) S 12430 12432 12124 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 26 0 548476926 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
[pid=12432/tid=12445] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12445/stat : 12445 (python) S 12430 12432 12124 0 -1 4202560 100 936 0 0 0 0 0 0 18 0 26 0 548476930 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12448] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12448/stat : 12448 (python) S 12430 12432 12124 0 -1 4202560 34 936 0 0 0 0 0 0 18 0 26 0 548476934 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 5 0 0 0
[pid=12432/tid=12451] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12451/stat : 12451 (python) S 12430 12432 12124 0 -1 4202560 40 936 0 0 0 0 0 0 18 0 26 0 548476938 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12454] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12454/stat : 12454 (python) S 12430 12432 12124 0 -1 4202560 29 936 0 0 0 0 0 0 21 0 26 0 548476941 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 4 0 0 0
[pid=12432/tid=12457] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12457/stat : 12457 (python) S 12430 12432 12124 0 -1 4202560 36 936 0 0 0 0 0 0 18 0 26 0 548476946 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12460] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12460/stat : 12460 (python) S 12430 12432 12124 0 -1 4202560 94 936 0 0 0 0 0 0 18 0 26 0 548476949 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12467] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12467/stat : 12467 (python) S 12430 12432 12124 0 -1 4202560 41 936 0 0 0 0 0 0 18 0 26 0 548486852 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 1 0 0 0
[pid=12432/tid=12472] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12472/stat : 12472 (python) S 12430 12432 12124 0 -1 4202560 38 936 0 0 0 0 0 0 18 0 26 0 548486949 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12476] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12476/stat : 12476 (python) S 12430 12432 12124 0 -1 4202560 47 936 0 0 0 0 0 0 18 0 26 0 548486953 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
[pid=12432/tid=12480] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12480/stat : 12480 (python) S 12430 12432 12124 0 -1 4202560 29 936 0 0 0 0 0 0 22 0 26 0 548486959 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 5 0 0 0
[pid=12432/tid=12484] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12484/stat : 12484 (python) S 12430 12432 12124 0 -1 4202560 51 936 0 0 0 0 0 0 18 0 26 0 548486964 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 1 0 0 0
[pid=12432/tid=12489] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12489/stat : 12489 (python) S 12430 12432 12124 0 -1 4202560 40 936 0 0 0 0 0 0 18 0 26 0 548486970 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 4 0 0 0
[pid=12432/tid=12492] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12492/stat : 12492 (python) S 12430 12432 12124 0 -1 4202560 27 936 0 0 0 0 0 0 25 0 26 0 548486976 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 6 0 0 0
[pid=12432/tid=12495] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12495/stat : 12495 (python) S 12430 12432 12124 0 -1 4202560 38 936 0 0 0 0 0 0 18 0 26 0 548486983 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12502] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12502/stat : 12502 (python) S 12430 12432 12124 0 -1 4202560 32 936 0 0 0 0 0 0 19 0 26 0 548496878 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12506] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12506/stat : 12506 (python) S 12430 12432 12124 0 -1 4202560 41 936 0 0 0 0 0 0 18 0 26 0 548496894 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12517] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12517/stat : 12517 (python) S 12430 12432 12124 0 -1 4202560 44 936 0 0 0 0 0 0 19 0 26 0 548506904 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12523] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12523/stat : 12523 (python) S 12430 12432 12124 0 -1 4202560 38 936 0 0 0 0 0 0 18 0 26 0 548516149 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 1 0 0 0
[pid=12432/tid=12526] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12526/stat : 12526 (python) S 12430 12432 12124 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 26 0 548516427 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12529] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12529/stat : 12529 (python) S 12430 12432 12124 0 -1 4202560 32 936 0 0 0 0 0 0 19 0 26 0 548516462 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 0 0 0 0
[pid=12432/tid=12536] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12536/stat : 12536 (python) S 12430 12432 12124 0 -1 4202560 38 936 0 0 0 0 0 0 20 0 26 0 548526270 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
[pid=12432/tid=12544] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12544/stat : 12544 (python) S 12430 12432 12124 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 26 0 548536303 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 1 0 0 0
[pid=12432/tid=12548] ppid=12430 vsize=604960 CPUtime=0 cores=0-7
/proc/12432/task/12548/stat : 12548 (python) S 12430 12432 12124 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 26 0 548537000 619479040 8732 33554432000 4194304 5683644 140736404998448 18446744073709551615 212447840689 0 0 16781312 2 18446604449103874112 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5423.45
Current children cumulated vsize (KiB) 24124048

Child status: 0
Real time (s): 682.398
CPU time (s): 5424.38
CPU user time (s): 5418.34
CPU system time (s): 6.03508
CPU usage (%): 794.899
Max. virtual memory (cumulated for all children) (KiB): 24124052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5418.34
system time used= 6.03508
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151498
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= 10416
involuntary context switches= 33203

runsolver used 5.64814 second user time and 12.4621 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-02 22:39:03
IDJOB=3321866
IDBENCH=82644
IDSOLVER=1712
FILE ID=node102/3321866-1304368743
RUNJOBID= node102-1304366469-12138
PBS_JOBID= 13181768
Free space on /tmp= 73440 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321866-1304368743/watcher-3321866-1304368743 -o /tmp/evaluation-result-3321866-1304368743/solver-3321866-1304368743 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321866-1304368743.cnf -seed 1155635814 -budget 40000 -cores 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 4c3def64b0c0da01406b551924b4a52d
RANDOM SEED=1155635814

node102.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.828
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.65
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.828
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.15
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.828
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.828
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.828
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.82
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.828
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.828
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.828
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:     32951124 kB
MemFree:      16964552 kB
Buffers:        672744 kB
Cached:        1909976 kB
SwapCached:          0 kB
Active:       13432648 kB
Inactive:      2092432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16964552 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           32704 kB
Writeback:           0 kB
AnonPages:    12942916 kB
Mapped:          21928 kB
Slab:           357756 kB
PageTables:      37664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 37661580 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= 73408 MiB
End job on node102 at 2011-05-02 22:50:26