Trace number 277410

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.19 2411.66

General information on the benchmark

Nametaillard/
js-taillard-15/js-taillard-15-95-4.xml
MD5SUM8622f7f14ce871a5c4b7c49cc6402391
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints1753
Best CPU time to get the best result obtained on this benchmark2400.19
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1174
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277410-1169266175/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.48	     nbVariables=225  nbDomainTypes=225  minDomainSize=1076  maxDomainSize=1174
0.48	       =>  wckTime=0.175  cpuTime=0.14  mem=13M760
0.48	   
0.48	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
61.36	   
61.36	   INFO : Stopping converting binary constraints (cpu=60.18, mem = 79M710)
61.59	     nbConstraints=1785  nbConvertedConstraints=186  nbConvertConstraintsChecks=232166685  nbExtensionStructures=186
61.59	     nbSharedExtensionStructures=0  nbConflictsStructures=186  nbSharedConflictsStructures=0
61.59	     nbSharedBinaryRepresentations=91041  nbEvaluationManagers=1599  nbSharedEvaluationManagers=0  maxDegree=16
61.59	     maxArity=2
61.59	       =>  wckTime=61.285  cpuTime=60.33  mem=91M167
61.81	   
61.81	   solver LocalSearchSolver being built... 
61.85	       =>  wckTime=61.544  cpuTime=60.37  mem=81M265
61.96	
61.96	s SATISFIABLE
61.96	o 1538
61.96	c 247
62.00	o 1543
62.00	c 242
62.05	o 1548
62.05	c 237
62.10	o 1553
62.10	c 232
62.13	o 1558
62.13	c 227
62.27	o 1562
62.27	c 223
62.39	o 1566
62.39	c 219
62.50	o 1570
62.50	c 215
62.60	o 1574
62.60	c 211
62.73	o 1578
62.73	c 207
62.84	o 1582
62.84	c 203
62.96	o 1585
62.96	c 200
63.08	o 1588
63.08	c 197
63.18	o 1591
63.18	c 194
63.30	o 1594
63.30	c 191
63.38	o 1596
63.38	c 189
63.61	o 1599
63.61	c 186
63.79	o 1602
63.79	c 183
63.97	o 1605
63.97	c 180
64.13	o 1608
64.14	c 177
64.31	o 1611
64.31	c 174
64.46	o 1614
64.46	c 171
64.61	o 1617
64.61	c 168
64.73	o 1620
64.73	c 165
64.88	o 1623
64.88	c 162
65.00	o 1626
65.00	c 159
65.10	o 1629
65.10	c 156
65.21	o 1632
65.21	c 153
65.37	o 1635
65.37	c 150
65.57	o 1637
65.57	c 148
65.70	o 1639
65.70	c 146
65.81	o 1641
65.81	c 144
65.92	o 1642
65.92	c 143
66.01	o 1643
66.01	c 142
66.31	o 1645
66.31	c 140
66.59	o 1647
66.59	c 138
66.86	o 1649
66.86	c 136
67.12	o 1651
67.12	c 134
67.35	o 1653
67.35	c 132
67.58	o 1655
67.58	c 130
67.79	o 1657
67.79	c 128
68.03	o 1659
68.03	c 126
68.25	o 1661
68.25	c 124
68.43	o 1663
68.43	c 122
68.65	o 1665
68.65	c 120
68.86	o 1667
68.86	c 118
69.08	o 1669
69.08	c 116
69.25	o 1671
69.25	c 114
69.43	o 1673
69.43	c 112
69.59	o 1675
69.59	c 110
69.76	o 1677
69.76	c 108
69.93	o 1679
69.93	c 106
70.19	o 1680
70.19	c 105
70.40	o 1681
70.40	c 104
70.56	o 1682
70.56	c 103
70.74	o 1683
70.74	c 102
70.89	o 1684
70.89	c 101
71.07	o 1685
71.07	c 100
71.23	o 1686
71.23	c 99
71.41	o 1687
71.41	c 98
71.59	o 1688
71.59	c 97
71.76	o 1689
71.76	c 96
71.90	o 1691
71.90	c 94
72.92	o 1694
72.92	c 91
73.17	o 1695
73.17	c 90
73.35	o 1696
73.35	c 89
73.52	o 1698
73.52	c 87
73.57	o 1699
73.57	c 86
73.76	o 1700
73.76	c 85
73.99	o 1702
73.99	c 83
74.17	o 1703
74.17	c 82
74.46	o 1704
74.46	c 81
74.84	o 1705
74.84	c 80
75.24	o 1706
75.24	c 79
75.59	o 1707
75.59	c 78
75.97	o 1708
75.97	c 77
76.40	o 1709
76.40	c 76
76.74	o 1710
76.74	c 75
77.13	o 1711
77.13	c 74
77.43	o 1712
77.43	c 73
77.77	o 1713
77.77	c 72
78.08	o 1714
78.08	c 71
78.39	o 1715
78.39	c 70
78.72	o 1716
78.72	c 69
79.01	o 1717
79.01	c 68
79.30	o 1718
79.30	c 67
79.61	o 1719
79.61	c 66
79.70	o 1720
79.70	c 65
79.95	o 1721
79.95	c 64
80.31	o 1722
80.31	c 63
80.56	o 1723
80.56	c 62
81.25	o 1724
81.25	c 61
81.88	o 1725
81.88	c 60
104.69	o 1726
104.70	c 59
105.67	o 1727
105.67	c 58
106.17	o 1728
106.17	c 57
109.39	o 1730
109.39	c 55
109.75	o 1731
109.75	c 54
110.21	o 1733
110.21	c 52
111.00	o 1734
111.00	c 51
111.92	o 1735
111.92	c 50
124.43	o 1737
124.43	c 48
127.73	o 1738
127.73	c 47
142.92	o 1740
142.92	c 45
160.20	o 1741
160.20	c 44
189.23	o 1742
189.23	c 43
190.58	o 1743
190.58	c 42
191.03	o 1744
191.03	c 41
191.43	o 1745
191.43	c 40
214.72	o 1746
214.72	c 39
220.06	o 1747
220.06	c 38
224.29	o 1748
224.29	c 37
226.00	o 1749
226.00	c 36
226.42	o 1750
226.42	c 35
227.26	o 1751
227.26	c 34
233.64	o 1752
233.64	c 33
263.79	   
263.79	   search
263.79	     run=0  nbConstraintChecks=505969937  nbAssignments=561
263.79	       =>  wckTime=201.941  cpuTime=200.95  mem=81M265
263.79	   
263.79	   global
263.79	     nbConstraintChecks=505969937  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
263.79	     solvingWckTime=201.927  solvingCpuTime=200.93  expiredTime=no  totalExploration=no  nbFoundSolutions=0
263.79	     globalCpuTime=261.37
263.79	       =>  wckTime=263.485  cpuTime=261.32  mem=81M265
263.79	   
263.79	   solver IterativeSystematicSolver being built... 
264.00	       =>  wckTime=263.688  cpuTime=261.48  mem=124M988
308.22	   
308.22	   preprocessing
308.22	     nbConstraintChecks=169956554  nbValidityChecks=295189  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
308.22	     nbRemovedValues=0  detectedInconsistency=no
308.22	       =>  wckTime=44.223  cpuTime=43.99  mem=124M988
521.02	   
521.02	   search
521.02	     run=0  nbConstraintChecks=709594072  nbValidityChecks=292920958  nbPropagations=0  nbRevisions=0
521.02	     nbUselessRevisions=0  nbAssignments=188  nbFailedAssignments=71  nbBacktracks=10  nbVisitedNodes=270
521.02	     nbRestartNogoods=0
521.02	       =>  wckTime=257.023  cpuTime=255.74  mem=124M988
720.08	o 1753
720.09	c 32
738.85	   
738.85	   search
738.85	     run=1  nbConstraintChecks=1447290327  nbValidityChecks=601729131  nbPropagations=0  nbRevisions=0
738.85	     nbUselessRevisions=0  nbAssignments=495  nbFailedAssignments=153  nbBacktracks=203  nbVisitedNodes=803
738.85	     nbRestartNogoods=71
738.85	       =>  wckTime=474.856  cpuTime=472.52  mem=124M988
946.94	   
946.94	   search
946.94	     run=2  nbConstraintChecks=2174815900  nbValidityChecks=840821430  nbPropagations=0  nbRevisions=0
946.94	     nbUselessRevisions=0  nbAssignments=671  nbFailedAssignments=213  nbBacktracks=225  nbVisitedNodes=1061
946.94	     nbRestartNogoods=72
946.94	       =>  wckTime=682.938  cpuTime=679.6  mem=124M988
2411.59	v 488 550 96 765 0 157 356 533 625 762 99 310 362 0 200 454 806 0 207 259 364 740 820 96 184 0 342 731 0 625 170 275 321 335 422 452 531 593 630 684 0 181 219 362 724 148 184 339 381 389 461 476 684 728 99 379 534 643 724 740 349 417 488 941 93 456 493 607 99 321 400 476 531 552 614 155 199 417 455 527 573 0 721 96 221 646 732 765 0 566 127 221 0 294 527 607 894 0 315 443 593 799 76 222 417 505 0 250 339 349 379 417 491 552 848 0 146 227 315 526 412 449 602 651 678 98 183 222 282 690 920 92 175 194 696 226 227 522 569 615 625 97 168 259 308 319 646 175 250 361 183 226 275 308 310 334 381 454 522 543 706 0 138 255 294 257 371 422 493 685 837 856 94 153 232 285 400 473 630 646 205 337 598 674 706 778 816 0 180 194 207 334 413 473 831 176 205 300 451 569 602 775 0 628 732 744 827 90 223 301 521 744 762 85 830 197 461 651 756 831 98 552 615 616 643

