Trace number 2097396

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 ESACSAT 92.195 92.49

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.03/0.08	
0.03/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097396-1247412249.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.33	   
0.28/0.33	   variables being loaded...
0.48/0.52	     nbVariables=800  nbDomainTypes=97  minDomainSize=1268  maxDomainSize=1366  nbTotalValues=1052944
0.48/0.52	       =>  wckTime=0.281  cpuTime=0.21  mem=32M420
0.48/0.52	   
0.48/0.52	   predicates being loaded...
0.48/0.58	   
0.48/0.58	   constraints being loaded...
20.89/21.17	   
20.89/21.17	   INFO : Stopping converting binary constraints (cpu=20.19, mem = 67M717)
25.15/25.41	     nbConstraints=23220  nbGlobalConstraints=22820  nbConvertedConstraints=92  nbConvertConstraintsChecks=100177674
25.15/25.41	     nbExtensionStructures=58  nbSharedExtensionStructures=34  nbConflictsStructures=58  nbSharedConflictsStructures=34
25.15/25.41	     nbUnbuiltConflictsStructures=95  nbSharedBinaryRepresentations=76206  nbEvaluationManagers=95
25.15/25.41	     nbSharedEvaluationManagers=213  minDegree=39  maxDegree=78  minArity=2  avgArity=2.02  maxArity=21  nbGenerators=0
25.15/25.41	     nbFusions=0  symmetryWckTime=3.614  symmetryCpuTime=3.3  nbCliques=20
25.15/25.41	       =>  wckTime=25.164  cpuTime=23.91  mem=110M306
25.46/25.78	   
25.46/25.78	   solver IterativeSystematicSolver being built... 
25.55/25.87	   
25.55/25.87	   INFO : Forward propagation technique limited 
25.75/26.06	       =>  wckTime=25.822  cpuTime=24.1  mem=111M474
26.16/26.43	   
26.16/26.43	   preprocessing
26.16/26.43	     nbConstraintChecks=811144  nbValidityChecks=616  nbPropagations=800  nbRevisions=616  nbUselessRevisions=616
26.16/26.43	     nbRemovedValues=0  detectedInconsistency=no
26.16/26.43	       =>  wckTime=0.331  cpuTime=0.32  mem=113M313
33.55/33.83	   
33.55/33.83	   INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=143, mem=156M405)
92.12/92.41	   
92.12/92.41	   search
92.12/92.41	     run=16  nbConstraintChecks=17495739  nbValidityChecks=156082753  minDepth=253  maxDepth=800  nbPropagations=2465524
92.12/92.41	     nbRevisions=1706141  nbUselessRevisions=1625819  nbAssignments=18362  nbFailedAssignments=13484
92.12/92.41	     nbInferredBacktracks=5  nbBacktracks=955  nbVisitedNodes=32705  nbRestartNogoods=917  nbFoundSolutions=1
92.12/92.41	     nbSEliminables=0  nbREliminables=51.93  nbIEliminables=0.01  nbDEliminables=0  nbPEliminables=0
92.12/92.41	       =>  wckTime=66.308  cpuTime=65.85  mem=117M941
92.12/92.41	   
92.12/92.41	   global
92.12/92.41	     nbConstraintChecks=18306883  nbValidityChecks=156083369  nbPropagations=2466324  nbRevisions=1706757
92.12/92.41	     nbUselessRevisions=1626435  nbRestartNogoods=917  solvingWckTime=66.311  solvingCpuTime=65.85  expiredTime=no
92.12/92.41	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=89.85  globalCpuTime=90.02
92.12/92.41	       =>  wckTime=92.169  cpuTime=89.98  mem=117M941
92.12/92.41	   
92.12/92.41	s SATISFIABLE
92.12/92.41	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 
92.12/92.41	d NODES 18362
92.12/92.41	d CHECKS 18306883
92.12/92.42	   
92.12/92.42	   totalWckTime=92.236  totalCpuTime=90.02

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-2097396-1247412249/watcher-2097396-1247412249 -o /tmp/evaluation-result-2097396-1247412249/solver-2097396-1247412249 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097396-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: 2.26 2.21 2.04 4/81 1926
/proc/meminfo: memFree=1778656/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=18576 CPUtime=0
/proc/1926/stat : 1926 (runsolver) R 1924 1926 31494 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28289932 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 224264776999 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1926/statm: 4644 284 249 26 0 2626 0

