Trace number 277407

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.2 2410.95

General information on the benchmark

Nametaillard/
js-taillard-15/js-taillard-15-95-2.xml
MD5SUM1be6534ea2a6d2988f7221fd0bff0aca
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints1741
Best CPU time to get the best result obtained on this benchmark2400.18
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1171
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277407-1169266160/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.49	     nbVariables=225  nbDomainTypes=225  minDomainSize=1073  maxDomainSize=1171
0.49	       =>  wckTime=0.178  cpuTime=0.14  mem=13M760
0.49	   
0.49	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
61.19	   
61.19	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 78M378)
61.42	     nbConstraints=1785  nbConvertedConstraints=184  nbConvertConstraintsChecks=232811514  nbExtensionStructures=184
61.42	     nbSharedExtensionStructures=0  nbConflictsStructures=184  nbSharedConflictsStructures=0
61.42	     nbSharedBinaryRepresentations=106336  nbEvaluationManagers=1601  nbSharedEvaluationManagers=0  maxDegree=16
61.42	     maxArity=2
61.42	       =>  wckTime=61.102  cpuTime=60.16  mem=89M835
61.63	   
61.63	   solver LocalSearchSolver being built... 
61.67	       =>  wckTime=61.358  cpuTime=60.2  mem=78M410
61.73	
61.73	s SATISFIABLE
61.73	o 1526
61.73	c 259
61.77	o 1532
61.77	c 253
61.81	o 1537
61.81	c 248
61.85	o 1542
61.85	c 243
61.89	o 1546
61.89	c 239
62.00	o 1550
62.00	c 235
62.14	o 1554
62.14	c 231
62.25	o 1558
62.25	c 227
62.35	o 1562
62.35	c 223
62.42	o 1566
62.42	c 219
62.50	o 1570
62.50	c 215
62.59	o 1573
62.59	c 212
62.64	o 1576
62.64	c 209
62.71	o 1579
62.71	c 206
62.84	o 1582
62.84	c 203
62.97	o 1585
62.97	c 200
63.18	o 1588
63.18	c 197
63.39	o 1591
63.39	c 194
63.58	o 1594
63.58	c 191
63.76	o 1597
63.76	c 188
63.93	o 1600
63.93	c 185
64.10	o 1603
64.11	c 182
64.29	o 1606
64.29	c 179
64.46	o 1609
64.46	c 176
64.59	o 1612
64.59	c 173
64.77	o 1615
64.77	c 170
64.92	o 1618
64.92	c 167
65.10	o 1621
65.10	c 164
65.27	o 1623
65.27	c 162
65.45	o 1625
65.45	c 160
65.66	o 1627
65.66	c 158
65.81	o 1629
65.81	c 156
66.00	o 1631
66.00	c 154
66.20	o 1633
66.20	c 152
66.31	o 1636
66.31	c 149
66.40	o 1637
66.40	c 148
66.65	o 1638
66.65	c 147
66.85	o 1640
66.85	c 145
67.18	o 1642
67.18	c 143
67.49	o 1644
67.49	c 141
67.81	o 1646
67.81	c 139
68.12	o 1648
68.12	c 137
68.41	o 1650
68.41	c 135
68.68	o 1652
68.68	c 133
68.95	o 1654
68.95	c 131
69.21	o 1656
69.21	c 129
69.48	o 1658
69.48	c 127
69.71	o 1660
69.71	c 125
69.95	o 1662
69.95	c 123
70.18	o 1664
70.18	c 121
70.42	o 1666
70.42	c 119
70.69	o 1668
70.69	c 117
70.97	o 1670
70.97	c 115
71.25	o 1672
71.25	c 113
71.44	o 1674
71.44	c 111
71.62	o 1676
71.62	c 109
71.87	o 1677
71.87	c 108
72.12	o 1678
72.12	c 107
72.37	o 1679
72.37	c 106
72.60	o 1680
72.60	c 105
72.83	o 1681
72.83	c 104
73.02	o 1682
73.02	c 103
73.22	o 1683
73.22	c 102
73.38	o 1684
73.38	c 101
73.56	o 1685
73.56	c 100
73.73	o 1686
73.73	c 99
73.86	o 1687
73.86	c 98
73.99	o 1688
73.99	c 97
75.04	o 1689
75.04	c 96
75.22	o 1690
75.22	c 95
75.31	o 1691
75.31	c 94
75.68	o 1692
75.68	c 93
75.81	o 1693
75.81	c 92
76.06	o 1695
76.06	c 90
76.30	o 1697
76.30	c 88
76.90	o 1698
76.90	c 87
77.26	o 1699
77.26	c 86
77.47	o 1700
77.47	c 85
77.80	o 1701
77.80	c 84
78.16	o 1702
78.16	c 83
78.49	o 1703
78.49	c 82
78.77	o 1704
78.77	c 81
79.28	o 1705
79.28	c 80
79.59	o 1706
79.59	c 79
79.92	o 1707
79.92	c 78
80.22	o 1708
80.22	c 77
80.51	o 1709
80.51	c 76
80.80	o 1710
80.80	c 75
81.12	o 1711
81.12	c 74
81.38	o 1712
81.38	c 73
81.64	o 1713
81.64	c 72
81.91	o 1714
81.91	c 71
82.18	o 1715
82.18	c 70
82.43	o 1716
82.43	c 69
82.61	o 1717
82.61	c 68
82.85	o 1718
82.85	c 67
83.09	o 1719
83.09	c 66
83.39	o 1720
83.39	c 65
84.84	o 1721
84.84	c 64
93.25	o 1722
93.25	c 63
96.66	o 1723
96.66	c 62
103.89	o 1724
103.89	c 61
104.25	o 1725
104.25	c 60
104.65	o 1726
104.65	c 59
105.34	o 1727
105.34	c 58
105.74	o 1728
105.74	c 57
107.70	o 1729
107.70	c 56
108.51	o 1730
108.51	c 55
108.88	o 1731
108.88	c 54
109.28	o 1732
109.28	c 53
110.70	o 1733
110.70	c 52
111.12	o 1734
111.12	c 51
112.66	o 1735
112.66	c 50
113.04	o 1736
113.04	c 49
115.94	o 1737
115.94	c 48
126.39	o 1738
126.39	c 47
126.85	o 1739
126.85	c 46
127.36	o 1740
127.36	c 45
127.71	o 1741
127.71	c 44
157.95	   
157.95	   search
157.95	     run=0  nbConstraintChecks=238810787  nbAssignments=321
157.95	       =>  wckTime=96.281  cpuTime=95.8  mem=78M410
157.95	   
157.95	   global
157.95	     nbConstraintChecks=238810787  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
157.95	     solvingWckTime=96.266  solvingCpuTime=95.79  expiredTime=no  totalExploration=no  nbFoundSolutions=0
157.95	     globalCpuTime=156.06
157.95	       =>  wckTime=157.638  cpuTime=156.0  mem=78M410
157.95	   
157.95	   solver IterativeSystematicSolver being built... 
158.16	       =>  wckTime=157.842  cpuTime=156.16  mem=122M149
201.65	   
201.65	   preprocessing
201.65	     nbConstraintChecks=169722422  nbValidityChecks=293000  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
201.65	     nbRemovedValues=0  detectedInconsistency=no
201.65	       =>  wckTime=43.49  cpuTime=43.28  mem=122M149
2410.89	v 359 641 61 401 767 887 902 1026 679 1103 52 145 232 262 715 122 489 575 675 695 1015 248 314 362 414 502 1 49 59 323 815 23 481 595 870 927 1035 40 277 308 680 25 133 327 445 276 887 995 1129 0 98 885 1003 1 407 656 672 703 940 1078 755 6 251 789 145 629 701 756 838 989 1093 39 60 211 1159 3 454 9 93 194 294 525 706 1013 1139 651 837 1136 741 907 221 337 420 11 263 516 759 8 50 140 614 924 952 1053 1093 276 717 881 1038 1079 201 623 1000 7 174 203 247 442 577 712 202 483 513 2 439 554 1 231 290 380 478 592 655 858 1068 450 551 560 610 951 1005 1059 239 355 877 1118 1146 415 800 896 1 80 395 487 608 663 817 910 250 348 584 680 702 830 955 321 523 587 864 1138 475 22 132 225 393 475 5 72 632 711 158 0 86 179 108 822 945 1066 433 593 752 1011 1110 975 1116 6 102 792 148 360 765 932 1063 47 103 186 215 559 760 956 108 197 300 315 513 534 612 816 223 348 449 810 916 1006 1079