Verifier Data (download as text)

32 unsatisfied constraints, 1753 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/node23/watcher-277410-1169266175 -o ROOT/results/node23/solver-277410-1169266175 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277410-1169266175/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.27 1.54 1.76 2/93 14250
/proc/meminfo: memFree=1224440/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=18540 CPUtime=0
/proc/14249/stat : 14249 (runsolver) R 14247 14249 14032 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275011846 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14249/statm: 4635 279 244 17 0 2626 0

[startup+0.103323 s]
/proc/loadavg: 1.27 1.54 1.76 2/93 14250
/proc/meminfo: memFree=1224440/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=914988 CPUtime=0.08
/proc/14249/stat : 14249 (java) S 14247 14249 14032 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 275011846 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51139 s]
/proc/loadavg: 1.27 1.54 1.76 2/93 14250
/proc/meminfo: memFree=1224440/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915332 CPUtime=0.49
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 7845 0 1 0 44 5 0 0 19 0 8 0 275011846 937299968 7584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072928871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228833 7584 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33254 s]
/proc/loadavg: 1.27 1.54 1.76 3/100 14257
/proc/meminfo: memFree=1191104/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=1.3
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 10688 0 1 0 124 6 0 0 25 0 8 0 275011846 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 10427 2168 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275011850 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275011850 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.15
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 407 0 0 0 15 0 0 0 16 0 8 0 275011854 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 10427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 10427 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.96986 s]
/proc/loadavg: 1.33 1.55 1.77 3/100 14257
/proc/meminfo: memFree=1189504/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2.94
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 11417 0 1 0 287 7 0 0 25 0 8 0 275011846 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 11154 2168 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275011850 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275011850 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.15
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 275011854 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 11154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 11154 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.2685 s]
/proc/loadavg: 1.33 1.55 1.77 3/100 14257
/proc/meminfo: memFree=1184256/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=6.23
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 12611 0 1 0 615 8 0 0 25 0 8 0 275011846 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 12347 2168 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275011850 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275011850 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.15
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 275011854 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 12347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915636