[startup+0.0519091 s]
/proc/loadavg: 2.26 2.21 2.04 4/81 1926
/proc/meminfo: memFree=1778656/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=863776 CPUtime=0.03
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 2583 0 1 0 2 1 0 0 19 0 9 0 28289932 884506624 2148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 215944 2148 1023 9 0 210859 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776

[startup+0.10192 s]
/proc/loadavg: 2.26 2.21 2.04 4/81 1926
/proc/meminfo: memFree=1778656/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=865984 CPUtime=0.08
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 3775 0 1 0 7 1 0 0 19 0 9 0 28289932 886767616 3234 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216496 3234 1707 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301959 s]
/proc/loadavg: 2.26 2.21 2.04 4/81 1926
/proc/meminfo: memFree=1778656/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=866380 CPUtime=0.28
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 6079 0 1 0 25 3 0 0 19 0 9 0 28289932 887173120 5445 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216595 5445 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.70203 s]
/proc/loadavg: 2.26 2.21 2.04 4/81 1926
/proc/meminfo: memFree=1778656/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=867808 CPUtime=0.68
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 14035 0 1 0 62 6 0 0 19 0 9 0 28289932 888635392 13389 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216952 13389 2038 9 0 211388 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867808

[startup+1.50118 s]
/proc/loadavg: 2.26 2.21 2.04 3/90 1936
/proc/meminfo: memFree=1695704/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=867720 CPUtime=1.47
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 23333 0 1 0 139 8 0 0 19 0 9 0 28289932 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216930 22662 2028 9 0 211388 0
[pid=1926/tid=1928] ppid=1924 vsize=867720 CPUtime=1.21
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 15793 0 1 0 115 6 0 0 25 0 9 0 28289934 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 102897902 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1929] ppid=1924 vsize=867720 CPUtime=0.07
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 6162 0 0 0 6 1 0 0 17 0 9 0 28289935 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1930] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1931] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1932] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28289937 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=867720 CPUtime=0.16
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 677 0 0 0 16 0 0 0 16 0 9 0 28289937 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1934] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28289937 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28289937 888545280 22662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867720

[startup+3.10247 s]
/proc/loadavg: 2.26 2.21 2.04 3/90 1936
/proc/meminfo: memFree=1679832/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=867720 CPUtime=3.05
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 27273 0 1 0 294 11 0 0 19 0 9 0 28289932 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216930 26598 2031 9 0 211388 0
[pid=1926/tid=1928] ppid=1924 vsize=867720 CPUtime=2.64
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 15825 0 1 0 257 7 0 0 25 0 9 0 28289934 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4126942713 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1929] ppid=1924 vsize=867720 CPUtime=0.2
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 10041 0 0 0 17 3 0 0 17 0 9 0 28289935 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1930] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1931] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1932] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28289937 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=867720 CPUtime=0.19
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 706 0 0 0 19 0 0 0 15 0 9 0 28289937 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1934] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28289937 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28289937 888545280 26598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867720

[startup+6.30107 s]
/proc/loadavg: 2.24 2.21 2.04 3/90 1936
/proc/meminfo: memFree=1679384/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=867720 CPUtime=6.22
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 27284 0 1 0 607 15 0 0 19 0 9 0 28289932 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216930 26607 2031 9 0 211388 0
[pid=1926/tid=1928] ppid=1924 vsize=867720 CPUtime=5.79
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 15828 0 1 0 568 11 0 0 25 0 9 0 28289934 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4126919233 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1929] ppid=1924 vsize=867720 CPUtime=0.2
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 10041 0 0 0 17 3 0 0 16 0 9 0 28289935 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1930] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1931] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1932] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28289937 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=867720 CPUtime=0.2
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 714 0 0 0 20 0 0 0 16 0 9 0 28289937 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1934] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28289937 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28289937 888545280 26607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867720

[startup+12.7013 s]
/proc/loadavg: 2.22 2.20 2.04 3/90 1936
/proc/meminfo: memFree=1679256/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=867720 CPUtime=12.56
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 27299 0 1 0 1233 23 0 0 19 0 9 0 28289932 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 216930 26621 2031 9 0 211388 0
[pid=1926/tid=1928] ppid=1924 vsize=867720 CPUtime=12.11
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 15831 0 1 0 1192 19 0 0 25 0 9 0 28289934 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4126951627 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1929] ppid=1924 vsize=867720 CPUtime=0.2
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 10041 0 0 0 17 3 0 0 16 0 9 0 28289935 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1930] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1931] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28289935 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1932] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28289937 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=867720 CPUtime=0.22
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 726 0 0 0 22 0 0 0 16 0 9 0 28289937 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1934] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28289937 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=867720 CPUtime=0
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28289937 888545280 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867720

