Trace number 277500

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.05 2420.07

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-2.xml
MD5SUMe5b6f73bb1654894743077b22f6378b0
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints890
Best CPU time to get the best result obtained on this benchmark2400.05
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size574
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/277500-1169268426/unknown.xml
0.35	   
0.35	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=100  nbDomainTypes=100  minDomainSize=476  maxDomainSize=574
0.42	       =>  wckTime=0.134  cpuTime=0.1  mem=8M864
0.42	   
0.42	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
61.60	   
61.60	   INFO : Stopping converting binary constraints (cpu=60.06, mem = 107M336)
61.62	     nbConstraints=900  nbConvertedConstraints=872  nbConvertConstraintsChecks=239490975  nbExtensionStructures=872
61.62	     nbSharedExtensionStructures=0  nbConflictsStructures=872  nbSharedConflictsStructures=0
61.62	     nbSharedBinaryRepresentations=286433  nbEvaluationManagers=28  nbSharedEvaluationManagers=0  maxDegree=18
61.62	     maxArity=2
61.62	       =>  wckTime=61.335  cpuTime=60.02  mem=107M336
61.87	   
61.87	   solver LocalSearchSolver being built... 
61.90	       =>  wckTime=61.615  cpuTime=60.07  mem=89M137
61.93	
61.93	s SATISFIABLE
61.93	o 743
61.93	c 157
61.94	o 749
61.94	c 151
61.94	o 754
61.94	c 146
61.95	o 760
61.95	c 140
61.96	o 765
61.96	c 135
61.97	o 770
61.97	c 130
61.98	o 774
61.98	c 126
61.98	o 778
61.98	c 122
61.99	o 783
61.99	c 117
62.00	o 788
62.00	c 112
62.00	o 792
62.00	c 108
62.01	o 795
62.01	c 105
62.01	o 798
62.01	c 102
62.02	o 801
62.02	c 99
62.03	o 804
62.03	c 96
62.05	o 806
62.05	c 94
62.06	o 807
62.06	c 93
62.07	o 809
62.07	c 91
62.08	o 811
62.08	c 89
62.09	o 814
62.09	c 86
62.10	o 817
62.10	c 83
62.10	o 819
62.10	c 81
62.11	o 821
62.11	c 79
62.12	o 823
62.12	c 77
62.12	o 825
62.12	c 75
62.13	o 827
62.13	c 73
62.13	o 828
62.13	c 72
62.14	o 829
62.14	c 71
62.15	o 831
62.15	c 69
62.15	o 834
62.15	c 66
62.16	o 835
62.16	c 65
62.17	o 837
62.17	c 63
62.18	o 839
62.18	c 61
62.19	o 841
62.19	c 59
62.20	o 843
62.20	c 57
62.20	o 845
62.20	c 55
62.21	o 847
62.21	c 53
62.21	o 848
62.21	c 52
62.22	o 850
62.22	c 50
62.27	o 851
62.27	c 49
62.28	o 852
62.28	c 48
62.29	o 853
62.29	c 47
62.30	o 854
62.30	c 46
62.32	o 855
62.32	c 45
62.36	o 856
62.36	c 44
62.49	o 858
62.49	c 42
62.50	o 859
62.50	c 41
62.50	o 861
62.51	c 39
62.51	o 862
62.51	c 38
62.65	o 863
62.65	c 37
62.69	o 864
62.69	c 36
62.80	o 866
62.80	c 34
62.82	o 867
62.82	c 33
64.60	o 869
64.60	c 31
64.62	o 870
64.62	c 30
64.85	o 871
64.85	c 29
64.88	o 872
64.88	c 28
64.94	o 873
64.94	c 27
64.96	o 874
64.96	c 26
65.20	o 875
65.20	c 25
65.22	o 876
65.22	c 24
65.24	o 877
65.24	c 23
65.37	o 878
65.37	c 22
67.67	o 879
67.67	c 21
67.80	o 880
67.80	c 20
67.85	o 881
67.85	c 19
67.87	o 882
67.87	c 18
67.88	o 883
67.88	c 17
67.90	o 884
67.90	c 16
68.02	o 885
68.02	c 15
72.41	o 886
72.41	c 14
72.58	o 887
72.58	c 13
72.76	o 888
72.76	c 12
75.30	o 889
75.30	c 11
88.96	o 890
88.96	c 10
119.26	   
119.26	   search
119.26	     run=0  nbConstraintChecks=325358023  nbAssignments=3569
119.26	       =>  wckTime=57.36  cpuTime=56.87  mem=89M137
119.26	   
119.27	   global
119.27	     nbConstraintChecks=325358023  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
119.27	     solvingWckTime=57.356  solvingCpuTime=56.87  expiredTime=no  totalExploration=no  nbFoundSolutions=0
119.27	     globalCpuTime=116.99
119.27	       =>  wckTime=118.976  cpuTime=116.94  mem=89M137
119.27	   
119.27	   solver IterativeSystematicSolver being built... 
119.40	       =>  wckTime=119.112  cpuTime=117.06  mem=104M226
119.54	   
119.54	   preprocessing
119.54	     nbConstraintChecks=241669  nbValidityChecks=1704  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
119.54	     nbRemovedValues=0  detectedInconsistency=no
119.54	       =>  wckTime=0.134  cpuTime=0.12  mem=104M226
136.04	   
136.04	   search
136.04	     run=0  nbConstraintChecks=249267811  nbValidityChecks=4289894  nbPropagations=0  nbRevisions=0
136.04	     nbUselessRevisions=0  nbAssignments=466  nbFailedAssignments=376  nbBacktracks=10  nbVisitedNodes=853
136.04	     nbRestartNogoods=0
136.04	       =>  wckTime=16.641  cpuTime=16.45  mem=104M226
154.72	   
154.72	   search
154.72	     run=1  nbConstraintChecks=574720097  nbValidityChecks=10199515  nbPropagations=0  nbRevisions=0
154.72	     nbUselessRevisions=0  nbAssignments=1280  nbFailedAssignments=1092  nbBacktracks=25  nbVisitedNodes=2398
154.72	     nbRestartNogoods=104
154.72	       =>  wckTime=35.316  cpuTime=34.96  mem=104M226
170.54	   
170.54	   search
170.54	     run=2  nbConstraintChecks=840067636  nbValidityChecks=13307381  nbPropagations=0  nbRevisions=0
170.54	     nbUselessRevisions=0  nbAssignments=1915  nbFailedAssignments=1621  nbBacktracks=47  nbVisitedNodes=3584
170.54	     nbRestartNogoods=119
170.54	       =>  wckTime=51.136  cpuTime=50.63  mem=104M226
179.31	   
179.31	   search
179.31	     run=3  nbConstraintChecks=968786695  nbValidityChecks=16580159  nbPropagations=0  nbRevisions=0
179.31	     nbUselessRevisions=0  nbAssignments=2190  nbFailedAssignments=1782  nbBacktracks=80  nbVisitedNodes=4053
179.31	     nbRestartNogoods=191
179.31	       =>  wckTime=59.908  cpuTime=59.33  mem=105M173
257.96	   
257.96	   search
257.96	     run=4  nbConstraintChecks=2224767696  nbValidityChecks=39395227  nbPropagations=0  nbRevisions=0
257.96	     nbUselessRevisions=0  nbAssignments=4806  nbFailedAssignments=4268  nbBacktracks=130  nbVisitedNodes=9205
257.96	     nbRestartNogoods=352
257.96	       =>  wckTime=138.561  cpuTime=137.34  mem=105M173
407.39	   
407.39	   search
407.39	     run=5  nbConstraintChecks=4790670252  nbValidityChecks=91842983  nbPropagations=0  nbRevisions=0
407.39	     nbUselessRevisions=0  nbAssignments=9334  nbFailedAssignments=8645  nbBacktracks=205  nbVisitedNodes=18185
407.39	     nbRestartNogoods=413
407.39	       =>  wckTime=287.992  cpuTime=285.54  mem=105M173
524.25	   
524.25	   search
524.25	     run=6  nbConstraintChecks=6869415101  nbValidityChecks=116978455  nbPropagations=0  nbRevisions=0
524.25	     nbUselessRevisions=0  nbAssignments=13002  nbFailedAssignments=12124  nbBacktracks=318  nbVisitedNodes=25445
524.25	     nbRestartNogoods=601
524.25	       =>  wckTime=404.846  cpuTime=401.46  mem=105M173
647.08	   
647.08	   search
647.08	     run=7  nbConstraintChecks=9211883155  nbValidityChecks=142384792  nbPropagations=0  nbRevisions=0
647.08	     nbUselessRevisions=0  nbAssignments=16004  nbFailedAssignments=14877  nbBacktracks=488  nbVisitedNodes=31370
647.08	     nbRestartNogoods=685
647.08	       =>  wckTime=527.676  cpuTime=523.29  mem=105M173
778.52	   
778.52	   search
778.52	     run=8  nbConstraintChecks=11621765601  nbValidityChecks=177978182  nbPropagations=0  nbRevisions=0
778.52	     nbUselessRevisions=0  nbAssignments=20328  nbFailedAssignments=18867  nbBacktracks=744  nbVisitedNodes=39940
778.52	     nbRestartNogoods=771
778.52	       =>  wckTime=659.12  cpuTime=653.66  mem=105M173
976.48	   
976.48	   search
976.48	     run=9  nbConstraintChecks=14963459404  nbValidityChecks=247751800  nbPropagations=0  nbRevisions=0
976.48	     nbUselessRevisions=0  nbAssignments=26224  nbFailedAssignments=24304  nbBacktracks=1128  nbVisitedNodes=51657
976.48	     nbRestartNogoods=796
976.48	       =>  wckTime=857.077  cpuTime=849.72  mem=105M173
1373.81	   
1373.81	   search
1373.81	     run=10  nbConstraintChecks=21515685776  nbValidityChecks=353000625  nbPropagations=0  nbRevisions=0
1373.81	     nbUselessRevisions=0  nbAssignments=35197  nbFailedAssignments=32629  nbBacktracks=1704  nbVisitedNodes=69531
1373.81	     nbRestartNogoods=839
1373.81	       =>  wckTime=1254.404  cpuTime=1243.62  mem=105M173
1435.05	   
1435.05	   search
1435.05	     run=11  nbConstraintChecks=22601340369  nbValidityChecks=373063890  nbPropagations=0  nbRevisions=0
1435.05	     nbUselessRevisions=0  nbAssignments=38413  nbFailedAssignments=34908  nbBacktracks=2568  nbVisitedNodes=75890
1435.05	     nbRestartNogoods=892
1435.05	       =>  wckTime=1315.65  cpuTime=1304.35  mem=105M173
1841.27	   
1841.27	   search
1841.27	     run=12  nbConstraintChecks=30082496079  nbValidityChecks=522441590  nbPropagations=0  nbRevisions=0
1841.27	     nbUselessRevisions=0  nbAssignments=49705  nbFailedAssignments=44834  nbBacktracks=3865  nbVisitedNodes=98405
1841.27	     nbRestartNogoods=932
1841.27	       =>  wckTime=1721.868  cpuTime=1707.09  mem=105M173
2420.03	v 444 419 78 273 212 496 337 1 179 170 185 424 102 337 284 488 81 209 289 2 444 492 183 84 16 196 277 387 339 250 188 482 109 7 333 255 425 336 97 127 491 296 183 453 98 426 560 273 8 555 273 5 190 426 99 549 377 527 4 345 536 557 188 486 377 327 276 383 98 147 343 61 91 174 549 2 299 376 457 260 94 423 549 187 262 476 338 10 126 524 357 0 258 403 447 260 491 565 170 93

