Trace number 2097395

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
Abscon 112v4 ACSAT 98.0441 98.8116

DiagnosticValue
CHECKS18306900
NODES18362

General information on the benchmark

Namecsp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-15.xml
MD5SUMe4d8056326b04b00114496ca953a2edb
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark92.195
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Maximum constraint arity2
Maximum domain size1366
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23200
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mac.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-2097395-1247412249.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.34	   
0.28/0.34	   variables being loaded...
0.48/0.52	     nbVariables=800  nbDomainTypes=97  minDomainSize=1268  maxDomainSize=1366  nbTotalValues=1052944
0.48/0.52	       =>  wckTime=0.279  cpuTime=0.2  mem=32M420
0.48/0.53	   
0.48/0.53	   predicates being loaded...
0.48/0.58	   
0.48/0.58	   constraints being loaded...
20.78/20.87	   
20.78/20.87	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 67M717)
25.32/25.41	     nbConstraints=23220  nbGlobalConstraints=22820  nbConvertedConstraints=92  nbConvertConstraintsChecks=100177674
25.32/25.41	     nbExtensionStructures=58  nbSharedExtensionStructures=34  nbConflictsStructures=58  nbSharedConflictsStructures=34
25.32/25.41	     nbUnbuiltConflictsStructures=95  nbSharedBinaryRepresentations=76206  nbEvaluationManagers=95
25.32/25.41	     nbSharedEvaluationManagers=213  minDegree=39  maxDegree=78  minArity=2  avgArity=2.02  maxArity=21  nbGenerators=0
25.32/25.41	     nbFusions=0  symmetryWckTime=3.922  symmetryCpuTime=3.53  nbCliques=20
25.32/25.41	       =>  wckTime=25.162  cpuTime=24.01  mem=110M306
25.72/25.81	   
25.72/25.81	   solver IterativeSystematicSolver being built... 
25.82/25.92	   
25.82/25.92	   INFO : Forward propagation technique limited 
26.02/26.12	       =>  wckTime=25.874  cpuTime=24.21  mem=111M474
26.41/26.53	   
26.41/26.53	   preprocessing
26.41/26.53	     nbConstraintChecks=811144  nbValidityChecks=616  nbPropagations=800  nbRevisions=616  nbUselessRevisions=616
26.41/26.53	     nbRemovedValues=0  detectedInconsistency=no
26.41/26.53	       =>  wckTime=0.369  cpuTime=0.35  mem=113M313
34.44/34.68	   
34.44/34.68	   INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=143, mem=156M405)
97.93/98.75	   
97.93/98.75	   search
97.93/98.75	     run=16  nbConstraintChecks=17495739  nbValidityChecks=156082753  minDepth=253  maxDepth=800  nbPropagations=2465524
97.93/98.75	     nbRevisions=1706141  nbUselessRevisions=1625819  nbAssignments=18362  nbFailedAssignments=13484
97.93/98.75	     nbInferredBacktracks=5  nbBacktracks=955  nbVisitedNodes=32705  nbRestartNogoods=917  nbFoundSolutions=1
97.93/98.75	     nbSEliminables=0  nbREliminables=51.93  nbIEliminables=0.01  nbDEliminables=0  nbPEliminables=0
97.93/98.75	       =>  wckTime=72.592  cpuTime=71.45  mem=117M941
97.93/98.75	   
97.93/98.75	   global
97.93/98.75	     nbConstraintChecks=18306883  nbValidityChecks=156083369  nbPropagations=2466324  nbRevisions=1706757
97.93/98.75	     nbUselessRevisions=1626435  nbRestartNogoods=917  solvingWckTime=72.595  solvingCpuTime=71.46  expiredTime=no
97.93/98.75	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=95.57  globalCpuTime=95.74
97.93/98.75	       =>  wckTime=98.509  cpuTime=95.72  mem=117M941
97.93/98.76	   
97.93/98.76	s SATISFIABLE
97.93/98.76	v 474 1186 635 1186 693 1186 1106 1107 370 1151 1018 1227 0 1186 507 1203 66 1186 264 1186 849 1186 384 1186 744 1186 175 1186 990 1142 547 1186 819 1190 1179 1180 876 1186 932 1202 325 1202 1012 1202 149 1202 349 1202 437 1203 1059 1202 867 1202 66 1202 420 421 769 1202 220 1202 279 1202 1106 1227 594 1202 0 1202 507 1202 675 1202 395 1202 1184 1185 956 1202 137 1158 939 1099 772 773 601 1185 1127 1170 441 529 978 1158 63 1167 698 1183 1037 1186 1087 1158 233 1158 380 1158 285 1202 416 1181 845 1227 963 964 452 1158 0 1203 538 1174 94 1190 876 1181 759 1151 857 1018 939 1227 0 1131 189 1170 621 1128 541 1018 421 1142 92 1160 836 1186 547 1203 504 1088 806 1062 696 1037 282 283 888 1032 72 1018 325 1107 370 1227 696 697 0 1127 1301 1181 787 788 1005 1006 183 184 206 1203 868 1183 1076 1170 539 1202 744 1174 108 1127 52 53 444 1127 299 1160 806 1151 634 635 355 356 965 966 732 733 202 1167 1276 1167 534 535 445 446 290 291 21 424 1025 1181 905 906 819 1167 354 355 39 368 60 1167 1115 1203 698 699 607 1227 144 145 673 674 165 497 0 1170 0 1227 1077 1078 420 421 501 500 983 1203 629 628 648 1203 891 1203 370 371 303 1203 787 1203 130 131 1049 1050 547 548 90 1107 1167 1168 189 1203 838 839 180 181 926 1203 728 729 1325 1227 1209 1210 772 773 354 355 421 1227 504 505 878 879 1123 1124 956 566 868 869 1040 1227 977 978 0 533 939 938 285 1227 96 1227 188 189 630 1227 157 1174 623 624 1166 1167 552 553 830 831 1289 1170 10 11 79 80 308 309 206 207 889 890 956 1174 734 735 444 1227 155 1203 269 1183 0 19 395 396 471 1170 1093 1094 52 1170 1143 1144 157 1227 872 0 380 1185 966 1203 849 1121 185 1185 43 1185 121 1185 1060 1100 281 1185 559 1185 1077 1078 1291 1185 757 758 538 1107 897 898 693 1185 630 631 470 471 471 1183 381 1183 793 1183 329 1062 651 652 90 1183 185 1227 1037 1038 990 1202 54 1183 351 352 889 890 1091 1092 166 167 157 980 1304 1190 0 1183 700 1203 560 1183 262 1185 205 1185 445 446 784 785 43 1170 90 1227 289 290 538 1160 621 1203 825 826 889 890 157 158 1296 1160 369 1202 183 341 708 709 0 1160 926 927 1073 1074 495 1160 255 256 793 1203 623 1181 149 150 72 1131 1289 1183 879 1151 501 502 21 1170 279 1186 1060 1128 1007 1008 982 1167 471 1227 507 1160 701 702 189 190 539 1128 759 760 368 1140 1099 1100 830 1131 651 1209 1121 1122 143 1209 1091 1131 381 382 1048 1209 25 20 968 1209 205 1209 555 556 784 1209 1184 1227 303 1209 879 1209 474 1209 74 1209 0 1 175 1209 744 1209 1015 1190 857 1186 529 530 634 1202 96 1181 195 196 121 1181 769 1181 891 1181 656 1227 965 1183 1319 1181 1092 1181 1080 1081 1107 1108 644 645 384 1203 437 1181 282 283 0 1185 635 1166 205 1183 734 1186 555 556 195 1166 329 1185 286 287 1115 278 1073 1166 568 1227 0 1167 166 874 905 1166 448 1174 63 1203 55 56 1300 1166 1158 1170 775 776 984 1166 963 1179 137 158 871 1190 643 644 154 155 401 1183 745 746 1330 1179 92 93 560 1179 479 1181 419 1179 233 234 590 591 157 158 901 902 1087 1186 1348 1203 0 1 310 1227 897 1190 471 472 0 1190 1167 1168 968 1190 810 1190 1294 1190 279 278 108 1190 1060 1190 663 1190 181 182 1123 1190 568 1190 501 1227 384 1190 299 1203 60 1190 747 1190 984 1190 966 1181 555 1170 648 1190 708 1140 1025 1026 262 1227 1037 1151 901 902 822 1202 188 189 75 83 1093 1094 1302 1203 0 1 94 1160 872 1167 310 1183 784 1186 55 56 414 415 1339 1203 845 846 675 1151 25 19 1012 1170 424 425 748 1227 448 449 58 59 181 1186 82 130 526 527 251 252 213 1143 888 1181 1105 1185 132 133 361 1143 601 1174 83 0 
97.93/98.76	d NODES 18362
97.93/98.76	d CHECKS 18306883
97.93/98.76	   
97.93/98.76	   totalWckTime=98.577  totalCpuTime=95.75

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097395-1247412249/watcher-2097395-1247412249 -o /tmp/evaluation-result-2097395-1247412249/solver-2097395-1247412249 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097395-1247412249.xml 

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 30980
/proc/meminfo: memFree=1715600/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=1616 CPUtime=0
/proc/30980/stat : 30980 (java) D 30978 30980 28496 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 28287462 1654784 145 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30980/statm: 404 145 119 9 0 46 0

