Trace number 277406

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 EPFCMSAT (TO) 2400.18 2415.65

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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/277406-1169266156/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.47	     nbVariables=225  nbDomainTypes=225  minDomainSize=1073  maxDomainSize=1171
0.47	       =>  wckTime=0.174  cpuTime=0.13  mem=13M753
0.47	   
0.47	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
61.44	   
61.45	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 82M183)
61.66	     nbConstraints=1785  nbConvertedConstraints=194  nbConvertConstraintsChecks=245770989  nbExtensionStructures=194
61.66	     nbSharedExtensionStructures=0  nbConflictsStructures=194  nbSharedConflictsStructures=0
61.66	     nbSharedBinaryRepresentations=118475  nbEvaluationManagers=1591  nbSharedEvaluationManagers=0  maxDegree=16
61.66	     maxArity=2
61.66	       =>  wckTime=61.36  cpuTime=60.21  mem=93M640
61.88	   
61.88	   solver LocalSearchSolver being built... 
61.92	       =>  wckTime=61.616  cpuTime=60.26  mem=80M294
61.96	
61.97	s SATISFIABLE
61.97	o 1526
61.97	c 259
62.01	o 1532
62.01	c 253
62.05	o 1537
62.05	c 248
62.08	o 1542
62.08	c 243
62.12	o 1546
62.12	c 239
62.24	o 1550
62.24	c 235
62.36	o 1554
62.36	c 231
62.46	o 1558
62.46	c 227
62.55	o 1562
62.55	c 223
62.62	o 1566
62.62	c 219
62.70	o 1570
62.70	c 215
62.78	o 1573
62.78	c 212
62.83	o 1576
62.83	c 209
62.89	o 1579
62.89	c 206
63.02	o 1582
63.02	c 203
63.14	o 1585
63.14	c 200
63.34	o 1588
63.34	c 197
63.54	o 1591
63.54	c 194
63.72	o 1594
63.72	c 191
63.88	o 1597
63.88	c 188
64.05	o 1600
64.05	c 185
64.21	o 1603
64.21	c 182
64.39	o 1606
64.39	c 179
64.55	o 1609
64.55	c 176
64.67	o 1612
64.67	c 173
64.83	o 1615
64.83	c 170
64.97	o 1618
64.97	c 167
65.15	o 1621
65.15	c 164
65.30	o 1623
65.30	c 162
65.47	o 1625
65.47	c 160
65.67	o 1627
65.67	c 158
65.81	o 1629
65.81	c 156
65.99	o 1631
65.99	c 154
66.17	o 1633
66.17	c 152
66.28	o 1636
66.28	c 149
66.36	o 1637
66.36	c 148
66.59	o 1638
66.59	c 147
66.78	o 1640
66.78	c 145
67.08	o 1642
67.08	c 143
67.38	o 1644
67.38	c 141
67.67	o 1646
67.67	c 139
67.96	o 1648
67.96	c 137
68.24	o 1650
68.24	c 135
68.49	o 1652
68.49	c 133
68.74	o 1654
68.74	c 131
68.98	o 1656
68.98	c 129
69.24	o 1658
69.24	c 127
69.45	o 1660
69.45	c 125
69.68	o 1662
69.68	c 123
69.90	o 1664
69.90	c 121
70.12	o 1666
70.12	c 119
70.39	o 1668
70.39	c 117
70.64	o 1670
70.64	c 115
70.91	o 1672
70.91	c 113
71.08	o 1674
71.08	c 111
71.25	o 1676
71.25	c 109
71.50	o 1677
71.50	c 108
71.72	o 1678
71.72	c 107
71.96	o 1679
71.96	c 106
72.17	o 1680
72.17	c 105
72.39	o 1681
72.39	c 104
72.58	o 1682
72.58	c 103
72.76	o 1683
72.76	c 102
72.91	o 1684
72.91	c 101
73.07	o 1685
73.07	c 100
73.23	o 1686
73.23	c 99
73.36	o 1687
73.36	c 98
73.49	o 1688
73.49	c 97
74.49	o 1689
74.49	c 96
74.67	o 1690
74.67	c 95
74.76	o 1691
74.76	c 94
75.10	o 1692
75.10	c 93
75.21	o 1693
75.21	c 92
75.45	o 1695
75.45	c 90
75.67	o 1697
75.67	c 88
76.23	o 1698
76.23	c 87
76.56	o 1699
76.56	c 86
76.76	o 1700
76.76	c 85
77.09	o 1701
77.09	c 84
77.41	o 1702
77.41	c 83
77.72	o 1703
77.72	c 82
77.98	o 1704
77.98	c 81
78.46	o 1705
78.46	c 80
78.75	o 1706
78.75	c 79
79.06	o 1707
79.06	c 78
79.35	o 1708
79.35	c 77
79.61	o 1709
79.61	c 76
79.89	o 1710
79.89	c 75
80.18	o 1711
80.18	c 74
80.44	o 1712
80.44	c 73
80.68	o 1713
80.68	c 72
80.93	o 1714
80.93	c 71
81.18	o 1715
81.18	c 70
81.41	o 1716
81.41	c 69
81.58	o 1717
81.58	c 68
81.81	o 1718
81.81	c 67
82.03	o 1719
82.03	c 66
82.32	o 1720
82.32	c 65
83.67	o 1721
83.67	c 64
91.60	o 1722
91.60	c 63
94.81	o 1723
94.81	c 62
101.61	o 1724
101.61	c 61
101.95	o 1725
101.96	c 60
102.33	o 1726
102.33	c 59
102.98	o 1727
102.98	c 58
103.36	o 1728
103.36	c 57
105.20	o 1729
105.20	c 56
105.98	o 1730
105.98	c 55
106.32	o 1731
106.32	c 54
106.71	o 1732
106.71	c 53
108.05	o 1733
108.05	c 52
108.45	o 1734
108.45	c 51
109.90	o 1735
109.90	c 50
110.26	o 1736
110.26	c 49
112.99	o 1737
112.99	c 48
122.84	o 1738
122.84	c 47
123.27	o 1739
123.27	c 46
123.76	o 1740
123.76	c 45
124.08	o 1741
124.08	c 44
154.36	   
154.36	   search
154.36	     run=0  nbConstraintChecks=243404887  nbAssignments=326
154.36	       =>  wckTime=92.444  cpuTime=91.67  mem=80M294
154.36	   
154.36	   global
154.36	     nbConstraintChecks=243404887  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
154.36	     solvingWckTime=92.431  solvingCpuTime=91.66  expiredTime=no  totalExploration=no  nbFoundSolutions=0
154.36	     globalCpuTime=151.98
154.36	       =>  wckTime=154.06  cpuTime=151.93  mem=80M294
154.36	   
154.36	   solver IterativeSystematicSolver being built... 
154.57	       =>  wckTime=154.271  cpuTime=152.08  mem=123M966
1278.16	   
1278.16	   preprocessing
1278.16	     nbConstraintChecks=4609508555  nbValidityChecks=762411047  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1278.16	     nbRemovedValues=0  detectedInconsistency=no
1278.16	       =>  wckTime=1123.584  cpuTime=1118.09  mem=123M966
2415.58	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/node44/watcher-277406-1169266156 -o ROOT/results/node44/solver-277406-1169266156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277406-1169266156/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: 0.93 1.38 1.74 3/74 13802
/proc/meminfo: memFree=1286136/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=168 CPUtime=0
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 275014717 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11281188 0 0 4096 0 0 0 0 17 1 0 0
/proc/13801/statm: 42 23 18 14 0 2 0

