0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282008-1169316986/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.43 nbVariables=201 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.43 => wckTime=0.127 cpuTime=0.11 mem=6M910
0.43
0.43 relations being loaded...
0.44
0.44 constraints being loaded...
0.76 nbConstraints=6170 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.76 nbSharedExtensionStructures=6168 nbConflictsStructures=2 nbSharedConflictsStructures=6168
0.76 nbSharedBinaryRepresentations=3 maxDegree=200 maxArity=2
0.76 => wckTime=0.457 cpuTime=0.33 mem=23M488
0.85
0.85 solver LocalSearchSolver being built...
0.90 => wckTime=0.593 cpuTime=0.38 mem=8M557
0.91
0.91 s SATISFIABLE
0.91 o 4459
0.91 c 1711
0.91 o 4498
0.91 c 1672
0.91 o 4536
0.91 c 1634
0.91 o 4573
0.92 c 1597
0.92 o 4608
0.92 c 1562
0.92 o 4643
0.92 c 1527
0.92 o 4678
0.92 c 1492
0.92 o 4712
0.92 c 1458
0.93 o 4745
0.93 c 1425
0.93 o 4778
0.93 c 1392
0.93 o 4811
0.93 c 1359
0.93 o 4843
0.93 c 1327
0.93 o 4874
0.93 c 1296
0.93 o 4905
0.93 c 1265
0.93 o 4936
0.93 c 1234
0.93 o 4966
0.93 c 1204
0.93 o 4996
0.93 c 1174
0.93 o 5026
0.93 c 1144
0.93 o 5055
0.93 c 1115
0.93 o 5084
0.93 c 1086
0.94 o 5113
0.94 c 1057
0.94 o 5142
0.94 c 1028
0.94 o 5171
0.94 c 999
0.94 o 5199
0.94 c 971
0.94 o 5227
0.94 c 943
0.94 o 5255
0.94 c 915
0.94 o 5283
0.94 c 887
0.94 o 5310
0.94 c 860
0.94 o 5337
0.94 c 833
0.94 o 5364
0.94 c 806
0.94 o 5391
0.94 c 779
0.94 o 5418
0.94 c 752
0.94 o 5445
0.94 c 725
0.94 o 5472
0.94 c 698
0.95 o 5498
0.95 c 672
0.95 o 5524
0.95 c 646
0.95 o 5550
0.95 c 620
0.95 o 5575
0.95 c 595
0.95 o 5600
0.95 c 570
0.95 o 5625
0.95 c 545
0.95 o 5650
0.95 c 520
0.95 o 5675
0.95 c 495
0.95 o 5700
0.95 c 470
0.95 o 5725
0.95 c 445
0.95 o 5749
0.95 c 421
0.95 o 5773
0.95 c 397
0.95 o 5796
0.95 c 374
0.95 o 5819
0.95 c 351
0.95 o 5841
0.95 c 329
0.95 o 5863
0.95 c 307
0.95 o 5884
0.95 c 286
0.95 o 5905
0.95 c 265
0.95 o 5926
0.95 c 244
0.96 o 5946
0.96 c 224
0.96 o 5949
0.96 c 221
0.96 o 5952
0.96 c 218
0.96 o 5955
0.96 c 215
0.96 o 5957
0.96 c 213
0.96 o 5959
0.96 c 211
0.96 o 5961
0.96 c 209
0.96 o 5963
0.96 c 207
0.96 o 5965
0.96 c 205
0.96 o 5967
0.96 c 203
0.97 o 5969
0.97 c 201
0.97 o 5971
0.97 c 199
0.97 o 5973
0.97 c 197
0.97 o 5974
0.97 c 196
0.97 o 5975
0.97 c 195
0.97 o 5976
0.97 c 194
0.97 o 5977
0.97 c 193
0.97 o 5978
0.97 c 192
0.97 o 5979
0.97 c 191
0.97 o 5980
0.97 c 190
0.97 o 5981
0.97 c 189
0.97 o 5982
0.97 c 188
0.97 o 5983
0.97 c 187
0.98 o 5984
0.98 c 186
0.98 o 5985
0.98 c 185
19.76
19.76 search
19.76 run=0 nbConstraintChecks=59661292 nbAssignments=10000
19.76 => wckTime=18.858 cpuTime=18.74 mem=8M557
31.14
31.14 search
31.14 run=1 nbConstraintChecks=95902681 nbAssignments=15534
31.14 => wckTime=30.239 cpuTime=30.07 mem=8M557
31.14
31.14 global
31.14 nbConstraintChecks=95902681 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.14 solvingWckTime=30.237 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
31.14 globalCpuTime=30.51
31.14 => wckTime=30.832 cpuTime=30.45 mem=8M557
31.14
31.14 solver IterativeSystematicSolver being built...
31.29 => wckTime=30.983 cpuTime=30.57 mem=20M439
31.32
31.32 preprocessing
31.32 nbConstraintChecks=400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.32 detectedInconsistency=no
31.33 => wckTime=0.031 cpuTime=0.02 mem=20M439
32.19 o 6000
32.19 c 170
32.91
32.91 search
32.91 run=0 nbConstraintChecks=2661035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201
32.91 nbFailedAssignments=0 nbBacktracks=185 nbVisitedNodes=388 nbRestartNogoods=0
32.91 => wckTime=1.618 cpuTime=1.57 mem=20M439
34.39
34.39 search
34.39 run=1 nbConstraintChecks=3449502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=249
34.39 nbFailedAssignments=19 nbBacktracks=200 nbVisitedNodes=470 nbRestartNogoods=1
34.39 => wckTime=3.101 cpuTime=3.03 mem=20M439
36.84
36.84 search
36.84 run=2 nbConstraintChecks=4855990 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=330
36.84 nbFailedAssignments=66 nbBacktracks=222 nbVisitedNodes=620 nbRestartNogoods=4
36.84 => wckTime=5.552 cpuTime=5.46 mem=20M439
40.11
40.11 search
40.11 run=3 nbConstraintChecks=6777410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=432
40.11 nbFailedAssignments=122 nbBacktracks=255 nbVisitedNodes=811 nbRestartNogoods=8
40.11 => wckTime=8.818 cpuTime=8.71 mem=20M439
46.02
46.02 search
46.02 run=4 nbConstraintChecks=10576029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=641
46.02 nbFailedAssignments=270 nbBacktracks=305 nbVisitedNodes=1218 nbRestartNogoods=13
46.02 => wckTime=14.724 cpuTime=14.59 mem=20M439
54.84
54.84 search
54.84 run=5 nbConstraintChecks=15822433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=929
54.84 nbFailedAssignments=472 nbBacktracks=380 nbVisitedNodes=1783 nbRestartNogoods=15
54.84 => wckTime=23.547 cpuTime=23.36 mem=20M439
59.51
59.52 search
59.52 run=6 nbConstraintChecks=18061617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1143
59.52 nbFailedAssignments=552 nbBacktracks=500 nbVisitedNodes=2126 nbRestartNogoods=20
59.52 => wckTime=28.224 cpuTime=28.03 mem=20M439
78.89
78.89 search
78.89 run=7 nbConstraintChecks=29670890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1780
78.89 nbFailedAssignments=1009 nbBacktracks=670 nbVisitedNodes=3390 nbRestartNogoods=28
78.89 => wckTime=47.603 cpuTime=47.3 mem=20M439
90.96
90.96 search
90.96 run=8 nbConstraintChecks=36294849 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2260
90.96 nbFailedAssignments=1212 nbBacktracks=927 nbVisitedNodes=4311 nbRestartNogoods=33
90.96 => wckTime=59.671 cpuTime=59.3 mem=20M439
134.81
134.81 search
134.81 run=9 nbConstraintChecks=63470560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3821
134.81 nbFailedAssignments=2380 nbBacktracks=1311 nbVisitedNodes=7424 nbRestartNogoods=45
134.81 => wckTime=103.524 cpuTime=102.94 mem=20M439
155.31
155.31 search
155.31 run=10 nbConstraintChecks=77971570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4754
155.31 nbFailedAssignments=2712 nbBacktracks=1888 nbVisitedNodes=9235 nbRestartNogoods=53
155.31 => wckTime=124.022 cpuTime=123.34 mem=20M439
226.14
226.14 search
226.14 run=11 nbConstraintChecks=108214582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7368
226.14 nbFailedAssignments=4454 nbBacktracks=2752 nbVisitedNodes=14455 nbRestartNogoods=64
226.14 => wckTime=194.852 cpuTime=193.84 mem=20M439
296.69
296.69 search
296.69 run=12 nbConstraintChecks=154740903 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10216
296.69 nbFailedAssignments=5980 nbBacktracks=4049 nbVisitedNodes=20126 nbRestartNogoods=70
296.69 => wckTime=265.401 cpuTime=264.06 mem=20M439
349.56
349.56 search
349.56 run=13 nbConstraintChecks=219791021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13538
349.56 nbFailedAssignments=7330 nbBacktracks=5995 nbVisitedNodes=26744 nbRestartNogoods=83
349.56 => wckTime=318.27 cpuTime=316.67 mem=20M439
643.71
643.71 search
643.71 run=14 nbConstraintChecks=417349606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23927
643.71 nbFailedAssignments=14788 nbBacktracks=8914 nbVisitedNodes=47510 nbRestartNogoods=99
643.71 => wckTime=612.415 cpuTime=609.44 mem=20M439
742.23
742.23 search
742.23 run=15 nbConstraintChecks=515175239 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29655
742.23 nbFailedAssignments=16098 nbBacktracks=13308 nbVisitedNodes=58907 nbRestartNogoods=111
742.23 => wckTime=710.942 cpuTime=707.5 mem=20M439
1035.84
1035.85 search
1035.85 run=16 nbConstraintChecks=786729507 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44320
1035.85 nbFailedAssignments=24149 nbBacktracks=19897 nbVisitedNodes=88212 nbRestartNogoods=122
1035.85 => wckTime=1004.554 cpuTime=999.75 mem=20M439
1889.13
1889.14 search
1889.14 run=17 nbConstraintChecks=1379267844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75113
1889.14 nbFailedAssignments=45073 nbBacktracks=29749 nbVisitedNodes=149762 nbRestartNogoods=141
1889.14 => wckTime=1857.844 cpuTime=1849.04 mem=20M439
2411.34 v 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-282008-1169316986 -o ROOT/results/node24/solver-282008-1169316986 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282008-1169316986/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 1.08 1.44 4/83 4116
/proc/meminfo: memFree=1352464/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=18540 CPUtime=0
/proc/4115/stat : 4115 (runsolver) R 4111 4115 4007 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 280093857 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4115/statm: 4635 279 244 17 0 2626 0
[startup+0.107951 s]
/proc/loadavg: 0.92 1.08 1.44 4/83 4116
/proc/meminfo: memFree=1352464/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=914988 CPUtime=0.09
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 3063 0 1 0 7 2 0 0 17 0 8 0 280093857 936947712 2809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515993 s]
/proc/loadavg: 0.92 1.08 1.44 4/83 4116
/proc/meminfo: memFree=1352464/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915332 CPUtime=0.5
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 6399 0 1 0 45 5 0 0 18 0 8 0 280093857 937299968 6138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073638533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228833 6138 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33708 s]
/proc/loadavg: 0.92 1.08 1.44 4/100 4133
/proc/meminfo: memFree=1281544/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=1.31
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11470 0 1 0 119 12 0 0 24 0 8 0 280093857 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11208 2476 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 920 0 0 0 7 0 0 0 17 0 8 0 280093860 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.17
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 377 0 0 0 17 0 0 0 15 0 8 0 280093864 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915480
[startup+2.97426 s]
/proc/loadavg: 0.92 1.08 1.44 3/100 4133
/proc/meminfo: memFree=1281544/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2.94
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11474 0 1 0 272 22 0 0 25 0 8 0 280093857 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11211 2476 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.18
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 380 0 0 0 18 0 0 0 15 0 8 0 280093864 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915480
[startup+6.17561 s]
/proc/loadavg: 1.01 1.10 1.45 3/100 4133
/proc/meminfo: memFree=1281480/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=6.13
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11475 0 1 0 577 36 0 0 25 0 8 0 280093857 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11212 2476 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.18
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 381 0 0 0 18 0 0 0 15 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915480
[startup+12.6493 s]
/proc/loadavg: 1.09 1.11 1.45 3/100 4133
/proc/meminfo: memFree=1281480/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915484 CPUtime=12.57
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11475 0 1 0 1197 60 0 0 25 0 8 0 280093857 937455616 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11212 2476 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.18
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 381 0 0 0 18 0 0 0 15 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915484
[startup+25.5217 s]
/proc/loadavg: 1.29 1.16 1.46 3/100 4133
/proc/meminfo: memFree=1281544/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=25.38
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11477 0 1 0 2424 114 0 0 25 0 8 0 280093857 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11214 2476 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.19
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 383 0 0 0 19 0 0 0 17 0 8 0 280093864 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915480
[startup+51.1425 s]
/proc/loadavg: 1.53 1.22 1.47 3/100 4133
/proc/meminfo: memFree=1281032/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=50.87
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11627 0 1 0 4946 141 0 0 25 0 8 0 280093857 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11359 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.28
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 431 0 0 0 27 1 0 0 16 0 8 0 280093864 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915480
[startup+102.383 s]
/proc/loadavg: 1.79 1.34 1.49 4/100 4133
/proc/meminfo: memFree=1280904/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=101.87
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11646 0 1 0 10046 141 0 0 25 0 8 0 280093857 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11370 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.31
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 446 0 0 0 30 1 0 0 15 0 8 0 280093864 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915480
[startup+162.469 s]
/proc/loadavg: 1.92 1.46 1.52 3/100 4133
/proc/meminfo: memFree=1280840/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=161.68
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11650 0 1 0 16026 142 0 0 25 0 8 0 280093857 937451520 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2015.67
Current children cumulated vsize (KiB) 915480
[startup+2085.27 s]
/proc/loadavg: 2.00 2.01 1.91 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2075.48
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 207391 157 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.48
Current children cumulated vsize (KiB) 915480
[startup+2145.36 s]
/proc/loadavg: 2.11 2.04 1.93 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2135.28
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 213371 157 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.28
Current children cumulated vsize (KiB) 915480
[startup+2205.45 s]
/proc/loadavg: 2.08 2.04 1.93 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2195.1
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 219352 158 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073998638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195.1
Current children cumulated vsize (KiB) 915480
[startup+2265.54 s]
/proc/loadavg: 2.03 2.03 1.93 3/100 4135
/proc/meminfo: memFree=1280584/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2254.9
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 225332 158 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.9
Current children cumulated vsize (KiB) 915480
[startup+2325.62 s]
/proc/loadavg: 2.08 2.05 1.94 3/100 4135
/proc/meminfo: memFree=1280584/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2314.71
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 231312 159 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.71
Current children cumulated vsize (KiB) 915480
[startup+2385.71 s]
/proc/loadavg: 2.03 2.04 1.94 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2374.51
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 237292 159 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.51
Current children cumulated vsize (KiB) 915480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.33 s]
/proc/loadavg: 2.02 2.04 1.94 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4115] ppid=4111 vsize=915480 CPUtime=2400.01
/proc/4115/stat : 4115 (java) R 4111 4115 4007 0 -1 0 11653 0 1 0 239842 159 0 0 25 0 8 0 280093857 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073956425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4115/statm: 228870 11375 2529 14 0 215340 0
[pid=4115/tid=4120] ppid=4111 vsize=915480 CPUtime=0.07
/proc/4115/task/4120/stat : 4120 (java) S 4111 4115 4007 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093860 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4122] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4122/stat : 4122 (java) S 4111 4115 4007 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4123] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4123/stat : 4123 (java) S 4111 4115 4007 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093861 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4126] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4126/stat : 4126 (java) S 4111 4115 4007 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4127] ppid=4111 vsize=915480 CPUtime=0.32
/proc/4115/task/4127/stat : 4127 (java) S 4111 4115 4007 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4115/tid=4128] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4128/stat : 4128 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4115/tid=4129] ppid=4111 vsize=915480 CPUtime=0
/proc/4115/task/4129/stat : 4129 (java) S 4111 4115 4007 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280093864 937451520 11375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.37
CPU time (s): 2400.06
CPU user time (s): 2398.45
CPU system time (s): 1.60776
CPU usage (%): 99.531
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.45
system time used= 1.60776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11673
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= 50138
involuntary context switches= 120661
runsolver used 2.77858 s user time and 7.8988 s system time
The end
Begin job on node24 on Sat Jan 20 18:16:26 UTC 2007
IDJOB= 282008
IDBENCH= 12347
IDSOLVER= 69
FILE ID= node24/282008-1169316986
PBS_JOBID= 3610340
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/san-200-0.7-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282008-1169316986/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-282008-1169316986 -o ROOT/results/node24/solver-282008-1169316986 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282008-1169316986/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 14288773eddecbbc245dad19f9b22ca5
RANDOM SEED= 900558473
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.234
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.234
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: 1353208 kB
Buffers: 47300 kB
Cached: 536120 kB
SwapCached: 6072 kB
Active: 182152 kB
Inactive: 452040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353208 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 4448 kB
Writeback: 0 kB
Mapped: 66156 kB
Slab: 53464 kB
Committed_AS: 5917948 kB
PageTables: 2196 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node24 on Sat Jan 20 18:56:37 UTC 2007