Trace number 277392

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, and are wall clock time (not CPU 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
AbsconMax 109 PFCMSAT (TO) 2400.15 2421.53

General information on the benchmark

Nametaillard/
js-taillard-15/js-taillard-15-95-9.xml
MD5SUM53dc0128d57f15274860bbb12b18229a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints1743
Best CPU time to get the best result obtained on this benchmark2400.15
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1207
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277392-1169266056/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.49	     nbVariables=225  nbDomainTypes=225  minDomainSize=1109  maxDomainSize=1207
0.49	       =>  wckTime=0.18  cpuTime=0.13  mem=13M757
0.49	   
0.49	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
61.50	   
61.50	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 88M769)
61.73	     nbConstraints=1785  nbConvertedConstraints=172  nbConvertConstraintsChecks=231663422  nbExtensionStructures=172
61.73	     nbSharedExtensionStructures=0  nbConflictsStructures=172  nbSharedConflictsStructures=0
61.73	     nbSharedBinaryRepresentations=43430  nbEvaluationManagers=1613  nbSharedEvaluationManagers=0  maxDegree=16
61.73	     maxArity=2
61.73	       =>  wckTime=61.422  cpuTime=60.16  mem=100M206
61.97	   
61.97	   solver LocalSearchSolver being built... 
62.01	       =>  wckTime=61.703  cpuTime=60.2  mem=89M203
62.17	
62.17	s SATISFIABLE
62.17	o 1547
62.17	c 238
62.29	o 1551
62.29	c 234
62.44	o 1555
62.44	c 230
62.61	o 1558
62.61	c 227
62.82	o 1561
62.82	c 224
62.92	o 1563
62.92	c 222
63.14	o 1565
63.14	c 220
63.46	o 1568
63.46	c 217
63.73	o 1571
63.73	c 214
63.98	o 1574
63.98	c 211
64.22	o 1577
64.22	c 208
64.46	o 1580
64.46	c 205
64.66	o 1583
64.66	c 202
64.90	o 1586
64.90	c 199
65.11	o 1589
65.11	c 196
65.29	o 1592
65.29	c 193
65.48	o 1595
65.48	c 190
65.66	o 1598
65.66	c 187
65.81	o 1601
65.81	c 184
65.97	o 1604
65.97	c 181
66.09	o 1607
66.09	c 178
66.24	o 1610
66.24	c 175
66.42	o 1613
66.42	c 172
66.60	o 1615
66.60	c 170
66.85	o 1617
66.85	c 168
67.02	o 1618
67.02	c 167
67.29	o 1619
67.29	c 166
67.63	o 1621
67.63	c 164
68.00	o 1623
68.00	c 162
68.40	o 1625
68.40	c 160
68.81	o 1627
68.81	c 158
69.22	o 1629
69.22	c 156
69.59	o 1631
69.59	c 154
69.98	o 1633
69.98	c 152
70.36	o 1635
70.36	c 150
70.71	o 1637
70.71	c 148
71.07	o 1639
71.07	c 146
71.42	o 1641
71.42	c 144
71.75	o 1643
71.75	c 142
72.08	o 1645
72.08	c 140
72.38	o 1647
72.38	c 138
72.67	o 1649
72.67	c 136
72.97	o 1651
72.97	c 134
73.23	o 1653
73.23	c 132
73.50	o 1655
73.50	c 130
73.75	o 1657
73.75	c 128
74.00	o 1659
74.00	c 126
74.22	o 1661
74.22	c 124
74.43	o 1663
74.43	c 122
74.63	o 1665
74.63	c 120
74.86	o 1667
74.86	c 118
75.04	o 1669
75.04	c 116
75.30	o 1671
75.30	c 114
75.49	o 1673
75.49	c 112
75.72	o 1675
75.72	c 110
75.91	o 1677
75.91	c 108
76.04	o 1679
76.04	c 106
76.32	o 1681
76.32	c 104
76.50	o 1683
76.50	c 102
76.74	o 1684
76.74	c 101
76.99	o 1685
76.99	c 100
77.21	o 1686
77.21	c 99
77.37	o 1687
77.37	c 98
77.52	o 1688
77.52	c 97
77.67	o 1689
77.67	c 96
77.80	o 1690
77.80	c 95
77.95	o 1691
77.95	c 94
78.16	o 1692
78.16	c 93
78.30	o 1693
78.30	c 92
78.41	o 1694
78.41	c 91
78.56	o 1695
78.56	c 90
79.95	o 1696
79.95	c 89
80.28	o 1698
80.28	c 87
80.38	o 1699
80.38	c 86
80.66	o 1701
80.66	c 84
80.94	o 1702
80.95	c 83
81.14	o 1703
81.14	c 82
81.40	o 1704
81.40	c 81
81.78	o 1705
81.79	c 80
82.14	o 1706
82.14	c 79
82.50	o 1707
82.50	c 78
82.85	o 1708
82.85	c 77
83.20	o 1709
83.20	c 76
83.53	o 1710
83.53	c 75
83.87	o 1711
83.87	c 74
84.19	o 1712
84.19	c 73
84.50	o 1713
84.50	c 72
84.83	o 1714
84.83	c 71
85.14	o 1715
85.14	c 70
85.45	o 1716
85.45	c 69
85.76	o 1717
85.76	c 68
86.06	o 1718
86.06	c 67
86.39	o 1719
86.39	c 66
86.71	o 1720
86.71	c 65
87.07	o 1721
87.07	c 64
87.42	o 1722
87.42	c 63
87.67	o 1723
87.67	c 62
88.00	o 1724
88.00	c 61
92.01	o 1725
92.01	c 60
98.60	o 1726
98.60	c 59
99.16	o 1727
99.16	c 58
99.42	o 1728
99.42	c 57
107.50	o 1730
107.50	c 55
117.13	o 1731
117.13	c 54
122.19	o 1732
122.19	c 53
122.68	o 1733
122.68	c 52
123.20	o 1734
123.20	c 51
123.73	o 1735
123.73	c 50
135.62	o 1736
135.62	c 49
136.17	o 1737
136.17	c 48
148.81	o 1738
148.81	c 47
149.81	o 1739
149.81	c 46
150.30	o 1742
150.30	c 43
152.01	o 1743
152.01	c 42
182.51	   
182.51	   search
182.51	     run=0  nbConstraintChecks=292957416  nbAssignments=331
182.51	       =>  wckTime=120.5  cpuTime=119.37  mem=89M203
182.51	   
182.51	   global
182.51	     nbConstraintChecks=292957416  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
182.51	     solvingWckTime=120.486  solvingCpuTime=119.35  expiredTime=no  totalExploration=no  nbFoundSolutions=0
182.51	     globalCpuTime=179.63
182.51	       =>  wckTime=182.202  cpuTime=179.57  mem=89M203
182.51	   
182.51	   solver IterativeSystematicSolver being built... 
182.72	       =>  wckTime=182.412  cpuTime=179.74  mem=132M994
228.92	   
228.92	   preprocessing
228.92	     nbConstraintChecks=179835045  nbValidityChecks=305211  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
228.92	     nbRemovedValues=0  detectedInconsistency=no
228.92	       =>  wckTime=46.139  cpuTime=45.76  mem=114M44
2421.44	v 511 858 1118 560 785 929 1060 10 82 103 223 325 421 786 998 9 116 191 225 730 68 140 199 447 584 738 1091 15 415 975 371 529 1052 1130 281 655 717 804 1147 11 114 567 675 794 1038 2 808 923 1078 161 706 1071 49 183 362 724 819 112 875 940 331 845 889 970 1086 35 156 248 430 626 738 0 25 80 685 363 437 474 517 728 957 1085 1187 15 36 93 316 411 434 609 328 556 927 1114 92 192 287 589 654 1035 406 731 923 448 517 442 875 973 1056 1130 958 1 193 292 17 57 124 206 306 409 198 347 689 793 1026 1096 644 681 1066 1183 8 33 299 371 585 179 237 272 350 973 140 437 523 560 680 374 569 669 1025 1059 853 924 1157 591 645 1010 214 389 952 142 335 521 828 1061 1115 5 72 190 599 856 933 1079 1156 4 120 6 95 184 236 421 257 856 976 33 155 246 527 941 1017 1146 1163 52 78 256 713 0 142 354 594 692 759 971 1132 254 627 964 1106 79 465 922 1066 1078 1117 1183 179 268 445 514 613 0 32 173 467 994 1151