[startup+0.106841 s]
/proc/loadavg: 0.93 1.38 1.74 3/74 13802
/proc/meminfo: memFree=1286136/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=914988 CPUtime=0.09
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 3038 0 1 0 7 2 0 0 24 0 8 0 275014717 936947712 2784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228747 2784 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51488 s]
/proc/loadavg: 0.93 1.38 1.74 3/74 13802
/proc/meminfo: memFree=1286136/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915332 CPUtime=0.48
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 7977 0 1 0 44 4 0 0 25 0 8 0 275014717 937299968 7716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228833 7716 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33696 s]
/proc/loadavg: 0.93 1.38 1.74 3/88 13816
/proc/meminfo: memFree=1202632/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=1.29
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 10819 0 1 0 123 6 0 0 25 0 8 0 275014717 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 10557 2171 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 275014721 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 275014721 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 275014721 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.14
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 275014725 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 10557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915636

[startup+2.98913 s]
/proc/loadavg: 0.93 1.38 1.74 5/88 13816
/proc/meminfo: memFree=1115912/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2.94
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 11416 0 1 0 287 7 0 0 25 0 8 0 275014717 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 11153 2171 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 275014721 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 275014721 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 275014721 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.14
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 275014725 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 11153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.27347 s]
/proc/loadavg: 1.10 1.41 1.75 3/88 13816
/proc/meminfo: memFree=866376/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=6.2
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 12700 0 1 0 612 8 0 0 25 0 8 0 275014717 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 12436 2171 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 275014721 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 275014721 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.14
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 406 0 0 0 14 0 0 0 17 0 8 0 275014725 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 12436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915636

[startup+12.7591 s]
/proc/loadavg: 1.17 1.42 1.75 3/88 13816
/proc/meminfo: memFree=555280/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=12.62
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 15165 0 1 0 1253 9 0 0 25 0 8 0 275014717 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 14901 2171 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 275014721 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 275014721 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.14
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 406 0 0 0 14 0 0 0 17 0 8 0 275014725 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 14901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915636