Verifier Data (download as text)

44 unsatisfied constraints, 1741 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/node51/watcher-277407-1169266160 -o ROOT/results/node51/solver-277407-1169266160 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277407-1169266160/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.95 1.81 1.87 2/80 22454
/proc/meminfo: memFree=1195440/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=18540 CPUtime=0
/proc/22453/stat : 22453 (runsolver) R 22451 22453 22263 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275014578 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22453/statm: 4635 279 244 17 0 2626 0

[startup+0.102103 s]
/proc/loadavg: 1.95 1.81 1.87 2/80 22454
/proc/meminfo: memFree=1195440/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=913236 CPUtime=0.09
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 2920 0 1 0 7 2 0 0 17 0 8 0 275014578 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913236

[startup+0.510211 s]
/proc/loadavg: 1.95 1.81 1.87 2/80 22454
/proc/meminfo: memFree=1195440/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915332 CPUtime=0.49
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 7816 0 1 0 44 5 0 0 19 0 8 0 275014578 937299968 7555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228833 7555 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3313 s]
/proc/loadavg: 1.95 1.81 1.87 3/87 22461
/proc/meminfo: memFree=1162104/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=1.3
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 10686 0 1 0 123 7 0 0 25 0 8 0 275014578 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 10424 2168 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275014582 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275014583 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275014583 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.14
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 275014586 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 10424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 10424 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.96958 s]
/proc/loadavg: 1.95 1.81 1.87 3/87 22461
/proc/meminfo: memFree=1160696/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2.93
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 11261 0 1 0 286 7 0 0 25 0 8 0 275014578 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 10998 2168 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275014582 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275014583 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275014583 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.14
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 408 0 0 0 14 0 0 0 16 0 8 0 275014586 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 10998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636