Verifier Data (download as text)

42 unsatisfied constraints, 1743 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node69/watcher-277392-1169266056 -o ROOT/results/node69/solver-277392-1169266056 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277392-1169266056/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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

/proc/loadavg: 1.67 1.87 1.94 5/80 8434
/proc/meminfo: memFree=1285928/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=907676 CPUtime=0.03
/proc/8433/stat : 8433 (java) S 8431 8433 8243 0 -1 0 2169 0 1 0 2 1 0 0 19 0 4 0 74102518 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 226919 1918 1089 14 0 214502 0
[pid=8433/tid=8435] ppid=8431 vsize=907676 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 19 0 4 0 74102521 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=907676 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 4 0 74102522 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=907676 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) R 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 74102522 929460224 1918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12799960 0 4 0 7368 0 0 0 -1 1 0 0

[startup+0.104833 s]
/proc/loadavg: 1.67 1.87 1.94 5/80 8434
/proc/meminfo: memFree=1285928/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=914988 CPUtime=0.08
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 2999 0 1 0 7 1 0 0 17 0 8 0 74102518 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228747 2745 1428 14 0 215242 0
[pid=8433/tid=8435] ppid=8431 vsize=914988 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 74102521 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=914988 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 74102522 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=914988 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 74102522 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513869 s]
/proc/loadavg: 1.67 1.87 1.94 5/80 8434
/proc/meminfo: memFree=1285928/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915332 CPUtime=0.5
/proc/8433/stat : 8433 (java) S 8431 8433 8243 0 -1 0 7870 0 1 0 45 5 0 0 18 0 8 0 74102518 937299968 7609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228833 7609 2147 14 0 215303 0
[pid=8433/tid=8435] ppid=8431 vsize=915332 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 74102521 937299968 7609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915332 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 74102522 937299968 7609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915332 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 74102522 937299968 7609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33493 s]
/proc/loadavg: 1.78 1.89 1.95 3/87 8441
/proc/meminfo: memFree=1252336/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=1.3
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 10754 0 1 0 124 6 0 0 22 0 8 0 74102518 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 10492 2168 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 74102521 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 74102522 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 74102522 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.16
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 74102525 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 10492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.97207 s]
/proc/loadavg: 1.78 1.89 1.95 3/87 8441
/proc/meminfo: memFree=1250736/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2.94
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 11439 0 1 0 287 7 0 0 25 0 8 0 74102518 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 11176 2168 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 74102521 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 74102522 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 74102522 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.16
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 74102525 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 11176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.25835 s]
/proc/loadavg: 1.80 1.89 1.95 3/87 8441
/proc/meminfo: memFree=1245808/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=6.19
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 12617 0 1 0 612 7 0 0 25 0 8 0 74102518 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 12353 2168 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 74102521 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 74102522 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 74102522 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.16
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 410 0 0 0 16 0 0 0 17 0 8 0 74102525 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 12353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915636