[startup+25.5016 s]
/proc/loadavg: 2.17 2.19 2.04 4/90 1940
/proc/meminfo: memFree=1647192/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868044 CPUtime=25.26
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 52874 1385 1 0 2454 47 23 2 19 0 9 0 28289932 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217011 34750 2085 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868044 CPUtime=24.33
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 23805 1385 1 0 2371 37 23 2 25 0 9 0 28289934 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868044 CPUtime=0.87
/proc/1926/task/1929/stat : 1929 (java) R 1924 1926 31494 0 -1 64 27347 1385 0 0 55 7 23 2 17 0 9 0 28289935 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 103731993 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868044 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 16 1385 0 0 0 0 23 2 16 0 9 0 28289935 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868044 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 5 1385 0 0 0 0 23 2 16 0 9 0 28289935 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868044 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868044 CPUtime=0.51
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 886 1385 0 0 26 0 23 2 16 0 9 0 28289937 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868044 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868044 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888877056 34750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 868044

[startup+51.1014 s]
/proc/loadavg: 2.11 2.18 2.04 3/90 1940
/proc/meminfo: memFree=1593304/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=50.84
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80808 1385 1 0 5003 56 23 2 19 0 9 0 28289932 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48718 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=49.27
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32165 1385 1 0 4862 40 23 2 25 0 9 0 28289934 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4126675352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.39
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46780 1385 0 0 101 13 23 2 16 0 9 0 28289935 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.64
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1005 1385 0 0 39 0 23 2 15 0 9 0 28289937 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48718 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80958 1385 1 0 8201 56 23 2 19 0 9 0 28289932 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48843 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=81.12
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32188 1385 1 0 8047 40 23 2 25 0 9 0 28289934 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4127151386 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.5
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46903 1385 0 0 112 13 23 2 16 0 9 0 28289935 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.65
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1009 1385 0 0 40 0 23 2 17 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.82
Current children cumulated vsize (KiB) 868132

[startup+86.302 s]
/proc/loadavg: 2.06 2.16 2.03 3/90 1940
/proc/meminfo: memFree=1592792/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=86.02
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80960 1385 1 0 8521 56 23 2 19 0 9 0 28289932 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48843 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=84.32
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32190 1385 1 0 8367 40 23 2 25 0 9 0 28289934 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4127350446 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.51
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46903 1385 0 0 113 13 23 2 16 0 9 0 28289935 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.65
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1009 1385 0 0 40 0 23 2 17 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.02
Current children cumulated vsize (KiB) 868132

[startup+89.5026 s]
/proc/loadavg: 2.06 2.15 2.03 3/90 1940
/proc/meminfo: memFree=1592792/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=89.22
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80968 1385 1 0 8841 56 23 2 19 0 9 0 28289932 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48849 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=87.51
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32192 1385 1 0 8686 40 23 2 25 0 9 0 28289934 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4126753677 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.51
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46909 1385 0 0 113 13 23 2 16 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.65
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1009 1385 0 0 40 0 23 2 17 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.22
Current children cumulated vsize (KiB) 868132

[startup+91.1029 s]
/proc/loadavg: 2.06 2.15 2.03 3/90 1940
/proc/meminfo: memFree=1592728/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=90.82
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80970 1385 1 0 9001 56 23 2 19 0 9 0 28289932 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48849 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=89.1
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32194 1385 1 0 8845 40 23 2 25 0 9 0 28289934 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4127359999 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.52
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46909 1385 0 0 114 13 23 2 17 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.65
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1009 1385 0 0 40 0 23 2 17 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.82
Current children cumulated vsize (KiB) 868132

[startup+91.902 s]
/proc/loadavg: 2.06 2.15 2.03 3/90 1940
/proc/meminfo: memFree=1592728/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=91.62
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80970 1385 1 0 9081 56 23 2 19 0 9 0 28289932 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48849 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=89.9
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32194 1385 1 0 8925 40 23 2 25 0 9 0 28289934 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4127393041 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.52
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46909 1385 0 0 114 13 23 2 16 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.65
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1009 1385 0 0 40 0 23 2 17 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48849 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.62
Current children cumulated vsize (KiB) 868132