Verifier Data (download as text)

10 unsatisfied constraints, 890 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/node76/watcher-277500-1169268426 -o ROOT/results/node76/solver-277500-1169268426 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277500-1169268426/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.81 1.96 1.94 2/85 1203
/proc/meminfo: memFree=1576464/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=18544 CPUtime=0
/proc/1202/stat : 1202 (runsolver) R 1200 1202 873 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 275239882 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1202/statm: 4636 280 245 17 0 2626 0

[startup+0.10249 s]
/proc/loadavg: 1.81 1.96 1.94 2/85 1203
/proc/meminfo: memFree=1576464/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=914992 CPUtime=0.08
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 3037 0 1 0 7 1 0 0 23 0 8 0 275239882 936951808 2785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153547114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228748 2785 1444 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.51057 s]
/proc/loadavg: 1.81 1.96 1.94 2/85 1203
/proc/meminfo: memFree=1576464/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915336 CPUtime=0.49
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 6955 0 1 0 45 4 0 0 25 0 8 0 275239882 937304064 6696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228834 6696 2148 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915336

[startup+1.33172 s]
/proc/loadavg: 1.81 1.96 1.94 3/92 1210
/proc/meminfo: memFree=1552600/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=1.31
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 8406 0 1 0 126 5 0 0 25 0 8 0 275239882 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 8146 2169 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 275239885 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275239886 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 275239886 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.13
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 354 0 0 0 13 0 0 0 16 0 8 0 275239889 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 8146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.97305 s]
/proc/loadavg: 1.83 1.96 1.94 3/92 1210
/proc/meminfo: memFree=1550296/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2.93
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 9321 0 1 0 288 5 0 0 25 0 8 0 275239882 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072884710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 9060 2169 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 275239885 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275239886 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 275239886 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.13
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 354 0 0 0 13 0 0 0 16 0 8 0 275239889 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 9060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.2647 s]
/proc/loadavg: 1.83 1.96 1.94 3/92 1210
/proc/meminfo: memFree=1542744/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=6.2
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 11111 0 1 0 614 6 0 0 25 0 8 0 275239882 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073457753 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 10850 2169 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275239885 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275239886 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 275239886 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.13
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 356 0 0 0 13 0 0 0 16 0 8 0 275239889 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 10850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 10850 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+12.736 s]
/proc/loadavg: 1.85 1.96 1.94 3/92 1210
/proc/meminfo: memFree=1528408/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=12.62
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 14503 0 1 0 1255 7 0 0 25 0 8 0 275239882 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 14242 2170 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275239885 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275239886 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 275239886 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.16
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 367 0 0 0 15 1 0 0 16 0 8 0 275239889 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 14242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 14242 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+25.5885 s]
/proc/loadavg: 1.87 1.96 1.94 3/92 1210
/proc/meminfo: memFree=1455512/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=25.37
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 23824 0 1 0 2527 10 0 0 25 0 8 0 275239882 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 23561 2181 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.27
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 7309 0 0 0 26 1 0 0 16 0 8 0 275239885 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.16
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 368 0 0 0 15 1 0 0 16 0 8 0 275239889 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 23561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456