[startup+6.26614 s]
/proc/loadavg: 1.96 1.82 1.87 3/87 22461
/proc/meminfo: memFree=1155256/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=6.22
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 12581 0 1 0 614 8 0 0 25 0 8 0 275014578 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 12317 2168 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275014582 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275014583 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275014583 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.14
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 408 0 0 0 14 0 0 0 16 0 8 0 275014586 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915636

[startup+12.7432 s]
/proc/loadavg: 1.96 1.82 1.87 3/87 22461
/proc/meminfo: memFree=1145464/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=12.66
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 14929 0 1 0 1257 9 0 0 25 0 8 0 275014578 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 14665 2168 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275014582 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275014583 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275014583 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.14
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 408 0 0 0 14 0 0 0 16 0 8 0 275014586 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 14665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915636

[startup+25.6084 s]
/proc/loadavg: 1.97 1.83 1.87 3/87 22461
/proc/meminfo: memFree=1111288/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=25.47
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 23408 0 1 0 2534 13 0 0 25 0 8 0 275014578 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 23143 2179 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.17
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 6797 0 0 0 15 2 0 0 16 0 8 0 275014582 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.15
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 275014586 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 23143 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.2168 s]
/proc/loadavg: 1.98 1.84 1.87 4/87 22461
/proc/meminfo: memFree=1088504/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=50.95
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 33792 0 1 0 5078 17 0 0 25 0 8 0 275014578 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 33526 2179 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.47
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 17169 0 0 0 41 6 0 0 18 0 8 0 275014582 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.16
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 420 0 0 0 16 0 0 0 16 0 8 0 275014586 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 33526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915636