[startup+12.7457 s]
/proc/loadavg: 1.43 1.56 1.77 3/100 14257
/proc/meminfo: memFree=1174464/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=12.67
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 14933 0 1 0 1259 8 0 0 25 0 8 0 275011846 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 14669 2168 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275011850 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275011850 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.15
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 275011854 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 14669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915636

[startup+25.6092 s]
/proc/loadavg: 1.52 1.58 1.77 3/100 14257
/proc/meminfo: memFree=1096768/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=25.47
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 23372 0 1 0 2535 12 0 0 25 0 8 0 275011846 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 23107 2179 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.17
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 6762 0 0 0 14 3 0 0 16 0 8 0 275011850 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.16
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 275011854 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915636

[startup+51.2202 s]
/proc/loadavg: 1.76 1.62 1.78 4/100 14257
/proc/meminfo: memFree=1070720/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=50.96
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 33885 0 1 0 5080 16 0 0 25 0 8 0 275011846 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 33619 2179 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.48
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 17262 0 0 0 42 6 0 0 18 0 8 0 275011850 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.17
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 275011854 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 33619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915636

[startup+102.462 s]
/proc/loadavg: 1.98 1.70 1.80 3/100 14257
/proc/meminfo: memFree=1017152/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=101.95
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38665 0 1 0 10174 21 0 0 25 0 8 0 275011846 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 38397 2501 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21660 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.23
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 452 0 0 0 22 1 0 0 16 0 8 0 275011854 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915636