[startup+51.2806 s]
/proc/loadavg: 1.92 1.97 1.94 3/92 1210
/proc/meminfo: memFree=1414488/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=50.85
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 34080 0 1 0 5068 17 0 0 25 0 8 0 275239882 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 33815 2181 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.65
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 17502 0 0 0 60 5 0 0 16 0 8 0 275239885 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.17
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 373 0 0 0 16 1 0 0 16 0 8 0 275239889 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 33815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915456

[startup+102.577 s]
/proc/loadavg: 1.96 1.97 1.94 3/92 1210
/proc/meminfo: memFree=1389784/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=101.73
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40581 0 1 0 10133 40 0 0 25 0 8 0 275239882 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5186256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 40313 2502 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23633 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.2
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 275239889 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 915456

[startup+162.626 s]
/proc/loadavg: 1.98 1.97 1.94 3/92 1210
/proc/meminfo: memFree=1389336/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=161.29
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40748 0 1 0 16082 47 0 0 25 0 8 0 275239882 937426944 40468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2007.1
Current children cumulated vsize (KiB) 915456

[startup+2084.34 s]
/proc/loadavg: 2.00 2.00 1.98 3/92 1415
/proc/meminfo: memFree=1363992/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2066.63
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 206600 63 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996434 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.63
Current children cumulated vsize (KiB) 915456

