0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/276544-1169239924/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.43	       =>  wckTime=0.105  cpuTime=0.1  mem=6M887
0.43	   
0.43	   relations being loaded...
0.80	   
0.80	   constraints being loaded...
0.93	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.93	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=8  maxArity=2
0.93	       =>  wckTime=0.604  cpuTime=0.54  mem=36M271
0.99	   
0.99	   solver LocalSearchSolver being built... 
1.03	       =>  wckTime=0.704  cpuTime=0.58  mem=7M375
1.04	
1.04	s SATISFIABLE
1.05	o 11
1.05	c 73
1.05	o 15
1.05	c 69
1.05	o 18
1.05	c 66
1.05	o 21
1.05	c 63
1.05	o 24
1.05	c 60
1.05	o 27
1.05	c 57
1.06	o 30
1.06	c 54
1.06	o 33
1.06	c 51
1.06	o 35
1.06	c 49
1.06	o 38
1.06	c 46
1.06	o 41
1.06	c 43
1.06	o 43
1.06	c 41
1.06	o 46
1.06	c 38
1.07	o 49
1.07	c 35
1.07	o 50
1.07	c 34
1.07	o 51
1.07	c 33
1.07	o 53
1.07	c 31
1.07	o 55
1.07	c 29
1.07	o 56
1.07	c 28
1.07	o 57
1.07	c 27
1.08	o 59
1.08	c 25
1.08	o 60
1.08	c 24
1.08	o 61
1.08	c 23
1.08	o 62
1.08	c 22
1.08	o 63
1.08	c 21
1.09	o 64
1.09	c 20
1.09	o 65
1.09	c 19
1.10	o 66
1.10	c 18
1.10	o 67
1.10	c 17
1.10	o 68
1.10	c 16
1.10	o 70
1.10	c 14
1.12	o 71
1.12	c 13
1.13	o 72
1.13	c 12
1.13	o 73
1.13	c 11
1.13	o 74
1.13	c 10
1.13	o 75
1.13	c 9
1.18	o 76
1.18	c 8
1.96	o 77
1.96	c 7
1.97	o 78
1.97	c 6
1.99	o 79
1.99	c 5
10.56	   
10.56	   search
10.56	     run=0  nbConstraintChecks=80530273  nbAssignments=10000
10.56	       =>  wckTime=9.53  cpuTime=9.47  mem=7M375
21.04	   
21.04	   search
21.04	     run=1  nbConstraintChecks=168193301  nbAssignments=20000
21.04	       =>  wckTime=20.011  cpuTime=19.9  mem=7M375
21.31	o 80
21.31	c 4
31.47	   
31.47	   search
31.47	     run=2  nbConstraintChecks=254846720  nbAssignments=30000
31.47	       =>  wckTime=30.437  cpuTime=30.27  mem=7M375
40.53	   
40.53	   search
40.53	     run=3  nbConstraintChecks=328929199  nbAssignments=40000
40.53	       =>  wckTime=39.496  cpuTime=39.29  mem=7M375
49.97	   
49.97	   search
49.97	     run=4  nbConstraintChecks=406488048  nbAssignments=50000
49.97	       =>  wckTime=48.944  cpuTime=48.68  mem=7M375
51.46	   
51.46	   search
51.46	     run=5  nbConstraintChecks=418625886  nbAssignments=51579
51.46	       =>  wckTime=50.43  cpuTime=50.17  mem=7M375
51.46	   
51.46	   global
51.46	     nbConstraintChecks=418625886  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.46	     solvingWckTime=50.425  solvingCpuTime=50.16  expiredTime=no  totalExploration=no  nbFoundSolutions=0
51.46	     globalCpuTime=50.81
51.46	       =>  wckTime=51.134  cpuTime=50.75  mem=7M375
51.46	   
51.46	   solver IterativeSystematicSolver being built... 
51.59	       =>  wckTime=51.262  cpuTime=50.85  mem=18M303
51.74	   
51.74	   preprocessing
51.74	     nbConstraintChecks=481230  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
51.74	     detectedInconsistency=no
51.74	       =>  wckTime=0.15  cpuTime=0.12  mem=18M303
56.76	   
56.77	   search
56.77	     run=0  nbConstraintChecks=37207260  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1098
56.77	     nbFailedAssignments=1082  nbBacktracks=10  nbVisitedNodes=2191  nbRestartNogoods=0
56.77	       =>  wckTime=5.174  cpuTime=5.11  mem=18M303
61.64	   
61.64	   search
61.64	     run=1  nbConstraintChecks=75710645  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2313
61.64	     nbFailedAssignments=2273  nbBacktracks=25  nbVisitedNodes=4612  nbRestartNogoods=41
61.64	       =>  wckTime=10.049  cpuTime=9.93  mem=18M303
64.79	   
64.79	   search
64.79	     run=2  nbConstraintChecks=91014938  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2800
64.79	     nbFailedAssignments=2732  nbBacktracks=47  nbVisitedNodes=5580  nbRestartNogoods=177
64.79	       =>  wckTime=13.196  cpuTime=13.06  mem=18M303
68.85	   
68.85	   search
68.85	     run=3  nbConstraintChecks=119068718  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3795
68.85	     nbFailedAssignments=3684  nbBacktracks=80  nbVisitedNodes=7559  nbRestartNogoods=257
68.85	       =>  wckTime=17.259  cpuTime=17.1  mem=18M303
71.01	   
71.01	   search
71.01	     run=4  nbConstraintChecks=131723326  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4447
71.01	     nbFailedAssignments=4270  nbBacktracks=130  nbVisitedNodes=8847  nbRestartNogoods=381
71.01	       =>  wckTime=19.423  cpuTime=19.25  mem=18M303
86.19	   
86.19	   search
86.19	     run=5  nbConstraintChecks=254058527  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9050
86.19	     nbFailedAssignments=8790  nbBacktracks=205  nbVisitedNodes=18045  nbRestartNogoods=511
86.19	       =>  wckTime=34.596  cpuTime=34.36  mem=18M303
88.39	   
88.39	   search
88.39	     run=6  nbConstraintChecks=266478236  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9666
88.39	     nbFailedAssignments=9279  nbBacktracks=318  nbVisitedNodes=19263  nbRestartNogoods=571
88.39	       =>  wckTime=36.804  cpuTime=36.55  mem=18M303
102.26	   
102.26	   search
102.26	     run=7  nbConstraintChecks=361115127  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12092
102.26	     nbFailedAssignments=11526  nbBacktracks=488  nbVisitedNodes=24106  nbRestartNogoods=681
102.26	       =>  wckTime=50.666  cpuTime=50.35  mem=18M303
138.59	   
138.59	   search
138.59	     run=8  nbConstraintChecks=612369971  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21298
138.59	     nbFailedAssignments=20462  nbBacktracks=744  nbVisitedNodes=42504  nbRestartNogoods=869
138.59	       =>  wckTime=86.997  cpuTime=86.51  mem=18M303
163.43	   
163.43	   search
163.43	     run=9  nbConstraintChecks=757337011  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26743
163.43	     nbFailedAssignments=25508  nbBacktracks=1128  nbVisitedNodes=53379  nbRestartNogoods=974
163.43	       =>  wckTime=111.837  cpuTime=111.23  mem=18M303
207.06	   
207.06	   search
207.06	     run=10  nbConstraintChecks=1015136373  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38822
207.06	     nbFailedAssignments=37003  nbBacktracks=1704  nbVisitedNodes=77526  nbRestartNogoods=1217
207.06	       =>  wckTime=155.469  cpuTime=154.65  mem=18M303
256.82	   
256.82	   search
256.82	     run=11  nbConstraintChecks=1304033422  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51732
256.82	     nbFailedAssignments=49040  nbBacktracks=2568  nbVisitedNodes=103321  nbRestartNogoods=1506
256.82	       =>  wckTime=205.234  cpuTime=204.17  mem=18M303
314.79	   
314.79	   search
314.79	     run=12  nbConstraintChecks=1648369300  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=65481
314.79	     nbFailedAssignments=61487  nbBacktracks=3865  nbVisitedNodes=130656  nbRestartNogoods=1551
314.79	       =>  wckTime=263.201  cpuTime=261.87  mem=18M303
390.50	   
390.50	   search
390.50	     run=13  nbConstraintChecks=2100315691  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=82855
390.50	     nbFailedAssignments=76906  nbBacktracks=5812  nbVisitedNodes=165339  nbRestartNogoods=1581
390.50	       =>  wckTime=338.909  cpuTime=337.22  mem=18M303
470.12	   
470.12	   search
470.12	     run=14  nbConstraintChecks=2526216887  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=99665
470.12	     nbFailedAssignments=90782  nbBacktracks=8731  nbVisitedNodes=198718  nbRestartNogoods=1621
470.12	       =>  wckTime=418.533  cpuTime=416.47  mem=18M303
565.80	   
565.80	   search
565.80	     run=15  nbConstraintChecks=3032698276  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=119712
565.80	     nbFailedAssignments=106441  nbBacktracks=13109  nbVisitedNodes=238506  nbRestartNogoods=1668
565.80	       =>  wckTime=514.214  cpuTime=511.6  mem=18M303
742.18	   
742.18	   search
742.18	     run=16  nbConstraintChecks=3960849230  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=153668
742.18	     nbFailedAssignments=133821  nbBacktracks=19677  nbVisitedNodes=306022  nbRestartNogoods=1697
742.18	       =>  wckTime=690.594  cpuTime=687.07  mem=18M303
964.90	   
964.90	   search
964.90	     run=17  nbConstraintChecks=5107598467  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=196890
964.90	     nbFailedAssignments=167186  nbBacktracks=29529  nbVisitedNodes=391039  nbRestartNogoods=1753
964.90	       =>  wckTime=913.311  cpuTime=909.33  mem=18M303
1280.10	   
1280.10	   search
1280.10	     run=18  nbConstraintChecks=6814418219  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=261068
1280.10	     nbFailedAssignments=216572  nbBacktracks=44309  nbVisitedNodes=517133  nbRestartNogoods=1775
1280.10	       =>  wckTime=1228.506  cpuTime=1224.18  mem=18M303
1866.72	   
1866.72	   search
1866.72	     run=19  nbConstraintChecks=10640995678  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=395503
1866.72	     nbFailedAssignments=328829  nbBacktracks=66477  nbVisitedNodes=784910  nbRestartNogoods=1830
1866.72	       =>  wckTime=1815.132  cpuTime=1810.16  mem=18M303
2405.89	v 16 30 39 170 41 79 135 48 61 104 39 98 81 22 55 102 124 68 179 169 119 63 90 39 106 8 75 14 3 36 16 149 92 49 131 78 118 53 13 49 
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-276544-1169239924 -o ROOT/results/node3/solver-276544-1169239924 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276544-1169239924/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.96 2.02 2.00 3/86 22915
/proc/meminfo: memFree=1305816/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=18540 CPUtime=0
/proc/22914/stat : 22914 (runsolver) R 22912 22914 21753 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272388040 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22914/statm: 4635 279 244 17 0 2626 0
[startup+0.102881 s]
/proc/loadavg: 1.96 2.02 2.00 3/86 22915
/proc/meminfo: memFree=1305816/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=912760 CPUtime=0.07
/proc/22914/stat : 22914 (java) S 22912 22914 21753 0 -1 0 2776 0 1 0 6 1 0 0 18 0 8 0 272388040 934666240 2522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228190 2522 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.51095 s]
/proc/loadavg: 1.96 2.02 2.00 3/86 22915
/proc/meminfo: memFree=1305816/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915332 CPUtime=0.47
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 7068 0 1 0 43 4 0 0 18 0 8 0 272388040 937299968 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228833 6807 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33408 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259424/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=1.29
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14257 0 1 0 120 9 0 0 24 0 8 0 272388040 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 13995 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272388045 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.11
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.98234 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259424/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2.94
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14263 0 1 0 276 18 0 0 25 0 8 0 272388040 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14000 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272388045 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.11
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 335 0 0 0 11 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26688 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259296/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=6.2
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14263 0 1 0 589 31 0 0 25 0 8 0 272388040 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14000 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.11
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 335 0 0 0 11 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444
[startup+12.7559 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259232/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=12.66
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14265 0 1 0 1208 58 0 0 25 0 8 0 272388040 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14002 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.12
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915444
[startup+25.6 s]
/proc/loadavg: 1.97 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259424/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=25.44
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14265 0 1 0 2436 108 0 0 25 0 8 0 272388040 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14002 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.12
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915444
[startup+51.2062 s]
/proc/loadavg: 1.98 2.01 2.00 3/93 22922
/proc/meminfo: memFree=1259488/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=50.92
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14265 0 1 0 4877 215 0 0 25 0 8 0 272388040 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14002 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.12
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915444
[startup+102.426 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259104/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=101.91
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14431 0 1 0 9972 219 0 0 25 0 8 0 272388040 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14156 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.22
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915444
[startup+162.491 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259168/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=161.68
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14431 0 1 0 15949 219 0 0 25 0 8 0 272388040 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2018.22
Current children cumulated vsize (KiB) 915444
[startup+2083.66 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 23231
/proc/meminfo: memFree=1242792/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2078.24
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 207594 230 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.24
Current children cumulated vsize (KiB) 915444
[startup+2143.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2138.19
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 213589 230 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.19
Current children cumulated vsize (KiB) 915444
[startup+2203.71 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 23231
/proc/meminfo: memFree=1242792/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2198.17
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 219586 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.17
Current children cumulated vsize (KiB) 915444
[startup+2263.72 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 23231
/proc/meminfo: memFree=1242792/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2258.1
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 225579 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.1
Current children cumulated vsize (KiB) 915444
[startup+2323.74 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2318.05
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 231574 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.05
Current children cumulated vsize (KiB) 915444
[startup+2383.75 s]
/proc/loadavg: 2.05 2.02 2.00 4/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2378
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 237569 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.88 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2400.09
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 239778 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) R 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.95
CPU time (s): 2400.17
CPU user time (s): 2397.84
CPU system time (s): 2.32565
CPU usage (%): 99.7597
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.84
system time used= 2.32565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14454
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= 49786
involuntary context switches= 98048
runsolver used 2.82857 s user time and 7.8728 s system time
The end
 
Begin job on node3 on Fri Jan 19 20:52:04 UTC 2007
IDJOB= 276544
IDBENCH= 5845
IDSOLVER= 68
FILE ID= node3/276544-1169239924
PBS_JOBID= 3588990
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276544-1169239924/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-276544-1169239924 -o ROOT/results/node3/solver-276544-1169239924 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276544-1169239924/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3ac0e5fd51cdfeaeb41cf7ea716924ba
RANDOM SEED= 198416932
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.279
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.279
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:       1306296 kB
Buffers:         55140 kB
Cached:         552156 kB
SwapCached:        284 kB
Active:         193036 kB
Inactive:       481832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1306296 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3496 kB
Writeback:           0 kB
Mapped:          80424 kB
Slab:            59880 kB
Committed_AS:  7246872 kB
PageTables:       2036 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= 66559 MiB
End job on node3 on Fri Jan 19 21:32:10 UTC 2007