[startup+12.7389 s]
/proc/loadavg: 1.81 1.89 1.95 3/87 8441
/proc/meminfo: memFree=1235632/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=12.62
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 15028 0 1 0 1253 9 0 0 25 0 8 0 74102518 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 14764 2168 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 74102521 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 74102522 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 74102522 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.16
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 74102525 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 14764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915636

[startup+25.604 s]
/proc/loadavg: 1.84 1.89 1.95 3/87 8441
/proc/meminfo: memFree=1201712/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=25.36
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 23393 0 1 0 2524 12 0 0 25 0 8 0 74102518 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 23128 2179 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.17
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 7121 0 0 0 15 2 0 0 16 0 8 0 74102521 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.16
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 74102525 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915636

[startup+51.2082 s]
/proc/loadavg: 1.90 1.90 1.95 3/87 8441
/proc/meminfo: memFree=1152368/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=50.74
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 35643 0 1 0 5057 17 0 0 25 0 8 0 74102518 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 35377 2179 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.52
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 19020 0 0 0 46 6 0 0 16 0 8 0 74102521 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.18
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 422 0 0 0 18 0 0 0 16 0 8 0 74102525 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 35377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915636

[startup+102.436 s]
/proc/loadavg: 1.96 1.91 1.95 3/87 8441
/proc/meminfo: memFree=1133744/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=101.49
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 40605 0 1 0 10128 21 0 0 25 0 8 0 74102518 937611264 40337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 40337 2501 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.75
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 23600 0 0 0 67 8 0 0 16 0 8 0 74102521 937611264 40337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 40337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