[startup+102.442 s]
/proc/loadavg: 1.99 1.86 1.87 3/87 22461
/proc/meminfo: memFree=1033272/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=101.93
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 37967 0 1 0 10171 22 0 0 25 0 8 0 275014578 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 37699 2501 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.22
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 451 0 0 0 21 1 0 0 16 0 8 0 275014586 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915636

[startup+162.518 s]
/proc/loadavg: 1.99 1.89 1.88 3/87 22461
/proc/meminfo: memFree=1032888/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=161.71
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38085 0 1 0 16148 23 0 0 25 0 8 0 275014578 937611264 37816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032376/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2074.4
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 207414 26 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.4
Current children cumulated vsize (KiB) 915636

[startup+2144.36 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032440/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2134.18
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 213392 26 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.18
Current children cumulated vsize (KiB) 915636

[startup+2204.43 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032376/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2193.96
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 219370 26 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.96
Current children cumulated vsize (KiB) 915636

[startup+2264.47 s]
/proc/loadavg: 1.80 1.94 1.91 3/87 22523
/proc/meminfo: memFree=1136696/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2253.88
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 225360 28 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.88
Current children cumulated vsize (KiB) 915636

[startup+2324.53 s]
/proc/loadavg: 1.92 1.95 1.91 3/87 22523
/proc/meminfo: memFree=1066552/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2313.87
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 231359 28 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.87
Current children cumulated vsize (KiB) 915636

[startup+2384.6 s]
/proc/loadavg: 2.00 1.97 1.91 3/87 22523
/proc/meminfo: memFree=1066488/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2373.89
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 237361 28 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.89
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.83 s]
/proc/loadavg: 2.00 1.97 1.91 3/87 22523
/proc/meminfo: memFree=1066552/2055920 swapFree=4191892/4192956
[pid=22453] ppid=22451 vsize=915636 CPUtime=2400.08
/proc/22453/stat : 22453 (java) R 22451 22453 22263 0 -1 0 38127 0 1 0 239980 28 0 0 25 0 8 0 275014578 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775754 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22453/statm: 228909 37838 2548 14 0 215379 0
[pid=22453/tid=22455] ppid=22451 vsize=915636 CPUtime=0.68
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 22263 0 -1 64 20962 0 0 0 60 8 0 0 16 0 8 0 275014582 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 22263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 22263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014583 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915636 CPUtime=0.31
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 22263 0 -1 64 511 0 0 0 30 1 0 0 16 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 22263 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915636 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 22263 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014586 937611264 37838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2410.95
CPU time (s): 2400.2
CPU user time (s): 2399.86
CPU system time (s): 0.335948
CPU usage (%): 99.5542
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.86
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43264
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= 50170
involuntary context switches= 91043

runsolver used 2.57461 s user time and 8.07677 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan 20 04:09:20 UTC 2007


IDJOB= 277407
IDBENCH= 6682
IDSOLVER= 69
FILE ID= node51/277407-1169266160

PBS_JOBID= 3607334

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1be6534ea2a6d2988f7221fd0bff0aca

RANDOM SEED= 71431993

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.277
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.277
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:       1195920 kB
Buffers:         48000 kB
Cached:         551860 kB
SwapCached:        512 kB
Active:         270780 kB
Inactive:       512648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1195920 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:         202348 kB
Slab:            61608 kB
Committed_AS:  5947312 kB
PageTables:       2144 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 node51 on Sat Jan 20 04:49:31 UTC 2007