[startup+2144.39 s]
/proc/loadavg: 2.00 2.00 1.98 3/92 1415
/proc/meminfo: memFree=1363992/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2126.19
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 212556 63 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996415 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2126.19
Current children cumulated vsize (KiB) 915456

[startup+2204.45 s]
/proc/loadavg: 2.05 2.01 1.99 3/92 1415
/proc/meminfo: memFree=1363992/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2185.76
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 218513 63 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.76
Current children cumulated vsize (KiB) 915456

[startup+2264.5 s]
/proc/loadavg: 2.02 2.01 1.99 3/92 1415
/proc/meminfo: memFree=1364056/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2245.3
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 224467 63 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2245.3
Current children cumulated vsize (KiB) 915456

[startup+2324.55 s]
/proc/loadavg: 2.00 2.00 1.99 3/92 1415
/proc/meminfo: memFree=1364056/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2304.85
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 230421 64 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.85
Current children cumulated vsize (KiB) 915456

[startup+2384.58 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 1463
/proc/meminfo: memFree=1548304/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2364.57
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 236393 64 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2364.57
Current children cumulated vsize (KiB) 915456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2420.03 s]
/proc/loadavg: 2.07 2.02 2.00 3/85 1463
/proc/meminfo: memFree=1548304/2055888 swapFree=4087964/4096564
[pid=1202] ppid=1200 vsize=915456 CPUtime=2400
/proc/1202/stat : 1202 (java) R 1200 1202 873 0 -1 0 40761 0 1 0 239936 64 0 0 25 0 8 0 275239882 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1202/statm: 228864 40476 2552 14 0 215333 0
[pid=1202/tid=1204] ppid=1200 vsize=915456 CPUtime=0.88
/proc/1202/task/1204/stat : 1204 (java) S 1200 1202 873 0 -1 64 23634 0 0 0 81 7 0 0 16 0 8 0 275239885 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1205] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1205/stat : 1205 (java) S 1200 1202 873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1206] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1206/stat : 1206 (java) S 1200 1202 873 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239886 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1207] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1207/stat : 1207 (java) S 1200 1202 873 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1208] ppid=1200 vsize=915456 CPUtime=0.33
/proc/1202/task/1208/stat : 1208 (java) S 1200 1202 873 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1209] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1209/stat : 1209 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1202/tid=1210] ppid=1200 vsize=915456 CPUtime=0
/proc/1202/task/1210/stat : 1210 (java) S 1200 1202 873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239889 937426944 40476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915456

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

Child status: 143
Real time (s): 2420.07
CPU time (s): 2400.05
CPU user time (s): 2399.38
CPU system time (s): 0.670898
CPU usage (%): 99.1729
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.38
system time used= 0.670898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40785
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= 50466
involuntary context switches= 104287

runsolver used 3.02954 s user time and 5.99309 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan 20 04:47:08 UTC 2007


IDJOB= 277500
IDBENCH= 6777
IDSOLVER= 69
FILE ID= node76/277500-1169268426

PBS_JOBID= 3607307

Free space on /tmp= 66648 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e5b6f73bb1654894743077b22f6378b0

RANDOM SEED= 414877849

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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1576944 kB
Buffers:         20140 kB
Cached:         261496 kB
SwapCached:       2128 kB
Active:         192016 kB
Inactive:       232232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1576944 kB
SwapTotal:     4096564 kB
SwapFree:      4087964 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:         159120 kB
Slab:            40020 kB
Committed_AS:  8621016 kB
PageTables:       2072 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66648 MiB



End job on node76 on Sat Jan 20 05:27:29 UTC 2007