Current children cumulated CPU time (s) 2006.01
Current children cumulated vsize (KiB) 915636

[startup+2084.22 s]
/proc/loadavg: 2.02 2.01 2.00 3/87 8443
/proc/meminfo: memFree=1111664/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2065.52
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 206521 31 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.52
Current children cumulated vsize (KiB) 915636

[startup+2144.28 s]
/proc/loadavg: 2.01 2.00 2.00 3/87 8443
/proc/meminfo: memFree=1111728/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2125.04
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 212473 31 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.04
Current children cumulated vsize (KiB) 915636

[startup+2204.33 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 8443
/proc/meminfo: memFree=1111664/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2184.55
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 218424 31 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2184.55
Current children cumulated vsize (KiB) 915636

[startup+2264.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 8443
/proc/meminfo: memFree=1111664/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2244.06
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 224375 31 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.06
Current children cumulated vsize (KiB) 915636

[startup+2324.44 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 8443
/proc/meminfo: memFree=1111664/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2303.57
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 230326 31 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2303.57
Current children cumulated vsize (KiB) 915636

[startup+2384.49 s]
/proc/loadavg: 1.92 1.98 1.99 2/75 8456
/proc/meminfo: memFree=1170384/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2363.15
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 236283 32 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) R 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.15
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2421.43 s]
/proc/loadavg: 1.69 1.91 1.97 3/81 8626
/proc/meminfo: memFree=1151648/2055920 swapFree=4191892/4192956
[pid=8433] ppid=8431 vsize=915636 CPUtime=2400.06
/proc/8433/stat : 8433 (java) R 8431 8433 8243 0 -1 0 46094 0 1 0 239971 35 0 0 25 0 8 0 74102518 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8433/statm: 228909 45803 2548 14 0 215379 0
[pid=8433/tid=8435] ppid=8431 vsize=915636 CPUtime=0.8
/proc/8433/task/8435/stat : 8435 (java) S 8431 8433 8243 0 -1 64 28928 0 0 0 70 10 0 0 16 0 8 0 74102521 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8436] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8436/stat : 8436 (java) S 8431 8433 8243 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8437] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8437/stat : 8437 (java) S 8431 8433 8243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74102522 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8438] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8438/stat : 8438 (java) S 8431 8433 8243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8439] ppid=8431 vsize=915636 CPUtime=0.33
/proc/8433/task/8439/stat : 8439 (java) S 8431 8433 8243 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8440] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8440/stat : 8440 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8433/tid=8441] ppid=8431 vsize=915636 CPUtime=0
/proc/8433/task/8441/stat : 8441 (java) S 8431 8433 8243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74102525 937611264 45803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915636

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2421.53
CPU time (s): 2400.15
CPU user time (s): 2399.77
CPU system time (s): 0.376942
CPU usage (%): 99.117
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.77
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46119
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= 50218
involuntary context switches= 98722

runsolver used 2.92256 s user time and 7.54985 s system time

The end

Launcher Data (download as text)

Begin job on node69 on Sat Jan 20 04:07:36 UTC 2007


IDJOB= 277392
IDBENCH= 6665
IDSOLVER= 69
FILE ID= node69/277392-1169266056

PBS_JOBID= 3607371

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-95-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277392-1169266056/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-277392-1169266056 -o ROOT/results/node69/solver-277392-1169266056 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277392-1169266056/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  53dc0128d57f15274860bbb12b18229a

RANDOM SEED= 434823147

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.218
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.218
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:       1286408 kB
Buffers:         47072 kB
Cached:         575412 kB
SwapCached:        396 kB
Active:         148504 kB
Inactive:       550536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1286408 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3868 kB
Writeback:           0 kB
Mapped:          95428 kB
Slab:            55644 kB
Committed_AS:  1478712 kB
PageTables:       2028 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= 66561 MiB



End job on node69 on Sat Jan 20 04:47:58 UTC 2007