[startup+0.0957651 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 30980
/proc/meminfo: memFree=1715600/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=865980 CPUtime=0.08
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 3739 0 1 0 6 2 0 0 18 0 9 0 28287462 886763520 3207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216495 3207 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.101763 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 30980
/proc/meminfo: memFree=1715600/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=865980 CPUtime=0.08
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 3755 0 1 0 6 2 0 0 18 0 9 0 28287462 886763520 3221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216495 3222 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.301795 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 30980
/proc/meminfo: memFree=1715600/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=866472 CPUtime=0.28
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 5986 0 1 0 24 4 0 0 18 0 9 0 28287462 887267328 5352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216618 5352 1984 9 0 211076 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866472

[startup+0.701846 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 30980
/proc/meminfo: memFree=1715600/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=867736 CPUtime=0.68
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 14006 0 1 0 60 8 0 0 18 0 9 0 28287462 888561664 13360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216934 13361 2038 9 0 211370 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867736

[startup+1.50196 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1632904/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=867648 CPUtime=1.48
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 23332 0 1 0 136 12 0 0 18 0 9 0 28287462 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216912 22661 2028 9 0 211370 0
[pid=30980/tid=30982] ppid=30978 vsize=867648 CPUtime=1.21
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 15793 0 1 0 113 8 0 0 25 0 9 0 28287464 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4126544693 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30983] ppid=30978 vsize=867648 CPUtime=0.07
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 6161 0 0 0 5 2 0 0 17 0 9 0 28287465 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30984] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30985] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30986] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28287467 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=867648 CPUtime=0.17
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 677 0 0 0 17 0 0 0 16 0 9 0 28287467 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30988] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28287467 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28287467 888471552 22661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867648