[startup+25.6035 s]
/proc/loadavg: 1.35 1.45 1.75 3/88 13816
/proc/meminfo: memFree=520728/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=25.35
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 23409 0 1 0 2523 12 0 0 25 0 8 0 275014717 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 23144 2182 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.16
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 6794 0 0 0 14 2 0 0 16 0 8 0 275014721 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.14
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 275014725 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915636

[startup+51.2081 s]
/proc/loadavg: 1.78 1.54 1.77 3/88 13816
/proc/meminfo: memFree=479064/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=50.74
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 33792 0 1 0 5057 17 0 0 25 0 8 0 275014717 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 33526 2182 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.46
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 17165 0 0 0 40 6 0 0 16 0 8 0 275014721 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.16
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 418 0 0 0 16 0 0 0 17 0 8 0 275014725 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915636

[startup+102.421 s]
/proc/loadavg: 1.90 1.61 1.78 3/88 13816
/proc/meminfo: memFree=461400/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=101.53
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38433 0 1 0 10131 22 0 0 25 0 8 0 275014717 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38164 2504 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.21
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 275014725 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915636

[startup+162.47 s]
/proc/loadavg: 1.96 1.67 1.79 3/88 13816
/proc/meminfo: memFree=460760/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=161.07
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38556 0 1 0 16083 24 0 0 25 0 8 0 275014717 937611264 38285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.24 s]
/proc/loadavg: 2.07 2.02 1.93 3/87 13876
/proc/meminfo: memFree=1113568/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2070.45
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 207016 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2070.45
Current children cumulated vsize (KiB) 915636

[startup+2143.26 s]
/proc/loadavg: 2.02 2.01 1.93 3/87 13876
/proc/meminfo: memFree=1113568/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2129.99
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 212970 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2129.99
Current children cumulated vsize (KiB) 915636

[startup+2203.28 s]
/proc/loadavg: 2.01 2.00 1.93 3/87 13876
/proc/meminfo: memFree=1113568/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2189.52
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 218923 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2189.52
Current children cumulated vsize (KiB) 915636

[startup+2263.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13876
/proc/meminfo: memFree=1113568/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2249.06
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 224877 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096990 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2249.06
Current children cumulated vsize (KiB) 915636

[startup+2323.32 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13876
/proc/meminfo: memFree=1113504/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2308.61
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 230832 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2308.61
Current children cumulated vsize (KiB) 915636

[startup+2383.35 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13876
/proc/meminfo: memFree=1113568/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2368.12
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 236783 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2368.12
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.52 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13876
/proc/meminfo: memFree=1113504/2055920 swapFree=4191892/4192956
[pid=13801] ppid=13794 vsize=915636 CPUtime=2400.05
/proc/13801/stat : 13801 (java) R 13794 13801 13676 0 -1 0 38598 0 1 0 239976 29 0 0 25 0 8 0 275014717 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13801/statm: 228909 38308 2553 14 0 215379 0
[pid=13801/tid=13806] ppid=13794 vsize=915636 CPUtime=0.66
/proc/13801/task/13806/stat : 13806 (java) S 13794 13801 13676 0 -1 64 21424 0 0 0 58 8 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13807] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13807/stat : 13807 (java) S 13794 13801 13676 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13808] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13808/stat : 13808 (java) S 13794 13801 13676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275014721 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13813] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13813/stat : 13813 (java) S 13794 13801 13676 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13814] ppid=13794 vsize=915636 CPUtime=0.3
/proc/13801/task/13814/stat : 13814 (java) S 13794 13801 13676 0 -1 64 510 0 0 0 28 2 0 0 16 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13815] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13815/stat : 13815 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13801/tid=13816] ppid=13794 vsize=915636 CPUtime=0
/proc/13801/task/13816/stat : 13816 (java) S 13794 13801 13676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275014725 937611264 38308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2415.65
CPU time (s): 2400.18
CPU user time (s): 2399.85
CPU system time (s): 0.333949
CPU usage (%): 99.3596
Max. virtual memory (cumulated for all children) (KiB): 915640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43725
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= 50319
involuntary context switches= 93463

runsolver used 2.38164 s user time and 6.38703 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Sat Jan 20 04:09:17 UTC 2007


IDJOB= 277406
IDBENCH= 6682
IDSOLVER= 68
FILE ID= node44/277406-1169266156

PBS_JOBID= 3607388

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277406-1169266156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-277406-1169266156 -o ROOT/results/node44/solver-277406-1169266156 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277406-1169266156/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1be6534ea2a6d2988f7221fd0bff0aca

RANDOM SEED= 404927045

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.213
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.213
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:       1287432 kB
Buffers:         54420 kB
Cached:         616812 kB
SwapCached:        268 kB
Active:         172512 kB
Inactive:       518296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1287432 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2524 kB
Writeback:           0 kB
Mapped:          28504 kB
Slab:            63240 kB
Committed_AS:  4882036 kB
PageTables:       1632 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 node44 on Sat Jan 20 04:49:33 UTC 2007