[startup+92.3011 s]
/proc/loadavg: 2.05 2.15 2.03 3/90 1940
/proc/meminfo: memFree=1592728/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=92.02
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80977 1385 1 0 9121 56 23 2 19 0 9 0 28289932 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48854 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=90.29
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32198 1385 1 0 8964 40 23 2 25 0 9 0 28289934 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4127459683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.53
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46909 1385 0 0 115 13 23 2 16 0 9 0 28289935 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.66
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1012 1385 0 0 41 0 23 2 16 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.02
Current children cumulated vsize (KiB) 868132

[startup+92.4061 s]
/proc/loadavg: 2.05 2.15 2.03 3/90 1940
/proc/meminfo: memFree=1592728/2055920 swapFree=4192812/4192956
[pid=1926] ppid=1924 vsize=868132 CPUtime=92.12
/proc/1926/stat : 1926 (java) S 1924 1926 31494 0 -1 0 80977 1385 1 0 9131 56 23 2 19 0 9 0 28289932 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1926/statm: 217033 48854 2664 9 0 211469 0
[pid=1926/tid=1928] ppid=1924 vsize=868132 CPUtime=90.39
/proc/1926/task/1928/stat : 1928 (java) R 1924 1926 31494 0 -1 64 32198 1385 1 0 8974 40 23 2 25 0 9 0 28289934 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4127458521 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1929] ppid=1924 vsize=868132 CPUtime=1.53
/proc/1926/task/1929/stat : 1929 (java) S 1924 1926 31494 0 -1 64 46909 1385 0 0 115 13 23 2 16 0 9 0 28289935 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1930] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1930/stat : 1930 (java) S 1924 1926 31494 0 -1 64 21 1385 0 0 0 0 23 2 16 0 9 0 28289935 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1931] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1931/stat : 1931 (java) S 1924 1926 31494 0 -1 64 19 1385 0 0 0 0 23 2 15 0 9 0 28289935 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1932] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1932/stat : 1932 (java) S 1924 1926 31494 0 -1 64 2 1385 0 0 0 0 23 2 18 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1933] ppid=1924 vsize=868132 CPUtime=0.66
/proc/1926/task/1933/stat : 1933 (java) S 1924 1926 31494 0 -1 64 1012 1385 0 0 41 0 23 2 16 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1926/tid=1934] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1934/stat : 1934 (java) S 1924 1926 31494 0 -1 64 0 1385 0 0 0 0 23 2 19 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1926/tid=1936] ppid=1924 vsize=868132 CPUtime=0.25
/proc/1926/task/1936/stat : 1936 (java) S 1924 1926 31494 0 -1 64 9 1385 0 0 0 0 23 2 15 0 9 0 28289937 888967168 48854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.12
Current children cumulated vsize (KiB) 868132

Child status: 0
Real time (s): 92.49
CPU time (s): 92.195
CPU user time (s): 91.5701
CPU system time (s): 0.624905
CPU usage (%): 99.6811
Max. virtual memory (cumulated for all children) (KiB): 868132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.5701
system time used= 0.624905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82396
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= 4490
involuntary context switches= 4344

runsolver used 0.116982 second user time and 0.316951 second system time

The end

Launcher Data 

Begin job on node82 at 2009-07-12 17:24:10
IDJOB=2097396
IDBENCH=57303
IDSOLVER=774
FILE ID=node82/2097396-1247412249
PBS_JOBID= 9510486
Free space on /tmp= 66188 MiB

SOLVER NAME= Abscon 112v4 ESAC
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 esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097396-1247412249/watcher-2097396-1247412249 -o /tmp/evaluation-result-2097396-1247412249/solver-2097396-1247412249 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097396-1247412249.xml

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

MD5SUM BENCH= e4d8056326b04b00114496ca953a2edb
RANDOM SEED=1172216730

node82.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.265
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.265
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1779136 kB
Buffers:         38392 kB
Cached:         121816 kB
SwapCached:          0 kB
Active:         153168 kB
Inactive:        66980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4940 kB
Writeback:           0 kB
Mapped:          80352 kB
Slab:            41876 kB
Committed_AS:  1013620 kB
PageTables:       1880 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66184 MiB
End job on node82 at 2009-07-12 17:25:42