[startup+3.10217 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1617032/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=867648 CPUtime=3.08
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 27272 0 1 0 293 15 0 0 18 0 9 0 28287462 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216912 26597 2031 9 0 211370 0
[pid=30980/tid=30982] ppid=30978 vsize=867648 CPUtime=2.64
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 15825 0 1 0 255 9 0 0 25 0 9 0 28287464 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4126942903 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30983] ppid=30978 vsize=867648 CPUtime=0.2
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 10040 0 0 0 17 3 0 0 17 0 9 0 28287465 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30984] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30985] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30986] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28287467 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=867648 CPUtime=0.2
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 706 0 0 0 20 0 0 0 15 0 9 0 28287467 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30988] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28287467 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28287467 888471552 26597 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867648

[startup+6.30261 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1616648/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=867648 CPUtime=6.28
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 27284 0 1 0 609 19 0 0 18 0 9 0 28287462 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216912 26607 2031 9 0 211370 0
[pid=30980/tid=30982] ppid=30978 vsize=867648 CPUtime=5.83
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 15828 0 1 0 570 13 0 0 25 0 9 0 28287464 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4126916365 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30983] ppid=30978 vsize=867648 CPUtime=0.2
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 10040 0 0 0 17 3 0 0 16 0 9 0 28287465 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30984] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30985] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30986] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28287467 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=867648 CPUtime=0.21
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 714 0 0 0 21 0 0 0 16 0 9 0 28287467 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30988] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28287467 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28287467 888471552 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867648