[startup+162.553 s]
/proc/loadavg: 2.03 1.77 1.81 3/100 14257
/proc/meminfo: memFree=1016832/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=161.75
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38665 0 1 0 16152 23 0 0 25 0 8 0 275011846 937611264 38397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073932431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.67 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 14259
/proc/meminfo: memFree=1016000/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2074.67
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 207424 43 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 17 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.67
Current children cumulated vsize (KiB) 915636

[startup+2144.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 14259
/proc/meminfo: memFree=1016000/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2134.44
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 213401 43 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 17 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.44
Current children cumulated vsize (KiB) 915636

[startup+2204.81 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 14259
/proc/meminfo: memFree=1016000/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2194.23
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 219379 44 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 17 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.23
Current children cumulated vsize (KiB) 915636

[startup+2264.87 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 14259
/proc/meminfo: memFree=1015936/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2254
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 225356 44 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 17 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254
Current children cumulated vsize (KiB) 915636

[startup+2324.93 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 14259
/proc/meminfo: memFree=1016000/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2313.78
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 231333 45 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074062031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 17 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.78
Current children cumulated vsize (KiB) 915636

[startup+2385 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 14270
/proc/meminfo: memFree=1165272/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2373.56
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 237311 45 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 17 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.56
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.53 s]
/proc/loadavg: 1.87 1.97 1.93 3/100 14550
/proc/meminfo: memFree=1137144/2055920 swapFree=4156072/4192956
[pid=14249] ppid=14247 vsize=915636 CPUtime=2400.06
/proc/14249/stat : 14249 (java) R 14247 14249 14032 0 -1 0 38844 0 1 0 239958 48 0 0 25 0 8 0 275011846 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14249/statm: 228909 38551 2551 14 0 215379 0
[pid=14249/tid=14251] ppid=14247 vsize=915636 CPUtime=0.69
/proc/14249/task/14251/stat : 14251 (java) S 14247 14249 14032 0 -1 64 21661 0 0 0 61 8 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14252] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14252/stat : 14252 (java) S 14247 14249 14032 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14253] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14253/stat : 14253 (java) S 14247 14249 14032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275011850 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14254] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14254/stat : 14254 (java) S 14247 14249 14032 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275011853 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14255] ppid=14247 vsize=915636 CPUtime=0.33
/proc/14249/task/14255/stat : 14255 (java) S 14247 14249 14032 0 -1 64 520 0 0 0 32 1 0 0 16 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14249/tid=14256] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14256/stat : 14256 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14249/tid=14257] ppid=14247 vsize=915636 CPUtime=0
/proc/14249/task/14257/stat : 14257 (java) S 14247 14249 14032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275011854 937611264 38551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 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): 2411.66
CPU time (s): 2400.19
CPU user time (s): 2399.66
CPU system time (s): 0.526919
CPU usage (%): 99.5243
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.526919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44009
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= 50241
involuntary context switches= 77703

runsolver used 2.88056 s user time and 7.80181 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan 20 04:09:35 UTC 2007


IDJOB= 277410
IDBENCH= 6684
IDSOLVER= 69
FILE ID= node23/277410-1169266175

PBS_JOBID= 3607384

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-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277410-1169266175/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-277410-1169266175 -o ROOT/results/node23/solver-277410-1169266175 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277410-1169266175/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8622f7f14ce871a5c4b7c49cc6402391

RANDOM SEED= 265204215

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1224920 kB
Buffers:         38420 kB
Cached:         610088 kB
SwapCached:       7828 kB
Active:         202624 kB
Inactive:       562680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1224920 kB
SwapTotal:     4192956 kB
SwapFree:      4156072 kB
Dirty:            3920 kB
Writeback:           0 kB
Mapped:         140996 kB
Slab:            50252 kB
Committed_AS:  5546964 kB
PageTables:       2492 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 node23 on Sat Jan 20 04:49:47 UTC 2007