[startup+12.7025 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30989
/proc/meminfo: memFree=1616456/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=867648 CPUtime=12.67
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 27299 0 1 0 1241 26 0 0 18 0 9 0 28287462 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 216912 26621 2031 9 0 211370 0
[pid=30980/tid=30982] ppid=30978 vsize=867648 CPUtime=12.21
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 15830 0 1 0 1200 21 0 0 25 0 9 0 28287464 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4126942967 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30983] ppid=30978 vsize=867648 CPUtime=0.2
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 10040 0 0 0 17 3 0 0 16 0 9 0 28287465 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30984] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30985] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28287465 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30986] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28287467 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=867648 CPUtime=0.23
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 727 0 0 0 23 0 0 0 16 0 9 0 28287467 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30988] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28287467 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=867648 CPUtime=0
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28287467 888471552 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867648

[startup+25.5012 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1584256/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868296 CPUtime=25.42
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 52761 1388 1 0 2465 49 26 2 18 0 9 0 28287462 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217074 34754 2084 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868296 CPUtime=24.46
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 23824 1388 1 0 2380 38 26 2 25 0 9 0 28287464 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868296 CPUtime=0.9
/proc/30980/task/30983/stat : 30983 (java) R 30978 30980 28496 0 -1 64 27202 1388 0 0 55 7 26 2 16 0 9 0 28287465 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 102758168 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868296 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 16 1388 0 0 0 0 26 2 16 0 9 0 28287465 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868296 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 5 1388 0 0 0 0 26 2 16 0 9 0 28287465 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868296 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868296 CPUtime=0.56
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 884 1388 0 0 28 0 26 2 16 0 9 0 28287467 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868296 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868296 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889135104 34754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868296

[startup+51.1017 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1530432/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=50.77
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80816 1388 1 0 4990 59 26 2 18 0 9 0 28287462 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48718 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=49.13
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32180 1388 1 0 4844 41 26 2 25 0 9 0 28287464 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4127367406 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.45
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46761 1388 0 0 103 14 26 2 16 0 9 0 28287465 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.71
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1006 1388 0 0 42 1 26 2 15 0 9 0 28287467 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.72
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1010 1388 0 0 43 1 26 2 16 0 9 0 28287467 889225216 48835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.14
Current children cumulated vsize (KiB) 868384

[startup+89.5029 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529856/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=88.82
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80976 1388 1 0 8794 60 26 2 18 0 9 0 28287462 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48848 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=87.02
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32208 1388 1 0 8633 41 26 2 25 0 9 0 28287464 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4127381696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.59
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46889 1388 0 0 117 14 26 2 16 0 9 0 28287465 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.72
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1010 1388 0 0 43 1 26 2 16 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.82
Current children cumulated vsize (KiB) 868384

[startup+92.7023 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529792/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=91.99
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80978 1388 1 0 9111 60 26 2 18 0 9 0 28287462 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48848 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=90.18
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32210 1388 1 0 8949 41 26 2 25 0 9 0 28287464 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4127152045 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.59
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46889 1388 0 0 117 14 26 2 16 0 9 0 28287465 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.72
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1010 1388 0 0 43 1 26 2 16 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.99
Current children cumulated vsize (KiB) 868384

[startup+95.9018 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529792/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=95.15
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80986 1388 1 0 9427 60 26 2 18 0 9 0 28287462 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48854 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=93.34
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32212 1388 1 0 9265 41 26 2 25 0 9 0 28287464 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.61
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46895 1388 0 0 118 15 26 2 16 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.72
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1010 1388 0 0 43 1 26 2 16 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.15
Current children cumulated vsize (KiB) 868384

[startup+97.503 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529792/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=96.74
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80987 1388 1 0 9586 60 26 2 18 0 9 0 28287462 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48854 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=94.92
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32213 1388 1 0 9423 41 26 2 25 0 9 0 28287464 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4127340182 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.61
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46895 1388 0 0 118 15 26 2 16 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.72
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1010 1388 0 0 43 1 26 2 16 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.74
Current children cumulated vsize (KiB) 868384

[startup+98.3021 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529792/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=97.53
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80987 1388 1 0 9665 60 26 2 18 0 9 0 28287462 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48854 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=95.72
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32213 1388 1 0 9503 41 26 2 25 0 9 0 28287464 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4127381127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.61
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46895 1388 0 0 118 15 26 2 16 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.72
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1010 1388 0 0 43 1 26 2 16 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.53
Current children cumulated vsize (KiB) 868384

[startup+98.7021 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529792/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=868384 CPUtime=97.93
/proc/30980/stat : 30980 (java) S 30978 30980 28496 0 -1 0 80994 1388 1 0 9705 60 26 2 18 0 9 0 28287462 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30980/statm: 217096 48859 2663 9 0 211532 0
[pid=30980/tid=30982] ppid=30978 vsize=868384 CPUtime=96.1
/proc/30980/task/30982/stat : 30982 (java) R 30978 30980 28496 0 -1 64 32217 1388 1 0 9541 41 26 2 25 0 9 0 28287464 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4127458073 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30983] ppid=30978 vsize=868384 CPUtime=1.62
/proc/30980/task/30983/stat : 30983 (java) S 30978 30980 28496 0 -1 64 46895 1388 0 0 119 15 26 2 16 0 9 0 28287465 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30984] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30984/stat : 30984 (java) S 30978 30980 28496 0 -1 64 21 1388 0 0 0 0 26 2 16 0 9 0 28287465 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30985] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30985/stat : 30985 (java) S 30978 30980 28496 0 -1 64 18 1388 0 0 0 0 26 2 15 0 9 0 28287465 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30986] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30986/stat : 30986 (java) S 30978 30980 28496 0 -1 64 2 1388 0 0 0 0 26 2 23 0 9 0 28287467 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30987] ppid=30978 vsize=868384 CPUtime=0.73
/proc/30980/task/30987/stat : 30987 (java) S 30978 30980 28496 0 -1 64 1013 1388 0 0 44 1 26 2 16 0 9 0 28287467 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30980/tid=30988] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30988/stat : 30988 (java) S 30978 30980 28496 0 -1 64 0 1388 0 0 0 0 26 2 24 0 9 0 28287467 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30980/tid=30989] ppid=30978 vsize=868384 CPUtime=0.28
/proc/30980/task/30989/stat : 30989 (java) S 30978 30980 28496 0 -1 64 11 1388 0 0 0 0 26 2 15 0 9 0 28287467 889225216 48859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.93
Current children cumulated vsize (KiB) 868384

[startup+98.8026 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 30993
/proc/meminfo: memFree=1529792/2055920 swapFree=4192812/4192956
[pid=30980] ppid=30978 vsize=0 CPUtime=98.02
/proc/30980/stat : 30980 (java) Z 30978 30980 28496 0 -1 12 81028 1388 1 0 9711 63 26 2 16 0 2 0 28287462 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30980/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 98.8116
CPU time (s): 98.0441
CPU user time (s): 97.3762
CPU system time (s): 0.667898
CPU usage (%): 99.2232
Max. virtual memory (cumulated for all children) (KiB): 870984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.3762
system time used= 0.667898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82416
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= 4602
involuntary context switches= 6283

runsolver used 0.124981 second user time and 0.339948 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-12 17:24:09
IDJOB=2097395
IDBENCH=57303
IDSOLVER=773
FILE ID=node71/2097395-1247412249
PBS_JOBID= 9510506
Free space on /tmp= 66392 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097395-1247412249/watcher-2097395-1247412249 -o /tmp/evaluation-result-2097395-1247412249/solver-2097395-1247412249 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097395-1247412249.xml

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

MD5SUM BENCH= e4d8056326b04b00114496ca953a2edb
RANDOM SEED=18727230

node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1716080 kB
Buffers:         42812 kB
Cached:         133104 kB
SwapCached:          0 kB
Active:         202336 kB
Inactive:        82272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4956 kB
Writeback:           0 kB
Mapped:         129188 kB
Slab:            40216 kB
Committed_AS:  1016524 kB
PageTables:       2040 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66392 MiB
End job on node71 at 2009-07-12 17:25:48